Logika - besplatni tečaj iz Otvorenog obrazovanja, obuka 14 tjedana, od 4 do 6 sati tjedno, Datum: 3. prosinca 2023.

Miscelanea / by admin / December 07, 2023

click fraud protection

Predmet uvodi studente u matematičku logiku, njezine metode, teoreme i primjene. U procesu izučavanja kolegija studenti će moći upoznati različite logičke sustave – klasičnu logiku, intuicionistička logika, različite modalne logike, kao i klasična logika predikata i konstruirane teorije na temelju toga.

Obrađivat će se pitanja vezana uz formalne jezike, pitanja izrazivosti različitih uvjeta u njima, aksiomatski sustavi, dokazi i dokazivost, istinitost i opovrgljivost. Prikazat će se odnosi između ovih pojmova, kao i odnosi između različitih logičkih sustava. Usput će se razmatrati svojstva teorija, uključujući algoritamske.

Kolegij sadrži kako teoretsko gradivo prezentirano na predavanjima, tako i praktične zadatke koji se studentima nude kao vježbe. Studenti će moći naučiti konstruirati formalne dokaze teorema, modele teorija, protumodele za tvrdnje koje su nedokazive u teorijama, kao i rigorozno argumentirati svoje zaključke.

Rybakov Mihail Nikolajevič

dobro

Kandidat fizičkih i matematičkih znanosti: Jaroslavsko državno sveučilište. P.G. Demidova, PhD: Sveučilište Witwatersrand, izvanredna profesorica Pozicija: izvanredna profesorica, Fakultet matematike

instagram viewer

Obrazovanje, akademski stupnjevi i akademska zvanja 2019., doktorat: Sveučilište Witwatersrand 2017., Akademski naziv: izvanredni profesor 2005., kandidat za fizičke i matematičke znanosti: Jaroslavsko državno sveučilište. P.G. Demidova 1999, magisterij: Tversko državno sveučilište, specijalnost “Matematika, primijenjena matematika”, kvalifikacija "magistar" 1997., prvostupnik: Državno sveučilište Tver, specijalnost "matematika", kvalifikacija "Neženja"

Nagrade i postignuća Zahvalnica Matematičkog fakulteta Nacionalnog istraživačkog sveučilišta Visoka ekonomska škola (listopad 2021.) Najbolji nastavnik – 2021. Bonus za objavu u međunarodnom recenziranom časopisu znanstvena publikacija (2022.-2023., 2021.-2022., 2020.-2021.) Pobjednik Natječaja za najbolje znanstvene i znanstveno-popularne radove na ruskom jeziku zaposlenika HSE-a – 2022

1. Klasična iskazna logika. Sintaksa, semantika. Zakoni. Disjunktivni i konjunktivni normalni oblici. Sekvencijski račun.

2. Intuicionistička iskazna logika. Kripke semantika. Sekvencijski račun.

3. Klasična predikatska logika. Potpis, modeli s potpisom. Definibilnost. Zakoni. Prefiks normalan oblik.

4. Teorije prvog reda. Svojstva teorija.

5. Algoritmi. Rješivost. Churchov teorem.

6. Modalne logike. Sintaksa, semantika Kripkea. Račun. Teoremi o potpunosti. Rješivost. Povezanost s intuicionističkom logikom i logikom predikata.

14 tjedana, 4 do 6 sati tjedno,

Početak 03. prosinca

Tagovi oblak