| № | Дата |
Автор |
Заглавие |
|---|
|
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 |
|
Исчисление высказываний : методические рекомендации / Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П.М.Машерова" ; [составитель Е.А.Таргонский] |
|
2005 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Подсчет числа нулевых наборов и проблема выполнимости / В. А. Мощенский |
|
2000 |
Машчэнскі, Андрэй Уладзіміравіч (кандыдат фізіка-матэматычных навук ; нар. 1963) |
Курс матэматычнай логікі : вучэбны дапаможнік для фізіка-матэматычных спецыяльнасцей вышэйшых навучальных устаноў / А. У. Машчэнскі, У. А. Машчэнскі |
|
2004 |
Погребысский, Иосиф Бенедиктович (доктор физико-математических наук ; 1906—1971) |
Готфрид Вильгельм Лейбниц, 1646 - 1716 / И.Б.Погребысский ; [Рос. акад. наук] |
|
1994 |
Вотяков, А. А. |
Логос : Рус. стиль мышления |
|
1998 |
Гладкий, Алексей Всеволодович (доктор физико-математических наук ; род. 1928) |
Математическая логика : Учеб. пособие / А.В.Гладкий ; [Рос. гос. гуманитар. ун-т] |
|
2003 |
Драгалин, Альберт Григорьевич (математика, логика ; 1941—1998) |
Конструктивная теория доказательств и нестандартный анализ : сборник / А.Г.Драгалин |
|
2006 |
Кургаев, Александр Филиппович (доктор технических наук ; род. 1940) |
Синтез-обоснование идеала структуры научной теории / А. Ф. Кургаев. — Ч. 2 |
|
2002 |
Сидоренко, Олег Иванович |
В лабиринтах логики / О.И.Сидоренко |
|
1987 |
Столяр, Абрам Аронович (доктор педагогических наук ; 1919—1993) |
Зачем и как мы доказываем в математике : беседы со старшеклассником / А. А. Столяр |
|
2007 |
|
Информатика : для 10―11-х классов : сборник элективных курсов / авторы-составители: А. А. Чернов, А. Ф. Чернов |
|
1971 |
Столяр, Абрам Аронович (доктор педагогических наук ; 1919—1993) |
Логическое введение в математику / А. А. Столяр |
|
2002 |
|
Логические исследования = Logical investigations : [сборник статей / Российская академия наук, Институт философии]. — Вып. 9 / [Редкол.: А. С. Карпенко (отв. ред.) и др.] |
|
2002 |
Карпов, Юрий Глебович (доктор технических наук) |
Теория автоматов : Учеб. для вузов / Ю.Г.Карпов |
|
1998 |
Гусева, Анна Ивановна (доктор технических наук) |
Учимся информатике: задачи и методы их решения : Учеб.пособие |
|
1998 |
Лихтарников, Леонид Моисеевич (кандидат физико-математических наук ; род. 1924) |
Математическая логика : Курс лекций:Задачник-практикум и решения:Учеб.пособие для вузов |
|
2000 |
Машчэнскі, Андрэй Уладзіміравіч (кандыдат фізіка-матэматычных навук ; нар. 1963) |
Курс матэматычнай логікі : Вучэб.дапам. для студэнтаў фіз.-мат.спецыяльнасцей ВНУ |
|
2002 |
Петросян, Вадим Кармленович |
Пролегомены к инновационной войне по основаниям гармонической математики |
|
1998 |
Гордей, Александр Николаевич (род. 1965) |
Принципы исчисления семантики предметных областей : Дис.... д-ра филол.наук ; Бел.гос.ун-т |
|
2002 |
|
Models, algebras and logic of engineering software : [proc. of the NATO advanced study inst. on models, algebras a. logic of engineering software, Marktoberdorf, Germany, 30 July-11 Aug. 2002] / ed. by Manfred Broy, Markus Pizka |
|
2006 |
|
Proof technology and computation : [proc. of the NATO advanced study inst. on proof technology a. computation, Marktoberdorf, Germany, 29 July - 10 Aug. 2003] / ed. by Helmut Schwichtenberg, Katharina Spies |
|
1995 |
Lietuvos matematiku draugijos konferencija (36 ; 1995 ; Vilnius) |
Lietuvos matematiku draugijos XXXVI konferencija, Vilnius, 1995 m. birz. 22-23 d. : pranesimu tezes / Lietuvos matematiku draugija [etc.] ; ats. red. H. Jasiunas |
|
2000 |
Quine, Willard Van Orman (1908—2000) |
Z punktu widzenia logiki : dziewiec esejow logiczno-filozoficznych / Willard Van Orman Quine ; przelozyla: Barbara Stanosz |
|
2007 |
Карпенко, Александр Степанович (доктор философских наук ; писатель ; род. 1946) |
Логики Лукасевича и простые числа / А. С. Карпенко ; отв. ред. В. К. Финн |
|
1984 |
|
Вопросы кибернетики : [сборник статей] ; АН СССР, Науч. совет по комплекс. пробл. "Кибернетика". — Вып. 90: Кибернетика и математическая логика в историко-методологическом аспекте / под ред. Б. В. Бирюкова и Д. А. Поспелова |
|
2001 |
|
Элемент оптический логический ЭОЛ : Рекламный проспект |
|
2010 |
Саранцев, Алексей Васильевич |
Построение взаимно однозначных преобразований на основе однотипных двоичных функций в связи с задачами защиты информации : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.19 / Саранцев Алексей Васильевич ; [Институт криптографии, связи и информатики Академии ФСБ России] |
|
1983 |
|
Справочная книга по математической логике : в 4 ч. : перевод с английского / под редакцией Дж. Барвайса. — Теория доказательств и конструктивная математика / [К. Сморинский и др.] ; перевод Г. В. Давыдова, Г. Е. Минца ; под редакцией В. П. Оревкова |
|
2010 |
Бирюков, Борис Владимирович (доктор философских наук ; 1922—2014) |
Трудные времена философии. Софья Александровна Яновская : время. События. Идеи. Личности / Б. В. Бирюков ; Русская ассоциация чтения |
|
2010 |
Лобанов, Владимир Иванович (кандидат технических наук ; род. 1940) |
Русская логика в информатике : букварь математической логики / Владимир Лобанов |
|
2012 |
Фреге, Готтлоб (доктор философии ; 1848—1925) |
Логика и логическая семантика / Г. Фреге ; перевод с немецкого, вступительная статья, введение и послесловие Б. В. Бирюкова ; под редакцией З. А. Кузичевой ; комментарии Б. В. Бирюкова, З. А. Кузичевой ; Русская ассоциация чтения, Межвузовский центр исследования информационной культуры РФ |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ