№ | Дата |
Автор |
Заглавие |
---|
|
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 / Кожухов Игорь Борисович ; Моск. гос. ун-т им. М.В.Ломоносова |
|
2003 |
Шабалина, Ирина Петровна (кандидат физико-математических наук ; род. 1973) |
Модулярные и алгебраические решетки n-кратно w-насыщенных формаций конечных групп : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 : 04.10.2003 / Шабалина Ирина Петровна ; Учреждение образования "Гомел. гос. ун-т им. Ф.Скорины" |
|
2001 |
Кэрролл, Льюис (писатель ; 1832—1898) |
История с узелками : Сборник / Льюис Кэрролл ; [Пер. с англ. Ю.А.Данилова] |
|
2008 |
Капылова, Таццяна Іванаўна (матэматык) |
Уводзіны ў матэматычную логіку : вучэбна-метадычны дапаможнік для студэнтаў вышэйшых навучальных устаноў, якія навучаюцца по спецыяльнасцях: 1-31 03 01 ― Матэматыка, 1-31 03 03 ― Прыкладная матэматыка, 1-31 03 06 ― Эканамічная кібернетыка, 1-40 01 01 ― Праграмнае забеспячэнне інфармацыйных тэхналогій / Т. І. Капылова |
|
1999 |
Абчук, Владимир Авраамович (доктор технических наук ; управление) |
Экономико-математические методы : Элементар. математика и логика. Методы исслед. операций |
|
1992 |
Кулешов, Владимир Аркадьевич (кандидат технических наук) |
Аналогии : Отношение аналогии моделей |
|
2002 |
Бабич, Александр Антонович (кандидат физико-математических наук ; род. 1959) |
Элементы теории множеств, математической логики и теории графов : практическое руководство по курсу "Дискретная математика" для студентов дневной формы обучения / А. А. Бабич, Е. А. Молокова ; Министерство образования Республики Беларусь, Учреждение образования "Гомельский государственный технический университет им. П. О. Сухого", Кафедра "Высшая математика" |
|
1994 |
|
Метадычныя ўказанні па раздзелу "Функцыі алгебры логікі і к-значнай логікі курса "Дыскрэтная матэматыка" для студэнтаў спецыяльнасці 22.04 / БДУ, Фак. прыкл. матэматыкі і інфарматыкі, Каф. мат. забяспячэння САПР ; Аўт.-саст. У.А.Машчэнскі |
|
2004 |
|
Исчисление высказываний : методические рекомендации / Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П.М.Машерова" ; [составитель Е.А.Таргонский] |
|
2000 |
Машчэнскі, Андрэй Уладзіміравіч (кандыдат фізіка-матэматычных навук ; нар. 1963) |
Курс матэматычнай логікі : вучэбны дапаможнік для фізіка-матэматычных спецыяльнасцей вышэйшых навучальных устаноў / А. У. Машчэнскі, У. А. Машчэнскі |
|
2004 |
Погребысский, Иосиф Бенедиктович (доктор физико-математических наук ; 1906—1971) |
Готфрид Вильгельм Лейбниц, 1646 - 1716 / И.Б.Погребысский ; [Рос. акад. наук] |
|
1994 |
Вотяков, А. А. |
Логос : Рус. стиль мышления |
|
1998 |
Гладкий, Алексей Всеволодович (доктор физико-математических наук ; род. 1928) |
Математическая логика : Учеб. пособие / А.В.Гладкий ; [Рос. гос. гуманитар. ун-т] |
|
1980 |
|
Алгоритмы решения логико-комбинаторных задач : сборник научных трудов / Академия наук Белорусской ССР, Институт технической кибернетики ; [научный редактор А. Д. Закревский] |
|
2003 |
Драгалин, Альберт Григорьевич (математика, логика ; 1941—1998) |
Конструктивная теория доказательств и нестандартный анализ : сборник / А.Г.Драгалин |
|
2002 |
Сидоренко, Олег Иванович |
В лабиринтах логики / О.И.Сидоренко |