2011, ISBN: 1461277922
[EAN: 9781461277927], Neubuch, [PU: Springer New York], ALGORITHMS AUTOMATA FORMALLANGUAGE FORMALLANGUAGES LOGIC PROGRAMVERIFICATION SEMANTICS COMBINATORICS MATHEMATIK SONSTIGES FORMAL LA… Mehr…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Mathematical Foundations of Computer Science: Sets, Relations, and Induction (Monographs in Computer Science) - Taschenbuch
1991, ISBN: 9781461277927
Springer US, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 1991, 444 Seiten, Publiziert: 1991-01-01T00:00:01Z, Produktgruppe: Buch, 1.47 kg, Informatik, IT-Ausbildung & … Mehr…
amazon.de Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2011, ISBN: 1461277922
Softcover reprint of the original 1st ed. 1991 Kartoniert / Broschiert Mathematische Grundlagen, Diskrete Mathematik, Numerische Mathematik, Theoretische Informatik, algorithms; automat… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9781461277927
Paperback / softback. New. Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have … Mehr…
Biblio.co.uk |
Mathematical Foundations of Computer Science: Sets, Relations, and Induction (Monographs in Computer Science) - Taschenbuch
2012, ISBN: 9781461277927
Springer-Verlag, 2012. Paperback. New. reprint edition. 435 pages. 9.25x6.10x1.00 inches., Springer-Verlag, 2012, 6
Biblio.co.uk |
2011, ISBN: 1461277922
[EAN: 9781461277927], Neubuch, [PU: Springer New York], ALGORITHMS AUTOMATA FORMALLANGUAGE FORMALLANGUAGES LOGIC PROGRAMVERIFICATION SEMANTICS COMBINATORICS MATHEMATIK SONSTIGES FORMAL LA… Mehr…
Dan A. Simovici, Peter A. Fejer:
Mathematical Foundations of Computer Science: Sets, Relations, and Induction (Monographs in Computer Science) - Taschenbuch1991, ISBN: 9781461277927
Springer US, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 1991, 444 Seiten, Publiziert: 1991-01-01T00:00:01Z, Produktgruppe: Buch, 1.47 kg, Informatik, IT-Ausbildung & … Mehr…
2011
ISBN: 1461277922
Softcover reprint of the original 1st ed. 1991 Kartoniert / Broschiert Mathematische Grundlagen, Diskrete Mathematik, Numerische Mathematik, Theoretische Informatik, algorithms; automat… Mehr…
ISBN: 9781461277927
Paperback / softback. New. Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have … Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Mathematical Foundations of Computer Science: Sets, Relations, and Induction (Monographs in Computer Science)
EAN (ISBN-13): 9781461277927
ISBN (ISBN-10): 1461277922
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: Springer US
Buch in der Datenbank seit 2012-12-09T22:13:58+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-12-02T15:34:46+01:00 (Berlin)
ISBN/EAN: 9781461277927
ISBN - alternative Schreibweisen:
1-4612-7792-2, 978-1-4612-7792-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: fejer, peter peter, simovici dan, fejér
Titel des Buches: mathematical induction, the mathematical foundations, foundations science, 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: 2011-12-27
New York; NY; US
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 425 p.
BC; Hardcover, Softcover / Mathematik/Sonstiges; Diskrete Mathematik; Verstehen; algorithms; automata; formal language; formal languages; logic; program verification; semantics; combinatorics; Discrete Mathematics; Numerical Analysis; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Mathematical Logic and Foundations; Numerische Mathematik; Theoretische Informatik; Mathematik: Logik; Mathematische Grundlagen; BB; EA
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:
9781461230861 Mathematical Foundations of Computer Science (Peter A. Fejer/ Dan A. Simovici)
- 9781461230861 Mathematical Foundations of Computer Science (Peter A. Fejer/ Dan A. Simovici)
- 9780387974507 Mathematical Foundations of Computer Science: Sets, Relations, and Induction (Monographs in Computer Science) (Fejer, Peter A. Simovici, Dan)
- 9783540974505 Mathematical Foundations of Computer Science: Vol. 1: Sets, Relations, and Induction: Volume1, Sets, Relations, and Induction (Monographs in Computer Science) (Fejer, Peter A. Simovici, Dan A.)
- Mathematical Foundations of Computer Science, Volume I: Sets, Relations, and Induction (Texts and Monographs in Computer Science) (Fejer, Peter A.; Simovici, Dan A.)
- Mathematical foundations of computer science. Vol. 1: Sets, relations and induction. (Fejer, Peter A. und Dan A. Simovici)
< zum Archiv...