Kolegij obrađuje ključne metode i probleme logike prvoga reda.
Svrha je ovog kolegija upoznati studente s logikom prvoga reda i uvježbati ih u rješavanju, kako osnovnih zadataka, tako i složenijih zadataka koji zahtijevaju povezivanje različitih dijelova gradiva.
- Nositelj kolegija: Mate Penava
- Nositelj kolegija: Jure Zovko