24/12/2019
0
Ansichten
Logik – kostenloser Kurs von Open Education, Ausbildung 14 Wochen, 4 bis 6 Stunden pro Woche, Datum: 3. Dezember 2023.
Verschiedenes / / December 07, 2023
Der Kurs führt die Studierenden in die mathematische Logik, ihre Methoden, Theoreme und Anwendungen ein. Während des Studiums des Kurses können die Studierenden verschiedene logische Systeme kennenlernen - klassische Logik, Intuitionistische Logik, verschiedene Modallogiken sowie klassische Prädikatenlogik und Theorien konstruiert darauf basierend.
Behandelt werden Fragen im Zusammenhang mit formalen Sprachen, Fragen der Ausdrückbarkeit verschiedener Bedingungen in ihnen, axiomatische Systeme, Beweise und Beweisbarkeit, Wahrheit und Widerlegbarkeit. Es werden die Beziehungen zwischen diesen Konzepten sowie die Beziehungen zwischen verschiedenen logischen Systemen aufgezeigt. Dabei werden die Eigenschaften von Theorien, auch algorithmischen, berücksichtigt.
Die Lehrveranstaltung beinhaltet sowohl theoretisches Material, das in Vorlesungen präsentiert wird, als auch praktische Aufgaben, die den Studierenden als Übungen angeboten werden. Die Studierenden können lernen, formale Beweise für Theoreme, Modelle von Theorien und Gegenmodelle für Aussagen zu konstruieren, die in Theorien nicht beweisbar sind, und ihre Schlussfolgerungen rigoros zu argumentieren.
Rybakow Michail Nikolajewitsch
1
AlsoKandidat der physikalischen und mathematischen Wissenschaften: Staatliche Universität Jaroslawl. P.G. Demidova, PhD: University of the Witwatersrand, außerordentliche Professorin Position: außerordentliche Professorin, Fakultät für Mathematik
Ausbildung, akademische Grade und akademische Titel 2019, PhD: Universität Witwatersrand 2017, Akademischer Titel: Außerordentlicher Professor 2005, Kandidat für physikalische und mathematische Wissenschaften: Staatliche Universität Jaroslawl. P.G. Demidova 1999, Master-Abschluss: Staatliche Universität Twer, Fachrichtung „Mathematik, Angewandte Mathematik“, Abschluss „Master“ 1997, Bachelor-Abschluss: Staatliche Universität Twer, Fachrichtung „Mathematik“, Abschluss „Bachelor“
Preise und Erfolge Dank der Fakultät für Mathematik der National Research University Higher School of Economics (Oktober 2021) Bester Lehrer – Bonus 2021 für die Veröffentlichung in einer internationalen Fachzeitschrift wissenschaftliche Veröffentlichung (2022-2023, 2021-2022, 2020-2021) Gewinner des Wettbewerbs für die besten russischsprachigen wissenschaftlichen und populärwissenschaftlichen Arbeiten von HSE-Mitarbeitern – 2022
1. Klassische Aussagenlogik. Syntax, Semantik. Gesetze. Disjunktive und konjunktive Normalformen. Folgenrechnung.
2. Intuitionistische Aussagenlogik. Kripke-Semantik. Folgenrechnung.
3. Klassische Prädikatenlogik. Signature, Signature-Modelle. Definierbarkeit. Gesetze. Normalform voranstellen.
4. Theorien erster Ordnung. Eigenschaften von Theorien.
5. Algorithmen. Lösbarkeit. Satz der Kirche.
6. Modale Logiken. Syntax, Semantik von Kripke. Infinitesimalrechnung. Vollständigkeitssätze. Lösbarkeit. Zusammenhang mit intuitionistischer Logik und Prädikatenlogik.
14 Wochen, 4 bis 6 Stunden pro Woche,
Start 03. Dezember
Abonnieren
YOU MIGHT ALSO LIKE
