Početna stranicaVisoka učilištaKorisničke stranice
Logic 2
Abbreviation: FILBO317Load: 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
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 2019-10-23