ENROLL Course Search

NOTE: There are some inconsistencies in the course listing data - ITS is looking into the cause.

Alternatives: For requirement lists, please refer to the current catalog. For up-to-the-minute enrollment information, use the "Search for Classes" option in The Hub. If you have any other questions, please email registrar@carleton.edu.

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

Anderson Hall 121

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

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

Leighton 304

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

Leighton 304

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

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