Novi doktorski studij

Popularizacija fizike

Uredovno vrijeme

Uredovno vrijeme za studente je radnim danom od 12 do 14 sati. U navedenom vremenu vrata hodnika Odjela za fiziku (prizemlje i prvi kat) bit će otključana, dok ulaz na suteren studentima nije dozvoljen. 

Simbolička logika

Studij: Diplomski studij Fizika i filozofija
Godina: II.
Semestar: ljetni
Broj sati u semestru (P+V+S): 30+0+30
Status predmeta: obvezatan
ECTS: 6

Opis predmeta:  .pdf

Izvedbeni program:  .pdf

Sadržaj
Logika sudova: valjanost, semantički nizovi. Semantička (ne)konzistentnost skupa formula. Sintaksa. Pravila prirodne dedukcije. Logika prvoga reda-uvod.. Alfabet logike prvoga reda. Pravila izvođenja za kvantifikatore.

Obvezna literatura
Cauman, L.S., 2004, Uvod u logiku prvoga reda, Naklada Jesenjski-Turk; prevedeno sa Cauman, 1998, First-order Logic. An Introduction, Walter de Gruyter GmbH&Co.
Copi, I.M., Cohen, C., Introduction to Logic, Macmillan Publishing Company.
Newton-Smith, W.H., Logic - An Introductiory Course, Routledge.