Loogika - tasuta kursus Open Educationist, koolitus 14 nädalat, 4-6 tundi nädalas, Kuupäev: 03.12.2023.

Varia / by admin / December 07, 2023

click fraud protection

Kursusel tutvustatakse matemaatilist loogikat, selle meetodeid, teoreeme ja rakendusi. Kursuse õppimise käigus saavad õpilased õppida tundma erinevaid loogilisi süsteeme - klassikalist loogikat, intuitsionistlik loogika, erinevad modaalloogikad, aga ka klassikaline predikaatloogika ja konstrueeritud teooriad selle põhjal.

Käsitletakse vormikeeltega seotud küsimusi, neis esinevate erinevate tingimuste väljendatavuse, aksiomaatiliste süsteemide, tõendite ja tõestatavuse, tõesuse ja ümberlükkatavuse küsimusi. Näidatakse nii nende mõistete vahelisi seoseid kui ka seoseid erinevate loogiliste süsteemide vahel. Sellel teel võetakse arvesse teooriate, sealhulgas algoritmiliste, omadusi.

Kursus sisaldab nii loengutes esitatavat teoreetilist materjali kui ka õppuritele harjutustena pakutavaid praktilisi ülesandeid. Õpilased saavad õppida konstrueerima teoreemide formaalseid tõestusi, teooriamudeleid, vastumudeleid väidetele, mis on teooriates tõestamatud, ning samuti oma järeldusi rangelt argumenteerima.

instagram viewer

Rybakov Mihhail Nikolajevitš

hästi

Füüsikaliste ja matemaatikateaduste kandidaat: Jaroslavli Riiklik Ülikool. P.G. Demidova, PhD: Witwatersrandi ülikool, dotsent Ametikoht: dotsent, matemaatikateaduskond

Haridus, akadeemilised kraadid ja akadeemilised nimetused 2019, PhD: University of the Witwatersrand 2017, akadeemiline nimetus: dotsent 2005, füüsika- ja matemaatikateaduste kandidaat: Jaroslavli Riiklik Ülikool. P.G. Demidova 1999, magistrikraad: Tveri Riiklik Ülikool, eriala “Matemaatika, rakendusmatemaatika”, kvalifikatsioon "Master" 1997, bakalaureusekraad: Tveri Riiklik Ülikool, eriala "Matemaatika", kvalifikatsioon "Bakalaureus"

Auhinnad ja saavutused Riikliku Teadusülikooli Majanduskõrgkooli matemaatikateaduskonna tänu (oktoober 2021) Parim õpetaja – 2021 Boonus avaldamise eest rahvusvahelises eelretsenseeritavas ajakirjas teaduspublikatsioon (2022-2023, 2021-2022, 2020-2021) HSE töötajate parimate venekeelsete teadus- ja populaarteaduslike tööde konkursi võitja – 2022

1. Klassikaline propositsiooniloogika. Süntaks, semantika. Seadused. Disjunktiivsed ja konjunktiivsed normaalvormid. Järjestusarvutus.

2. Intuitsionistlik propositsiooniloogika. Kripke semantika. Järjestusarvutus.

3. Klassikaline predikaatloogika. Signatuur, signatuurimudelid. Defineeritavus. Seadused. Eesliide normaalvorm.

4. Esimese järgu teooriad. Teooriate omadused.

5. Algoritmid. Lahendatavus. Kiriku teoreem.

6. Modaalne loogika. Kripke süntaks, semantika. Arvestus. Täielikkuse teoreemid. Lahendatavus. Seos intuitsionistliku loogika ja predikaatloogikaga.

14 nädalat, 4 kuni 6 tundi nädalas,

Alusta 03. detsember

Sildid pilv