| Kratica: FILBO267
|
Opterećenje: 30(P)
+ 30(S)
+ 0(A)
+ 0(PK)
+ 0(LK)
+ 0(M)
+ 0(E)
+ 0(SJ)
+ 0(TJ)
+ 0(T)
|
| Nositelji: |
Prof. dr. sc. Srećko Kovač
mr. sc. Dragana Sekulić |
| Izvođači: |
|
Opis predmeta: CILJ je kolegija ovladati logikom prvoga reda, njezinim formalnim jezikom i metodama. Posebno se obrađuju iskazna i priročna
(predikatna) logika, uključujući i logiku s istovjetnošću.
TEME: sintaksa i semantika logičkoga jezika, prevođenje
hrvatskih rečenica na logički jezik, pojmovi istinitosti, zadovoljivosti, logičke posljedice, valjanosti i logičke istovrijednosti,
logički deduktivni sustav (poučak), logičke metode (npr. istinitosno stablo i naravna dedukcija), normalni oblici (disjunktivni,
preneksni), kanonske verzije metoda, dokaz pouzdanosti logičkoga sustava prvoga reda i pojam potpunosti.
|
| Jezici na kojima se održava nastava: - - -
|
| Obavezna literatura: |
| 1. |
JEDNA KNJIGA OD i) - iv):
i) Bergmann, M.; Moor, J.; Nelson, J.: The Logic Book. 4. izd., New York: McGraw Hill, 2004. Poglavlja 1-5 i 7-10 te 6.3 i
11.2;
ii) Jeffrey, R.: Formal Logic: its Scope and Limits. 2. izd., New York: McGraw Hill, 1989. Str. 1-124, 160-177 (ili novija
izdanja);
iii) Barwise, J. ; Etchemendy, J.: Language Proof and Logic. New York: Seven Bridges, 1999. Str. 1-401;
iv) Ćirović, B.: Uvod u matematičku logiku i teoriju rekurzivnih funkcija. Zagreb: FTI D.I., 1996. Str. 1-100 (bez 39-45 i
85-96).
Kovač S., Žarnić. B.: Logička pitanja i postupci. Zagreb: Kruzak, 2008.
SKRIPTA: Kovač, S.: Uvod u elementarnu logiku. http://filist.ifzg.hr/~skovac/index.html Str. 1-197 (bez 181-186).
RAČUNALNI PROGRAMI:
i) Austen, C.: Bertie 3 / Twootie. http://selfpace.uconn.edu/BertieTwootie/software.htm
ii) Gensler, H.: LogiCola. http://www.jcu.edu/philosophy/gensler/LC/index.htm
iii) Žarnić, B.: Interaktivna logika. http://www.vusst.hr/~logika/pilot/izbor.htm
NAPOMENA: Potrebno je pratiti upute i napomene o kolegiju na http://www.ifzg.hr/~skovac/index.html, stranica `Nastava'.
|
| Preporučena literatura: |
| 2. |
Kovač, S.: Logika. 8. izd., Zagreb: HNS, 2004 (ili novija izdanja) |
|