A Logical Approach to Discrete Math /
This text attempts to change the way logic and discrete math are taught in computer science and mathematics. While many books treat logic simply as another topic of study, this book's uniqueness is its willingness to take it one step further. In the book, logic is treated as a basic tool, to be...
| Main Author: | Gries, David |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Schneider, Fred B. |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York,
1993.
|
| Series: | Texts and monographs in computer science.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Orthomodular Lattices : Algebraic Approach /
by: Beran, Ladislav
Published: (1985)
by: Beran, Ladislav
Published: (1985)
Discrete Tomography : Foundations, Algorithms, and Applications /
by: Herman, Gabor T.
Published: (1999)
by: Herman, Gabor T.
Published: (1999)
Codes, Designs and Geometry /
by: Tonchev, Vladimir
Published: (1996)
by: Tonchev, Vladimir
Published: (1996)
Ten Applications of Graph Theory /
by: Walther, Hansjoachim
Published: (1983)
by: Walther, Hansjoachim
Published: (1983)
Lattice-Ordered Groups : an Introduction /
by: Anderson, Marlow
Published: (1988)
by: Anderson, Marlow
Published: (1988)
Ordered Sets : Proceedings of the NATO Advanced Study Institute held at Banff, Canada, August 28 to September 12, 1981 /
by: Rival, Ivan
Published: (1982)
by: Rival, Ivan
Published: (1982)
Computational science and its applications : ICCSA 2003 : international conference, Montreal, Canada, May 18-21, 2003 : proceedings /
Published: (2003)
Published: (2003)
Computational science-ICCS 2002 : international conference, Amsterdam, the Netherlands, April 21-24, 2002 : proceedings /
Published: (2002)
Published: (2002)
Computational science - ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003 : proceedings /
Published: (2003)
Published: (2003)
Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings /
Published: (2001)
Published: (2001)
... International Conference on Computational Science and its Applications.
Discrete Analysis and Operations Research /
by: Korshunov, A. D. (Alekseĭ D.)
Published: (1996)
by: Korshunov, A. D. (Alekseĭ D.)
Published: (1996)
One-Factorizations /
by: Wallis, W. D.
Published: (1997)
by: Wallis, W. D.
Published: (1997)
Algorithmic information dynamics : a computational approach to causality with applications to living systems /
by: Zenil, Hector, et al.
Published: (2023)
by: Zenil, Hector, et al.
Published: (2023)
Dealing with complexity : a neural networks approach /
Published: (1998)
Published: (1998)
Neural and Automata Networks : Dynamical Behavior and Applications /
by: Golès, E.
Published: (1990)
by: Golès, E.
Published: (1990)
Selected Areas in Cryptography /
by: Kranakis, Evangelos
Published: (1997)
by: Kranakis, Evangelos
Published: (1997)
Logic and Complexity /
by: Lassaigne, Richard
Published: (2004)
by: Lassaigne, Richard
Published: (2004)
The computational complexity of logical theories /
by: Ferrante, Jeanne, 1949-
Published: (1979)
by: Ferrante, Jeanne, 1949-
Published: (1979)
Finite Fields : Normal Bases and Completely Free Elements /
by: Hachenberger, Dirk
Published: (1997)
by: Hachenberger, Dirk
Published: (1997)
Logic Functions and Equations : Binary Models for Computer Science /
by: Posthoff, Christian
Published: (2004)
by: Posthoff, Christian
Published: (2004)
Steiner Minimal Trees /
by: Cieslik, Dietmar
Published: (1998)
by: Cieslik, Dietmar
Published: (1998)
Integer Programming /
by: Walukiewicz, Stanisław
Published: (1991)
by: Walukiewicz, Stanisław
Published: (1991)
Computational science-- ICCS 2004 : 4th international conference, Kraków, Poland, June 6-9, 2004 : proceedings /
Published: (2004)
Published: (2004)
Computational science and its applications : ICCSA 2004, international conference, Assisi, Italy, May 14-17, 2004 : proceedings /
Published: (2004)
Published: (2004)
Mathematical Properties of Sequences and Other Combinatorial Structures /
by: No, Jong-Seon
Published: (2003)
by: No, Jong-Seon
Published: (2003)
Theory of Semi-Feasible Algorithms /
by: Hemaspaandra, Lane A.
Published: (2003)
by: Hemaspaandra, Lane A.
Published: (2003)
Invariant Methods in Discrete and Computational Geometry : Proceedings of the Curaçao Conference, 13-17 June, 1994 /
by: White, Neil L.
Published: (1995)
by: White, Neil L.
Published: (1995)
Complexity of Lattice Problems : a Cryptographic Perspective /
by: Micciancio, Daniele
Published: (2002)
by: Micciancio, Daniele
Published: (2002)
The Complexity Theory Companion /
by: Hemaspaandra, Lane A.
Published: (2002)
by: Hemaspaandra, Lane A.
Published: (2002)
Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use /
by: Jensen, Kurt
Published: (1997)
by: Jensen, Kurt
Published: (1997)
Universal Compression and Retrieval /
by: Krichevsky, Rafail
Published: (1994)
by: Krichevsky, Rafail
Published: (1994)
Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings /
by: Kirchner, H. (Hélène)
Published: (1996)
by: Kirchner, H. (Hélène)
Published: (1996)
Unconventional Models of Computation, UMC'2K : Proceedings of the Second International Conference on Unconventional Models of Computation, (UMC'2K) /
by: Antoniou, I.
Published: (2001)
by: Antoniou, I.
Published: (2001)
Topological Structure and Analysis of Interconnection Networks /
by: Xu, Junming
Published: (2001)
by: Xu, Junming
Published: (2001)
Complexity and structure /
by: Schöning, Uwe, 1955-
Published: (1986)
by: Schöning, Uwe, 1955-
Published: (1986)