| 000 | 01812nam a2200349 4500 | ||
|---|---|---|---|
| 001 | OTLid0000166 | ||
| 003 | MnU | ||
| 005 | 20201105133301.0 | ||
| 006 | m o d s | ||
| 008 | 180907s2011 mnu o 0 0 eng d | ||
| 040 |
_aMnU _beng _cMnU |
||
| 050 | 4 | _aQA76 | |
| 100 | 1 |
_aCritchlow, Carol _eauthor |
|
| 245 | 0 | 0 |
_aFoundations of Computation _cCarol Critchlow |
| 264 | 2 | _bOpen Textbook Library | |
| 264 | 1 | _bCarol Crichlow and David Eck | |
| 300 | _a1 online resource | ||
| 490 | 0 | _aOpen textbook library. | |
| 505 | 0 | _a1 Logic and Proof -- 2 Sets, Functions, and Relations -- 3 Regular Expressions and FSA's -- 4 Grammars -- 5 Turing Machines and Computability | |
| 520 | 0 | _aFoundations of Computation is a free textbook for a one-semester course in theoretical computer science. It has been used for several years in a course at Hobart and William Smith Colleges. The course has no prerequisites other than introductory computer programming. 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. | |
| 542 | 1 | _fAttribution-NonCommercial-ShareAlike | |
| 546 | _aIn English. | ||
| 588 | 0 | _aDescription based on print resource | |
| 650 | 0 |
_aComputer Science _vTextbooks |
|
| 700 | 1 |
_aEck, David _eauthor |
|
| 710 | 2 |
_aOpen Textbook Library _edistributor |
|
| 856 | 4 | 0 |
_uhttps://open.umn.edu/opentextbooks/textbooks/166 _zAccess online version |
| 999 |
_c19583 _d19583 |
||