#матлог #учёба #спецсеминар

В этом году продолжает работу колмогоровский семинар по сложности вычислений и сложности определений!

Первое заседание: 9 сентября.

Место проведения: зум.

Время проведения: понедельник, 18:30–20:00.

Страница семинара: http://logic.math.msu.ru/sem/ks/

Откроет заседания семинара А.Шень. Аннотация доклада:

This Monday on September 9 I would like to present a Levin's question on existence of one-way functions for computable functions on infinite sequences of 0 and 1s, and its solution by Barmpalias and Zhang.

🔗 Колмогоровский семинар по сложности вычислений и сложности определений (Kolmogorov seminar on comple


➰ ВК

#матлог #учёба #спецкурс

В.Б.Шехтман прочитает спецкурс НОЦ МИАН «Модальные логики предикатов и их модели».

Первая лекция: 12 сентября

Место проведения: МИАН, ком. 303

Время проведения: четверг 18:00-19:30

Страница спецкурса: https://www.mathnet.ru/conf2476

Аннотация. Курс содержит краткое введение в теорию модальных и суперинтуиционистских предикатных логик.
Главный аспект курса — теоретико-модельный. В отличие от классической логики, здесь имеется разнообразие семантик с использованием конструкций из других разделов математики — пучков, расслоений, симплициальных множеств. Общая панорама этой области достаточна сложна, и многие ключевые проблемы остаются открытыми.

Спецкурсы МИАН можно сдавать студентам мехмата. Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).

Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.

🔗 Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"


➰ ВК

#матлог #учёба #спецкурс

Т.Л. Яворская прочитает спецкурс «Основы теории множеств». Спецкурс читается в рамках Базовой кафедры «Методы современной математики» МИАН в МФТИ.

Первая лекция: 11 сентября

Место проведения: МИАН, ком. 104.

Время проведения: среда, 14:45–16:10.

Страница спецкурса: https://www.mathnet.ru/conf2481

Аннотация. Понятие множества является базовым для современной математики. Наивное представление о множествах как о совокупностях объектов приводит к противоречиям, избежать которые позволяет аксиоматические описание множеств. Курс познакомит слушателей с основами аксиоматической теории множеств и некоторыми её методами и результатами, такими как ординалы, трансфинитная индукция, теорема Цермело и другие.

❗Немного пиара курса!!! Если вы:
⚠ уверены, что множество - это совокупность объектов любой природы;
⚠ считаете, что индукция бывает только полная и неполная;
⚠ думаете, что кардинал - это какой-то мужик в церкви, ТО....
😱 спецкурс «Основы теории множеств» - то, что вам нужно! Принимать раз в неделю в течение нескольких недель, потом сдать экзамен и посмотреть на результат!

Спецкурсы МИАН можно сдавать студентам мехмата. Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).

Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.

🔗 Основы теории множеств


➰ ВК

#матлог #учёба #спецкурс

В.Е.Плиско прочитает спецкурс «Метод резолюций». Это полугодовой спецкурс по выбору кафедры.

Первая лекция: 13 сентября

Место проведения: 425 аудитория, 2 ГУМ

Время проведения: пятница 18:30–20:05

Аннотация.
В спецкурсе детально излагается так называемый метод резолюций, используемый при построении систем автоматического доказательства теорем. Содержание: логика первого порядка; теорема Эрбрана; метод резолюций для логики высказываний; алгоритм унификации; метод резолюций для логики предикатов; уточнения исчисления резолюций; применения метода резолюций в математической логике. Предварительных знаний из области математической логики не требуется.

Литература:
В.Н.Крупский, В.Е.Плиско. Математическая логика и теория алгоритмов. М.: Академия, 2013. Глава 14.
Ч.Чень, Р.Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.
A.Leitsch. The Resolution Calculus. Springer, 1997.

➰ ВК

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

C 16.09.24 семинар "Теория доказательств"/"Logic Online Seminar" будет проходить по понедельникам, начало в 16:00 MSK, ауд. 313 МИАН + Zoom.

Страница семинара: https://www.mathnet.ru/conf876

16.09.2024 М.В. Зубков (КФУ, Казань, https://kpfu.ru/Maxim.Zubkov): Вычислимые линейно упорядоченные структуры (очный доклад)

Среди всех алгебраических структур класс линейных порядков с точки зрения теории вычислимости представляет особый интерес. С одной стороны, он не является универсальным в том смысле, что не все примеры алгоритмических свойств, реализуемых произвольными алгебраическими структурами, могут быть реализованы в данном классе, например, не все спектры степеней. Но в то же время это достаточно богатый класс, и он дает различные примеры с нетривиальными алгоритмическими свойствами, в частности, содержит все ординалы. В докладе будет дан обзор результатов, полученных автором. В частности, новые достаточные условия того, что линейные порядки низкой степени имеют вычислимое представление. Будут приведены оценки уровней категоричности и би-вложимой категоричности для линейных порядков в зависимости от их ранга Хаусдорфа. Будут приведены широкие классы линейных порядков, для которых доказана гипотеза Кирстида и показано, что в общем случае она не верна. Будут затронуты вопросы пунктуальной представимости линейных порядков, в частности, свойства частично упорядоченного множества (ч.у.м.) пунктуальных степеней структуры натуральных чисел с функцией следования. А также будут приведены некоторые другие результаты.

🔗 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar&


➰ ВК

Сердечно поздравляем Льва (студента) и Тихона (выпускника) нашей кафедры! 🥳

--------------------------------------------------------------
↪ Механико-математический факультет МГУ
(12.09.2024 09:54)

#мехмат_поздравляет #победитель_конкурса

На открытии IV Конференции математических центров состоялось торжественное награждение лауреатов Премии молодым математикам России, учреждённой Образовательным фондом «Талант и успех». Поздравляем представителей механико-математического факультета — лауреатов Премии:
✔ в номинации «Студенты» – Дворкина Льва Вениаминовича;
✔ в номинации «Аспиранты» – Зайцеву Татьяну Ивановну;
✔ в номинации «Молодые ученые» – Шафаревича Антона Андреевича.

Также в номинации «Аспиранты» был награжден Пшеницын Тихон Григорьевич, выпускник механико-математического факультета, аспирант МИАН имени В.А. Стеклова.

IV Конференция математических центров России, посвященная 300-летию СПбГУ и РАН, проходила с 6-го по 11-ое августа в Санкт-Петербурге.

🔗 IV Конференция Математических Центров России


➰ ВК

#матлог #учёба #школа

Студенты, обратите внимание на замечательную возможность концентрированно несколько дней поучиться логике здорового человека 😍

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
(27.08.2024 17:17)

С 28 октября по 1 ноября состоится осенняя школа "Логика и формальная философия 2024".

Школа пройдет в рамках сотрудничества с Центром логики, эпистемологии и истории науки Университета Кампинас.
Школа пройдет в гибридном формате. Все курсы и лекции будут проводиться оффлайн с параллельной онлайн-трансляцией.

Заявки на участие в школе принимаются до 1 октября.
Заявки на конкурс тревел-грантов принимаются до 1 сентября.

С программой школы можно ознакомиться по ссылке: https://llfp.hse.ru/announcements/955672040.html

🔗 Осенняя школа "Логика и формальная философия 2024"


➰ ВК

#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, мы открываем новый сезон и приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Дата и время: 20.09.2024 в 16:20

Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog

Докладчик: Станислав Сперанский (МИАН)

Название: Сильная неразрешимость и первая теорема Гёделя о неполноте

Аннотация.

Теория Г называется сильно неразрешимой, если всякая теория, совместная с Г, неразрешима. Известно, что такие теории существуют: в качестве примера можно взять некоторую конечно аксиоматизируемую «минимальную» арифметику, которую мы будем обозначать через MA. Из сильной неразрешимости MA следует современная версия первой теоремы Гёделя о неполноте (в форме Россера), а также теорема Чёрча над арифметической сигнатурой. На самом деле, первая теорема Гёделя в известном смысле равносильна сильной неразрешимости MA (по модулю нескольких простых наблюдений). Кроме того, MA интерпретируется в теории дискретно упорядоченных колец, а потому последняя также сильно неразрешима.

🔗 Логика в Москве


➰ ВК

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar (https://www.mathnet.ru/conf876), Monday 16:00 MSK (UTC+3), Room 313 MIAN + Zoom (onsite talk)

23.09.2024 V. Shehtman (HSE Univeristy, MIPT): Completeness for modal predicate logics

In modal predicate logic the problem of semanticaI completeness is very nontrivial. Kripke semantics is too weak, and it is not clear how to improve it. In this talk we give a brief overview of the field and present proofs of some recent results on completeness and incompleteness. An earlier version of the talk was given at Workshop on first-order modal and temporal logics (Ljubljana 2023).

🔗 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar&


➰ ВК

#матлог #спецсеминар #не_мехмат #МФТИ

Начинает свою работу логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 25 сентября. Время проведения семинара 14:00.

Аудитория ГК329 (Главный корпус).
г. Долгопрудный, Институтский пер., 9, стр. 3.

В здании пропускной режим, поэтому если у вас нет пропуска в МФТИ, то напишите на почту kudinov.andrey@gmail.com, вас встретят у центрального входа в главный корпус со стороны Институтского пер. С собой иметь паспорт.

Просьба не опаздывать, т.к. аудитория находится в ректорате и туда так просто не попасть.
Собираемся в 14:00 у дверей в ректорат.

Заседание пройдет очно без трансляции.

Докладчик: М.Н.Рыбаков
Тема: Неразрешимость QLC с двумя переменными

Аннотация:
Логика QLC получается из интуиционистской предикатной логики QInt добавлением аксиомы линейности. Семантически QLC характеризуется классом линейных шкал Крипке. Её модальный напарник — логика QS4.3; она получается из QS4 аналогичным образом. Логика QLC содержит в себе логику QKC (логику слабого закона исключённого третьего), и в этом смысле она очень близка к классической логике предикатов QCl. Известно, что QCl неразрешима в языке с тремя переменными, но разрешима в языке с двумя. При этом и QInt, и QKC, и QS4.3 в языке с двумя переменными неразрешимы (даже при одной-двух унарных предикатных буквах). Техники, используемые в соответствующих доказательствах для фрагментов с двумя переменными, неприменимы к QLC — ни "классическая" с разрешимостью, ни "неклассическая" с неразрешимостью, и вопрос о разрешимости фрагмента QLC с двумя переменными долгое время оставался открытым. Оказалось, имеется довольно несложная конструкция, позволяющая закодировать средствами QLC неразрешимую проблему типа "домино", при это достаточно использовать две переменные и лишь позитивные формулы. В докладе предполагается показать детали этой конструкции и извлечь из неё следствия, касающиеся как QLC, так и некоторого бесконечного класса расширений QLC — во всех случаях будет получена неразрешимость, причём где-то Сигма-0-1-трудность, а где-то дополнительно и Пи-0-1-трудность.

Все необходимые определения будут даны. Тем не менее, для понимания доклада желательно иметь предварительное представление о семантике Крипке для предикатного языка (прежде всего, интуиционистского), а также о неразрешимой (Пи-0-1-полной) проблеме домино, состоящей в выяснении возможности замощения квадратными плитками домино, имеющими типы из данного конечного набора типов плиток, первого квадранта плоскости. В целом, изложение предполагается довольно простым и "в картинках".

➰ ВК

#матлог #учёба #просеминар

В четверг 26 сентября начинает работу просеминар по математической логике и информатике. Просеминар проходит по четвергам в 16:45-18:20 в аудитории 424 (2 гуманитарный корпус). Информацию о просеминаре можно найти на странице http://logic.math.msu.ru/proseminar/.

Формат просеминара — короткие серии из 1–2 занятий на разные темы, проводимые профессорами, преподавателями, аспирантами и студентами кафедры, с параллельным решением и разбором задач. Приглашаются студенты 1–3 курсов, школьники старших классов, студенты других специальностей и вообще все интересующиеся. Начинать посещение семинара можно с любого занятия.

26 сентября будет тема "Вполне упорядоченные множества". Можно заранее порешать задачи (прикреплены к посту).

🔗 Просеминар по математической логике и информатике — Кафедра математической логики и теории алгоритмов


📝 VUM2024.pdf

➰ ВК

#матлог #спецсеминар

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
(25.09.2024 13:08)

27 сентября (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View".

Тема доклада: "Динамические эпистемические подходы к решению парадокса неожиданного экзамена".
Докладчик: Юрий Казаков (НИУ ВШЭ)

Ждём вас в кабинете А121 или в Zoom!

Анонс появится в ближайшее время...

➰ ВК

#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Дата и время: 27.09.2024 в 16:20

Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog

Докладчик: Александр Герасимов

Название: Бесконечнозначная первопорядковая логика Лукасевича: исчисления для поиска вывода и полнота инфинитарного аналитического исчисления для предварённых предложений

Аннотация.

Бесконечнозначная первопорядковая логика Лукасевича относится к математическим нечётким логикам и служит для формализации приближённых рассуждений. Множество всех общезначимых предложений (и множество всех общезначимых предварённых предложений) этой логики неперечислимо; поэтому для неё не существует полного исчисления с рекурсивным множеством аксиом и конечным числом рекурсивных правил вывода. В докладе мы покажем, как удалось доказать полноту одного инфинитарного аналитического исчисления для предварённых предложений данной логики с помощью построений, полученных при разработке ориентированных на поиск вывода исчислений для рассматриваемой логики.
Доклад основан на статьях:
[1] A.S.Gerasimov, "Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic", Siberian Electronic Mathematical Reports, Vol.17, 2020, pp.1869-1899, https://doi.org/10.33048/semi.2020.17.127;
[2] A.S.Gerasimov, "Comparing calculi for first-order infinite-valued Lukasiewicz logic and first-order rational Pavelka logic", Logic and Logical Philosophy, Vol.32, No.2, 2022, pp.269-318, https://doi.org/10.12775/LLP.2022.030;
а также на некоторых неопубликованных результатах докладчика.

🔗 Логика в Москве


➰ ВК

#матлог #спецсеминар #не_мехмат #МФТИ

Слайды доклада М.Н.Рыбакова "Неразрешимость QLC с двумя переменными" (https://vk.com/wall-70743963_1754) прикреплены к посту!

📝 slides-QLC-2.pdf

➰ ВК

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar (https://www.mathnet.ru/conf876), Monday 16:00 MSK (UTC+3), Room 313 MIAN + Zoom (onsite talk, in Russian)

30.09.2024 В.И. Данилов (ЦЭМИ РАН): Алгебры Магари и функции выбора Плотта

Я хотел бы поговорить о неожиданной и пока необъясненной связи двух тождеств: тождества Лёба из теории доказуемости и условия "независимости от пути" Плотта из теории рационального выбора. Не будучи специалистом в теории доказуемости, я сосредоточу свой рассказ больше на функциях выбора. Функции выбора Плотта - замечательная математическая структура, обобщающая понятие частичного порядка в несколько неожиданном направлении. В силу этого такие функции появляются в различных местах - в немонотонной логике, теории стабильности, комбинаторике. И под разными личинами - как выпуклые геометрии, как разреженные пространства, как колмогоровские предтопологии, как обобщенные алгебры Магари.

🔗 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar&


➰ ВК

#матлог #учёба #спецкурс

Golafshan Mehdi и Канель-Белов А.Я. прочитают спецкурс "Комбинаторика слов" (на английском языке). Это полугодовой спецкурс.

Первая лекция: 18 сентября (прошу прощения за позднее сообщение о начале спецкурса). Доступна видеозапись первой лекции: https://www.youtube.com/watch?v=QFu6qp0_Yfw

Место проведения: зум

Время проведения: среда 19:00-21:00

К посту прикреплён файл с информацией о содержании курса и критериях оценивания.
Ссылка на телеграм-канал курса: https://t.me/Wordds2024

Пожалуйста, обратите внимание на следующие важные замечания. В случае их игнорирования ответственность полностью ложится на студента:

1. Обязательно присоединитесь к Telegram-каналу, так как вся информация, касающаяся курса, включая ссылку для входа в класс, учебные материалы и записанные видео, будет размещена там.

2. Студенты, которые хотят официально записаться на курс, сдать экзамен и получить оценку, должны отправить письмо на указанный ниже адрес до декабря (подчеркиваю, до декабря). В противном случае оценка не будет присвоена. mgolafshan@yandex.ru

🔗 Combinatorics on Words

🎥 2024 (Fall). Combinatorics on Words. Lecture 1 - Introductions and connections


📝 cow_-2.pdf

➰ ВК