Delftse foundations of computation /
Hugtenburg, Stefan,
Delftse foundations of computation / Stefan Hugtenburg and Neil Yorke-Smith. - First TU Delft edition (TUD-1.1, August 2019). - 1 online resources (ix, 175 pages) : illustrations (some colour)
This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License. This bibliographic record is available under the Creative Commons CC0 "No Rights Reserved" license.
Includes bibliographical references (page 157) and index.
1. Introduction -- 2. Logic. Propositional logic ; Boolean algebra ; Application: logic circuits ; Predicate logic ; Deduction -- 3. Proof. A little historical background ; Mathematical proof ; Proof by contradiction ; Mathematical induction ; Strong mathematical induction ; Application: recursion and induction ; Recursive definitions ; Invariants -- 4. Sets, Functions, and Relations. Basic concepts ; The Boolean algebra of sets ; Application: Programming with sets ; Functions ; Application: programming with functions ; Counting past infinity ; Relations ; Application: relational databases -- 5. Looking Beyond.
"Delftse Foundations of Computation is a textbook for an 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"--BCcampus website.
Computer science.
Electronic books.
QA76 / .H84 2019eb
Delftse foundations of computation / Stefan Hugtenburg and Neil Yorke-Smith. - First TU Delft edition (TUD-1.1, August 2019). - 1 online resources (ix, 175 pages) : illustrations (some colour)
This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License. This bibliographic record is available under the Creative Commons CC0 "No Rights Reserved" license.
Includes bibliographical references (page 157) and index.
1. Introduction -- 2. Logic. Propositional logic ; Boolean algebra ; Application: logic circuits ; Predicate logic ; Deduction -- 3. Proof. A little historical background ; Mathematical proof ; Proof by contradiction ; Mathematical induction ; Strong mathematical induction ; Application: recursion and induction ; Recursive definitions ; Invariants -- 4. Sets, Functions, and Relations. Basic concepts ; The Boolean algebra of sets ; Application: Programming with sets ; Functions ; Application: programming with functions ; Counting past infinity ; Relations ; Application: relational databases -- 5. Looking Beyond.
"Delftse Foundations of Computation is a textbook for an 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"--BCcampus website.
Computer science.
Electronic books.
QA76 / .H84 2019eb