№ | Дата |
Автор |
Заглавие |
---|
|
2003 |
Мурзина, Вета Федоровна |
Модальные логики, основанные на α-пространствах : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Мурзина Вета Федоровна ; [Ин-т математики им. С.Л.Соболева Сиб. отд-ния Рос. акад. наук] |
|
1996 |
Лысенок, Игорь Геронтьевич |
Периодические группы чётной экспоненты и проблема Бернсайда : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.06 / Рос. АН, Мат. ин-т им. В.А.Стеклова |
|
2000 |
Дудаков, Сергей Михайлович |
Вычислительная сложность некоторых задач математической логики : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Дудаков Сергей Михайлович ; Моск. гос. ун-т им. М.В.Ломоносова, Мех.-мат. фак |
|
2001 |
Бунина, Елена Игоревна (доктор физико-математических наук ; род. 1976) |
Элементарная эквивалентность линейных и алгебраических групп : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. фак. : 01.01.06 / Бунина Елена Игоревна ; Моск. гос. ун-т им. М.В.Ломоносова, Мех.-мат. фак |
|
2001 |
Пунинская, Вера Александровна |
Модули над кольцами с условиями конечности теоретико-модельного типа : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.06 / Пунинская Вера Александровна ; Моск. гос. ун-т им. М.В.Ломоносова, Мех.-мат. фак |
|
1999 |
Одинцов, Вадим Анатольевич |
Индуцированные порядки в булевых решетках и фактор-отношениях универсального отношения : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Рос. АН, Урал. отд-ние, Ин-т математики и механики |
|
2005 |
Тимошенко, Егор Александрович (кандидат физико-математических наук) |
Т-радикалы в категории модулей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Тимошенко Егор Александрович ; [Томский государственный университет] |
|
2001 |
Попов, Сергей Юрьевич (кандидат физико-математических наук) |
Бирациональные инварианты и редукции алгебраических торов : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Попов Сергей Юрьевич ; С.-Петерб. гос. ун-т |
|
2001 |
Когабаев, Нурлан Талгатович (кандидат физико-математических наук ; род. 1975) |
Конструктивные булевы алгебры с выделенными идеалами : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Когабаев Нурлан Талгатович ; [Новосиб. гос. ун-т] |
|
1995 |
Керимбаев, Рашид Конырбаевич |
Определение соотношения нильпотентных подалгебр алгебр Ли картановских типов : Автореф. дис. на соиск. учен. степ. канд. физ. -мат. наук : 01.01.06 / Нац. АН Респ. Казахстан, Ин-т теорет. и приклад. математики |
|
2007 |
Тусупов, Джамалбек Алиаскарович |
Проблемы определимости и алгоритмической сложности отношений над алгебраическими структурами : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.06 / Тусупов Джамалбек Алиаскарович ; [Казахский национальный университет им. аль-Фараби] |
|
2007 |
Кошелева, Анна Владимировна |
Правила вывода многомодальных логик : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Кошелева Анна Владимироовна ; [Институт естественных и гуманитарных наук Сибирского федерального университета] |
|
1976 |
|
Элементы математической логики : учебное пособие / Научно-исследовательский институт педагогики Министерства просвещения БССР ; [подготовил В. Ю. Гуревич ; под редакцией В. В. Фирсова] |
|
1992 |
Кулешов, Владимир Аркадьевич (кандидат технических наук) |
Аналогии : Отношение аналогии моделей |
|
2007 |
Успенский, Владимир Андреевич (доктор физико-математических наук, математика ; 1930—2018) |
Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско |
|
1994 |
|
Метадычныя ўказанні па раздзелу "Функцыі алгебры логікі і к-значнай логікі курса "Дыскрэтная матэматыка" для студэнтаў спецыяльнасці 22.04 / БДУ, Фак. прыкл. матэматыкі і інфарматыкі, Каф. мат. забяспячэння САПР ; Аўт.-саст. У.А.Машчэнскі |
|
2004 |
|
Исчисление высказываний : методические рекомендации / Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П.М.Машерова" ; [составитель Е.А.Таргонский] |
|
2005 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Подсчет числа нулевых наборов и проблема выполнимости / В. А. Мощенский |
|
2000 |
Машчэнскі, Андрэй Уладзіміравіч (кандыдат фізіка-матэматычных навук ; нар. 1963) |
Курс матэматычнай логікі : вучэбны дапаможнік для фізіка-матэматычных спецыяльнасцей вышэйшых навучальных устаноў / А. У. Машчэнскі, У. А. Машчэнскі |
|
1998 |
Гладкий, Алексей Всеволодович (доктор физико-математических наук ; род. 1928) |
Математическая логика : Учеб. пособие / А.В.Гладкий ; [Рос. гос. гуманитар. ун-т] |