Logique mathématique et calculabilité : cours et exercices corrigés
Type doc. :
Livre
Langue :
Français
Auteur(s) :
Editeur(s) :
Année d'édition :
2012
ISBN :
9789947850954
Afficher le Résumé
Dans cet ouvrage on trouve: rappels mathématiques,calcul propositionnel,calcul propositionnel formel,calcul des prédicats du premier ordre ,notions decalcubilité, à-calcul et logique combinatoire.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| N° d'Exemplaire / inventaire | Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|---|
| 057338 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062098 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062100 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062101 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062103 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062104 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062106 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062107 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062105 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062102 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | emprunté | 15 mars 2026 (retardataire) | Réserver |
| 062108 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062109 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062110 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062113 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062114 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062115 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062116 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062117 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 066491 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 066492 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 066493 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 066494 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 066495 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 066496 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 066497 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 066498 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 066499 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062112 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 066490 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | emprunté | 15 mars 2026 (retardataire) | Réserver |
| 062099 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible | ||
| 062111 | M966 | BIB-TIZI OUZOU / Mag du 1er | Papier | externe | disponible |
Mezghiche, M. (2012). Logique mathématique et calculabilité : cours et exercices corrigés . Pages Bleues Internationales;