Logic 2
Code: 28313
ECTS: 7.0
Lecturers in charge: doc. dr. sc. Sandro Skansi
Take exam: Studomat
English level:

1,0,0

All teaching activities will be held in Croatian. However, foreign students in mixed groups will have the opportunity to attend additional office hours with the lecturer and teaching assistants in English to help master the course materials. Additionally, the lecturer will refer foreign students to the corresponding literature in English, as well as give them the possibility of taking the associated exams in English.
Load:

1. komponenta

Lecture typeTotal
Lectures 30
Seminar 30
* Load is given in academic hour (1 academic hour = 45 minutes)
Description:
(1) To prove the main meta-theoretical results about first-order logic, (2) to make students familiar with the problems of algorithms in logical methodology (2) to make students familiar with the basics of higher-order logic, its properties and motives. On the ground of this, the aim is to show how to approach to ontological problems by means of logic.
Literature:
  1. Šikić, Z. (ur.); Novija filozofija matematike (poglavlje: Kleene, S. C. Izračunljivost, odlučivost i teoremi nepotpunosti); Nolit: Beograd (1987)
  2. Bergmann, M.; Moor, J.; Nelson, J.; The Logic Book, 4. izd. (poglavlja 6 i 11); McGraw Hill: New York (2004)
  3. Ćirović, B.; Uvod u matematičku logiku i teoriju rekurzivnih funkcija (str. 39-45., 85-96., 101-159.); FTI D. I., Zagreb (1996)
  4. Kovač, S.; Svojstva klasične logike: skripta; Hrvatski studiji: Zagreb (2013)
  5. Švob, G.; Od slike do igre (poglavlje: Ima li danas logičkih antinomija?); Artresor: Zagreb (2009)
3. semester
Mandatory course - Mandatory studij - Philosophy
Consultations schedule:
News

Informations

Hrvatski studiji Sveučilišta u Zagrebu pokrenuti su i ustrojeni 16. studenoga 1992., isprva samo kao dvosemestralni Sveučilišni komparativni studij hrvatske filozofije i društva. Taj je program potom preoblikovan u program redovitog četverogodišnjeg studija.

Address: Borongajska cesta 83d, Zagreb (map)
© 2013. - 2019. Sveučilište u Zagrebu Hrvatski studiji. Sva prava pridržana. Webmaster
powered by QuiltCMS