الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
3 résultat(s) recherche sur le mot-clé 'algèbres de Boole'
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Logique mathématique / René Cori
Titre : Logique mathématique : cours et exercices Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Krivine, J.-L., Préfacier, etc. Mention d'édition : 3e tirage corrigé Editeur : Paris : Masson Année de publication : 1993 Collection : Axiomes (Paris), ISSN 1243-4264 Importance : XI-385 p. Présentation : couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-84079-1 Note générale : Bibliogr. p. 361-363. Index Langues : Français (fre) Mots-clés : Logique mathématique Calcul propositionnel algèbres de Boole calcul des prédicats théorèmes de complétude Index. décimale : 511.3 Note de contenu : Vol. 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats ; vol. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Logique mathématique : cours et exercices [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Krivine, J.-L., Préfacier, etc. . - 3e tirage corrigé . - Paris : Masson, 1993 . - XI-385 p. : couv. ill. ; 24 cm. - (Axiomes (Paris), ISSN 1243-4264) .
ISBN : 978-2-225-84079-1
Bibliogr. p. 361-363. Index
Langues : Français (fre)
Mots-clés : Logique mathématique Calcul propositionnel algèbres de Boole calcul des prédicats théorèmes de complétude Index. décimale : 511.3 Note de contenu : Vol. 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats ; vol. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité F2-001024 005-154.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible Mathématiques pour l'informatique / Arnold, André
Titre : Mathématiques pour l'informatique : avec 309 exercices corrigés Type de document : texte imprimé Auteurs : Arnold, André ; Irène Guessarian Mention d'édition : 4e éd. Editeur : Ediscience Année de publication : 2005 Importance : 387 p Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-049230-5 Note générale : "75% cours + 25% exos." "2e année."--Couv. Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Mathématiques pour l'informatique ensembles ordonnés algèbres de boole algèbre combinatoire et applications Index. décimale : 510 Résumé : "75% cours + 25% exos." "2e année."--Couv. Mathématiques pour l'informatique : avec 309 exercices corrigés [texte imprimé] / Arnold, André ; Irène Guessarian . - 4e éd. . - [S.l.] : Ediscience, 2005 . - 387 p : ill. ; 24 cm.
ISBN : 978-2-10-049230-5
"75% cours + 25% exos." "2e année."--Couv.
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Mathématiques pour l'informatique ensembles ordonnés algèbres de boole algèbre combinatoire et applications Index. décimale : 510 Résumé : "75% cours + 25% exos." "2e année."--Couv. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité CF2-002437 510-135.1 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Exclu du prêt F2-001983 510-135.2 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Disponible Notions fondamentales de mathématiques modernes, 1. Notions fondamentales de mathématiques modernes / René Saint-Guilhem
Titre de série : Notions fondamentales de mathématiques modernes, 1 Titre : Notions fondamentales de mathématiques modernes : tome 1 Type de document : texte imprimé Auteurs : René Saint-Guilhem (1911-1987), Auteur Editeur : Paris : Éd. Marketing Année de publication : 1989 Importance : 271 p(tome 1) Présentation : graph. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-8964-7 Prix : 130 F Note générale : Bibliogr. p. 263-264. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : opérations dans P(X) ensembles ordonnés arithmétique algèbres de boole matrices morphismes Notions fondamentales de mathématiques modernes Index. décimale : 515 Notions fondamentales de mathématiques modernes, 1. Notions fondamentales de mathématiques modernes : tome 1 [texte imprimé] / René Saint-Guilhem (1911-1987), Auteur . - Paris : Éd. Marketing, 1989 . - 271 p(tome 1) : graph. ; 26 cm.
ISBN : 978-2-7298-8964-7 : 130 F
Bibliogr. p. 263-264. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : opérations dans P(X) ensembles ordonnés arithmétique algèbres de boole matrices morphismes Notions fondamentales de mathématiques modernes Index. décimale : 515 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité CF2-003207 515-383.1 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Exclu du prêt