Five College Consortium

Introduction To Computation

Subject Name: 

Computer Science

Course Number: 
UMass Amherst
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.

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

Course Sections

Introduction To Computation
Sect # Credits Instructor(s) Instructor Email Meeting Times Location
01 4.0

Neil Immerman;David Barrington

TU TH 9:30AM 10:45AM