Cover Image

Mathematical Foundations of Computer Science : Sets, Relations, and Induction /

Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mostly of a set-theoretical nature (sets, functions and rela...

Full description

Bibliographic Details
Main Author:	Fejer, Peter A.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Simovici, Dan A.
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1991.
Series:	Texts and monographs in computer science.
Subjects:	Mathematics. Logic design. Computer science. Numerical analysis. Combinatorial analysis. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Mathematics of Ramsey Theory /
by: Nešetřil, Jaroslav
Published: (1990)

Graph Theory and Sparse Matrix Computation /
by: George, Alan
Published: (1993)

Finite and Infinite Combinatorics in Sets and Logic /
by: Sauer, N. W.
Published: (1993)

Relations and Graphs : Discrete Mathematics for Computer Scientists /
by: Schmidt, Günther
Published: (1993)

Nonsequential Processes : a Petri Net View /
by: Best, Eike
Published: (1988)

The Mathematics of Paul Erdös II /
by: Graham, Ronald L.
Published: (1997)

Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday /
by: Crossley, John N.
Published: (1993)

Handbook of Logic and Proof Techniques for Computer Science /
by: Krantz, Steven G.
Published: (2002)

Foundations of Mathematics : Questions of Analysis, Geometry & Algorithmics /
by: Engeler, Erwin
Published: (1993)

Structural Complexity II /
by: Balcázar, José Luis
Published: (1990)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1996)

Iteration Theories : the Equational Logic of Iterative Processes /
by: Bloom, Stephen L.
Published: (1993)

Mathematical Models for the Semantics of Parallelism : Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings /
by: Venturini Zilli, Marisa
Published: (1987)

First-Order Programming Theories /
by: Gergely, T. (Tamás)
Published: (1991)

Algorithms for Games /
by: Adelʹson-Velʹskiĭ, G. M. (Georgiĭ Maksimovich)
Published: (1988)

Formal Power Series and Algebraic Combinatorics : 12th International Conference, FPSAC'00, Moscow, Russia, June 2000, Proceedings /
by: Krob, Daniel
Published: (2000)

Introduction to Discrete Mathematics with ISETL /
by: Fenton, William E.
Published: (1996)

Problems and Exercises in Discrete Mathematics /
by: Gavrilov, G. P.
Published: (1996)

Collegium Logicum.
Published: (1995)

Collegium Logicum.
Published: (1996)

Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings /
by: Nerode, Anil
Published: (1992)

Combinatorial Methods /
by: Percus, Jerome K.
Published: (1971)

Introduction to Game Theory /
by: Morris, Peter
Published: (1994)

An Introduction to Convex Polytopes /
by: Brøndsted, Arne
Published: (1983)

Constructive Combinatorics /
by: Stanton, Dennis
Published: (1986)

Dynamics of Algorithms /
by: Llave, Rafael
Published: (2000)

Algorithms and Classification in Combinatorial Group Theory /
by: Baumslag, Gilbert
Published: (1992)

Graph Theory Applications /
by: Foulds, L. R.
Published: (1992)

Graph Theory : an Introductory Course /
by: Bollobás, Béla
Published: (1979)

Mathematical Essays in honor of Gian-Carlo Rota /
by: Sagan, Bruce E.
Published: (1996)

Combinatorial Enumeration of Groups, Graphs, and Chemical Compounds /
by: Pólya, G.
Published: (1987)

Systems Analysis by Graphs and Matroids : Structural Solvability and Controllability /
by: Murota, Kazuo
Published: (1987)

A Textbook of Graph Theory /
by: Balakrishnan, R. (Rangaswami)
Published: (2000)

A Beginner's Guide to Graph Theory /
by: Wallis, W. D.
Published: (2000)

Higher Combinatorics : Proceedings of the NATO Advanced Study Institute held in Berlin (West Germany), September 1-10, 1976 /
by: Aigner, Martin
Published: (1977)

Greedoids /
by: Korte, B. H. (Bernhard H.), 1938-
Published: (1991)

Geometric Algorithms and Combinatorial Optimization /
by: Grötschel, Martin
Published: (1988)

The Simplex Method : a Probabilistic Analysis /
by: Borgwardt, Karl Heinz
Published: (1987)

Learning Discrete Mathematics with ISETL /
by: Baxter, Nancy
Published: (1989)

Essays in Game Theory : In Honor of Michael Maschler /
by: Megiddo, Nimrod
Published: (1994)