23.05.2025.
Грешке у презентацијама: Бранкица Милишић, 5 бодова.
10.01.2025.
Teрмини теоријских испита за академску 2024/25. годину:
24.01. у 16:00
10.02. у 16:00
08.05. у 16:00
13.06. у 16:00
27.06. 04.06. у 16:00
29.08. у 16:00
12.09. у 16:00
26.09. у 16:00
25.03.2024.
Како је коришћење сервиса ChatGPT постало стандард, ред је да се покуша са колико-толико ваљаним преводом неких термина:
Чвокић, Д.Д.; Деспотовић, К.; Кораћ, Д. (2024) Приједлог превода основних термина за рад са великим језичким моделима, МАТ-КОЛ, 30(1), 53-68
21.06.2022.
Напомена! На теоријском дијелу испита се мора знати сљедеће:
Први Конвејев идентитет (формулација и доказ);
теорема о истовјетности (по моћи) НКА и ДКА (Сипсер, теорема 1.39; формулација и доказ);
теорема о регуларним изразима и регуларним језицима (Сипсер, теорема 1.54; формулација и доказ);
Лема о пумпању за регуларне језике (Сипсер, теорема 1.70; формулација и доказ);
теорема о контекстно-слободним језицима и потисним аутоматима (Сипсер, Теорема 2.20; формулација и доказ);
дефиниција Тјурингове машине (Сипсер, дефиниција 3.3);
опис П=НП проблема.
Уколико се неко питање/задатак на теоријском испиту дотиче горепоменутих ставки, и испостави се да студент то не зна, онда он аутоматски добија лошу оцјену. Другим ријечима, познавање горепоменутих теорема, дефиниција и проблема је, такорећи, услов за бодовање теоријског дијела испита.
Погледати докуметарни филм о капитализму и надзору.
Потом испратити сљедећи низ филмова:
Метрополис (из 1927. г.);
On the Beach (из 1959. г.);
THX1138 (први филм Џорџа Лукаса, који је произашао из његовог дипломског рада, и филм који, на неки начин, почињемо лагано да живимо);
Idaho Transfer (из 1973. г.);
Зелени сојленд (из 1973. г.);
Network (из 1976. г.);
Врли, нови свијет (из 1980. г.; тумачити у склопу/комбинацији са филмом 1984);
1984 (из 1984; тумачити у склопу/комбинацији са филмом "Врли, нови свијет");
Бразил (из 1985);
Гатака (из 1997; и ово је филм коме се као цивилизација лагано приближавамо);
Minority Report (филм је настао још 2002. г., и то на основу конкретних пројеката, наравно, не онаквих као на самом филму);
В као Вендета (из 2005. г.; лако је упратити паралелу са 2020+. г.);
Идиократија (из 2006. г.);
2081 (из 2009. г.; нешто што можемо видјети сад, са колективним/масовним медијским испирањем мозга и убјеђивањем у "истину")
Хотел Артемис (из 2018. г.);
Man Against Fire, пета епизода серије "Црно зрцало" (Black Mirror);
Songbird (из 2020. г.).
Термин предавања (амфитеатар/учиона бр. 18): четвртак, 16-19
Термин консултација(УРЦ): петак, 11-13
Напомена:
Консултације се морају најавити за дату седмицу, тј. студенти морају међусобно оформити групу за консултације и мени јавити седам дана унапријед, да не би долазили насумично и да се не би тражили по факултету.
Консултације нису инструктивна настава, нити доцент-туторство. По доласку на консултације се подразумјева да су студенти усвoјили неопходна теоријска знања.
Основна литература
Sipser, M. Introduction to the Theory of Computation (3rd ed), Cengage, 2012. [предавања и вјежбе]
Помоћна литература
Зоран Огњановић, Ненад Крџавац, Увод у теоријско рачунарство, МИ САНУ, 2014.
Ирена Спасић, Предраг Јањичић, Теорија алгоритама, језика, и аутомата, МФ УБ, 2000.
Jeлена М. Игњатовић, Мирослав Д. Ћирић, Аутомати и формални језици, ПМФ УН, 2016
Мирослав Д. Ћирић, Јелена М. Игњатовић, Теорија алгритама, језика, и аутомата (збирка задатака), ПМФ УН, 2012
Минимум минимума који би сваки програмер морао да усвоји што се тиче регуларних израза [чланак]
Званични туторијал за регуларне изразе на Пајтону
Примјери регуларних израза према обрасцима [веб-страна]
Лагани јутјуб-курс из Теоријског рачунарства
Софтвер