О програмским језицима и парадигмама

Императивна парадигма

Објектнооријентисана парадигма

Скрипт парадигма

Квиз

О функционалној парадигми

Квиз

Haskell - изрази и функције

Haskell - листе

Haskell - алгебарски типови података

Haskell - улаз, излаз, главни програм

Haskell - задаци за вежбу

Haskell - пример већег програма

О логичкој парадигми

Исказна логика

SAT решавачи

Исказна логика - квиз

Предикатска логика

Аутоматски доказивачи теорема

Предикатска логика - квиз

Prolog - база знања и правила извођења

Prolog - дрво извођења, сечење

Prolog - аритметичка израчунавања

Prolog - листе

Prolog - решавање логичких загонетки

Prolog - задаци за самостални рад