Logik - gratis kurs från Open Education, utbildning 14 veckor, från 4 till 6 timmar per vecka, Datum: 3 december 2023.

Miscellanea / by admin / December 07, 2023

click fraud protection

Kursen introducerar studenterna till matematisk logik, dess metoder, satser och tillämpningar. I processen att studera kursen kommer studenterna att kunna lära sig om olika logiska system - klassisk logik, intuitionistisk logik, olika modala logiker, såväl som klassisk predikatlogik och konstruerade teorier baserat på det.

Frågor relaterade till formella språk, frågor om uttryckbarhet av olika förhållanden i dem, axiomatiska system, bevis och bevisbarhet, sanning och vederläggbarhet kommer att tas upp. Sambanden mellan dessa begrepp kommer att visas, liksom sambanden mellan olika logiska system. Längs vägen kommer teoriernas egenskaper, inklusive algoritmiska, att beaktas.

Kursen innehåller både teoretiskt material som presenteras i föreläsningar och praktiska uppgifter som erbjuds studenterna som övningar. Eleverna kommer att kunna lära sig hur man konstruerar formella bevis för satser, modeller av teorier, motmodeller för påståenden som inte går att bevisa i teorier, samt noggrant argumentera för sina slutsatser.

instagram viewer

Rybakov Mikhail Nikolaevich

väl

Kandidat för fysikaliska och matematiska vetenskaper: Yaroslavl State University. P.G. Demidova, PhD: University of the Witwatersrand, Docent Befattning: Docent, Matematiska fakulteten

Utbildning, akademiska examina och akademiska titlar 2019, PhD: University of the Witwatersrand 2017, Akademisk titel: Associate Professor 2005, Candidate of Physical and Mathematical Sciences: Yaroslavl State University. P.G. Demidova 1999, magisterexamen: Tver State University, specialitet "Mathematics, Applied Mathematics", examen "Master" 1997, kandidatexamen: Tver State University, specialitet "Mathematics", examen "Ungkarl"

Utmärkelser och prestationer Tacksamhet från matematiska fakulteten vid National Research University Higher School of Economics (oktober 2021) Bästa lärare – 2021 Bonus för publicering i en internationell peer-reviewed tidskrift vetenskaplig publikation (2022-2023, 2021-2022, 2020-2021) Vinnare av tävlingen om de bästa ryskspråkiga vetenskapliga och populärvetenskapliga verken av HSE-anställda – 2022

1. Klassisk propositionell logik. Syntax, semantik. Lagar. Disjunktiva och konjunktiva normala former. Sekvenskalkyl.

2. Intuitionistisk propositionell logik. Kripke semantik. Sekvenskalkyl.

3. Klassisk predikatslogik. Signatur, signaturmodeller. Definierbarhet. Lagar. Prefix normal form.

4. Första ordningens teorier. Teoriernas egenskaper.

5. Algoritmer. Lösbarhet. Kyrkans teorem.

6. Modal logik. Syntax, Kripkes semantik. Kalkyl. Fullständighetssatser. Lösbarhet. Samband med intuitionistisk logik och predikatslogik.

14 veckor, 4 till 6 timmar per vecka,

Start 03 december

Tags moln