od cvutak » 16. 1. 2015 21:32
Dneska zápočet s Jakubem Danielem. Překvapivě to nebylo nic s GUI, ale program ověřující, jestli logické výroky na vstupu jsou tautologie.
Šlo o jednoduchou logiku prvního řádu bez kvantifkátorů, s AND, OR, negací a proměnnými. Všechny výrazy měly tvar implikace. Mělo se ověřit, že jsou to tautologie, nebo ukázat protipříklad. Všechny vstupy byly validní. Přišlo mi to jednoduché i celkem hezké, a na rozdíl od obvyklých GUI blbostí dobře specifikované (testovací vstupy jsme dostali); úspěšnost neznám.
Dneska zápočet s Jakubem Danielem. Překvapivě to nebylo nic s GUI, ale program ověřující, jestli logické výroky na vstupu jsou tautologie.
Šlo o jednoduchou logiku prvního řádu bez kvantifkátorů, s AND, OR, negací a proměnnými. Všechny výrazy měly tvar implikace. Mělo se ověřit, že jsou to tautologie, nebo ukázat protipříklad. Všechny vstupy byly validní. Přišlo mi to jednoduché i celkem hezké, a na rozdíl od obvyklých GUI blbostí dobře specifikované (testovací vstupy jsme dostali); úspěšnost neznám.