| № | Дата |
Автор |
Заглавие |
|---|
|
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 Математическая логика, алгебра и теория чисел / Колмаков Евгений Александрович ; Московский государственный университет им. М. В. Ломоносова |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ