Proof Theory and Proof Search

Basic information

Course code: 582418

Credit units: 4-6

Subprogramme: Algorithms and machine learning

Level: Advanced studies

Description:

Year	Semester	Date	Period	Language	In charge
2002	autumn	17.09-31.10.		Finnish

Lectures

Time	Room	Lecturer	Date
Tue 10-12	A216	Opetusohjelman suunnittelija	17.09.2002-31.10.2002

Exercise groups

Group: 1
Time	Room	Instructor	Date	Observe
Thu 10-12	A215	Opetusohjelman suunnittelija	17.09.2002—31.10.2002

Address: Department of Computer Science, P.O. 68 (Gustaf Hällströmin katu 2b), FI-00014 UNIVERSITY OF HELSINKI, FINLAND
Opening Hours: During spring and autumn semesters Mon - Fri 7.45 - 19.45 (7.45 am - 7.45 pm)
Phone: +358 9 1911 (University switch)
General e-mail: info [at] cs.helsinki.fi
Fax: +358 9 876 4314

Department of Computer Science [pre 2018 site]

University of Helsinki

Faculty of Science

Proof Theory and Proof Search

Lectures

Exercise groups