Vybraná témata z algoritmů

Obsah semináře

Problém splnitelnosti formulí výrokové logiky a související oblasti.

Poznámky

Odkazy

Zápočet

Domácí úkol programovací a experimentální povahy, jehož zadání bude zveřejněno během semestru.