Logique

  • Aide
  • Recherche
  • RSS
  • Google +
  • Facebook
  • Twitter
Université de Pau et des Pays de l'Adour (UPPA)

Actualités

    • L’UPPA, dans le top 10 des 70 universités françaises pour la réussite des étudiants

      Selon les données publiées par le ministère de l’Enseignement Supérieur et de la Recherche, l’UPPA se classe dans les dix premiers du palmarès français des universités qui accompagnent le mieux leurs...

      Lire la suite

    • UE Libres

      Du 11 janvier (7h) au 30 janvier (23h) vous devez vous inscrire à une UE libre pour les semestres pairs (S2, S4)

      Lire la suite

"UPPA Connect" : renforcer les liens entreprises-étudiants

L’UPPA lance sa plate-forme "UPPA Connect" permettant de créer un réseau professionnel entre les entreprises du territoire, les étudiants et les anciens étudiants devenus des professionnels. En savoir plus

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