David Gries, Fred B Schneider

A Logical Approach to Discrete Math

• Gebundenes Buch

Produktbeschreibung

Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Springer New York / Springer US
• 3rd edition
• Seitenzahl: 516
• Erscheinungstermin: 22. Oktober 1993
• Englisch
• Abmessung: 243mm x 163mm x 29mm
• Gewicht: 925g
• ISBN-13: 9780387941158
• ISBN-10: 0387941150
• Artikelnr.: 21546428

Inhaltsangabe

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.

---

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.

Rezensionen

"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