Predmetni nastavnik prof. Silvia Gilezan

Literatura:

Interaktivni dokazivači:

The COQ Proof Assistant
Isabelle, generic proof assistant.

Lawrence Paulson: Isabelle - A Generic Theorem Prover, Springer
Benjamin Pierce: Software Foundations
Filip Maric: A Survey of Interactive Theorem Proving

Linkovi:
Masive Open Online Course (MOOC): Coursera
MIT OpenCourseWare

Način provere znanja:

- Pismeni deo ispita: zadaci i teorija (50)
- Seminarski rad, tema po dogovoru (30)
- Usmena odbrana seminarskog rada (20)

Teme za master rad:

Supstrukturne logike – teorija i primene