Search Results
Your search for courses · during 2023-24 · taught by jdavis · returned 3 results
-
CS 254 Computability and Complexity 6 credits
An introduction to the theory of computation. What problems can and cannot be solved efficiently by computers? What problems cannot be solved by computers, period? Topics include formal models of computation, including finite-state automata, pushdown automata, and Turing machines; formal languages, including regular expressions and context-free grammars; computability and uncomputability; and computational complexity, particularly NP-completeness.
- Winter 2024, Spring 2024
- Formal or Statistical Reasoning
-
Computer Science 200 or 201 and Computer Science 202 (Mathematics 236 will be accepted in lieu of Computer Science 202)
-
CS 254.00 Spring 2024
- Faculty:Josh Davis 🏫 👤
- Size:34
- M, WLeighton 305 1:50pm-3:00pm
- FLeighton 305 2:20pm-3:20pm
-
MATH 211 Introduction to Multivariable Calculus 6 credits
Vectors, curves, partial derivatives, gradient, multiple and iterated integrals, line integrals, Green’s theorem.
- Fall 2023, Winter 2024
- Formal or Statistical Reasoning
-
Score of 4 or 5 on the AP Calculus BC exam, or placement via Calculus Placement Exam #3
-
MATH 354 Topology 6 credits
An introduction to the study of topological spaces. We develop concepts from point-set and algebraic topology in order to distinguish between different topological spaces up to homeomorphism. Topics include methods of construction of topological spaces; continuity, connectedness, compactness, Hausdorff condition; fundamental group, homotopy of maps.
- Winter 2024
- Formal or Statistical Reasoning
-
Mathematics 236 or instructor permission