Info & Research
Info Research
Teaching (in Serbian only)
Opšte informacije Programiranje 1 Programiranje 2 Mikroračunari Uvod u organizaciju računara Razvoj softvera 2 Napredna arhitektura računara Automatsko rezonovanje Uvod u arhitekturu računara
Hit counter:
157087
Your IP address:
54.198.202.148
Last modification date:
16. 4. 2014.
Current time:
16:38:34
Month calendar:
April 2014
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
282930
XHTML 1.0 Strict validation CSS 2.1 validation
Matf
Milan Bankovic
University of Belgrade
Faculty of Mathematics
Department of Computer Science
Milan Banković
Teaching Assistant
milan@matf.bg.ac.rs



  • John Harrison. Handbook of Practical Logic and Automated Reasoning.
  • Predrag Janičić. Matematička logika u računarstvu.
  • Franz Baader, Tobias Nipkow. Term rewriting and all that.
  • Filip Marić. Beleške sa predavanja (i širi spisak literature)


Parser za iskaznu logiku i logiku prvog reda možete preuzeti ovde.


  • Tročas I (3. 3. 2014.): Upoznavanje sa kursom. Sintaksa i semantika iskazne logike. (1.cpp).
  • Tročas II (10. 3. 2014.): Logičke transformacije. Normalne forme. (2.cpp).
  • Tročas III (17. 3. 2014.): Cajtinova transformacija. SAT problem. DPLL algoritam. (3.zip).
  • Tročas IV (24. 3. 2014.): Svođenje problema na SAT. Primene SAT rešavača. (4.zip).
  • Tročas V (31. 3. 2014.): Prirodna dedukcija u iskaznoj logici. Sistem isabelle. (5.zip).
  • Tročas VI (7. 4. 2014.): Sistem isabelle (nastavak). Logika prvog reda. (6.zip).
  • Tročas VII (14. 4. 2014.): Semantika logike prvog reda. (7.zip).


Zadaci za vežbu mogu se preuzeti ovde.


Teme za seminarske radove možete pogledati na ovoj strani. Svaku temu rade dva studenta u paru. Prijave slati isključivo na mejl predmetnog asistenta. Teme će biti dodeljivane onim redom kojim se studenti budu prijavljivali. Studenti mogu predložiti i neku temu koja nije na spisku, ako ista ima smisla, biće uzeta u razmatranje. Seminarski se brani kod profesora. Za detalje o izradi seminarskog rada, obratiti se profesoru.



Kolokvijum iz Automatskog rezonovanja biće održan 10. 5. 2014. godine u 9h u 718.