Цоурсе Титле | Фунцтионал программинг
|
||||||||||||||
Фацултy
|
Сцхоол оф Цомпутинг | ||||||||||||||
Студy Программе
|
Цомпутер Сциенце | ||||||||||||||
Профессор | Бојана Димић-Сурла | Цонтацт (е-маил аддресс) | бдимицсурла@раф.рс | ||||||||||||
Цоде | 14.5007 | Цоурсе левел | Ундерградуате | ЕЦТС цредитс | 6 | ||||||||||
Десцриптион (маx. 100 wордс) |
Працтицал апплицатионс анд броадер интродуцтион инто ламбда цалцулус анд предицате логиц wитхин тхе цонтеxт оф фунцтионал анд логиц программинг лангуагес. Wитхин фунцтионал программинг, абстрацт дата тyпес аре дисцуссед, ас wелл ас тхе усе оф рецурсион анд индуцтион, манипуlatион оф листс анд инфините дата струцтурес ин лангуаге Хаскелл. Алсо, тхис цоурсе цоверс: елементс оф программинг стyле специфиц то фунцтионал программинг, програм десигн, листс. оверлапс, тyпе цхецкинг, абстрацт дата тyпес, анд лазy программинг. | ||||||||||||||
Леарнинг оутцомес
(маx. 50 wордс) |
Студент мастерс тхе басицс оф фунцтионал программинг анд леарнс тхе лангуаге оф фунцтионал программинг – Хаскелл. Хе кноwс хоw то апплy хис кноwледге ин моделинг оф реал wорлд ат а реlatивелy хигх левел оф абстрацтион, цонцентратинг он реlatионс бетwеен валуес, ембодиед ин тхе дефинитионс оф фунцтионс, wитхоут деалинг wитх детаилс. | ||||||||||||||
Семестер
|
6 | Маxимум нумбер оф виситинг студентс | 10 | ||||||||||||
Лангуаге | Сербиан, Енглисх | Аваилабле фор интернатионал студентс (YЕС ор НО) | YЕС |
Леаве А Цоммент
Yоу муст бе логгед ин то пост а цоммент.