Математичка логика и теорија алгоритама - бесплатни курс од Степика, обука 64 часа, датум 30.11.2023.
мисцеланеа / / December 02, 2023
Степик је образовна платформа и дизајнер онлајн курсева.
Развијамо адаптивне алгоритме учења, сарађујемо са МООЦ ауторима и помажемо у спровођењу такмичења и програма преквалификације.
Наш циљ је да образовање учинимо отвореним и практичним.
Степик је позната руска образовна платформа основана 2013. године. На Степику је регистровано више од милион корисника из Русије и земаља ЗНД. Тренутно Степик нуди неколико хиљада курсева обуке о разним темама.
Степик платформа укључује дизајнер бесплатних активности и лекција. Сваки регистровани корисник може креирати интерактивни курс обуке. Истовремено, аутори образовних материјала задржавају ауторска права. Услуга нема ограничења у погледу броја студената по курсу.
Степик има широке могућности за креирање онлајн курсева, тренинга и лекција користећи текстове, видео записе, слике, тест задатака, током којих можете разговарати са другим ученицима, као и са учитељ. Укупно, Степик садржи 20 врста задатака, чија се верификација може извршити аутоматски и ручно.
Велика предност ове платформе је могућност уграђивања створених материјала на сајтове трећих страна, на пример, Моодле и Цанвас.
Поред тога, Степик се може користити као место за разне догађаје, као што су олимпијаде и такмичења.
Интерфејс платформе је у потпуности на руском језику, прилично пријатељски и интуитиван. Платформа је потпуно бесплатна.
За сваки завршен курс у Степику, студент добија сертификат о завршеном курсу. Добијање сертификата је такође бесплатно.
Предмет упознаје студенте са математичком логиком, њеним методама, теоремама и применама. У процесу изучавања предмета студенти ће моћи да упознају различите логичке системе – класична логика, интуиционистичка логика, разне модалне логике, као и класична предикатска логика и конструисане теорије на основу тога.
Катедра: Економски факултет. Програм напредне обуке.