ENROLL Course Search

Saved Courses (0)

Your search for courses for 21/WI and with code: LINGPERT found 2 courses.

Revise Your Search New Search

CS 254.00 Computability and Complexity 6 credits

Open: Size: 34, Registered: 32, Waitlist: 0

Location To Be Announced

MTWTHF
11:30am12:40pm11:30am12:40pm11:10am12:10pm
Synonym: 58549

James O Ryan

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.

Prerequisite: Computer Science 201 and Computer Science 202 (Mathematics 236 will be accepted in lieu of Computer Science 202)

PHIL 210.00 Logic 6 credits

Closed: Size: 25, Registered: 22, Waitlist: 0

Location To Be Announced

MTWTHF
11:30am12:40pm11:30am12:40pm11:10am12:10pm
Synonym: 59056

Douglas B Marshall

The study of formal logic has obvious and direct applicability to a wide variety of disciplines (including mathematics, computer science, linguistics, philosophy, cognitive science, and many others). Indeed, the study of formal logic helps us to develop the tools and know-how to think more clearly about arguments and logical relationships in general; and arguments and logical relationships form the backbone of any rational inquiry. In this course we will focus on propositional logic and predicate logic, and look at the relationship that these have to ordinary language and thought.

Search for Courses

This data updates hourly. For up-to-the-minute enrollment information, use the Search for Classes option in The Hub

Instructional Mode
Class Period
Courses or labs meeting at non-standard times may not appear when searching by class period.
Requirements
You must take 6 credits of each of these.
Overlays
You must take 6 credits of each of these,
except Quantitative Reasoning, which requires 3 courses.
Special Interests