Delftse Foundations of Computation
DELFTSE FOUNDATIONS OF COMPUTATION is a textbook for a one-quarter introductory course in theoretical computer science. It includes top-ics from propositional and predicate logic, proof techniques, discrete structures, set theory and the theory of computation, along with practical applications to co...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
[Place of publication not identified]
TU Delft Open
[2018]
|
| Edition: | 2nd Edition |
| Series: | Open textbook library.
|
| Subjects: | |
| Online Access: | Access online version |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Chapter 1: Introduction and Learning Objectives
- Chapter 2: Logic
- Chapter 3: Proof
- Chapter 4: Sets, Functions, and Relations
- Chapter 5: Looking Beyond
- Selected Solutions
- Further Reading
- Index