Logique

  • Aide
  • Recherche
  • Facebook
  • Twitter
Formation

Actualités

    • Journées portes ouvertes à l'UPPAVenez découvrir votre future université !

      Programme et calendrier par campus.

      Lire la suite

    • L'UPPA déploie des robots de téléprésence au service de l'inclusion, de l'adaptation et de la formation d'excellence.

      Depuis plus de cinq ans, Laurent Gallon enseignant-chercheur à l'IUT des Pays de l'Adour et au Laboratoire d'informatique de l'UPPA (LIUPPA) travaille en partenariat avec le Service d'Aide Pédagogique...

      Lire la suite

    • UE Libres

      Septembre 2019 : Inscriptions aux UE libres.

      Lire la suite

    • Journée Infosup 2019

      Journée d'information sur les formations post-bac.

      Lire la suite

    • Salon Studyrama : Etudes supérieuresà Bayonne

      Maison des associations, 9h30/17h30 à Bayonne.
      En savoir plus et télécharger une invitation

      Lire la suite

Trouver une formation

Logique

Présentation

Cet enseignement comporte deux parties : la logique des propositions et la logique des prédicats. Pour chaque partie, nous présentons le langage, la théorie des modèles (sémantique), la théorie de la preuve (axiomatique), et enfin la démonstration automatique : l'algorithme de balayage, pour la logique des propositions et la méthode de résolution par réfutation pour la logique des prédicats. Nous abordons des exemples de spécifications, l'étude de la satisfiabilité et la validité des formules, les formes normales (conjonctive, disjonctive, Skolem, clausale), ainsi que la méthode de la résolution (facteur, résolvante).

Volume horaire

  • Travaux Dirigés : 18h
  • Cours Magistral : 21h

Examens

30 % Contrôle continu + 70 % Examen Terminal

En bref

Crédits ECTS 4.0

Nombre d'heures 39.0

Niveau d'étude BAC +3

Contact(s)

Composante

Lieu(x)

  • Pau