Foundations of Computation
by Carol Critchlow, David Eck
Publisher: Hobart and William Smith Colleges 2011
Number of pages: 256
Description:
The first half of the course covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers material on automata, formal languages, and grammar that would ordinarily be encountered in an upper level course in theoretical computer science.
Download or read it online for free here:
Download link
(1.7MB, PDF)
Similar books
Foundations of Computer Scienceby Lawrence C Paulson - University of Cambridge
This text teaches programming and presents some fundamental principles of computer science, especially algorithm design. The programming in this course is based on the language ML and mostly concerns the functional programming style.
(18105 views)
Delftse Foundations of Computationby Stefan Hugtenburg, Neil Yorke-Smith - TU Delft Open
This 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 CS.
(3419 views)
Computer Science: Abstraction to Implementationby Robert M. Keller - Harvey Mudd College
This book is intended for a second course in computer science, one emphasizing principles wherever it seems possible. It is not limited to programming, it attempts to use various programming models to explicate principles of computational systems.
(20525 views)
Computer Science Iby Chris Bourke - University of Nebraska - Lincoln
A draft of text book for Computer Science I, covering CS1 topics in a generic manner using psuedocode with supplemental parts for specific languages. Computer Science is not programming. Programming is a necessary skill, but it is only the beginning.
(6447 views)