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
The Fourth Paradigm: Data-Intensive Scientific Discovery
by Tony Hey, Stewart Tansley, Kristin Tolle - Microsoft Research
The Fourth Paradigm, the collection of essays expands on the vision of pioneering computer scientist Jim Gray for a new, fourth paradigm of discovery based on data-intensive science and offers insights into how it can be fully realized.
(11619 views)
by Tony Hey, Stewart Tansley, Kristin Tolle - Microsoft Research
The Fourth Paradigm, the collection of essays expands on the vision of pioneering computer scientist Jim Gray for a new, fourth paradigm of discovery based on data-intensive science and offers insights into how it can be fully realized.
(11619 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.
(10409 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.
(10409 views)
Concepts, Techniques, and Models of Computer Programming
by Peter Van Roy, Seif Haridi - The MIT Press
Covered topics: concurrency, state, distributed programming, constraint programming, formal semantics, declarative concurrency, message-passing concurrency, forms of data abstraction, building GUIs, transparency approach to distributed programming.
(15338 views)
by Peter Van Roy, Seif Haridi - The MIT Press
Covered topics: concurrency, state, distributed programming, constraint programming, formal semantics, declarative concurrency, message-passing concurrency, forms of data abstraction, building GUIs, transparency approach to distributed programming.
(15338 views)
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.
(8600 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.
(8600 views)