Titre :	Logique mathématique et calculabilité : cours et TD avec corrigés
Type de document :	texte imprimé
Auteurs :	Mohamed Mezghiche, Auteur
Editeur :	Alger : Pages bleues internationales
Année de publication :	2021
Collection :	Les fascicules du LMD
Importance :	118, [1] p.
Format :	24 cm
ISBN/ISSN/EAN :	978-9947-34-087-5
Note générale :	Bibliogr. [1] p
Langues :	Français (fre)
Mots-clés :	Rappels mathématique  Calcul propositionnel
Index. décimale :	510.6 Logique mathématique
Note de contenu :	Au sommaire : 1. Rappels mathématique. 2. Calcul propositionnel. 3. Calcul propositionnel formel. 4. Calcul des prédicats du premier ordre. 5. Notions de calculabilité. 6. λ-Calcul et logique combinatoire.

Logique mathématique et calculabilité : cours et TD avec corrigés [texte imprimé] / Mohamed Mezghiche, Auteur . - Alger : Pages bleues internationales, 2021 . - 118, [1] p. ; 24 cm. - (Les fascicules du LMD) .
ISBN : 978-9947-34-087-5
Bibliogr. [1] p
Langues : Français (fre)

Mots-clés :	Rappels mathématique  Calcul propositionnel
Index. décimale :	510.6 Logique mathématique
Note de contenu :	Au sommaire : 1. Rappels mathématique. 2. Calcul propositionnel. 3. Calcul propositionnel formel. 4. Calcul des prédicats du premier ordre. 5. Notions de calculabilité. 6. λ-Calcul et logique combinatoire.