Logika – nemokami kursai iš Open Education, mokymai 14 savaičių, nuo 4 iki 6 valandų per savaitę, Data: 2023 m. gruodžio 3 d.

Kursas supažindina studentus su matematine logika, jos metodais, teoremomis ir taikymais. Studijuodami kursą studentai galės pažinti įvairias logines sistemas – klasikinę logiką, intuityvistinė logika, įvairios modalinės logikos, taip pat klasikinė predikatų logika ir sukurtos teorijos remiantis juo.

Bus sprendžiami su formaliosiomis kalbomis susiję klausimai, įvairių sąlygų jose išreiškimo, aksiomatinių sistemų, įrodymų ir įrodomumo, tiesos ir paneigimo klausimai. Bus parodyti ryšiai tarp šių sąvokų, taip pat ryšiai tarp skirtingų loginių sistemų. Pakeliui bus atsižvelgta į teorijų, įskaitant algoritmines, savybes.

Kursą sudaro tiek teorinė medžiaga, pateikiama paskaitose, tiek praktinės užduotys, siūlomos studentams kaip pratybos. Studentai galės išmokti konstruoti formalius teoremų įrodymus, teorijų modelius, priešpriešinius modelius teiginiams, kurie teorijose neįrodomi, taip pat griežtai argumentuoti savo išvadas.

Rybakovas Michailas Nikolajevičius

1

gerai

Fizinių ir matematikos mokslų kandidatas: Jaroslavlio valstybinis universitetas. P.G. Demidova, PhD: Witwatersrand universiteto docentė Pareigos: Matematikos fakulteto docentė

14 savaičių, nuo 4 iki 6 valandų per savaitę,

Pradėti Gruodžio 03 d