8 résultat(s) recherche sur le mot-clé 'boolean algebra'

Boolean algebra / R. L. Goodstein

Public ISBD Titre : Boolean algebra Type de document : texte imprimé Auteurs : R. L. Goodstein Editeur : Oxford : Pergamon Press - The MacMillan Company Année de publication : 1963 Collection : The Commonwealth and International Library of Science, Mathematics Division num. 006 Importance : Vi-140 p. Langues : Anglais Langues originales : Anglais Mots-clés : boolean algebra Index. décimale : 06C Monographie Boolean algebra [texte imprimé] / R. L. Goodstein . - Oxford : Pergamon Press - The MacMillan Company, 1963 . - Vi-140 p.. - (The Commonwealth and International Library of Science, Mathematics Division; 006) . Langues : Anglais Langues originales : Anglais Mots-clés : boolean algebra Index. décimale : 06C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9372	06c07	imprimé / autre	CRDM	06/ORDRE,TREILLIS, STRUCTURES ALGEBRIQUES ORDONNEES	Disponible

Boolean algebra and its applications / Whitesitt, J. Eldon

Public ISBD Titre : Boolean algebra and its applications Type de document : texte imprimé Auteurs : Whitesitt, J. Eldon Editeur : Reading, MA : Addison-Wesley Publishing Company, Inc. Année de publication : 1961 Collection : Addison - Wesley Series in the Engineering Sciences Importance : x - 182 p. Langues : Anglais Mots-clés : boolean algebra Index. décimale : 06C Monographie Boolean algebra and its applications [texte imprimé] / Whitesitt, J. Eldon . - Reading, MA : Addison-Wesley Publishing Company, Inc., 1961 . - x - 182 p.. - (Addison - Wesley Series in the Engineering Sciences) . Langues : Anglais Mots-clés : boolean algebra Index. décimale : 06C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4997	06C01	imprimé / autre	CRDM	06/ORDRE,TREILLIS, STRUCTURES ALGEBRIQUES ORDONNEES	Disponible

Introduction to boolean algebras / Steven R. Givant

Public ISBD Titre : Introduction to boolean algebras Type de document : texte imprimé Auteurs : Steven R. Givant, Auteur ; Paul R. Halmos, Auteur Editeur : New York, NY : Springer Année de publication : 2009 Collection : Undergraduate Texts in Mathematics, ISSN 0172-6056 Importance : xiv - 574 p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-0-387-40293-2 Langues : Anglais Catégories : 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) :06E05 Structure theory 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) :06E10 Chain conditions, complete algebras 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) :06E15 Stone space and related constructions Mots-clés : Boolean algebra  Boolean ring  Boolean space  Boolean $\sigma$-algebra  measure algebra Index. décimale : 06C Monographie Introduction to boolean algebras [texte imprimé] / Steven R. Givant, Auteur ; Paul R. Halmos, Auteur . - New York, NY : Springer, 2009 . - xiv - 574 p. : ill. ; 25 cm. - (Undergraduate Texts in Mathematics, ISSN 0172-6056) . ISBN : 978-0-387-40293-2 Langues : Anglais Catégories : 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) :06E05 Structure theory 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) :06E10 Chain conditions, complete algebras 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) :06E15 Stone space and related constructions Mots-clés : Boolean algebra  Boolean ring  Boolean space  Boolean $\sigma$-algebra  measure algebra Index. décimale : 06C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19751	06C36	imprimé / autre	CRDM	06/ORDRE,TREILLIS, STRUCTURES ALGEBRIQUES ORDONNEES	Disponible

Modern algebra with applications / William J. Gilbert

Public ISBD Titre : Modern algebra with applications Type de document : texte imprimé Auteurs : William J. Gilbert, Auteur Editeur : New York, NY : John Wiley & Sons Ltd. Année de publication : 1976 Importance : xii - 348 p. Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics 94-XX Information and communication, circuits:94-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : information and communication  Boolean algebra  groups  morphism theorem  permutation Index. décimale : 94C Monographie Modern algebra with applications [texte imprimé] / William J. Gilbert, Auteur . - New York, NY : John Wiley & Sons Ltd., 1976 . - xii - 348 p. Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics 94-XX Information and communication, circuits:94-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : information and communication  Boolean algebra  groups  morphism theorem  permutation Index. décimale : 94C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20368	94C56	imprimé / autre	CRDM	94/INFORMATION, COMMUNICATIONS, CIRCUITS, AUTOMATES	Disponible

a First course in formal logic and its applications in computer science / R. D. Dowsing

Public ISBD Titre : a First course in formal logic and its applications in computer science Type de document : texte imprimé Auteurs : R. D. Dowsing ; Walter, C.D ; V. J. Rayward-Smith Editeur : Oxford : Blackwell Scientific Publications Année de publication : 1986 Collection : Computer Science Texts Importance : vi - 265 p. ISBN/ISSN/EAN : 978-0-632-01308-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : prolog  quicksort  pascal  logic programming  resolution  program correctness  switching networks  deductions  boolean algebra Index. décimale : 68C Monographie a First course in formal logic and its applications in computer science [texte imprimé] / R. D. Dowsing ; Walter, C.D ; V. J. Rayward-Smith . - Oxford : Blackwell Scientific Publications, 1986 . - vi - 265 p.. - (Computer Science Texts) . ISBN : 978-0-632-01308-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : prolog  quicksort  pascal  logic programming  resolution  program correctness  switching networks  deductions  boolean algebra Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16035	68C194	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Introduction to lattices and order / Davey, B.A.

Permalink

Méthodes mathématiques pour l'informatique / Vélu, Jacques

Permalink

Theory of charges / Rao, K. P. S. Bahaskara

Permalink