Алгебраические логики с итерацией Клини (Степан Кузнецов)
Математический семинар ФКН
Итерация, или звездочка, Клини — это одна из наиболее интересных алгебраических операций, используемых в теоретической информатике. Алгебраические структуры с итерацией Клини, развившиеся из известной алгебры регулярных выражений, широко используются для описания формальных языков и для моделирования вычислительных процессов.
В связи с этим интерес представляют алгебраические логики для структур с итерацией — т.е. логические исчисления, описывающие тождества, истинные в таких структурах — их алгоритмическая разрешимость и сложность. Эти логики оказываются неклассическими (точнее, субструктурными) вариантами логики высказываний, однако, за счет индуктивной природы звездочки Клини, приобретают некоторые черты намного более сильных систем, таких как формальная арифметика. В докладе будет дан обзор результатов об алгебраических логиках с итерацией Клини, как ранее известных, так и принадлежащих докладчику.
Докладчик: Степан Кузнецов, доцент департамента анализа данных и искусственного интеллекта, старший научный сотрудник международной лаборатории интеллектуальных систем и структурного анализа; МИАН им. В.А. Стеклова.
31 марта 2023
Математический семинар ФКН:
ФКН:
Подписывайтесь на нас в социальных сетях: /, , /
8 views
361
80
5 months ago 00:12:59 1
08-01. Вопрос № 1 «НА ЗАСЫПКУ» ПРЕПОДАВАТЕЛЮ ЛОГИКИ (Отрицание, частица «НЕ»)
8 months ago 00:01:16 1
Микрокалькуляторы Электроника МК 71 (1987)
9 months ago 00:51:00 1
10-05. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ – 5 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 5
9 months ago 00:18:21 8
Знаем ли мы числа? | Полина Леончик | Математический слэм
10 months ago 01:20:30 10
Лекция 10. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:31:08 2
Лекция 9. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:29:22 2
Лекция 8. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:33:00 4
Лекция 7. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:30:17 3
Лекция 6. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:29:14 2
Лекция 5. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:30:18 4
Лекция 4. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:32:23 5
Лекция 3. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:27:47 6
Лекция 2. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:30:46 35
Лекция 1. В.Б. Шехтман. Алгебраическая логика и категории.
11 months ago 00:02:46 1
09-07. Видео презентация Проекта «ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ» для Агентства Стратегических Инициатив
11 months ago 00:23:24 1
07-07. ПОЛЕМИКА С ГОС-ЭКСПЕРТАМИ О ЛОГИКЕ И СИЛЛОГИСТИКЕ (ЭКСПЕРТИЗА ЭКСПЕРТИЗЫ + задача о Сократе)
1 year ago 00:33:03 1
Модель сознания, основанная на принципе социального доказательства и минимизации ресурсо-потребления
1 year ago 00:49:59 1
10-02. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ – 2 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 2
1 year ago 10:05:15 1
ТЕОРИЯ СИСТЕМ, АЛГЕБРАИЧЕСКАЯ БИОЛОГИЯ, ИИ: МАТЕМАТИЧЕСКИЕ ОСНОВЫ И ПРИЛОЖЕНИЯ Русский язык
1 year ago 00:49:26 2
10-01. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ – 1 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 1
1 year ago 00:08:07 1
Логический “ДИСКРИМИНАНТ“.
1 year ago 00:26:05 7
Тарасенко конгресс 29 июня 2023
2 years ago 01:05:13 1
Построение модели множества формул
2 years ago 01:22:51 8
Алгебраические логики с итерацией Клини (Степан Кузнецов)