1.
a) transparentnost referenci
b) osnovne posledice transparentnosti referenci
c) osnovne karakteristike Haskela
d) definicija slobodnih promenljivih u lambda izrazima
e) da li svaki izraz ima normalni oblik; da li je normalni oblik jedinstven
f) u kakvoj su vezi normalni oblik i beta redukcija
g) izvesti normalni oblik 3 izraza

2.
a) da li se svaki algoritam moze efikasno paralelizovati
b) koliko cesto se desava promena konteksta i kako to utice na efikasnost
c) za podrsku logickoj strukturi problema se koristi paralelizacija zadataka/podataka i objasniti
d) imamo veliki niz brojeva, sve brojeve treba medjusobno sabrati, oduzeti, pomnoziti i upisati sve rezultate, koju vrstu paralelizacije koristimo

3.
a) oblasti za koje je logicka paradigma pogodna
b) najopstiji unifikator 4 primera
c) nacrtati stablo izvodjenja za dati primer
d) uloga operatora secenja

4.
a) sta je programski jezik; sta je razvojno stablo
b) nabrojati bar 6 vrsta naredbi kontrole toka
c) sta su jezici prosirenja, i navesti neki primer
d) domen primene programiranja ogranicenja
e) sta su konstruktor i destruktor
f) prevesti operacioni kod u strukturni
g) zaokruziti sve jezike upitne paradigme
h) primer nekog koda, da li postoji jaka/slaba kohezija/kopcanje, objasniti u kakvoj su oni vezi