2012, ISBN: 9781461230861
Sets, Relations, and Induction, eBooks, eBook Download (PDF), Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
ISBN: 9781461230861
Mathematical Foundations of Computer Science - Sets Relations and Induction: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer New York eBook als pdf, Springer New York
eBook.de Versandkosten:in stock, , , zzgl. Versandkosten. Details... |
ISBN: 9781461230861
Mathematical Foundations of Computer Science - Sets Relations and Induction: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer US eBook als pdf, Springer US
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
ISBN: 9781461230861
Mathematical Foundations of Computer Science - Sets Relations and Induction: ab 82.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer US, Springer US
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
2012, ISBN: 9781461230861
Sets, Relations, and Induction, eBooks, eBook Download (PDF), [PU: Springer New York], Springer New York, 2012
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2012, ISBN: 9781461230861
Sets, Relations, and Induction, eBooks, eBook Download (PDF), Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly… Mehr…
ISBN: 9781461230861
Mathematical Foundations of Computer Science - Sets Relations and Induction: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer New York eBook als pdf, Springer New York
ISBN: 9781461230861
Mathematical Foundations of Computer Science - Sets Relations and Induction: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer US eBook als pdf, Springer US
ISBN: 9781461230861
Mathematical Foundations of Computer Science - Sets Relations and Induction: ab 82.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer US, Springer US
2012, ISBN: 9781461230861
Sets, Relations, and Induction, eBooks, eBook Download (PDF), [PU: Springer New York], Springer New York, 2012
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Mathematical Foundations of Computer Science
EAN (ISBN-13): 9781461230861
Erscheinungsjahr: 2012
Herausgeber: Springer New York
Buch in der Datenbank seit 2016-06-21T17:45:55+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-12-02T15:34:37+01:00 (Zurich)
ISBN/EAN: 9781461230861
ISBN - alternative Schreibweisen:
978-1-4612-3086-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: simovici dan, fejer simovici
Titel des Buches: mathematical foundations computer science
Daten vom Verlag:
Autor/in: Peter A. Fejer; Dan A. Simovici
Titel: Monographs in Computer Science; Mathematical Foundations of Computer Science - Sets, Relations, and Induction
Verlag: Springer; Springer US
425 Seiten
Erscheinungsjahr: 2012-12-06
New York; NY; US
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 425 p.
EA; E107; eBook; Nonbooks, PBS / Mathematik/Sonstiges; Diskrete Mathematik; Verstehen; algorithms; automata; formal language; formal languages; logic; program verification; semantics; combinatorics; B; Discrete Mathematics; Numerical Analysis; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Mathematical Logic and Foundations; Computer Science; Numerische Mathematik; Theoretische Informatik; Mathematik: Logik; Mathematische Grundlagen; BC
1 Elementary Set Theory.- 1.1 Introduction.- 1.2 Sets, Members, Subsets.- 1.3 Building New Sets.- 1.4 Exercises and Supplements.- 1.5 Bibliographical Comments.- 2 Relations and Functions.- 2.1 Introduction.- 2.2 Relations.- 2.3 Functions.- 2.4 Sequences, Words, and Matrices.- 2.5 Images of Sets Under Relations.- 2.6 Relations and Directed Graphs.- 2.7 Special Classes of Relations.- 2.8 Equivalences and Partitions.- 2.9 General Cartesian Products.- 2.10 Operations.- 2.11 Representations of Relations and Graphs.- 2.12 Relations and Databases.- 2.13 Exercises and Supplements.- 2.14 Bibliographical Comments.- 3 Partially Ordered Sets.- 3.1 Introduction.- 3.2 Partial Orders and Hasse Diagrams.- 3.3 Special Elements of Partially Ordered Sets.- 3.4 Chains.- 3.5 Duality.- 3.6 Constructing New Posets.- 3.7 Functions and Posets.- 3.8 Complete Partial Orders.- 3.9 The Axiom of Choice and Zorn’s Lemma.- 3.10 Exercises and Supplements.- 3.11 Bibliographical Comments.- 4 Induction.- 4.1 Introduction.- 4.2 Induction on the Natural Numbers.- 4.3 Inductively Defined Sets.- 4.4 Proof by Structural Induction.- 4.5 Recursive Definitions of Functions.- 4.6 Constructors.- 4.7 Simultaneous Inductive Definitions.- 4.8 Propositional Logic.- 4.9 Primitive Recursive and Partial Recursive Functions.- 4.10 Grammars.- 4.11 Peano’s Axioms.- 4.12 Well-Founded Sets and Induction.- 4.13 Fixed Points and Fixed Point Induction.- 4.14 Exercises and Supplements.- 4.15 Bibliographical Comments.- 5 Enumerability and Diagonalization.- 5.1 Introduction.- 5.2 Equinumerous Sets.- 5.3 Countable and Uncountable Sets.- 5.4 Enumerating Programs.- 5.5 Abstract Families of Functions.- 5.6 Exercises and Supplements.- 5.7 Bibliographical Comments.- References.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781032654195 Mathematical Foundations of Computer Science - 1st Edition (eBook Rental)
- 9781032654195 Mathematical Foundations of Computer Science - 1st Edition (eBook Rental)
- 9780367366810 Mathematical Foundations of Computer Science (Satyanarayana, Bhavanari, Kumar, T.V. Pradeep, Shaw, Shaik Mohiddin)
- 9783540744559 Mathematical Foundations of Computer Science 2007: 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, ... (Lecture Notes in Computer Science, 4708) (Ludek Kucera; Antonín Kucera)
- 9783540664086 Mathematical Foundations of Computer Science 1999 (Miroslaw Kutylowski/ Leszek Pacholski/ Tomasz Wierzbicki)
- 9783540440406 Mathematical Foundations of Computer Science 2002 (Diks, Krzystof Rytter, Wojciech)
< zum Archiv...