Logique mathématique et calculabilité / Mezghiche Mohamed

Public ISBD Titre : Logique mathématique et calculabilité : Cours et TD avec corrigés Type de document : texte imprimé Auteurs : Mezghiche Mohamed, Auteur Editeur : Les pages bleues internationales Année de publication : 2021 Importance : 118 p. Présentation : couv. en coul. Format : 23 cm. ISBN/ISSN/EAN : 978-9947-34-087-5 Note générale : Bibliogr. p. 119 Langues : Français (fre) Langues originales : Français (fre) Catégories : Logique mathématique Mots-clés : Langages formels  fonctions de calculables  complexité de calcul (informatique) Index. décimale : 511.3 Résumé : Ce cours d'introduction à la logique mathématique et de calculabilité est conforme au programme officiel du module de logique mathématique enseigné en deuxième année d'université aux élèves ingénieur en informatique et aux étudiants des licences de mathématique et d'informatique du système LMD. Logique mathématique et calculabilité : Cours et TD avec corrigés [texte imprimé] / Mezghiche Mohamed, Auteur . - Les pages bleues internationales, 2021 . - 118 p. : couv. en coul. ; 23 cm. ISBN : 978-9947-34-087-5 Bibliogr. p. 119 Langues : Français (fre) Langues originales : Français (fre) Catégories : Logique mathématique Mots-clés : Langages formels  fonctions de calculables  complexité de calcul (informatique) Index. décimale : 511.3 Résumé : Ce cours d'introduction à la logique mathématique et de calculabilité est conforme au programme officiel du module de logique mathématique enseigné en deuxième année d'université aux élèves ingénieur en informatique et aux étudiants des licences de mathématique et d'informatique du système LMD.

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
BC11586	511.3 MEZ	كتاب	المكتبة المركزية	الكتب	اعارة خارجية Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200