Computer Science 250 - Introduction To Computation

Spring
2013
01
4.00
Neil Immerman;David Barrington

TU TH 9:30AM 10:45AM

UMass Amherst
13674
Lecture, discussion. Basic concepts of discrete mathematics useful to computer science: set theory, strings and formal languages, propositional and predicate calculus, relations and functions, basic number theory. Induction and recursion: interplay of inductive definition, inductive proof, and recursive algorithms. Graphs, trees, and search. Finite-state machines, regular languages, nondeterministic finite automata, Kleene's Theorem. Problem sets, 2-3 midterm exams, timed final.

Open to Computer Science, Math, and CS Engineering majors only. Prq:MATH132&Cmp187orECE242w/C Students who have completed CMPSCI 187 or equivalent with a grade of 'C' or better and have a co-requisite of Math 132 may contact CS MAIN OFFICE for override. CMPSCI minors, applicants and others not meeting eligibility may contact CS Main Office for permission to enroll.

Multiple required components--lab and/or discussion section. To register, submit requests for all components simultaneously.
Permission is required for interchange registration during all registration periods.