Naziv predmeta: ifra predmeta Status predmeta Obavezni

UVOD U MATEMATIKU LOGIKU Semestar I Broj ECTS kredita 4 Fond asova 2P+1V

Studijski programi za koje se organizuje: Akademske osnovne studije PMF-a, studijski programi Matematika i Matematika i raunarske nauke,studije traju 6 semestara, 180 ECTS kredita Uslovljenost drugim predmetima: Sluanje i polaganje ovog predmeta nije uslovljeno polaganjem drugih predmeta Ciljevi izuavanja predmeta: Upoznavanje sa osnovnim logikim zakonima i principima formalizacije matematike. Ime i prezime nastavnika i saradnika: Prof. Slobodan Vujoevi, Mr. Duan Jokanovi-saradnik Metod nastave i savladanja gradiva: Predavanja, vjebe, uenje i samostalna izrada zadataka, konsultacije Sadraj predmeta: Pripremne nedjelje I nedjelja II nedjelja III nedjelja IV nedjelja V nedjelja VI nedjelja VII nedjelja VIII nedjelja IX nedjelja X nedjelja XI nedjelja XII nedjelja XIII nedjelja XIV nedjelja XV nedjelja XVI nedjelja Zavrna nedjelja XVIII-XXI nedjelja Priprema i upis semestra Semantika iskaznog rauna Sintaksa iskaznog rauna. Teorema dedukcije. Potpunost iskaznog rauna. Zadovoljivost i neprotivrenost u iskaznom raunu. Jezik i semantika predikatskog rauna. Izrazivost predikata u jeziku prvog reda. Slobodna nedjelja I kolokvijum Elementarna ekvivalencija Eliminacija kvantifikatora. Sintaksa predikatskog rauna. Teorema dedukcije i teorema o preneksnoj formi. Potpunost predikatskog racuna. Stav kompaktnosti i njegove posledice. II kolokvijum Zavrni ispit Ovjera semestra i upis ocjena Dopunska nastava i poravni ispitni rok OPTEREENJE STUDENATA Nedjeljno 4 kredita x 40/30 sati = 5 sati i 20 minuta Struktura: - 2 sata predavanja; - 1 sat vjebi; - 2 sata i 40 minuta samostalnog rada, ukljuujui konsultacije. U semestru Nastava i zavrni ispit: (5 sati i 20 minuta) x 16 nedjelja = 85 sati i 20 minuta Priprema: (nabavka i priprema literature, upisi, ovjere) 2 x (5 sati 20 minuta) = 10 sati 40 minuta Ukupno optreenje za predmet: 4 x 30 = 120 sati Dopunski rad za pripremu ispita u popravnom ispitnom roku, ukljuujui i polaganje popravnog ispita od 0 do 24 sati Struktura optereenja: 85 sati 40 min. (Nastava)+10 sati 40 min.(priprema)+24 sati (dopunski rad)

Studenti su obavezni da pohaaju nastavu, rade domae zadatke i oba kolokvijuma. Literatura: Logika - autorizovane beleke sa predavanja, I.A. Lavrov, L.L. Maksimova; , , , , 1985. Oblici provjere znanja i ocjenjivanje: 4 domaa zadataka ocjenjuje se ukupno sa 4 poena (1 poen za svaki domai zadatak). Dva kolokvijuma po 32 poena. Zavrni ispit - 32 poena. Prelazna ocjena se dobija ako se kumulativno sakupi najmane 51 poen. Posebna naznaka za predmet: Mogue je predavanja i vjebe organizovati na stranom jeziku. Ime i prezime nastavnika koji je pripremio podatke: Prof. dr Slobodan Vujoevi Napomena: Dodatne informacije o predmetu na www.pmf.cg.ac.yu