Naziv
Logika za informatičare
Organizacijska jedinica
Odsjek za informacijske i komunikacijske znanosti
ECTS
4
Šifra
266145
Semestri
ljetni
Satnica
Predavanja
30
Auditorne vježbe
30

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
  1. Uvodno predavanje
  2. Uvod u račun sudova
  3. Operacije sa sudovima. Semantičke tablice
  4. Uklanjanje operacija. Dualne forme
  5. Normalne forme
  6. 1. kolokvij
  7. Booleova algebra. Mintermi
  8. Makstermi. Određivanje funkcije iz tablice istinitosti
  9. Komplementarna i dualna funkcija
  10. Analitička minimizacija
  11. Minimizacija pomoću Karnaughovih tablica
  12. Quine-McCluskey metoda minimizacije
  13. Digitalni logički sklopovi
  14. Digitalni logički sklopovi
  15. 2. kolokvij

Ishodi učenja
  1. Definirati osnovne pojmove: sud, semantička tablica, dualna i normalna forma
  2. Pretvoriti formulu logike sudova u dualnu i normalnu fomu
  3. Definirati Booleovu algebru
  4. Pretvoriti funkciju Booleove algebre u dualnu i normalnu formu
  5. 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
  1. Vedran Juričić: Logika za informatičare, skripta na sustavu za učenje na daljinu, Omega, Zagreb, 2020.
Dopunska literatura
  1. Vuković, M: Matematička logika i izračunljivost, web-izdanje, 2017.
  2. U. Peruško, V. Glavinić: Digitalni sustavi, Školska knjiga, Zagreb, 2005.

Izborni predmet na studijima
Novi i reformirani studiji
  1. Informacijske znanosti, sveučilišni prijediplomski jednopredmetni studij, 2. semestar
  2. Informacijske znanosti, sveučilišni prijediplomski dvopredmetni studij, 2. semestar