Logique

  • Aide
  • Recherche
  • Facebook
  • Twitter
Formation

Actualités

    • Salon "Infosup Landes"Mont-de-Marsan

      Rendez-vous de 9h à 12h et de 13h30 à 17h.

      Lire la suite

    • Salon Studyrama : Etudes supérieures et grandes écolesPau

      De 9h30 à 17h30.
      Parc des Expositions - Hall Béarn

      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

  • CM : 21h
  • TD : 18h

Examens

30 % Contrôle continu + 70 % Examen Terminal

En bref

Crédits ECTS 4

Nombre d'heures 39h

Niveau d'étude BAC +3

Langue d'enseignement
Français

Contact(s)

Composante

Lieu(x)

  • Pau