| Titre : |
Introduction à la Logique Mathématique |
| Autre titre : |
Notes de Cours et exercices |
| Type de document : |
texte imprimé |
| Auteurs : |
Mabrouk Bragdi, Auteur ; Mohammed Hazi, Auteur |
| Editeur : |
ALGERÂ : OFFICE DES PUBLICATIONS UNIVERSITAIRES |
| Année de publication : |
2022 |
| Importance : |
202 p |
| Format : |
24.5 x 16.5 cm |
| ISBN/ISSN/EAN : |
978-9961-0-2398-3 |
| Langues : |
Arabe (ara) |
| Résumé : |
La logique mathématique ou logique formelle est une discipline des mathématique qui définit et étudie des représentations formelles du langage mathématique pour André Weil,la logique est l'hygiéne des mathémathiques
poincaré avant lui assenait c'ést avec la logique que nous prouvons et avec l'intuition que nous trouvons.
le présent livre présent un large échantillon des aspects fondamentaux de la logique classique.
il est structuré en cinq chapitres et deux index:
-logique mathématique
-calcul propositionnel,volets syntaxique et sémantique
-calcul des prédicats volets syntaxique et sémantique
-axiomes de zermelo-fraenkel
-deux constructions sommaires de l'ensemble des nombres réels.
-index1:quelques sujets d'exmen avec solution
-index2:sur la théorie de déducation et liste des 23 problémes de hilbert. |
Introduction à la Logique Mathématique ; Notes de Cours et exercices [texte imprimé] / Mabrouk Bragdi, Auteur ; Mohammed Hazi, Auteur . - [S.l.] : ALGER : OFFICE DES PUBLICATIONS UNIVERSITAIRES, 2022 . - 202 p ; 24.5 x 16.5 cm. ISBN : 978-9961-0-2398-3 Langues : Arabe ( ara)
| Résumé : |
La logique mathématique ou logique formelle est une discipline des mathématique qui définit et étudie des représentations formelles du langage mathématique pour André Weil,la logique est l'hygiéne des mathémathiques
poincaré avant lui assenait c'ést avec la logique que nous prouvons et avec l'intuition que nous trouvons.
le présent livre présent un large échantillon des aspects fondamentaux de la logique classique.
il est structuré en cinq chapitres et deux index:
-logique mathématique
-calcul propositionnel,volets syntaxique et sémantique
-calcul des prédicats volets syntaxique et sémantique
-axiomes de zermelo-fraenkel
-deux constructions sommaires de l'ensemble des nombres réels.
-index1:quelques sujets d'exmen avec solution
-index2:sur la théorie de déducation et liste des 23 problémes de hilbert. |
|  |
Affiner la recherche Interroger des sources externes
