Изаберите језик:
rs rsl en
Информације и наука
Информације Наука
Настава
Опште информације Програмирање 1 Програмирање 2 Микрорачунари Увод у организацију рачунара Развој софтвера 2 Напредна архитектура рачунара Аутоматско резоновање Увод у архитектуру рачунара
Бројач посета
178947
Бројач данашњих посета
28
Ваша интернет адреса
23.23.53.116
Време последње измене
26. 3. 2015. | 17:53:15
Тренутно време
31. 3. 2015. | 11:35:37
Месечни календар
Март 2015
ПоУтСрЧеПеСуНе
1
2345678
9101112131415
16171819202122
23242526272829
3031
XHTML 1.0 Strict validation CSS 2.1 validation
Matf
Milan Bankovic
Универзитет у Београду
Математички факултет
Катедра за рачунарство
Милан Банковић
Асистент
milan@matf.bg.ac.rs



  • John Harrison. Handbook of Practical Logic and Automated Reasoning.
  • Предраг Јаничић. Математичка логика у рачунарству.
  • Franz Baader, Tobias Nipkow. Term rewriting and all that.
  • Филип Марић. Белешке са предавања (и шири списак литературе)


Парсер за исказну логику и логику првог реда можете преузети овде.


  • Трочас 1 (25. 2. 2015.): Упознавање са курсом. Синтакса и семантика исказне логике. Имплементација у C++-у. 1.zip
  • Трочас 2 (4. 3. 2015.): Еквивалентне трансформације исказних формула. Симплификација. Негациона нормална форма. Коњунктивна и дисјунктивна нормална форма. 2.zip
  • Трочас 3 (11. 3. 2015.): Еквизадовољивост и Цајтинова трансформација. CNF-засновани SAT решавачи. DIMACS формат. Метода истинитосних таблица. DPLL алгоритам (итеративна имплементација). 3.zip
  • Трочас 4 (18. 3. 2015.): Примене SAT решавача. 4.zip
  • Трочас 5 (25. 3. 2015.): Примене SAT решавача. Дедуктивни системи. Природна дедукција. Увод у интерактивни доказивач теорема Isabelle.


Задаци за припрему колоквијума могу се погледати овде.

Задаци са прошлогодишњег колоквијума могу се видети овде.

Задаци са претходних испитних рокова могу се погледати овде.


Теме за семинарске радове можете погледати на овој страни. Сваку тему раде два студента у пару. Пријаве слати искључиво на мејл предметног асистента. Теме ће бити додељиване оним редом којим се студенти буду пријављивали. Студенти могу предложити и неку тему која није на списку, ако иста има смисла, биће узета у разматрање. Семинарски се брани код професора. За детаље о изради семинарског рада, обратити се професору.