Computer Science 250 - Introduction To Computation
Spring
2020
02AD
0.00
F 11:15AM 12:05PM
UMass Amherst
50502
Tobin Hall room 204
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 midterm exams, timed final.
Open to COMPSCI and Math majors only. MATH 132 or COMPSCI 187 w/ C
https://spire.umass.edu
Multiple required components--lab and/or discussion section. To register, submit requests for all components simultaneously.