Logika za informatičare
ISVU: 266145•4 ECTS•Ljetni semestar
Osnovne informacije
- Organizacijska jedinica
- Odsjek za informacijske i komunikacijske znanosti
- Satnica
- Predavanja: 30 sati
- Auditorne vježbe: 30 sati
Nastavnici
Cilj
Studenti će upoznati upoznati koncepte, mogućnosti i ulogu formalne logike u modeliranju informacijskih sustava. Praktičan rad omogućit će studentu da upozna i ovlada različitim metodama primjene formalne logike.
Sadržaj
- Uvodno predavanje
- Uvod u račun sudova
- Operacije sa sudovima. Semantičke tablice
- Uklanjanje operacija. Dualne forme
- Normalne forme
- 1. kolokvij
- Booleova algebra. Mintermi
- Makstermi. Određivanje funkcije iz tablice istinitosti
- Komplementarna i dualna funkcija
- Analitička minimizacija
- Minimizacija pomoću Karnaughovih tablica
- Quine-McCluskey metoda minimizacije
- Digitalni logički sklopovi
- Digitalni logički sklopovi
- 2. kolokvij
Ishodi učenja
- Definirati osnovne pojmove: sud, semantička tablica, dualna i normalna forma
- Pretvoriti formulu logike sudova u dualnu i normalnu fomu
- Definirati Booleovu algebru
- Pretvoriti funkciju Booleove algebre u dualnu i normalnu formu
- Minimizirati funkciju pomoću Karnaughovih tablica i Quine-McCluskey metode
Metode podučavanja
Predavanja i vježbe koje kroz praktične primjere prate predavanja.
Metode ocjenjivanja
Tijekom semestra studenti će imati dva kolokvija s kojima se mogu osloboditi pismenog dijela ispita. Pismeni i usmeni ispit.
Obavezna literatura
- Vedran Juričić: Logika za informatičare, skripta na sustavu za učenje na daljinu, Omega, Zagreb, 2020.
Dopunska literatura
- Vuković, M: Matematička logika i izračunljivost, web-izdanje, 2017.
- U. Peruško, V. Glavinić: Digitalni sustavi, Školska knjiga, Zagreb, 2005.