The Carnegie Pulseabout the carnegie pulse | advertise | contact | subscriptions | join 
newsart & cultureopinionseventscourse schedule

My schedule
Most popular
View departments
View locations
View times

Find course by title:


15-399 Special Topic: Constructive Logic

Department:Computer Science
Cross-listed:80-317 , 80-617
Related URLs:

This multidisciplinary junior-level course is designed to provide a thorough introduction to modern constructive logic, its roots in philosophy, its numerous applications in computer science, and its mathematical properties. Some of the topics to be covered are intuitionistic logic, inductive definitions, functional programming, type theory, realizability, connections between classical and constructive logic, decidable classes. This course counts as a Fundamentals course in the Computer Science major.

  Popularity index
Rank for this semester:#149
Rank in this department:#17

  Students also scheduled
15-462 Computer Graphics
15-213 Introduction to Computer Systems
80-180 The Nature of Language
21-700 Mathematical Logic II
21-356 Principles of Real Analysis II
21-484 Graph Theory
80-254 Analytic Philosophy
15-381 Artificial Intelligence: Representa...
15-415 Database Applications
85-211 Cognitive Psychology

  Spring 2005 times

Sec Time Day Instructor Location  
1 12:00 - 1:20 pm T Harper WEH 5409AB Add course to my schedule
R Harper WEH 5409AB
A 1:30 - 2:20 pm W Instructor TBA OSC 202 Add course to my schedule
B 1:30 - 2:20 pm W Instructor TBA SH 214 Add course to my schedule

talkback to the pulse
No comments about this course have been posted, yet. Be the first to post!
Share your opinion on this course with other Pulse readers. Login below or register to begin posting.

Email address:

  (c) Copyright 2004 The Carnegie Pulse, Carnegie Mellon's first exclusively online student-run news source. campus mirror | RSS