Logika - bezplatný kurz od Open Education, školenie 14 týždňov, od 4 do 6 hodín týždenne, Termín: 3.12.2023.

Rôzne / by admin / December 07, 2023

click fraud protection

Kurz zoznamuje študentov s matematickou logikou, jej metódami, teorémami a aplikáciami. V procese štúdia predmetu budú študenti schopní spoznať rôzne logické systémy - klasická logika, intuicionistická logika, rôzne modálne logiky, ako aj klasická predikátová logika a vytvorené teórie na základe toho.

Riešiť sa budú otázky spojené s formálnymi jazykmi, otázkami vyjadrovateľnosti rôznych podmienok v nich, axiomatickými systémami, dôkazmi a dokázateľnosťou, pravdivosťou a vyvrátiteľnosťou. Ukážeme vzťahy medzi týmito pojmami, ako aj vzťahy medzi rôznymi logickými systémami. Popri tom sa budú brať do úvahy vlastnosti teórií, vrátane algoritmických.

Kurz obsahuje teoretický materiál prezentovaný na prednáškach a praktické úlohy ponúkané študentom ako cvičenia. Študenti sa budú môcť naučiť konštruovať formálne dôkazy teorémov, modely teórií, protimodely pre tvrdenia, ktoré sú v teóriách nedokázateľné, ako aj dôsledne argumentovať svoje závery.

Rybakov Michail Nikolajevič

dobre

Kandidát fyzikálnych a matematických vied: Yaroslavl State University. P.G. Demidova, PhD: University of the Witwatersrand, docent Pozícia: docent, Matematická fakulta

instagram viewer

Vzdelanie, akademické tituly a akademické tituly 2019, PhD: University of the Witwatersrand 2017, akademický titul: docent 2005, kandidát fyzikálnych a matematických vied: Yaroslavl State University. P.G. Demidova 1999, magisterský titul: Štátna univerzita v Tveri, špecializácia „Matematika, aplikovaná matematika“, kvalifikácia "Master" 1997, bakalársky titul: Tver State University, špecializácia "Matematika", kvalifikácia "bakalár"

Ocenenia a úspechy Poďakovanie od Fakulty matematiky Vysokej ekonomickej školy Národnej výskumnej univerzity (október 2021) Najlepší učiteľ – Bonus 2021 za publikovanie v medzinárodnom recenzovanom časopise vedecká publikácia (2022-2023, 2021-2022, 2020-2021) Víťaz Súťaže o najlepšie ruskojazyčné vedecké a populárno-vedecké práce zamestnancov HSE – 2022

1. Klasická výroková logika. Syntax, sémantika. zákonov. Disjunktívne a konjunktívne normálne formy. Sekvenčný počet.

2. Intuicionistická výroková logika. Kripkeho sémantika. Sekvenčný počet.

3. Klasická predikátová logika. Podpis, modely podpisov. Definovateľnosť. zákonov. Predpona normálneho tvaru.

4. Teórie prvého rádu. Vlastnosti teórií.

5. Algoritmy. Riešiteľnosť. Churchova veta.

6. Modálna logika. Syntax, sémantika Kripkeho. Calculus. Vety o úplnosti. Riešiteľnosť. Spojenie s intuicionistickou logikou a predikátovou logikou.

14 týždňov, 4 až 6 hodín týždenne,

Štart 3. december

Štítky cloud