NOSITELJ(ICA) KOLEGIJA
ASISTENT(I):
| Jezik | hr |
| Studij | Stručni prijediplomski studij Informatika |
| Semestar | 1 | ECTS | 4 |
| Vrsta predmeta | Obavezni predmet |
| Predavanja | 2 |
| Vježbe | 1 |
| Seminari | 0 |
| Praktični rad | 0 |
Ciljevi kolegija
- Ciljevi kolegija su unaprjeđivanje stručnih znanja iz područja formalne logike i jačanje tehničkih kompetencija u području logičkog, analitičkog i kritičkog mišljenja.
Ishodi učenja
- Analizirati logičke oblike misli i logičke operatore (pojam, sud, zaključak)
- Izraditi kategoričke, hipotetičke i disjunktivne silogizme
- Analizirati i prevoditi složene iskaze standardnog jezika na jezik iskazne logike
- Izgraditi istinitosne tablice složenih logičkih oblika (sud, par sudova, zaključak)
- Provjeriti istinitosnu vrijednost logičkih oblika pomoću metoda istinitosnih tablica i reduction ad absurdum