Algoritmi

Za računalničarjevo preživetje v krasnem novem digitalnem svetu je nujno, da čimprej najde orodjarno ter da si tudi sam izdela vsaj kakšno bitno lopato. Govorimo o algoritmih in podatkovnih strukturah. To so za računalnikarja orodja, s katerimi uresniči svoje še tako divje ideje.

Dobro je poznati  pogosto rabljene algoritme ter preizkušene in uspešne načine razvoja  novih. Z višine se vidi več in dalj, zato bomo pri tem predmetu ukvarjali s prostorskimi podatki, iskali z in plezali na k-d, R in van Emde Boats drevesa. Poglobljeno bomo spoznali funkcije razprševanja, urejanje s predpostavkami, lokalno preiiskovanje, hevristične metode reševanja problemov, biološko navdahnjene metode, računsko geometrijo in uporabo linearnega programiranja. Da bi znali algoritme med seboj primerjati in da vedeli, katerih problemov se je sploh smiselno lotevati, bomo spoznali verjetnostno in amortizirano analizo algoritmov. In ker imajo dandanašnji procesorji vse več jeder, jih bomo izkoristili z večnitnimi algoritmi, nekaj pozornosti pa bomo namenili tudi distribuiranim algoritmom.

Tistim, ki na prvostopenjskem študiju še niso osvojili dovolj algoritmičnega znanja, bodo manjkajoče osnove ponujene kot samostojno dodatno delo na začetku semestra.

Vaje pri predmetu potekajo v obliki reševanja nekaterih nalog in posvetovanj z asistentom o seminarskem delu (3 seminarske naloge, 5 spletnih kvizov). Oceno vaj predstavlja skupna ocena seminarskih nalog, pri vseh pa je potrebno doseči več kot polovico točk. Pogoj za pozitivno oceno vaj je tudi doseženih polovica vseh točk na kvizih.

Ocena pri predmetu je sestavljena kot povprečje ocene vaj in ocene pisnega izpita, pri katerem je potrebno doseči več kot polovico točk. Oceno je mogoče izboljšati z ustnim izpitom.

Študenti opravljajo tri seminarje, ki so enakomerno razporejeni po semestru, tri kolokvije (neobvezno) in končni izpit.

 

Aproksimacijski in naključnostni algoritmi

Predmet bo vseboval naslednje vsebine:

•    Uvod
    Računska zahtevnost odločitvenih in optimizacijskih problemov
    NP-polni in NP-težki problemi
    Hevristični algoritmi, kakovost suboptimalnih rešitev,  (ne)obstoj zagotovila za kakovost
•    Približno reševanje NP-težkih probl.
    Aproksimacijski algoritmi
    Kakovost približnih rešitev
    Razred APX
    Tehnika z vrzeljo
    Aproksimacijske sheme
    Razreda PTAS in FPTAS
    Meje približnega reševanja
•    Razvoj aproksimacijskih algoritmov
    Požrešna metoda
    Osredotočanje na podporobleme
    Zaporedno razdeljevanje
    Dinamično programiranje
•    Naključnostno reševanje NP-težkih probl.
    Las Vegas in Monte Carlo algoritmi
    Razredi RP, co-RP,  ZPP, PP, BPP
•    Razvoj naključnostnih algoritmov
    Naključno vzorčenje
    Zagotavljanje obilice prič
    Naključno preurejanje vhoda
    Zgoščanje
    Enakomerno porazdeljevanje bremen

Funkcijsko programiranje

Računalničarji moramo poleg osnov programiranja pridobiti tudi vpogled v drugačne programerske tehnike, kot sta proceduralno in objektno-usmerjeno programiranje. V zadnjih letih se izrazito uveljavlja funkcijski način programiranja, ki omogoča učinkovito razgradnjo programa na skupek neodvisnih funkcij, s katerimi je možno program izvajati tudi paralelno in s tem hitreje.

Pri predmetu se bomo učili funkcijskega pristopa k programiranju v jezikih Standardni ML in Racket. Spoznali bomo pojme, kot so tipizacija, leksikalni in dinamični doseg, funkcijska ovojnica, razvili pa bomo tudi interpreter za lasten programski jezik. Naš cilj bo pridobiti globje razumevanje v delovanje programskih jezikov in s tem doseči mojstrstvo pri programiranju.

Predpogoj za razumevanje snovi predmeta je poznavanje osnov programiranja v proceduralnih jezikih (Java, C++, Python) in razumevanje koncepta rekurzije.

Predmetno delo vključuje tedenske enakomerno zahtevne domače naloge, dve seminarski nalogi (rok za oddajo prve je v sredini semestra, druge pa ob koncu semestra) in končni izpit. 

Komunikacija človek računalnik

Professors:

assist. prof. dr. Ciril Bohak

assist. prof. dr. Luka Čehovin Zajc

Short content:

This course provides a comprehensive introduction to the field, exploring the design and evaluation of interactive systems. Students will learn foundational concepts like usability, user-centered design, and interaction design alongside critical techniques like prototyping, usability testing, and information architecture. The course delves into user research, design thinking, and accessibility, emphasizing the importance of designing inclusive and efficient interfaces. Advanced topics include data-driven design, A/B testing, and emerging technologies like AR/VR, brain-computer interfaces, and human-robot interaction. Through case studies and real-world applications, students will develop skills to create user-friendly and innovative solutions.