Sold out

Logical apoproach to discrete math

English · Paperback / Softback

Description

Read more

Klappentext 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. Inhaltsverzeichnis 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.

Product details

Authors Davi Gries, David Gries, Fred B Schneider, Fred B. Schneider
Publisher Springer International Publishing AG
 
Languages English
Product format Paperback / Softback
Released 04.11.1993
 
EAN 9780387941158
ISBN 978-0-387-94115-8
Dimensions 160 mm x 243 mm x 30 mm
Series Texts & Monographs in Computer
Print on demand
Monographs in Computer Science
Subjects Natural sciences, medicine, IT, technology

Mathematik, MATHEMATICS / General, COMPUTERS / Programming Languages / General, Computers - Languages / Programming

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.