Logika v praxi

Cílem předmětu je seznámit studenty s pojmovým aparátem výrokové logiky a predikátové logiky 1. řádu a jeho využitím v praxi. Tento aparát a metody jsou běžně používány v různých oblastech informatiky (precizace a formalizace intuitivních poznatků a teorií, automatizace dokazování a vyvozování, umělá inteligence, apod.) a v mnoha jiných exaktních disciplínách. Kurs je zaměřen především na principy formalizace znalostí a rigorosní specifikace softwarového systému. V rámci kurzu jsou studenti seznámeni taktéž s praktickými aplikacemi neklasických logik, jako např. s fuzzy logikou.