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-617 Constructive Logic


Units:12.0
Department:Philosophy
Prerequisites:15-151 and 15-211 and 15-212 and 80-210 and 80-211
Cross-listed:15-399 , 80-317
Related URLs:http://www.hss.cmu.edu/philosophy

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. Prerequisites: 80-210 or 80-211 and a programming course

  Popularity index
Rank for this semester:#943
Rank in this department:#28

  Students also scheduled
80-614 Logic Artificial Intelligence
80-511 Thesis Seminar
80-511 Thesis Seminar
36-226 Introduction to Probability and Sta...
36-226 Introduction to Probability and Sta...
21-373 Algebraic Structures
21-373 Algebraic Structures
15-812 Semantics of Programming Languages
15-812 Semantics of Programming Languages
15-453 Formal Languages and Automata

  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:
Password:







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