Logique mathématique et calculabilité / Mohamed Mezghiche (2021)

Public ISBD 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.

Réservation

Réserver ce document

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
059048	510.6 MEZ	Papier	Bibliothèque Centrale R.D.C	Mathématiques	Disponible	En bon état
059047	510.6 MEZ	Papier	Bibliothèque Centrale R.D.C	Mathématiques	Disponible	En bon état
059046	510.6 MEZ	Papier	Bibliothèque Centrale R.D.C	Mathématiques	Disponible	En bon état
059045	510.6 MEZ	Papier	Bibliothèque Centrale R.D.C	Mathématiques	Disponible	En bon état
059044	510.6 MEZ	Papier	Bibliothèque Centrale R.D.C	Mathématiques	Disponible	Exclu du prêt