Kohustuslik kodune ülesanne 2

Ülesanne 2

Koostada ülevaade temporaalse loogika ja kirjeldusloogikate tänapäevastest rakendustest ja kasutusvaldkondadest (jällegi võib lahendamisel moodustada kuni kolme inimese rühmi).