Accesibility Adjustments

Choose the right accessibility profile for you
OFF ON
Highlight Links Highlights all the links on the site!
OFF ON
Pause Animations Animations will be paused on the site!
OFF ON
Dyslexia Font Dyslexia Font will be applied on the site!
OFF ON
Hide Images All images will be hidden on the site!
Choose the right accessibility profile for you
Adjust Font Sizing
Default
High Saturation
High Contrast
Light Contrast
Dark Contrast
Adjust Letter Spacing
Default
Adjust Line Height
Default
Speak Mode
Align Center
Align Left
Align Right

MODERNA LOGIKA


Semestar: 2
ECTS: 5
Status: Obavezan
Fond: 2+2+0
Duplikat: Ne
ECTS katalog

Ishodi učenja:

Nakon što studenti polože ovaj ispit od njih se očekuje da budu u mogućnosti da: 1. Objasne ideju predikatske logike, njene sintakse i njene semantike. 2. Objasne ideju zadovoljivosti i istinitosti formule predikatske logike. 3. Opišu pojmove semantičke posljedice i sintaksne posledice. 4. Koriste logičke zakone koji karakterišu jednakost, egzistencijalni i univerzalni kvantifikator, kao i da te zakone dokažu u prirodno-dedukcijskoj i hilbertovskoj formulaciji predikatske logike. 5. Objasne razloge zbog kojih predikatska logika nije odlučiva. 6. Formulišu teoremu potpunosti predikatske logike i razumiju njen dokaz. 7. Rekonstruišu u predikatskoj logici sve oblike Aristotelovog silogističkog zaključivanja.

Angažovano osoblje

Ime Predavanja Vježbe Laboratorija
DARKO BLAGOJEVIĆ2x1
VLADIMIR DREKALOVIĆ2x1
21B+1S+2P

Nova objava - 21.04.2021 00:02

Nova objava - 13.04.2021 22:51

Nova objava - 06.04.2021 21:36

Nova objava - 30.03.2021 21:48

Nova objava - 23.03.2021 20:42

Nova objava - 16.03.2021 22:54

Svođenje modusa druge figure na prvu figuru

Figure i modusi valjanog zaključivanja

Zaključivanje konverzijom iskaza

Logički kvadrat

Logički kvadrat

//