Приложение
для AndroidПолное описание
Ицыксон, Дмитрий Михайлович. Нижние оценки и вопросы оптимальности для систем доказательств : 01.01.06 - математическая логика, алгебра и теория чисел: автореферат диссертации на соискание ученой степени доктора физико-математических наук / Ицыксон Дмитрий Михайлович ; Санкт-Петербургское отделение Математического института им. В. А. Стеклова Российской академии наук. - Санкт-Петербург, 2022. - 31 с. : ил. - Библиогр.: с. 25-31. - 80 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510.74(043) |
Кл.слова (ненормированные): БУЛЕВЫ ФУНКЦИИ -- ПРОПОЗИЦИОНАЛЬНЫЕ ДОКАЗАТЕЛЬСТВА -- СЛОЖНОСТЬ -- ТЕОРЕМА КУКА-РЕКХАУ -- ТЕОРИЯ СЛОЖНОСТИ ВЫЧИСЛЕНИЙ
Доп. точки доступа:
Математический институт им. В. А. Стеклова (Москва)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар22-4237)
Шифр в сводном ЭК: ac58cb3a6cb2ad2872f3abc16e9c05cf
Чебышевский сборник : Науч.-теорет. журн. / М-во образования РФ. - Журнал выходит с 2002г. - Текст : непосредственный.Горчинский С.О. Вычеты и символы в K-теории и группы Чжоу : 01.01.06 - математическая логика, алгебра и теория чисели на соискание ученой степени доктора физико-математических наук / С. О. Горчинский, 2018. - 29 с. - Текст : непосредственный.Лекционные курсы НОЦ / Математический институт им. В. А. Стеклова Российской академии наук. Вып. 30 : Математические основы квантовой информатики / А. С. Холево, 2018. - 117 с. - Текст : непосредственный.Труды Математического института имени В. А. Стеклова / Академия наук Союза Советских Социалистических Республик. Т. 15 : Приближение периодических функций тригонометрическими многочленами / С. М. Никольский, 1945. - 76 с. - Текст : непосредственный.Храмцов М.А. Голографическое описание топологических дефектов и термализация сильновзаимодействующих квантовых систем : 01.04.02 Теоретическая физика: автореферат диссертации на соискание ученой степени кандидата физико-математических наук / М. А. Храмцов, 2019. - 31 с. - Текст : непосредственный.Лекционные курсы НОЦ / Математический институт им. В. А. Стеклова Российской академии наук. Вып. 28 : Математические основы общей теории относительностич. 1 / М. О. Катанаев, 2017. - 311 с. - Текст : непосредственный.Лекционные курсы НОЦ / Математический институт им. В. А. Стеклова Российской академии наук. Вып. 29 : Математические основы общей теории относительностич. 2 / М. О. Катанаев, 2018. - 365 с. - Текст : непосредственный.Суперкомпьютерные технологии математического моделирования : IV Международная конференция, 19-21 июня 2019 г., Москва, Россия: тезисы докладов / Математический институт имени В. А. Стеклова РАН [и др., 2019. - 99 с. - Текст : непосредственный.Трушечкин А.С. Свойства моделей необратимой квантовой динамики и квантовой криптографии : 01.01.03 - Математическая физика: автореферат диссертации на соискание ученой степени доктора физико-математических наук / Трушечкин Антон Сергеевич, 2019. - 30 с. - Текст : непосредственный.Соломадин, Григорий Дмитриевич. Торические и квазиторические многообразия в проблеме представителей классов комплексных кобордизмов : специальность: 01.01.04 - геометрия и топология: автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Соломадин Григорий Дмитриевич, 2018. - 9 с. - Текст : непосредственный.Шрамов, Константин Александрович. Конечные группы автоморфизмов алгебраических и комплексных многообразий : 01.01.06 - математическая логика, алгебра и теория чисел: автореферат диссертации на соискание ученой степени доктора физико-математических наук / Шрамов Константин Александрович, 2020. - 25 с. - Текст : непосредственный.Алгебры Ли, алгебраические группы и теория инвариантов : девятая школа-конференция, Самара, Россия, 21-26 августа 2021 г.: тезисы докладов / Министерство науки и высшего образования Российской Федерации, Самарский национальный исследовательский университет имени академика С. П. Королева [и др.], 2021. - 65 с. - Текст (визуальный) : непосредственный.Труды Математического института имени В. А. Стеклова / Математический институт им. В. А. Стеклова Российской академии наук. Т. 313 : Математика квантовых технологий : сборник статей / редакционная коллегия тома: А. Н. Печень (главный редактор) [и др.], 2021. - 295 с. - Текст : непосредственный.Труды Математического института имени В. А. Стеклова / Математический институт им. В. А. Стеклова Российской академии наук. Т. 314 : Аналитическая и комбинаторная теория чисел : сборник статей / редакционная коллегия тома: Д. В. Трещев (главный редактор) [и др.], 2021. - 345 с. - Текст (визуальный) : непосредственный.Теория функций, теория операторов и квантовая теория информации : сборник тезисов международной конференции (г. Уфа, 4-7 октября 2021 г.) / Министерство науки и высшего образования РФ, Научно-образовательный математический центр Приволжского федерального округа, Башкирский государственный университет, Институт математики с ВЦ УФИЦ РАН, Математический институт имени В. А. Стеклова, 2021. - 56 с. - Текст (визуальный) : непосредственный.Современные методы теории функций и смежные проблемы : материалы Международной конференции: Воронежская зимняя математическая школа (28 января - 2 февраля 2021 г.) / Воронежский государственный университет, Московский государственный университет им. М. В. Ломоносова, Математический институт им. В. А. Стеклова Российской академии наук, 2021. - 333 с. - Текст (визуальный) : непосредственный.Подольский, Владимир Владимирович. Вопросы теории сложности вычислений в алгебраических и логических структурах : 01.01.06 - математическая логика, алгебра и теория чисел: автореферат диссертации на соискание ученой степени доктора физико-математических наук / Подольский Владимир Владимирович, 2021. - 26 с. - Текст : непосредственный.Афанасьев, Даниил Евгеньевич. Глобальная структура сплетенных решений уравнений Эйнштейна с электромагнитным полем и космологической постоянной : 01.04.02 - Теоретическая физика: автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Афанасьев Даниил Евгеньевич, 2022. - 20 с. - Текст : непосредственный.Международная конференция по дифференциальным уравнениям и динамическим системам, Суздаль, 30 июня - 5 июля 2022 : тезисы докладов / Математический институт имени В. А. Стеклова Российской академии наук, г. Москва, Математический центр мирового уровня "Математический институт имени В. А. Стеклова Российской академии наук", г. Москва, Московский Центр фундаментальной и прикладной математики, Владимирский государственный университет имени А. Г. и Н. Г. Столетовых, Московский государственный университет имени М. В. Ломоносова, 2022. - 207, [1] с. - Текст (визуальный) : непосредственный.V Международная конференция "Суперкомпьютерные технологии математического моделирования", 27-30 июня, Москва, Россия : тезисы докладов / Математический институт имени В. А. Стеклова РАН [и др.], 2022. - 49 с. - Текст (визуальный) : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Пак Бен Ха.Субрекурсивная реализуемость и логика предикатов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Пак Бен Ха, 2003. - 12 с. - Текст : непосредственный.Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный.Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека / С. Л. Кузнецов, 2012. - 12 с. - Текст : непосредственный.Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный.
Показать все результатыОпарин В.В. Оценки сложности вывода в системах доказательств, основанных на методе резолюций : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / В. В. Опарин, 2016. - 17 с. - Текст : непосредственный.Ицыксон, Дмитрий Михайлович. Нижние оценки и вопросы оптимальности для систем доказательств : 01.01.06 - математическая логика, алгебра и теория чисел: автореферат диссертации на соискание ученой степени доктора физико-математических наук / Ицыксон Дмитрий Михайлович, 2022. - 31 с. - Текст : непосредственный.Лещинская, Мария Владимировна. Разработка новых стратегий управления выводом в классическом и нечетком методе резолюций : специальность 1.2.1. Искусственный интеллект и машинное обучение: автореферат диссертации на соискание ученой степени кандидата технических наук / Лещинская Мария Владимировна, 2024. - 18 с. - Текст : непосредственный.
Заказ фрагмента документа ₽