Matemaattinen logiikka ja algoritmien teoria - ilmainen kurssi Stepikiltä, koulutus 64 oppituntia, päivämäärä 30.11.2023.
Miscellanea / / December 02, 2023
Stepik on koulutusalusta ja verkkokurssisuunnittelija.
Kehitämme mukautuvia oppimisalgoritmeja, teemme yhteistyötä MOOC-tekijöiden kanssa ja autamme järjestämään kilpailuja ja uudelleenkoulutusohjelmia.
Tavoitteenamme on tehdä koulutuksesta avointa ja mukavaa.
Stepik on tunnettu venäläinen koulutusalusta, joka perustettiin vuonna 2013. Stepikissä on rekisteröity yli miljoona käyttäjää Venäjältä ja IVY-maista. Tällä hetkellä Stepik tarjoaa useita tuhansia koulutuskursseja eri aiheista.
Stepik-alusta sisältää ilmaisten toimintojen ja oppituntien suunnittelijan. Jokainen rekisteröitynyt käyttäjä voi luoda interaktiivisen koulutuskurssin. Samalla oppimateriaalin tekijät säilyttävät tekijänoikeudet. Palvelussa ei ole rajoituksia opiskelijoiden lukumäärälle kurssia kohden.
Stepikillä on laajat mahdollisuudet luoda verkkokursseja, koulutustilaisuuksia ja oppitunteja tekstien, videoiden, kuvia, testitehtäviä, joiden aikana voit keskustella muiden opiskelijoiden kanssa sekä kanssa opettaja. Yhteensä Stepik sisältää 20 tyyppistä tehtävää, joiden varmennus voidaan suorittaa sekä automaattisesti että manuaalisesti.
Tämän alustan suuri etu on kyky upottaa luotuja materiaaleja kolmansien osapuolien sivustoille, kuten Moodleen ja Canvasiin.
Lisäksi Stepikkiä voidaan käyttää erilaisten tapahtumien, kuten olympialaisten ja kilpailujen pitopaikkana.
Alustan käyttöliittymä on täysin venäjänkielinen, melko ystävällinen ja intuitiivinen. Alusta on täysin ilmainen.
Jokaisesta Stepikissä suoritetusta kurssista opiskelija saa suorittamistodistuksen. Myös todistuksen saaminen on ilmaista.
Kurssi perehtyy matemaattiseen logiikkaan, sen menetelmiin, lauseisiin ja sovelluksiin. Opintojakson aikana opiskelijat voivat oppia erilaisista loogisista järjestelmistä - klassisesta logiikasta, intuitionistinen logiikka, erilaiset modaalilogiikat sekä klassinen predikaattilogiikka ja rakennetut teoriat sen perusteella.
Laitos: Taloustieteiden tiedekunta. Edistynyt koulutusohjelma.