Ce cours sera composé de deux parties, dans la premières partie des rappels de cours de logique des proposition et des prédicats avec des exercices corrigés sont présentés. Ainsi vous pourrez abordé la deuxième partie consacré a la théorie des langage de programmation.
Partie I : Introduction à la logique et excercices
Le formalisme logique (Expressions bien formées)
Les opérateur ou connecteurs
La négation
Les connecteurs binaires
Tables de vérités
tautologie
Réécriture d'expression
Distinction des niveaux logique:
PartieII: Théorie des langages