Vor Ort
Merkzettel Warenkorb
  • Produktbild: A Logical Approach to Discrete Math
  • Produktbild: A Logical Approach to Discrete Math

A Logical Approach to Discrete Math

Aus der Reihe Monographs in Computer Science

56,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.2010

Verlag

Springer Us

Seitenzahl

516

Maße (L/B/H)

23,4/15,6/2,9 cm

Gewicht

787 g

Auflage

Softcover reprint of hardcover 1st ed. 1993

Sprache

Englisch

ISBN

978-1-4419-2835-1

Beschreibung

Rezension

"This is a rather extraordinary book, and deserves to be read by everyone involved in computer science and - perhaps more importantly - software engineering. I recommend it highly... If the book is taken seriously, the rigor that it unfolds and the clarity of its concepts could have a significant impact on the way in which software is conceived and developed." - Peter G. Neumann

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.2010

Verlag

Springer Us

Seitenzahl

516

Maße (L/B/H)

23,4/15,6/2,9 cm

Gewicht

787 g

Auflage

Softcover reprint of hardcover 1st ed. 1993

Sprache

Englisch

ISBN

978-1-4419-2835-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: A Logical Approach to Discrete Math
  • Produktbild: A Logical Approach to Discrete Math
  • 0 Using Mathematics.- 1 Textual Substitution, Equality, and Assignment.- 2 Boolean Expressions.- 3 Propositional Calculus.- 4 Relaxing the Proof Style.- 5 Applications of Propositional Calculus.- 6 Hilbert-style Proofs.- 7 Formal Logic.- 8 Quantification.- 9 Predicate Calculus.- 10 Predicates and Programming.- 11 A Theory of Sets.- 12 Mathematical Induction.- 13 A Theory of Sequences.- 14 Relations and Functions.- 15 A Theory of Integers.- 16 Combinatorial Analysis.- 17 Recurrence Relations.- 18 Modern Algebra.- 19 A Theory of Graphs.- 20 Infinite Sets.- References.- Theorems of the propositional and predicate calculi.