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