Logique élémentaire I (J. ZAHND) |
|||
Section: Semestre: Crédits: |
Informatique 1, obligatoire |
Cours: Exercices: Pratiques: |
2 h par semaine 1 h par semaine |
Forme: Examen: Bibliographie: |
Cours ex cathedra avec exercices Branche théorique (oral) Notes polycopiées |
||
Préalable requis: Préparation pour: |
- Toute la partie théorique du plan d'études |
La pensée déductive, caractéristique des sciences exactes, et des mathématiques en particulier, obéit à des lois dont l'étude est le sujet général de la logique. Comme la pensée s'exprime toujours dans un certain langage, les règles de la déduction sont des règles d'expression, et la logique peut être considérée comme une sorte de "grammaire" du langage scientifique de type mathématique. Le but principal du cours est l'acquisition d'une certaine maîtrise de ce genre de langage, et par suite de ce genre de pensée, grâce à l'étude et l'exercice des règles de la logique. Pour l'informaticien, la logique fournit un langage et des méthodes permettant d'exprimer avec exactitude les spécifications fonctionnelles de systèmes logiciels et/ou matériels, et de démontrer formellement que les systèmes développés satisfont à leurs spécifications. Par ailleurs, le langage de la logique des prédicats peut être pris lui-même comme une forme de langage de programmation (programmation logique, PROLOG). CONTENU
|