26E082OPDM - Odabrana poglavlja iz diskretne matematike

Specifikacija predmeta
Naziv		Odabrana poglavlja iz diskretne matematike
Akronim		26E082OPDM
Studijski program		Elektrotehnika i računarstvo
Modul		modul Računarska tehnika i informatika
Tip studija		osnovne akademske studije
Nastavnik (predavač)		prof. dr Branko Malešević prof. dr Tatjana Lutovac
Nastavnik/saradnik (vežbe)		prof. dr Branko Malešević prof. dr Tatjana Lutovac
Nastavnik/saradnik (DON)		prof. dr Branko Malešević prof. dr Tatjana Lutovac
Broj ESPB		3.0	Status predmeta	izborni
Uslovljnost drugim predmetima		Položen predmet Matematika 1 (OO1MM1)
Ciljevi izučavanja predmeta		Sticanje osnovnih znanja iz matematičke logike, konačnih polja, teorije mreža, kao i razumevanje veza između računarstva i formalne matematike.
Ishodi učenja (stečena znanja)		Student ima osnovna znanja iz matematičke logike i formalnih deduktivnih sistema i razume veze i primene logike u automatskom rezonovanju. Razume pojmove: formalne izračunljivosti i razlikuje klase složenosti. Ima osnovna znanja iz teorije mreža i konačnih polja. Osposobljen je da rešava zadatke iz navedenih oblasti,
Sadržaj predmeta
Sadržaj teorijske nastave		Intuitivni i formalni pojam algoritma. Uvod u složenost algoritama. Osnovni pojmovi iskazne i predikatske logike. Automatsko rezonovanje u iskaznoj i logici prvog reda. Metod rezolucije. Osnovni pojmovi teorije mreža. Konačna polja.
Sadržaj praktične nastave		Odgovarajući zadaci iz navedenih teorijskih oblasti. Za rešavanje pojedinih problema koristiće se Python (PyFinite i LattPy), SAT rešavači (MiniSat), FOL dokazivači (Isabelle).
Literatura
Predrag Janičić: Matematička logika u računarstvu, Matematički fakultet, 2009. D. Cvetković, S. Simić: Odabrana poglavlja iz diskretne matematike, Akademska misao, Beograd 2005. D. Tošić, M. Jovanović, B. Malešević: Ispitni zadaci iz matematike IV, Akademska misao, Beograd 2002.
Broj časova aktivne nastave nedeljno tokom semestra/trimestra/godine
Predavanja	Vežbe	DON	Studijski i istraživački rad	Ostali časovi
1	1	0.5
Metode izvođenja nastave		Kombinacija tradicionalnih izlaganja na tabli, korišćenja slajdova, individualnog rada sa studentima na izradi domaćih zadataka i objašnjavanju tekućeg gradiva.
Ocena znanja (maksimalni broj poena 100)
Predispitne obaveze		Poena	Završni ispit	Poena
Aktivnosti u toku predavanja			Pismeni ispit	60
Praktična nastava			Usmeni ispit
Projekti
Kolokvijumi		40
Seminari