| Titre : | Logique mathématique et calculabilité : cours et TD avec corrigés |
| Auteurs : | Mohamed Mezghiche, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Alger : Pages bleues internationales, 2021 |
| Collection : | Les fascicules du LMD |
| ISBN/ISSN/EAN : | 978-9947-34-087-5 |
| Format : | 118, [1] p. / 24 cm |
| Note générale : | Bibliogr. [1] p |
| Langues : | Français |
| Index. décimale : | 510.6 (Logique mathématique) |
| Tags : | Rappels mathématique ; Calcul propositionnel |
| 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. |
Exemplaires (5)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 510.6 MEZ | Papier | Bibliothèque Centrale R.D.C | Mathématiques | Disponible | En bon état |
| 510.6 MEZ | Papier | Bibliothèque Centrale R.D.C | Mathématiques | Disponible | En bon état |
| 510.6 MEZ | Papier | Bibliothèque Centrale R.D.C | Mathématiques | Disponible | En bon état |
| 510.6 MEZ | Papier | Bibliothèque Centrale R.D.C | Mathématiques | Disponible | En bon état |
| 510.6 MEZ | Papier | Bibliothèque Centrale R.D.C | Mathématiques | Disponible | Exclu du prêt |
