Delftse Foundations of Computation
Hugtenburg, Stefan
Delftse Foundations of Computation Stefan Hugtenburg - 1 online resource - Open textbook library. .
Chapter 1: Introduction -- Chapter 2: Logic -- Chapter 3: Proof -- Chapter 4: Sets, Functions, and Relations -- Chapter 5: Looking Beyond
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.
In English.
Computer Science--Textbooks
QA76
Delftse Foundations of Computation Stefan Hugtenburg - 1 online resource - Open textbook library. .
Chapter 1: Introduction -- Chapter 2: Logic -- Chapter 3: Proof -- Chapter 4: Sets, Functions, and Relations -- Chapter 5: Looking Beyond
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.
In English.
Computer Science--Textbooks
QA76