Foundations of Computation
Foundations 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 cov...
Saved in:
Main Authors: | , |
---|---|
Format: | Electronic eBook |
Language: | English |
Published: |
Geneva, New York
Carol Crichlow and David Eck
[2011]
|
Series: | Open textbook library.
|
Subjects: | |
Online Access: | Access online version |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000nam a2200000 i 4500 | ||
---|---|---|---|
001 | OTLid0000166 | ||
003 | MnU | ||
005 | 20240122145214.0 | ||
006 | m o d s | ||
007 | cr | ||
008 | 180907s2011 mnu o 0 0 eng d | ||
040 | |a MnU |b eng |c MnU | ||
050 | 4 | |a QA76 | |
100 | 1 | |a Critchlow, Carol |e author | |
245 | 0 | 0 | |a Foundations of Computation |c Carol Critchlow |
264 | 2 | |a Minneapolis, MN |b Open Textbook Library | |
264 | 1 | |a Geneva, New York |b Carol Crichlow and David Eck |c [2011] | |
264 | 4 | |c ©2011. | |
300 | |a 1 online resource | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 0 | |a Open textbook library. | |
505 | 0 | |a 1 Logic and Proof -- 2 Sets, Functions, and Relations -- 3 Regular Expressions and FSA's -- 4 Grammars -- 5 Turing Machines and Computability | |
520 | 0 | |a Foundations 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 | |f Attribution-NonCommercial-ShareAlike | |
546 | |a In English. | ||
588 | 0 | |a Description based on print resource | |
650 | 0 | |a Computer Science |v Textbooks | |
700 | 1 | |a Eck, David |e author | |
710 | 2 | |a Open Textbook Library |e distributor | |
856 | 4 | 0 | |u https://open.umn.edu/opentextbooks/textbooks/166 |z Access online version |