Delftse Foundations of Computation First Edition by Stefan Hugtenburg, Neil Yorke-Smith – Ebook PDF Instant Download/Delivery: 9463660836, 9789463660839
Full download Delftse Foundations of Computation First Edition after payment

Product details:
ISBN 10: 9463660836
ISBN 13: 9789463660839
Author: Stefan Hugtenburg, Neil Yorke-Smith
“Delftse Foundations of Computation is a textbook for a one quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming”–Textbook Web page
Table of contents:
1: Introduction
2: Logic
2.1: Propositional Logic
2.2: Boolean Algebra
2.3: Application: Logic Circuits
2.4: Predicate Logic
2.5: Deduction
3: Proof
3.1: A Little Historical Background
3.2: Mathematical Proof
3.3: Proof by Contradiction
3.4: Mathematical Induction
3.5: Strong Mathematical Induction
3.6: Application: Recursion and Induction
3.7: Recursive Definitions
3.8: Invariants
4: Sets, Functions, and Relations
4.1: Basic Concepts
4.2: The Boolean Algebra of Sets
4.3: Application: Programming with Sets
4.4: Functions
People also search for:
delftse foundations of computation
delftse foundations of computation pdf
delftse foundations of computation answers
delftse foundations of computation 2nd edition
delftse foundations of computation book
Tags: Stefan Hugtenburg, Neil Yorke Smith, Delftse, Foundations, Computation


