Vous êtes ici

  1. Accueil
  2. UE7 - Logique

UE7 - Logique

UE7 - Logique

En pratique :

Langue principale : français
Nombre de crédits européens : 4

Description du contenu de l'enseignement

Ce cours vise deux buts : d'une part, donner une base solide en raisonnement logique, ceci est l'aspect “ calcul ” ; d'autre part, introduire la notion de système formel, essentielle en informatique. Enfin, ce cours donne l'occasion de présenter, de façon informelle, différentes notions approfondies plus tard comme les langages, la sémantique, la calculabilité, la décidabilité.
Contenu des enseignements :
1. Introduction
2. Calcul des propositions : langage et sémantique du calcul des propositions ; systèmes formels.
3. Calcul des prédicats : langage et sémantique du calcul des prédicats ; systèmes formels.


Modalités d’organisation et de suivi

Cours : 10h, TD : 16h