Kohustuslik kodune ülesanne 2
Allikas: Lambda
Ü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).
