IA312 Matematička logika u računarstvu 

Matematička logika u računarstvu je kurs koji je namenjen studentima master studija Informatike (IA) i Informacionih tehnologija (IB) na Departmanu za matematiku i informatiku PMF Univerziteta u Novom Sadu:

• Obavezan predmet je na master studijama Informatike, modul Teorijska informatika (IA-TI)
• Izborni predmet je na modulima
  • Informatika (IA): Računarske nauke (IA-RN) i Nastava informatike (IA-NI)
  • Informacione tehnologije (IB): Informacioni sistemi (IB-IS) i Softversko inženjerstvo (IB-SI)

----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Matematička logika u računarstvu 2011/2012 - Informacije

• Ispit (Test A i Test B) će se održati 10. februara 2012. u 9.00 časova.
• Usmeni će biti oko u petak, 17. februara 2012, u 17.00 časova.
• Konsultacije za vreme januarskog ispitnog roka: ponedeljkom u 12.00 i četvrtkom u 14.00. Službeno sam odsutna od 30. januara do 3. februara 2012.
• Pitanja za usmeni deo ispita
• Bodovi za aktivno praćenje nastave
• Materijali sa predavanja (vidi dole) će se postepeno dopunjavati, povremeno proveriti da li ima nešto novo.

Materijali sa predavanja i vežbi, 2011/2012

Teorija

• Iskazna logika 1 - Logika iskaza, iskazne formule, interpretacije, tautologije, logička ekvivalencija
• Tautologije - 4 tabele: najvažnije tautologije, najlakše tautologije, veza među operacijama i logičke konstante
• Iskazna logika 2 - Normalne forme i baze iskazne algebre
• Iskazna logika 3 - Semantičke posledice, modeli, teorije
• Iskazna logika 4 - Deduktivni sistemi, opšta priča
• Iskazna logika 5 - Iskazni račun - deduktivni sistem za iskaznu logiku
• Pravila izvođenja iskaznog računa - najvažnija izvedena pravila
• Iskazna logika 6 - Kompletnost, odlučivost, kompaktnost
• Iskazna logika 7 - Rezolucija
• Iskazna logika 8 - Semantički tabloi
• Predikatska logika 1 - Uvodna priča i sintaksa
• Predikatska logika 2 - Semantika, modeli i teorije MALA DOPUNA 25. jan 2012 !
• Valjane formule - Spisak najvažnijih
• Valjane formule predikatske logike
• Preneksna forma i skolemizacija
• Predikatski račun K (predikatska logika kao deduktivni sistem)
• Kompletnost predikatskog računa K
• Rezolucija u predikatskoj logici
• Predikatski račun sa jednakošću
• Temporalne logike

Zadaci

• Radni listić 1 - Uvodni zadaci: logičko zaključivanje
• Radni listić 2.- Primena normalnih formi, tautologije
• Radni listić 3 - Modeli iskazne logike
• Radni listić 4 - Formalna izvođenja u iskaznom računu
• Radni listić 5. - Primena teoreme kompletnosti
• Radni listić 6 - Jedan isteresantan zadatak
• Radni listić 7 -Rezolucija
• Radni listić 8- Semantički tabloi
• Radni listić 9 - Semantika predikatske logike - modeli, valjane formule
• Radni listić 10 - Predikatski račun kao deduktivni sistem
• Radni listić 11 - Rezolucija u predikatskoj logici
• Radni listić 12 - Još zadataka iz rezolucije

----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Osnovni podaci o predmetu (školska godina 2011/2012):

• Semestar: zimski
• Predavanja: ponedeljak, 12.15-14.00, sala 15
• Vežbe: utorak, 8.30-10.00, sala 15
• Predavač: dr Rozália Sz. Madarász, redovni profesor PMF u Novom Sadu (predavanja i vežbe)
• Nedeljni fond časova: 2+2
• Literatura:
  • Predrag Janičić: Matematička logika u računarstvu, Matematički fakultet, Beograd, 2009.
  • Mordechai Ben-Ari, Mathematical Logic for Computer Science, Springer, 2004.
  • Shawn Hedman, A First Course in Logic, Oxford University Press, 2004.
  • S. Burris, Logic for Mathematics and Computer Science, Prentice Hall, New Yersey, 1998.
• Način polaganja ispita: ako je student uradio predispitne obaveze, polaže usmeni ispit
• Model polaganja ispita: Model B
• Predispitne obaveze: polažu se u 6 ispitnih rokova (od januarskog roka do oktobra II)
  • položen Test A - Test A se sastoji od 30 kratkih pitanja (tvrđenja), na koje student odgovara sa TAČNO ili NETAČNO. Za svako tačno odgovoreno pitanje dobija se 1 bod, a za netačno -1. Student je položio test sa osvojenih najmanje 15 bodova.
  • položen Test B - Test B se sastoji 4 zadatka ili, po dogovoru, od praktičnog rada, maksimalno 30 bodova. Student je položio Test B sa najmanje 15 bodova.
  • položene predispitne obaveze važe posle završenog kursa još 6 ispitnih rokova (od januarskog roka do oktobra II ). Ako u tih 6 rokova student ne položi usmeni deo ispita, onda polaže ponovo predispitne obaveze.
• Usmeni ispit: posle ispunjenih predispitnih obaveza, najviše 40 bodova.
• Ekstra bodovi
• aktivno učestvovanje u nastavnom procesu: najviše 10 bodova, dodaje se na kraju usmenog ispita
• ekstra bodovi važe, kao i bodovi sa predispitnih obaveza, posle završenog kursa još 6 ispitnih rokova (od januarskog roka do oktobra II ).
• Način formiranja ocene: 
  • 10(deset):  95-100 bodova
  • 9(devet): 85-94 bodova
  • 8(osam): 75-84 bodova
  • 7(sedam): 6 5-74 bodova
  • 6(šest): 55-64 bodova