Home » Authors » Stefan Hugtenburg, Neil Yorke-Smith

Stefan Hugtenburg, Neil Yorke-Smith

Public reference bibliography and cataloged PDF materials authored or published by Stefan Hugtenburg, Neil Yorke-Smith.

Found 1 document(s) Page 1 of 1

Delftse Foundations of Computation

Source: freecomputerbooks.com • Size: 12842.9 KB • ✓ Verified PDF

This is 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 wi...