UVOD U LOGIKU
Semestar: 1
ECTS: 6
Status: Obavezan
Fond: 2+3+0
Duplikat: Ne
ECTS katalog
Ishodi učenja:
Ishodi učenja:
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.
Angažovano osoblje
| Ime | Predavanja | Vježbe | Laboratorija |
|---|---|---|---|
| DARKO BLAGOJEVIĆ | 3x1 15B+1S | ||
| VLADIMIR DREKALOVIĆ | 2x1 15B+1S |
