Logika - bezplatný kurz od Open Education, školení 14 týdnů, od 4 do 6 hodin týdně, Termín: 3. prosince 2023.

Předmět seznamuje studenty s matematickou logikou, jejími metodami, větami a aplikacemi. V průběhu studia předmětu budou studenti schopni poznávat různé logické systémy - klasická logika, intuicionistická logika, různé modální logiky, stejně jako klasická predikátová logika a vytvořené teorie na jeho základě.

Budou řešeny otázky spojené s formálními jazyky, otázkami vyjadřitelnosti různých podmínek v nich, axiomatických systémů, průkaznosti a dokazatelnosti, pravdivosti a vyvratitelnosti. Budou ukázány vztahy mezi těmito pojmy a také vztahy mezi různými logickými systémy. Po cestě budou zvažovány vlastnosti teorií, včetně algoritmických.

Kurz obsahuje jak teoretickou látku prezentovanou na přednáškách, tak praktické úlohy nabízené studentům jako cvičení. Studenti se budou moci naučit konstruovat formální důkazy teorémů, modely teorií, protimodely pro tvrzení, která jsou v teoriích nedokazatelná, a také důsledně argumentovat své závěry.

Rybakov Michail Nikolajevič

1

studna

Kandidát fyzikálních a matematických věd: Yaroslavl State University. P.G. Demidova, PhD: University of the Witwatersrand, docent Funkce: docent, Matematická fakulta

14 týdnů, 4 až 6 hodin týdně,

Start 3. prosince