| 000 | 01652nam a2200361 4500 | ||
|---|---|---|---|
| 001 | OTLid0000644 | ||
| 003 | MnU | ||
| 005 | 20201105133349.0 | ||
| 006 | m o d s | ||
| 008 | 181202s2018 mnu o 0 0 eng d | ||
| 020 | _a | ||
| 040 |
_aMnU _beng _cMnU |
||
| 050 | 4 | _aQA76 | |
| 100 | 1 |
_aHugtenburg, Stefan _eauthor |
|
| 245 | 0 | 0 |
_aDelftse Foundations of Computation _cStefan Hugtenburg |
| 264 | 2 | _bOpen Textbook Library | |
| 264 | 1 | _bTU Delft Open | |
| 300 | _a1 online resource | ||
| 490 | 0 | _aOpen textbook library. | |
| 505 | 0 | _aChapter 1: Introduction -- Chapter 2: Logic -- Chapter 3: Proof -- Chapter 4: Sets, Functions, and Relations -- Chapter 5: Looking Beyond | |
| 520 | 0 | _aDelftse 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. | |
| 542 | 1 | _fAttribution-NonCommercial-ShareAlike | |
| 546 | _aIn English. | ||
| 588 | 0 | _aDescription based on online resource | |
| 650 | 0 |
_aComputer Science _vTextbooks |
|
| 700 | 1 |
_aYorke-Smith, Neil _eauthor |
|
| 710 | 2 |
_aOpen Textbook Library _edistributor |
|
| 856 | 4 | 0 |
_uhttps://open.umn.edu/opentextbooks/textbooks/644 _zAccess online version |
| 999 |
_c20007 _d20007 |
||