Zápočet 16.1.2015 Daniel

Předmět zaměřený na praktické programování v jazyku a prostředí Java
cvutak
Matfyz(ák|ačka) level I
Příspěvky: 13
Registrován: 12. 6. 2013 11:55
Typ studia: Informatika Bc.

Zápočet 16.1.2015 Daniel

Příspěvek od cvutak »

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.
Jakub Daniel

Re: Zápočet 16.1.2015 Daniel

Příspěvek od Jakub Daniel »

Úspěšnost 6 z 10
Odpovědět

Zpět na „PGR013 Java“