№ | Дата |
Автор |
Заглавие |
---|
|
2007 |
Тусупов, Джамалбек Алиаскарович |
Проблемы определимости и алгоритмической сложности отношений над алгебраическими структурами : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.06 / Тусупов Джамалбек Алиаскарович ; [Казахский национальный университет им. аль-Фараби] |
|
2022 |
Оноприенко, Анастасия Александровна |
Совместная логика задач и высказываний : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 1.1.5 (01.01.06) Математическая логика, алгебра, теория чисел и дискретная математика / Оноприенко Анастасия Александровна ; Московский государственный университет им. М. В. Ломоносова, Механико-математический факультет |
|
2004 |
|
Логика и компьютер / Российская академия наук. — Вып. 5: Пусть докажет компьютер / [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков и др.] |
|
1991 |
Ситников, Дмитрий Эдуардович (кандидат технических наук ; математик) |
Методы решения уравнений алгебры конечных предикатов с параметрами и их применение в информационных системах : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.25.05 Информационные системы и процессы / Ситников Дмитрий Эдуардович ; Харьковский институт радиоэлектроники имени академика М. К. Янгеля |
|
2007 |
Таханов, Рустем Серикович |
Предикатное описание дополнительных ограничений в задачах распознавания образов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Таханов Рустем Серикович ; [Московский физико-технический институт] |
|
1989 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Логический вывод в конечных предикатах / А. Д. Закревский |
|
1989 |
|
Редактор базы знаний для проектирования дискретных устройств / Академия наук Белорусской ССР, Институт технической кибернетики ; [авторы-составители: Б. М. Егоров, А. А. Прихожий ; научный редактор В. А. Мищенко] |
|
2011 |
Костырев, Игорь Иванович (кандидат физико-математических наук) |
Отношение аннулирования между элементами полугрупп : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Костырев Игорь Иванович ; Санкт-Петербургский государственный университет |
|
2010 |
Чудинов, Кирилл Михайлович |
Математическая логика и теория алгоритмов : логика предикатов : учебное пособие / К. М.Чудинов ; Министерство образования и науки Российской Федерации, Государственное образовательное учреждение высшего профессионального образования "Пермский государственный технический университет" |
|
2015 |
|
Модели и методы искусственного интеллекта : учебное пособие : для студентов специальностей "Информационные системы и технологии", "Прикладная информатика в экономике", направлений "Информационные технологии", "Информатика и вычислительная техника", "Программная инженерия" / О. Н. Долинина [и др.] ; под общей редакцией О. Н. Долининой ; Министерство образования и науки Российской Федерации, Саратовский государственный технический университет |
|
2006 |
Толкачева, Елена Алексеевна |
Аппроксимация трехосновных полугрупповых дистрибутивных алгебр : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Толкачева Елена Алексеевна ; [Российский государственный педагогический университет им. А. И. Герцена] |
|
2005 |
Корухова, Юлия Станиславовна |
Система автоматического синтеза функциональных программ : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Корухова Юлия Станиславовна ; Московский государственный университет им. М.В.Ломоносова |
|
1995 |
Таргонский, Евгений Антонович (кандидат физико-математических наук) |
Методические указания к изучению темы "Алгебра предикатов" для студентов математических и физических факультетов / Е. А. Таргонский ; Министерство образования и науки Республики Беларусь, Витебский государственный педагогический институт |
|
1989 |
Осуга Сэцуо |
Обработка знаний : пер. с япон. / С. Осуга |
|
1965 |
Столяр, Абрам Аронович (доктор педагогических наук ; 1919—1993) |
Элементарное введение в математическую логику : пособие для учителей / А. А. Столяр |
|
2011 |
|
Математические модели информационных процессов и управления : методические указания к лабораторным работам для студентов специальности 1-53 01 02 "Автоматизированные системы обработки информации" / Государственное учреждение высшего профессионального образования "Белорусско-Российский университет", Кафедра "Автоматизированные системы управления" ; [составители: А. И. Якимов, О. В. Сергиенко] |
|
2002 |
Витер, Дмитрий Александрович |
Примитивно рекурсивная реализуемость и конструктивная теория моделей : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Витер Дмитрий Александрович ; Моск. гос. ун-т им. М.В.Ломоносова, Мех.-мат. фак |
|
2000 |
Косовский, Николай Кириллович |
Логики конечнозначных предикатов на основе неравенств : Учеб. пособие / Н.К.Косовский, А.В.Тишков ; С.-Петерб. гос. ун-т |
|
2017 |
Марченков, Сергей Серафимович (доктор физико-математических наук ; род. 1945) |
Классы элементарных рекурсивных функций / С. С. Марченков |
|
2021 |
Колмаков, Евгений Александрович |
Предикаты доказуемости и связанные с ними алгебры : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Колмаков Евгений Александрович ; Московский государственный университет им. М. В. Ломоносова |
|
2018 |
Авдошин, Сергей Михайлович (кандидат технических наук) |
Дискретная математика. Формально-логические системы и языки : для студентов бакалавриата, обучающихся по направлениям 09.03.01 "Информатика и вычислительная техника", 09.03.02 "Информационные системы и технологии", 09.03.03 "Прикладная информатика", 09.03.04 "Программная инженерия" / С. М. Авдошин, А. А. Набебин |
|
2019 |
Остроух, Андрей Владимирович (доктор технических наук) |
Системы искусственного интеллекта : монография / А. В. Остроух, Н. Е. Суркова |
|
1995 |
Соловьев, Валерий Дмитриевич |
Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 05.13.17 / Казан. гос. ун-т им. В.И.Ульянова-Ленина |
|
2007 |
Герасимов, Александр Сергеевич (кандидат физико-математических наук) |
Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Герасимов Александр Сергеевич ; Санкт-Петербургский государственный университет |
|
2010 |
Журавлев, Юрий Иванович (доктор физико-математических наук ; 1935—2022) |
Дискретный анализ. Формальные системы и алгоритмы : учебное пособие по направлению "Прикладные математика и физика" / Ю. И. Журавлёв, Ю. А. Флёров, М. Н. Вялый |
|
2017 |
Тишин, Владимир Викторович (математик) |
Дискретная математика в примерах и задачах : [учебное пособие] / В. В. Тишин |
|
2006 |
Ашраф, Абд Эль-Фаттах Мустафа Дарвиш |
Расширение предикатных формул линейными неравенствами и списками для спецификации программ : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Ашраф Абд Эль-Фаттах Мустафа Дарвиш ; [Санкт-Петербургский государственный университет] |
|
2007 |
Корнышов, Александр Николаевич |
Математическое моделирование процесса анализа близости предикатов семантических отношений : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.18 / Корнышов Александр Николаевич ; [Новгородский государственный университет им. Ярослава Мудрого] |
|
2004 |
|
Логика и компьютер. Вып. 5, Пусть докажет компьютер / А.Е. Болотов [и др.] |
|
2010 |
Вербовский, Виктор Валериевич |
Методы теории стабильности в исследовании упорядоченных структур : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.06 / Вербовский Виктор Валериевич ; [Институт проблем информатики и управления Республиканского государственного предприятия "Институт математики, информатики и механики" Комитета науки Министерства образования и науки Республики Казахстан] |
|
2020 |
Иванов, Владимир Михайлович (кандидат физико-математических наук) |
Интеллектуальные системы : учебное пособие для вузов / В. М. Иванов ; Уральский федеральный университет им. первого Президента России Б. Н. Ельцина |