Nakon što studenti polože ovaj ispit, biće u mogućnosti da: 1. Objasne ideju formalnog jezika na primjeru iskazne logike i jasno razlikuju njegovu sintaksu od njegove semantike. 2. Definišu sintaksne pojmove i primjenljuju matematičku indukciju u dokazivanju svojstava tih pojmova. 3. Objasne osnovna svojstva veznika iskazne logike i logičke zakone koji ih karakterišu. 4. Objasne potpunost i odlučivost formalnog sistema. 5. Dokažu osnovni oblik teoreme potpunosti iskazne logike.
| Ime | Predavanja | Vježbe | Laboratorija |
|---|---|---|---|
| DARKO BLAGOJEVIĆ | 3x1 | ||
| VLADIMIR DREKALOVIĆ | 2x1 21B+1S+3P |
