№ | Дата |
Автор |
Заглавие |
---|
|
2009 |
Ицыксон, Дмитрий Михайлович (кандидат физико-математических наук) |
Сложность в среднем случае вероятностных вычислений с ограниченной ошибкой : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Ицыксон Дмитрий Михайлович ; Санкт-Петербургский государственный университет |
|
1983 |
|
Справочная книга по математической логике : в 4 ч. : перевод с английского / под редакцией Дж. Барвайса. — Теория доказательств и конструктивная математика / [К. Сморинский и др.] ; перевод Г. В. Давыдова, Г. Е. Минца ; под редакцией В. П. Оревкова |
|
2012 |
Дашков, Евгений Владимирович (кандидат физико-математических наук ; род. 1986) |
О пропозициональных исчислениях, представлющих понятие доказуемости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Дашков Евгений Владимирович ; Московский государственный университет им. М. В. Ломоносова |
|
2016 |
Опарин, Всеволод Владиславович |
Оценки сложности вывода в системах доказательств, основанных на методе резолюций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Опарин Всеволод Владиславович ; [Санкт-Петербургский национальный исследовательский Академический университет Российской академии наук] |
|
2017 |
Павлов, Владимир Александрович (информационные технологии) |
Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Павлов Владимир Александрович ; [Санкт-Петербургский политехнический университет Петра Великого] |
|
2019 |
Успенский, Владимир Андреевич (доктор физико-математических наук, математика ; 1930—2018) |
Простейшие примеры математических доказательств / В. А. Успенский |
|
2021 |
Колмаков, Евгений Александрович |
Предикаты доказуемости и связанные с ними алгебры : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Колмаков Евгений Александрович ; Московский государственный университет им. М. В. Ломоносова |
|
2024 |
Ординг, Филип |
99 вариантов доказательства : [перевод с английского] / Филип Ординг |
|
2008 |
Николенко, Сергей Игоревич (кандидат физико-математических наук ; род. 1984) |
Новые конструкции криптографических примитивов, основанные на полугруппах, группах и линейной алгебре : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Николенко Сергей Игоревич ; Санкт-Петербургский государственный университет |
|
2004 |
Трохимчук, Петро Павлович (кандыдат фізіка-матэматычных навук) |
Теория виведення в нестандартних логіках : методичні рекомендаціï / Петро Трохимчук ; Міжнародний науково-технічний університет, Луцький біотехнічний інститут, Кафедра електронних апаратів |
|
2013 |
Колмогоров, Андрей Николаевич (доктор физико-математических наук, математик ; 1903—1987) |
Математическая логика : дополнительные главы : [учебное пособие для студентов математических специальностей вузов] / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. В. Ломоносова |
|
2014 |
|
Доказательство = Proof : [очевидность, достоверность и убедительность в математике] : труды Московского семинара по философии математики / под редакцией В. А. Бажанова, А. Н. Кричевца, В. А. Шапошникова |
|
2015 |
Пахомов, Федор Николаевич |
Некоторые алгоритмические вопросы для полимодальных логик доказуемости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Пахомов Федор Николаевич ; [ФГБУН Математический институт им. В. А. Стеклова РАН] |
|
2012 |
Брюшинкин, Владимир Никифорович (доктор философских наук ; 1953—2012) |
Теория поиска вывода. Происхождение и философские приложения / В. Н. Брюшинкин, Н. А. Ходикова ; Балтийский федеральный университет им. И. Канта |
|
2018 |
Смаллиан, Рэймонд (род. 1919) |
Вовеки неразрешимо : головоломное руководство по Геделю / Реймонд Смаллиан ; [перевод с английского П. И. Быстрова] |
|
2022 |
Ицыксон, Дмитрий Михайлович (кандидат физико-математических наук) |
Нижние оценки и вопросы оптимальности для систем доказательств : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Ицыксон Дмитрий Михайлович ; [Санкт-Петербургское отделение Математического института им. В. А. Стеклова Российской академии наук] |