Логика - бесплатан курс Отвореног образовања, обука 14 недеља, од 4 до 6 часова недељно, Датум: 03.12.2023.
мисцеланеа / / December 07, 2023
Предмет упознаје студенте са математичком логиком, њеним методама, теоремама и применама. У процесу изучавања предмета студенти ће моћи да упознају различите логичке системе – класична логика, интуиционистичка логика, разне модалне логике, као и класична предикатска логика и конструисане теорије на основу тога.
Биће обрађена питања везана за формалне језике, питања изражајности различитих стања у њима, аксиоматске системе, доказе и доказивост, истинитост и оповргљивост. Биће приказани односи између ових појмова, као и односи између различитих логичких система. Успут ће се разматрати својства теорија, укључујући и алгоритамске.
Курс садржи како теоријски материјал представљен на предавањима, тако и практичне задатке који се студентима нуде као вежбе. Студенти ће моћи да науче како да конструишу формалне доказе теорема, моделе теорија, контра-моделе за исказе који су у теоријама недоказиви, као и да ригорозно аргументују своје закључке.
1
доброКандидат физичко-математичких наука: Јарославски државни универзитет. П.Г. др Демидова: Универзитет у Витватерсранду, ванредни професор Радно место: ванредни професор, Математички факултет
Образовање, академски степен и академска звања 2019, докторат: Универзитет Витватерсранд 2017, Академско звање: ванредни професор 2005, кандидат физичко-математичких наука: Јарославски државни универзитет. П.Г. Демидова 1999, магистрирала: Државни универзитет Твер, специјалност „Математика, примењена математика“, квалификација "Мастер" 1997, диплома: Твер Стате Университи, специјалност "Математика", квалификација "Нежења"
Награде и достигнућа Захвалност Математичког факултета Високе економске школе Националног истраживачког универзитета (октобар 2021.) Најбољи наставник – Бонус 2021. за објављивање у међународном рецензираном часопису научна публикација (2022-2023, 2021-2022, 2020-2021) Победник Конкурса за најбоље научне и научнопопуларне радове на руском језику запослених у ХСЕ – 2022
1. Класична пропозициона логика. Синтакса, семантика. Закони. Дисјунктивни и коњунктивни нормални облици. Рачун секвенце.
2. Интуиционистичка пропозициона логика. Крипке семантика. Рачун секвенце.
3. Класична предикатска логика. Потпис, модели потписа. Дефинибилност. Закони. Префикс нормалног облика.
4. Теорије првог реда. Особине теорија.
5. Алгоритми. Решивост. Црквена теорема.
6. Модалне логике. Синтакса, семантика Крипкеа. Рачуница. Теореме комплетности. Решивост. Веза са интуиционистичком логиком и логиком предиката.
14 недеља, 4 до 6 сати недељно,
Почетак 03. децембар