Изаберите језик:
Информације и наука
Информације Наука
Настава
Опште информације Програмирање 1 Програмирање 2 Микрорачунари Увод у организацију рачунара Развој софтвера 2 Напредна архитектура рачунара Аутоматско резоновање Увод у архитектуру рачунара
Бројач посета
177445
Ваша интернет адреса
54.205.68.5
Датум последње измене
5. 3. 2015.
Време посете
01:00:20
Месечни календар
Март 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


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


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