Computer Science 250 - Introduction To Computation
Spring
2023
02
4.00
Ghazaleh Parvini,David Barrington
M W F 10:10AM 11:00AM
UMass Amherst
59838
Goessmann Lab. Add rm 64
gparvini@umass.edu
barring@cs.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. CS187/ECE241/CICS160&MATH132wC CS MINORS, CS APPLICANTS AND OTHERS NOT MEETING ELIGIBILITY, OR STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cics.umass.edu/overrides.
Multiple required components--lab and/or discussion section. To register, submit requests for all components simultaneously.