Foundations of Computer Science
by Hans-Peter Bischof
1998
Description:
This text is an introduction to the formal study of computation. The course will provide students with a broad perspective of computer science and will acquaint them with various formal systems on which modern computer science is based.
Download or read it online for free here:
Read online
(online html)
Similar books
Introduction to High-Performance Scientific Computing
by Victor Eijkhout - University of Texas
A computational scientist needs knowledge of several aspects of numerical analysis and discrete mathematics. This text covers: computer architecture, parallel computers, machine arithmetic, numerical linear algebra, applications.
(13922 views)
by Victor Eijkhout - University of Texas
A computational scientist needs knowledge of several aspects of numerical analysis and discrete mathematics. This text covers: computer architecture, parallel computers, machine arithmetic, numerical linear algebra, applications.
(13922 views)
GRE Computer Science Test Practice Book
- Educational Testing Service
This book contains one actual, full-length GRE Computer Science Test and test-taking strategies. The test consists of about 70 multiple-choice questions, some of which are grouped in sets and based on diagrams, graphs, and program fragments.
(19092 views)
- Educational Testing Service
This book contains one actual, full-length GRE Computer Science Test and test-taking strategies. The test consists of about 70 multiple-choice questions, some of which are grouped in sets and based on diagrams, graphs, and program fragments.
(19092 views)
Delftse Foundations of Computation
by 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.
(6194 views)
by 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.
(6194 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.
(11307 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.
(11307 views)