David Gries,
Fred B. Schneider
Springer New York
1993e druk, 1993
9780387941158
A Logical Approach to Discrete Math
Specificaties
Gebonden, 516 blz.
|
Engels
Springer New York |
1993e druk, 1993
ISBN13: 9780387941158
Rubricering
Onderdeel van serie
Monographs in Computer Science
Levertijd ongeveer 8 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9780387941158
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:516
Uitgever:Springer New York
Druk:1993
Hoofdrubriek:Wetenschap en techniek, Computer en informatica
Inhoudsopgave
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.