Introduction to boolean algebras :: SCD d'Orléans

Introduction to boolean algebras

Introduction to boolean algebras

In a bold and refreshingly informal style, this exciting text steers a middle course between elementary texts emphasizing connections with philosophy, logic, and electronic circuit design, and profound treatises aimed at advanced graduate students and professional mathematicians. It is written for r...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autors principals:	Givant, Steven R., 1943-, Halmos, Paul Richard, 1916-2006, mathématicien (Autor), Givant, Steven (Autor)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	New York, NY : Springer New York [20..]. Cham : Springer Nature
Edició:	1st ed. 2009.
Col·lecció:	Undergraduate Texts in Mathematics
Matèries:	Boole, Algèbre de
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Description d'après consultation du 06 juillet 2011 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Introduction to boolean algebras, Steven Givant, Paul Halmos, 2009, New York, Springer, 1 vol. (xiv-574 p.), Undergraduate texts in mathematics, 978-0-387-40293-2

Ítems similars

Lectures on Boolean algebras
per: Halmos, Paul Richard, 1916-2006, mathématicien
Publicat: (1963)

Boolean algebras
per: Sikorski, Roman, 1920-1983, mathématicien
Publicat: (1964)

Boolean algebras
per: Sikorski, Roman, 1920-1983, mathématicien
Publicat: (1969)

Logic and boolean algebra
per: Arnold, Bradford H., 1916-2012
Publicat: (1962)

Boolean algebra and its uses
per: South, G. F.
Publicat: (1974)

Probability theory on boolean algebras of events.
per: Onicescu, O.

Boolean algebra and its application : including Boolean matrix algebra
per: Flegg, H. Graham
Publicat: (1964)

Binary arithmetic and Boolean algebra
per: Gillie, Angelo Christopher, 1925-
Publicat: (1965)

Nearly Projective Boolean Algebras
per: Heindorf, Lutz, 1953-, et al.

Pseudo-boolean programming and applications : presented at the Colloquium on mathematics and cybernetics in the economy, Berlin, October 1964
per: Hammer, Peter L., 1936-2006, et al.

Pseudo-boolean methods for bivalent programming : lecture at the First European Meeting of the Institute of Management Sciences and of the Econometric Institute, Warsaw, September 2-7, 1966
per: Hammer, Peter L., 1936-2006, et al.

Algèbre et topologie booléennes
per: Ponasse, Daniel, 19..-...., mathématicien, et al.
Publicat: (1979)

Algèbre de Boole : théorie, méthodes de calcul, applications : avec exercices
per: Permingeat, Noël, et al.
Publicat: (1988)

The algebra of probable inference
per: Cox, Richard Threlkeld, 1898-1991
Publicat: (1961)

L'algèbre de Boole et son utilisation
per: Flegg, H. Graham
Publicat: (1967)

L'algèbre de la logique
per: Couturat, Louis, 1868-1914
Publicat: (1980)

Introduction à l'algèbre de Boole et aux dispositifs logiques
per: Hoernes, Gerhard E., et al.
Publicat: (1966)

Algèbres de Boole : avec une introduction à la théorie algébrique des graphes orientés et aux "sous-ensembles flous" : suivi d'exercices
per: Serfati, Michel, 1938-2018
Publicat: (1974)

Simplified independence proofs : Boolean valued models of set theory
per: Rosser, John Barkley, 1907-1989
Publicat: (1969)

Cours de mathématiques supérieures appliquées (mathématiques modernes). Cours de calcul booléien appliqué (Notions sur les ensembles et les treillis, algèbres booléiennes, algèbre binaire).
per: Faure, Robert
Publicat: (1970)

Operator Algebras Generated by Commuting Projections: A Vector Measure Approach
per: Ricker, Werner Joseph, 1954-

Compact zero-dimensional metric spaces of finite type
per: Pierce, Richard Scott, 1927-
Publicat: (1972)

Algebraic methods of mathematical logic
per: Rieger, Ladislav, 1916-1963
Publicat: (1967)

Algèbre : notions de base avec exercices corrigés
per: Noël, Roger, 1947-
Publicat: (2000)

Automatique, algèbre de Boole. Livret 2 : fonctions universelles
per: Degoulange, François, et al.
Publicat: (1973)

Structures ordonnées et algèbres de Boole
per: Faure, Robert, 1918-1982, mathématicien, et al.
Publicat: (1971)

Automatique algèbre de Boole. Fonctions de base : baccalauréat E, F1, F2, F3, formation continue
per: Degoulange, François, et al.
Publicat: (1973)

Lectures on Boolean Algebras
per: Halmos, Paul Richard, 1916-2006, mathématicien

Mathématiques pour une intelligence produite par une technique humaine : une I A peut être hors de contrôle
per: Pelat, Alain, 1939-
Publicat: (2022)

Les lois de la pensée
per: Boole, George, 1815-1864
Publicat: (1992)

Les bases fondamentales pour l'élaboration et la construction des circuits et systèmes numériques
per: Pelat, Alain, 1939-
Publicat: (2026)

Mathématique et automatique : logique, algèbres de Boole, circuits
per: Bosom, M., et al.
Publicat: (1969)

Algèbre de Boole et machines logiques
Publicat: (1967)

Sheaves of Algebras over Boolean Spaces
per: Knoebel, Arthur, 1934-
Publicat: (2012)

Nouvelles orientations des mathématiques
per: Âglom, Isaak Moiseevič, 1921-1988, et al.
Publicat: (1975)

Cours de mathématiques. Algèbre de Boole, matrices et tenseurs, intégrales simples, convergence uniforme, séries et intégrales de Fourier, fonctions de carré intégrable, courbes, surfaces, intégrales multiples
per: Bass, Jean, 1913-2007
Publicat: (1968)

Logique mathématique. Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés
per: Cori, René, 1949-...., mathématicien, et al.
Publicat: (2003)

Algèbre de Boole ; schémas électriques, automatismes : classes de 1res B.Tn
per: Clément, René, 19..-...., ingénieur, et al.
Publicat: (1968)

Systèmes logiques
per: Perrin, Jean-Paul, 19..-...., ingénieur, et al.
Publicat: (1967)

From Objects to Diagrams for Ranges of Functors
per: Gillibert, Pierre, 1983-, et al.

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales