Mathematical Foundations of Computer Science Sets, Relations, and Induction

Mathematical Foundations of Computer Science Sets, Relations, and Induction / by Peter A. Fejer, Dan A. Simovici.

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...

Fuld beskrivelse

Saved in:

Bibliografiske detaljer
Main Authors:	Fejer, Peter A. (Author), Simovici, Dan A. (Author)
Institution som forfatter:	SpringerLink (Online service)
Format:	eBog
Sprog:	English
Udgivet:	New York, NY : Springer New York : Imprint: Springer, 1991.
Udgivelse:	1st ed. 1991.
Serier:	Monographs in Computer Science, Springer eBook Collection.
Fag:	Combinatorics. Numerical analysis. Computer logic. Mathematical logic. Electronic resources (E-books)
Online adgang:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Lignende værker

Foundations of Software Technology and Theoretical Computer Science 15th Conference; Bangalore, India, December 1995. Proceedings
Udgivet: (1995)

Foundations of Mathematics Questions of Analysis, Geometry & Algorithmics
af: Engeler, Erwin
Udgivet: (1993)

Mathematical Foundations of Computer Science 1999 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings
Udgivet: (1999)

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
Udgivet: (2013)

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
Udgivet: (2012)

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Udgivet: (2014)

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Udgivet: (2015)

Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Udgivet: (2016)

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Udgivet: (2014)

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
Udgivet: (2015)

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
Udgivet: (2014)

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
Udgivet: (2015)

A Basis for Theoretical Computer Science
af: Arbib, M.A, et al.
Udgivet: (1981)

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Udgivet: (2014)

Problems and Exercises in Discrete Mathematics
af: Gavrilov, G.P, et al.
Udgivet: (1996)

Fundamentals of Computation Theory 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings
Udgivet: (1995)

Relations and Graphs Discrete Mathematics for Computer Scientists
af: Schmidt, Gunther, et al.
Udgivet: (1993)

STACS 92 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings
Udgivet: (1992)

Abduction and Induction Essays on their Relation and Integration
Udgivet: (2000)

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Udgivet: (2018)

Fundamentals of Computation Theory International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings
Udgivet: (1989)

Fundamentals of Computation Theory 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings
Udgivet: (1991)

Fundamentals of Computation Theory 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings
Udgivet: (1993)

STACS 91 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991. Proceedings
Udgivet: (1991)

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
Udgivet: (2005)

Where Mathematics, Computer Science, Linguistics and Biology Meet Essays in honour of Gheorghe Păun
Udgivet: (2001)

Artificial Intelligence and Symbolic Mathematical Computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Udgivet: (1993)

Theory Is Forever Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday
Udgivet: (2004)

Banach Spaces and Descriptive Set Theory: Selected Topics
af: Dodos, Pandelis
Udgivet: (2010)

Foundations of Image Understanding
Udgivet: (2001)

Integrating Symbolic Mathematical Computation and Artificial Intelligence Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers
Udgivet: (1995)

Graph-Theoretic Concepts in Computer Science 20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings
Udgivet: (1995)

Automata, Languages and Programming 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings
Udgivet: (1989)

A Beginner’s Guide to Discrete Mathematics
af: Wallis, W.D
Udgivet: (2003)

A Beginner's Guide to Discrete Mathematics
af: Wallis, W.D
Udgivet: (2012)

Methods and Applications of Error-Free Computation
af: Gregory, R. T., et al.
Udgivet: (1984)

STACS 88 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
Udgivet: (1988)

Combinatorics and Computer Science 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers
Udgivet: (1996)

Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings
Udgivet: (2019)

The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators
af: Soifer, Alexander
Udgivet: (2009)