80-317 Constructive Logic

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

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
		R	Harper	WEH 5409AB
A	1:30 - 2:20 pm	W	Harper	OSC 202
B	1:30 - 2:20 pm	W	Instructor TBA	SH 214