- Nositelj kolegija: Drahomira Cupar
- Nositelj kolegija: Nikolina Peša Pavlović
Iz samog naziva predmeta jasno je da svojim sadržajem predmet upoznaje studente sa suvremenim informacijskim tehnologijama, njihovim mogućnostima i dosezima. Naglasak je na sustavnom razmišljanju kao jednoj od temeljnih paradigmi kojom je moguće povezati važnost informacijskih tehnologija i informacijskih sustava s razvojem brojnih ljudskih djelatnosti, obrazovanja i znanosti. Fokus predmeta je opća problematika primjene odgovarajućih informacijskih tehnologija u prikupljanju, obradi, pohranjivanju, pronalaženju, diseminaciji i primjeni podataka i informacija, te formiranju i interpretaciji znanja. Kroz predavanja i vježbe studenti se intenzivnije upoznaju s osnovnim web tehnologijama, načinima pretraživanja informacija na internetu i alatima u oblaku za komunikaciju, suradnju i pohranu podatka. Uz to, napredna obrada teksta, analiza i vizualizacija podataka korištenjem proračunskih tablica, te izrada prezentacija predstavljaju već standardni sadržaj vježbi koji se nalazi u srodnim predmetima na brojnim visokim učilištima u RH i znatno šire. Važno je istaknuti i da se studenti uče prednostima i primjerenosti, ali i ograničenjima algoritamskog načina razmišljanja i formuliranja problema kroz pregled i usvajanje osnovnih koncepata programiranja u Pythonu i JavaScriptu. Poznavanje sigurnosnih rizika primjene informacijskih tehnologija i problem privatnosti obrađuju se s više različitih aspekata kako s tehničko - tehnološke tako i s pravne, organizacijske, upravljačke, društvene i etičke strane. Na samom kraju se daje kratki pregled trendova razvoja informacijskih tehnologija s posebnim osvrtom na razvoj umjetne inteligencije uz pobuđivanje rasprave na moguće implikacije u njezinoj široj upotrebi. Kroz sve nastavne cjeline studentima se skreće pažnja prema profesionalnoj, etičkoj, pravnoj, sigurnosnoj i socijalnoj odgovornosti primjene informacijsko komunikacijskih tehnologija u različitim područjima djelatnosti. Nastavni materijali, organizacija predavanja i vježbi, te načini provjere znanja iz ovog predmeta usmjereni su razvoju sposobnosti studenata za uključivanje u kontinuirani profesionalni razvoj temeljen na primjeni suvremenih dosega u području informacijskih tehnologija.
- Nositelj kolegija: Ante Panjkota
- Izvođač kolegija: Neven Pintarić
- Nositelj kolegija: Nevenka Kalebić
- Nositelj kolegija: Marijana Tomić
- Nositelj kolegija: Drahomira Cupar
- Nositelj kolegija: Nikolina Peša Pavlović
- Nositelj kolegija: Dajana Jašić
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.
- Nositelj kolegija: Josip Ćirić