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.