| Titre : | Cours-Logique mathématique |
| Auteurs : | Dr. Fellah Aissa, Auteur |
| Type de document : | texte imprimé |
| Editeur : | univ dr.Moulay Taher Saida, 2021 |
| Format : | 110 p |
| Accompagnement : | cd |
| Langues: | Français |
| Mots-clés: | Cours logique ; mathématique |
| Résumé : |
Objectifs du manuscrit
Le but de ce manuscrit est de donner aux étudiants une connaissance des parties pertinentes de la logique, principalement la logique pour informatique. Il s'agit d’un premier cours de logique mathématique pour les étudiants en informatique. En s'appuyant sur des sources (examens et des travaux dirigés) électroniques de plusieurs universités, chaque chapitre est enrichi d'exercices, ainsi que leurs corrigés. Il n’est pas aisé de présenter dans un seul document toutes les facettes du monde de la logique mathématique. Organisation du Manuscrit Le chapitre 1 est une introduction à la logique mathématique avec quelques motivations sur l’utilité de la logique pour l’informatique. Il propose quelques définitions, un bref historique et une synthèse de la logique mathématique. Le chapitres 2, est consacré à la première partie de la logique : logique des propositions. Les propositions sont des formules exprimant des faits mathématiques, Le but du calcul propositionnel est de donner un fondement formel à un ensemble restreint d’énoncés du langage. Nous utiliserons comme élément de base des propositions élémentaires (i.e. des énoncés déclaratifs). Le chapitre est scindé en quatre partie : la syntaxe, la sémantique, la modélisation et enfin le raisonnement. Les chapitres 3, présente la logique des prédicats qui étend le calcul propositionnel en permettant d'écrire des formules qui dépendent de paramètres; pour cela le calcul des prédicats introduit les notions de variables, de symboles de fonctions et de relations, de termes et de quantificateurs. La démarche du chapitre 2 est adoptée aussi pour les parties du chapitre 3. Chaque fin de chapitre inclue des séries d'exercices organisées par parties. Le corrigé de chaque exercice est joint en annexe du document. |
| Note de contenu : |
Introduction et motivations...
2. La logique des propositions. 3. La logique des prédicats Syntaxe de la logique des prédicats Sémantique de la logique des prédicats |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| POLY00016 | P-TEC00011 | Livre | Bibliothèque PMB Services | Albums | Consultation sur place Exclu du prêt |
Documents numériques (1)
Cours-Logique mathématique Adobe Acrobat PDF |
