| Titre : |
Introduction à la Logique Mathématique : Notes de cours et exercices |
| Type de document : |
texte imprimé |
| Auteurs : |
Hazi Mohammed, Auteur ; Mabrouk BRAGDI, Auteur |
| Editeur : |
OPU |
| Année de publication : |
2022 |
| Importance : |
180 P |
| Présentation : |
ILL |
| Format : |
24 × 17 cm |
| ISBN/ISSN/EAN : |
978-9961-0-2398-3 |
| Langues : |
Français (fre) Langues originales : Français (fre) |
| Mots-clés : |
Logique mathématique
Calcul propositionnel
Calcul des prédicats
Raisonnement mathématique
Exercices corrigés
Connecteurs logiques. |
| Résumé : |
Cet ouvrage est une introduction pédagogique aux concepts fondamentaux de la logique mathématique. Conçu pour les étudiants du premier cycle universitaire, il couvre les bases indispensables du calcul propositionnel (connecteurs logiques, tables de vérité) et du calcul des prédicats (quantificateurs). L'objectif principal est de doter l'étudiant des outils nécessaires pour structurer un raisonnement mathématique rigoureux (démonstration directe, par l'absurde, par récurrence) à travers une approche mêlant théorie synthétique et exercices d'application. |
Introduction à la Logique Mathématique : Notes de cours et exercices [texte imprimé] / Hazi Mohammed, Auteur ; Mabrouk BRAGDI, Auteur . - [S.l.] : OPU, 2022 . - 180 P : ILL ; 24 × 17 cm. ISBN : 978-9961-0-2398-3 Langues : Français ( fre) Langues originales : Français ( fre)
| Mots-clés : |
Logique mathématique
Calcul propositionnel
Calcul des prédicats
Raisonnement mathématique
Exercices corrigés
Connecteurs logiques. |
| Résumé : |
Cet ouvrage est une introduction pédagogique aux concepts fondamentaux de la logique mathématique. Conçu pour les étudiants du premier cycle universitaire, il couvre les bases indispensables du calcul propositionnel (connecteurs logiques, tables de vérité) et du calcul des prédicats (quantificateurs). L'objectif principal est de doter l'étudiant des outils nécessaires pour structurer un raisonnement mathématique rigoureux (démonstration directe, par l'absurde, par récurrence) à travers une approche mêlant théorie synthétique et exercices d'application. |
|  |
Affiner la recherche
