Delftse Foundations of Computation
by Stefan Hugtenburg, Neil Yorke-Smith
Publisher: TU Delft Open 2018
ISBN-13: 9789463660839
Number of pages: 176
Description:
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.
Download or read it online for free here:
Download link
(5.1MB, PDF)
Similar books
Insight into Theoretical and Applied Informatics
by Andrzej Yatsko, Walery Suslow - De Gruyter Open
The objective of this book is to provide the reader with all the necessary elements to get him or her started in the modern field of informatics and to allow him or her to become aware of the relationship between key areas of computer science.
(6592 views)
by Andrzej Yatsko, Walery Suslow - De Gruyter Open
The objective of this book is to provide the reader with all the necessary elements to get him or her started in the modern field of informatics and to allow him or her to become aware of the relationship between key areas of computer science.
(6592 views)
A Balanced Introduction to Computer Science
by David Reed - Prentice Hall
The book covers concepts in computing that are most relevant to the beginning student, including computer terminology, the Internet and World Wide Web, the history of computing, the organization and manufacture of computer technology, etc.
(37451 views)
by David Reed - Prentice Hall
The book covers concepts in computing that are most relevant to the beginning student, including computer terminology, the Internet and World Wide Web, the history of computing, the organization and manufacture of computer technology, etc.
(37451 views)
Advances in Knowledge Representation
by Carlos RamÃrez Gutiérrez - InTech
A compilation of research works on topics such as concept theory, positive relational algebra and k-relations, structured, visual and ontological models of knowledge representation, and detailed descriptions of applications to various domains.
(11232 views)
by Carlos RamÃrez Gutiérrez - InTech
A compilation of research works on topics such as concept theory, positive relational algebra and k-relations, structured, visual and ontological models of knowledge representation, and detailed descriptions of applications to various domains.
(11232 views)
Computer Science I
by 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.
(9781 views)
by 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.
(9781 views)