| Authors | Yves-Jean Daniel |
| Language | Français |
| Type | publique |
| Url | |
| Summary | L'objet de ce fascicule est de rapporter les théorèmes et définitions étudiés dans le cours de logique classique. Il ne contient pas la totalité des démonstrations présentées. Le point de vue choisi dans cette présentation est à mi-chemin entre les mathématiques et l'informatique, et nous aborderons qu'assew peu le champs des sciences cognitives. Les applications informatiques ne seront qu'au mieux évoquées, mais vous pourrez vous rendre compte, au fil des projets que vous réalisez, que les théorèmes et les raisonnements évoqués sont d'usage fréquent tout au long de la réalisation d'un projet, de sa conception à son implementation. |
| Pages | |
| Parts | Préliminaires
Logique propositionnelle
Logique des prédicats
Démonstration
Bibliographie |
|