№ | Дата |
Автор |
Заглавие |
---|
|
2003 |
Сабуть, Андрей Вацлавович (кандидат физико-математических наук) |
Классификация и симметрия целочисленных регулярных решеток в многомерных евклидовых пространствах : Дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 : Защищена 23.12.03 : Утв. 04.02.04 / Сабуть Андрей Вацлавович |
|
2004 |
Косенок, Николай Сергеевич (кандидат физико-математических наук ; род. 1973) |
Конечные группы с заданными добавлениями к максимальным и обобщенно максимальным подгруппам : Дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 : Защищена 17.05.04 : Утв. 30.06.04 / Косенок Николай Сергеевич |
|
2003 |
Мурзина, Вета Федоровна |
Модальные логики, основанные на α-пространствах : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Мурзина Вета Федоровна ; [Ин-т математики им. С.Л.Соболева Сиб. отд-ния Рос. акад. наук] |
|
2004 |
Аверин, Андрей Игоревич |
Исследование и разработка алгоритмов параллельного дедуктивного вывода на графовых структурах : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Аверин Андрей Игоревич ; [Московский энергетический институт] |
|
2000 |
Дудаков, Сергей Михайлович |
Вычислительная сложность некоторых задач математической логики : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Дудаков Сергей Михайлович ; Моск. гос. ун-т им. М.В.Ломоносова, Мех.-мат. фак |
|
2000 |
Кожухов, Игорь Борисович (доктор физико-математических наук) |
Условия конечности в полугруппах, полугрупповых кольцах и полигонах : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.06 / Кожухов Игорь Борисович ; Моск. гос. ун-т им. М.В.Ломоносова |
|
2001 |
Пунинская, Вера Александровна |
Модули над кольцами с условиями конечности теоретико-модельного типа : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.06 / Пунинская Вера Александровна ; Моск. гос. ун-т им. М.В.Ломоносова, Мех.-мат. фак |
|
1983 |
Саркисян, Рафаэль Арташесович (доктор физико-математических наук ; род. 1946) |
Алгоритмические вопросы для линейных алгебраических групп : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Рафаэль Арташесович Саркисян ; Институт математики Академии наук Белорусской ССР |
|
2003 |
Шабалина, Ирина Петровна (кандидат физико-математических наук ; род. 1973) |
Модулярные и алгебраические решетки n-кратно w-насыщенных формаций конечных групп : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 : 04.10.2003 / Шабалина Ирина Петровна ; Учреждение образования "Гомел. гос. ун-т им. Ф.Скорины" |
|
2007 |
Тусупов, Джамалбек Алиаскарович |
Проблемы определимости и алгоритмической сложности отношений над алгебраическими структурами : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.06 / Тусупов Джамалбек Алиаскарович ; [Казахский национальный университет им. аль-Фараби] |
|
2007 |
Кошелева, Анна Владимировна |
Правила вывода многомодальных логик : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Кошелева Анна Владимироовна ; [Институт естественных и гуманитарных наук Сибирского федерального университета] |
|
2008 |
Дроботун, Борис Николаевич |
Методическая система обучения логико-алгебраическим дисциплинам в высших учебных заведениях : автореферат диссертации на соискание ученой степени доктора педагогических наук : 13.00.02 / Дроботун Борис Николаевич ; [Павлодарский государственный университет им. С. Торайгырова] |
|
2001 |
Кэрролл, Льюис (писатель ; 1832—1898) |
История с узелками : Сборник / Льюис Кэрролл ; [Пер. с англ. Ю.А.Данилова] |
|
1999 |
Абчук, Владимир Авраамович (доктор технических наук ; управление) |
Экономико-математические методы : Элементар. математика и логика. Методы исслед. операций |
|
1976 |
|
Элементы математической логики : учебное пособие / Научно-исследовательский институт педагогики Министерства просвещения БССР ; [подготовил В. Ю. Гуревич ; под редакцией В. В. Фирсова] |
|
1992 |
Кулешов, Владимир Аркадьевич (кандидат технических наук) |
Аналогии : Отношение аналогии моделей |
|
2002 |
Бабич, Александр Антонович (кандидат физико-математических наук ; род. 1959) |
Элементы теории множеств, математической логики и теории графов : практическое руководство по курсу "Дискретная математика" для студентов дневной формы обучения / А. А. Бабич, Е. А. Молокова ; Министерство образования Республики Беларусь, Учреждение образования "Гомельский государственный технический университет им. П. О. Сухого", Кафедра "Высшая математика" |
|
2007 |
Успенский, Владимир Андреевич (доктор физико-математических наук, математика ; 1930—2018) |
Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско |
|
1994 |
|
Метадычныя ўказанні па раздзелу "Функцыі алгебры логікі і к-значнай логікі курса "Дыскрэтная матэматыка" для студэнтаў спецыяльнасці 22.04 / БДУ, Фак. прыкл. матэматыкі і інфарматыкі, Каф. мат. забяспячэння САПР ; Аўт.-саст. У.А.Машчэнскі |
|
2004 |
|
Исчисление высказываний : методические рекомендации / Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П.М.Машерова" ; [составитель Е.А.Таргонский] |