History of Art
History of Art – Master’s Degree 2014
Recommended Year of Study: 1
Recommended Semester: 1
ECTS Credits Allocated: 6.00
Theory of Deduction
Status: optional Recommended Year of Study: 1
Recommended Semester: 1
ECTS Credits Allocated: 6.00
Pre-requisites: Master course Logic.
Course objectives: Student should become acquainted with the basic results of proof theory – the most interesting branch of logic from the point of view of philosophy.
Course description: Main results of general proof theory, normal form theorems in natural deduction, cut-elimination in sequent systems, Curry-Howard correspondence, basic concepts of categorial proof theory.
Learning Outcomes: Students have become acquainted with the basic results of proof theory.
Literature/Reading:
- D.Poulot, R.Wrigley, “The Birth of Heritage: ’le moment Guizot’”, Oxford Art Journal, Vol. 11, No 2(1988) pp 40-56
- M.Špikić, Anatomija kulturnog spomenika, Zagreb 2008.
- M.Špikić, Humanisti i starine, Zagreb 2005.
- T.Marasović, Zaštita graditeljskog nasleća. Istorijski pregled sa hrestomatijom, Split 1983.
- J.Jokileto, A History of Arhitectural Conservation, UNESCO 2005.
- O. Impey – A. MacGregor, ed., The Origins of Museums. The Cabinet of Curiosities in Sixteenth- and Seventeenth-Century Europe, Oxford 19872.
- V. Han, Razvoj zbirki i muzeja od 13. do 19. veka na teritoriji Jugoslavije, Tkalčićev zbornik II, Zagreb 1958.