Pretraži

E-kolegije
Nastavnike

Filtriraj


Akademska godina


Izbornik

Naziv kolegija
Uvod u logiku

Vrsta studija
Preddiplomski sveučilišni
ECTS bodova
0

Jezik kolegija
Hrvatski
Kolegij vidljiv
Da

Nositelji kolegija
Ime i prezime
Josip Ćirić
Izvođači nastave
Ime i prezime
Opis kolegija

Logika predikata i prirodni jezik. Organizacija uporabom odozgo-dolje pristupa. Definiranje temeljnih pojmova: predikati, argumenti, operatori, pravila pisanja. Tablice istinitosti logičkih operatora. Sintaktičko proučavanje prirodnih jezika. Simbolička semantika modela logike predikata. Metavarijable. Istinosne funkcije ekvivalentnosti, izvodljivosti, konzistentnosti i valjanosti. Uporaba metode reductio ad absurdum. Aksiomatski model: aksiom, teorem, korolar. Stabla istinitosti u logici predikata. Ispitivanje konzistentnosti skupa. Provjera valjanosti argumenta. Metoda derivacija. Valjanost, izvodljivost, dokazivost. Uporaba računalnih programa za navedene sintaktičke procese.