Saved Courses (0)Your search for courses for 22/WI and with code: LINGREL found 4 courses.
Revise Your Search
New Search
CS 202.00 Mathematics of Computer Science 6 credits
Closed: Size: 34, Registered: 34, Waitlist: 0
Synonym: 61930
Eric C Alexander
This course introduces some of the formal tools of computer science, using a variety of applications as a vehicle. You'll learn how to encode data so that when you scratch the back of a DVD, it still plays just fine; how to distribute "shares" of your floor's PIN so that any five of you can withdraw money from the floor bank account (but no four of you can); how to play chess; and more. Topics that we'll explore along the way include: logic and proofs, number theory, elementary complexity theory and recurrence relations, basic probability, counting techniques, and graphs.
Prerequisite: Computer Science 111 and Mathematics 111 or instructor permission
CS 254.00 Computability and Complexity 6 credits
Closed: Size: 34, Registered: 34, Waitlist: 0
Olin 310
| M | T | W | TH | F |
|---|
| 11:10am12:20pm | | 11:10am12:20pm | | 12:00pm1:00pm |
Synonym: 60500
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: 27, Waitlist: 0
Synonym: 62188
Jason A Decker
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.
PHIL 225.00 Philosophy of Mind 6 credits
Closed: Size: 25, Registered: 24, Waitlist: 0
Synonym: 62192
Jason A Decker
What is the relationship between the mind and the brain? Are they identical? Or is there mental "stuff" in addition to physical stuff? Or perhaps some physical stuff has irreducibly mental properties? These, and related questions, are explored by philosophers under the heading of "the mind-body problem." In this course, we will start with these questions, looking at classical and contemporary defenses of both materialism and dualism. This investigation will lead us to other important questions such as: What is the nature of mental representation, what is consciousness, and could a robot have conscious states and mental representations?
Search for Courses
This data updates hourly. For up-to-the-minute enrollment information,
use the Search for Classes option in The Hub