Naziv
Logika za informatičare
Organizacijska jedinica
Odsjek za informacijske i komunikacijske znanosti
ECTS
6
Šifra
35925
Semestri
zimski
Nastavnici
Satnica
Predavanja
30
Laboratorijske 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
  6. Odabrati i upotrijebiti informatičke, informacijske i logičke modele u informacijskim i komunikacijskim znanostima
  7. Primijeniti i integrirati znanja i algoritme u izradi programskih rješenja
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. 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. Vladimir Mateljan: Račun sudova, Skripta na sustavu za učenje na daljinu - Omega, Zagreb, 2009.

Obavezan predmet na studijima
  1. Informacijske znanosti, sveučilišni prijediplomski jednopredmetni studij, 1. semestar