الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا

15 Leçons logique de mathématique / Karle Djanseitov

Public ISBD Titre : 15 Leçons logique de mathématique Type de document : texte imprimé Auteurs : Karle Djanseitov, Auteur Editeur : Alger [Algérie] : OPU Année de publication : 1986 Importance : 61 p. Présentation : ill. Format : 27 *22cm Prix : 12.00 DA Note générale : Titre 15 Leçons logique de mathématique Auteurs Djanseitov Karl Édition - Éditeur OPU, 1986 ISBN Langue : Français Longueur 61 pages Dimensions 27 cm. Langues : Français (fre) Langues originales : Allemand (ger) Mots-clés : mathématique  théorème de la déduction  formules propositionnelles  théorème de la complétude  interprétations sémantique  treillis et les algèbres  automates finis  élément de la théorème des algorithmes  machines de turing-post  systèmes formel du calcul  modèles  compatibilité  opérations sur un ensemble Index. décimale : 510 Résumé : Sommaire : mathématique théorème de la déduction formules propositionnelles théorème de la complétude interprétations sémantique treillis et les algèbres automates finis élément de la théorème des algorithmes machines de turing-post systèmes formel du calcul modèles compatibilité opérations sur un ensemble Note de contenu : index 15 Leçons logique de mathématique [texte imprimé] / Karle Djanseitov, Auteur . - Alger (16000, Algérie) : OPU, 1986 . - 61 p. : ill. ; 27 *22cm. 12.00 DA Titre 15 Leçons logique de mathématique Auteurs Djanseitov Karl Édition - Éditeur OPU, 1986 ISBN Langue : Français Longueur 61 pages Dimensions 27 cm. Langues : Français (fre) Langues originales : Allemand (ger) Mots-clés : mathématique  théorème de la déduction  formules propositionnelles  théorème de la complétude  interprétations sémantique  treillis et les algèbres  automates finis  élément de la théorème des algorithmes  machines de turing-post  systèmes formel du calcul  modèles  compatibilité  opérations sur un ensemble Index. décimale : 510 Résumé : Sommaire : mathématique théorème de la déduction formules propositionnelles théorème de la complétude interprétations sémantique treillis et les algèbres automates finis élément de la théorème des algorithmes machines de turing-post systèmes formel du calcul modèles compatibilité opérations sur un ensemble Note de contenu : index

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
ST13077	510/14.1	Ouvrage	Faculté des Sciences et de la Technologie	500 - Sciences de la nature et Mathématiques	Exclu du prêt

---

1 (1 - 1 / 1)