Logique

  • Aide
  • Recherche
  • Facebook
  • Twitter
Formation

Formation continue et reprise d'études

Formation continue et reprise d'études

Consultez la liste des formations proposées dans le cadre de la formation continue : formations diplômantes, certifications, préparations, formations courtes et formations sur mesure

Lire la suite

Actualités

    • Inscription en ligne 2020-2021Ouverte

      Inscription exclusivement en ligne : à partir du 6 juillet 2020 et du 7 juillet pour le nouveaux bacheliers

      Lire la suite

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