Podaci o VU Početna stranica Arhiva nastavnih programa Arhiva ak. kalendara
 Logic 2
 Abbreviation: FILBO317 Load: 30(L) + 30(S) + 0(E) + 0(P) + 0(PE) + 0(ME) + 0(EE) + 0(FLE) + 0(PEE) + 0(FE) + 0(CP)
 Lecturers in charge: doc. dr. sc. Sandro Skansi Lecturers: doc. dr. sc. Sandro Skansi ( Seminar ) Course 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.
 Lecture languages: - - -
 Compulsory 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)
 Recommended literature: - - -
 Prerequisit for enrollment: Passed : Logic 1
 Legend L - Lectures FE - Field exercises CP - Clinical practicals S - Seminar E - Exercises P - Practicum PE - Proofreading exercises ME - Methodology exercises EE - Experimental exercises FLE - Practical foreign language exercises PEE - Physical education excercises * - Not graded
 | Početna stranica | Visoka učilišta | Korisničke stranice | | Na vrh | Copyright (c) 2006. Ministarstva znanosti, obrazovanja i športa. Sva prava zadržana. Programska podrška (c) 2006. Fakultet elektrotehnike i računarstva. Oblikovanje(c) 2006. Listopad Web Studio. Posljednja izmjena 2020-03-30