Computer Science 250 - Introduction To Computation
Spring
2026
02
4.00
Mordecai Golin
M W F 10:10AM 11:00AM
UMass Amherst
76956
Computer Science Labs E110
mgolin@umass.edu
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.
Open to Computer Science, Math, and Computer Systems Engineering (CSENG) majors only. CICS160,210,CS187ECE&MATH132wC SEATS ARE BEING SAVED FOR INCOMING TRANSFER STUDENTS UNTIL THE END OF NEW STUDENT ORIENTATION AND TRANSFER (NSOT) ENROLLMENT PERIOD. REMAINING SEATS WILL BE RELEASED PRIOR TO CLASS START. STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDE VIA THE ON-LINE FORM: https://www.cics.umass.edu/academics/course-overrides
Multiple required components--lab and/or discussion section. To register, submit requests for all components simultaneously.