|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Дополнительные главы классической логики (Advanced Course in Classical Logic)учебный курс
- Автор: Золин Евгений Евгеньевич
- Год создания: 2016
- Организация: МГУ имени М.В. Ломоносова
- Курс на иностранном языке
- Описание: This course covers themes on classical logic that are not included in the standard courses on mathematical logic. The course consists of two parts. ========================================================= Part 1: Classical Propositional Logic. Includes the following topics: completeness of the classical propositional calculus (CPC) proved via maximal consistent sets; completeness of the CPC with respect to set semantics and algebraic semantics; representation of finite Boolean algebras (Stone's Theorem); completeness of the sequent calculus; Cook-Levin Theorem on NP-completeness of the satisfiability problem for propositional formulas; Linial-Post Theorem on undecidability of the axiomatization recognizing problem; a complete axiomatization of the infinitary propositional logic (logic with countable conjunction and disjunction). ========================================================= Part 2: Classical Predicate Logic. Includes the following topics: conservative extensions of theories; criterion of elementary equivalence of models (Ehrenfeucht games); filters and ultrafilters; ultraproducts; Los' Theorem on preservation of first-order formulas under ultraproducts; application of ultraproducts - "effective" proof of the compactness theorem, Keisler's Theorem on criterion of axiomatizability of a class of first-order structures, species of elementary classes (axiomatizable, co-axiomatizable, quasi-axiomatizable classes), representation of arbitrary Boolean algebras; finite model theory. ========================================================= Site: http://lpcs.math.msu.su/~zolin/accl/ ========================================================= Video: https://youtube.com/playlist?list=PL6ZCZFyULOwc-5vrmomPf8EyYNQcFf9w5
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 2021: вопросы (A4) | 2021_ACCL_Program_Zolin_A4.pdf | 90,2 КБ | 8 июня 2021 [ezolin] |
| 2. | Полный текст | 2021: вопросы: screen | 2021_ACCL_Program_Zolin_screen.pdf | 86,6 КБ | 8 июня 2021 [ezolin] |
| 3. | Полный текст | Задачи к экзамену | 2018_ACCL_Tasks_Zolin.pdf | 184,2 КБ | 9 июня 2021 [ezolin] |
| 4. | Полный текст | Конспект лекций | Advanced_course_classical_logic_Zolin.pdf | 868,4 КБ | 9 июня 2021 [ezolin] |
| 5. | Полный текст | 2021 Слайды 04 | 2021_03_17_ACCL_Lecture_04_Slides.pdf | 456,9 КБ | 30 мая 2021 [ezolin] |
| 6. | Полный текст | 2021 Слайды 02 | 2021_03_03_ACCL_Lecture_02_Slides.pdf | 526,5 КБ | 30 мая 2021 [ezolin] |
| 7. | Полный текст | 2021 Слайды 03 | 2021_03_10_ACCL_Lecture_03_Slides.pdf | 493,7 КБ | 30 мая 2021 [ezolin] |
| 8. | Полный текст | 2021 Слайды 05 | 2021_03_24_ACCL_Lecture_05_Slides.pdf | 422,0 КБ | 30 мая 2021 [ezolin] |
| 9. | Полный текст | 2021 Слайды 06 | 2021_03_31_ACCL_Lecture_06_Slides.pdf | 454,1 КБ | 30 мая 2021 [ezolin] |
| 10. | Полный текст | 2021 Слайды 07 | 2021_04_07_ACCL_Lecture_07_Slides.pdf | 538,6 КБ | 30 мая 2021 [ezolin] |
| 11. | Полный текст | 2021 Слайды 08 | 2021_04_14_ACCL_Lecture_08_Slides.pdf | 611,8 КБ | 30 мая 2021 [ezolin] |
| 12. | Полный текст | 2021 Слайды 09 | 2021_04_21_ACCL_Lecture_09_Slides.pdf | 533,7 КБ | 30 мая 2021 [ezolin] |
| 13. | Полный текст | 2021 Слайды 10 | 2021_04_28_ACCL_Lecture_10_Slides.pdf | 588,6 КБ | 30 мая 2021 [ezolin] |
| 14. | Полный текст | 2021 Слайды 11 | 2021_05_12_ACCL_Lecture_11_Slides.pdf | 538,3 КБ | 30 мая 2021 [ezolin] |
| 15. | Полный текст | 2021 Слайды 12 | 2021_05_19_ACCL_Lecture_12_Slides.pdf | 400,4 КБ | 30 мая 2021 [ezolin] |
| 16. | Полный текст | 2021 Слайды 01 | 2021_02_24_ACCL_Lecture_01_Slides.pdf | 641,8 КБ | 9 июня 2021 [ezolin] |
Преподавание курса
- 8 февраля 2021 - 31 мая 2021 Золин Евгений Евгеньевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 34 часов
- Автор: Золин Евгений Евгеньевич
- 8 февраля 2020 - 19 мая 2020 Золин Евгений Евгеньевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 34 часов
- Автор: Золин Евгений Евгеньевич
- 8 февраля 2019 - 19 мая 2019 Золин Евгений Евгеньевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 34 часов
- Автор: Золин Евгений Евгеньевич
- 8 февраля 2018 - 19 мая 2018 Золин Евгений Евгеньевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 34 часов
- Автор: Золин Евгений Евгеньевич
- 8 февраля 2017 - 19 мая 2017 Золин Евгений Евгеньевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 32 часов
- Автор: Золин Евгений Евгеньевич
- 8 февраля 2016 - 27 мая 2016 Золин Евгений Евгеньевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 32 часов
- Автор: Золин Евгений Евгеньевич