0
Прегледи
Логика - безплатен курс от Open Education, обучение 14 седмици, от 4 до 6 часа седмично, Дата: 3 декември 2023 г.
разни / / December 07, 2023
Курсът запознава студентите с математическата логика, нейните методи, теореми и приложения. В процеса на изучаване на дисциплината студентите ще могат да се запознаят с различни логически системи - класическа логика, интуиционистка логика, различни модални логики, както и класическа предикатна логика и изградени теории въз основа на него.
Ще бъдат засегнати въпроси, свързани с формалните езици, въпроси на изразимостта на различни условия в тях, аксиоматични системи, доказателства и доказуемост, истинност и опровержимост. Ще бъдат показани връзките между тези понятия, както и връзките между различните логически системи. По пътя ще бъдат разгледани свойствата на теориите, включително алгоритмичните.
Курсът съдържа както теоретичен материал, представен в лекции, така и практически задачи, предлагани на студентите като упражнения. Студентите ще могат да се научат как да конструират формални доказателства на теореми, модели на теории, контрамодели за твърдения, които са недоказуеми в теориите, както и строго да аргументират своите заключения.
Рибаков Михаил Николаевич
1
добреКандидат на физико-математическите науки: Ярославски държавен университет. П.Г. Демидова, д-р: Университет на Витватерсранд, доцент Позиция: доцент, Факултет по математика
Образование, научни степени и научни звания 2019 г., докторска степен: University of the Witwatersrand 2017 г., Научна титла: доцент 2005 г., кандидат на физико-математическите науки: Ярославски държавен университет. П.Г. Демидова 1999 г., магистърска степен: Тверски държавен университет, специалност „Математика, приложна математика“, квалификация "магистър" 1997 г., бакалавърска степен: Тверски държавен университет, специалност "математика", квалификация "Ерген"
Награди и постижения Благодарност от Математическия факултет на Националния изследователски университет Висше училище по икономика (октомври 2021 г.) Най-добър преподавател – 2021 г. Бонус за публикация в международно рецензирано списание научна публикация (2022-2023, 2021-2022, 2020-2021) Победител в Конкурса за най-добри рускоезични научни и научно-популярни произведения на служители на HSE – 2022
1. Класическа пропозиционална логика. Синтаксис, семантика. Закони. Дизюнктивни и конюнктивни нормални форми. Смятане на последователности.
2. Интуиционистична пропозиционална логика. Семантика на Крипке. Смятане на последователности.
3. Класическа предикатна логика. Сигнатура, сигнатурни модели. Определяемост. Закони. Префикс нормална форма.
4. Теории от първи ред. Свойства на теориите.
5. Алгоритми. Разрешимост. Теоремата на Чърч.
6. Модални логики. Синтаксис, семантика на Kripke. Смятане. Теореми за пълнота. Разрешимост. Връзка с интуиционистичната логика и предикатната логика.
14 седмици, 4 до 6 часа на седмица,
Започнете 03 декември
АБОНИРАЙ СЕ
YOU MIGHT ALSO LIKE
-
-
19/12/2019 -
