La logique permet d’écrire et démontrer des énoncés mathématiques sans ambiguîté (voir cours Méthodes discrètes).
La logique permet de représenter des connaissances du monde réel à l’aide de symboles et de formaliser la notion d’inférence.
deux concepts fondamentaux :
- Syntaxe : une suite de mots et de symboles formant une phrase.
- Sémantique : la signification d’une phrase(Interprétation) La logique offre un mécanisme de manipulation et de
raisonnement en ne manipulant que les symboles.
Plan du cours
- Bref introduction à la logique
- Logique de propositions
- Logique des prédicats
Description des TP
Les TP se déroulent sous forme d'exercices de modélisation des problèmes simples.
Connaissances requises
A remplir
RSE (Responsabilité Sociale et Environnementale)
Bibliographie
Mathématiques discrètes et informatique, N.H. Xuong, Masson 1992.
Discrete mathematics with applications (4edition), par Susanna EPP, Books/Cole engage learning, 2011.
Mathematics for computer science, E. Lehman, F.T. Leighton, A.R. Meyer, disponible en PDF.
