الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
3 résultat(s) recherche sur le mot-clé 'algèbres de boole' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![](./images/orderby_az.gif)
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
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