Logika - ingyenes tanfolyam az Open Education-tól, képzés 14 hetes, heti 4-6 órában, Időpont: 2023. december 3.

A kurzus megismerteti a hallgatókat a matematikai logikával, annak módszereivel, tételeivel és alkalmazásaival. A kurzus tanulmányozása során a hallgatók képesek lesznek megismerni a különböző logikai rendszereket - a klasszikus logikát, intuicionista logika, különféle modális logikák, valamint klasszikus predikátum logika és elméletek felépített az alapján.

Szóba kerülnek a formális nyelvekkel kapcsolatos kérdések, a bennük lévő különféle feltételek kifejezhetőségének kérdései, az axiomatikus rendszerek, a bizonyítékok és a bizonyíthatóság, az igazság és a cáfolhatóság kérdései. Bemutatjuk a fogalmak közötti kapcsolatokat, valamint a különböző logikai rendszerek közötti kapcsolatokat. Útközben figyelembe kell venni az elméletek tulajdonságait, beleértve az algoritmikusakat is.

A kurzus az előadásokon bemutatott elméleti anyagokat és a hallgatók számára gyakorlatként felkínált gyakorlati feladatokat egyaránt tartalmaz. A hallgatók megtanulhatják, hogyan készítsenek formális tételbizonyításokat, elméleti modelleket, ellenmodelleket olyan állításokra, amelyek elméletben nem bizonyíthatóak, valamint következtetéseiket szigorúan érvelhetik.

Rybakov Mihail Nyikolajevics

1

jól

Fizikai és matematikai tudományok kandidátusa: Jaroszlavli Állami Egyetem. P.G. Demidova, PhD: University of the Witwatersrand, egyetemi docens Beosztás: egyetemi docens, Matematikai Kar

14 hét, heti 4-6 óra,

Rajt december 03