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:


80-317 Constructive Logic

Prerequisites:15-151 or 15-211 or 15-212 or 80-210 or 80-211
Cross-listed:15-399 , 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.

  Popularity index
Rank for this semester:#705
Rank in this department:#21

  Students also scheduled
80-212 Logic and Philosophical Analysis
80-210 Logic and Proofs
79-365 Climate Change, Energy Policy and E...
79-211 Disaster! Fires, Plagues, Hurricane...
42-101 Introduction to Biomedical Engineer...
80-311 Computability and Incompleteness
21-228 Discrete Mathematics
21-484 Graph Theory
15-441 Computer Networks
54-114 Non-Major Dance

  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 Harper 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