| № | Дата |
Автор |
Заглавие |
|---|
|
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 |
Сидоренко, Олег Иванович |
В лабиринтах логики / О.И.Сидоренко |
|
2002 |
|
Логические исследования = Logical investigations : [сборник статей / Российская академия наук, Институт философии]. — Вып. 9 / [Редкол.: А. С. Карпенко (отв. ред.) и др.] |
|
2000 |
Машчэнскі, Андрэй Уладзіміравіч (кандыдат фізіка-матэматычных навук ; нар. 1963) |
Курс матэматычнай логікі : Вучэб.дапам. для студэнтаў фіз.-мат.спецыяльнасцей ВНУ |
|
2010 |
Batóg, Tadeusz |
Analizy logiczne i filozoficzne = Logical and philosophical analyses / Tadeusz Batóg |
|
1970 |
Mostowski, Andrzej Włodzimierz |
Logika dla inżynierów / A. W. Mostowski i Z. Pawlak |
|
1981 |
Quine, Willard Van Orman (1908—2000) |
Mathematical logic / Willard Van Orman Quine |
|
2000 |
Чирков, Игорь Викторович |
Автоморфизмы и системы примитивных элементов приведенно свободных алгебр : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Чирков Игорь Викторович ; Ом. гос. ун-т |
|
1998 |
Пионтковский, Дмитрий Игоревич (доктор физико-математических наук, математик ; род. 1973) |
Ряды Гильберта и гомологии градуированных алгебр : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / МГУ им. М.В.Ломоносова |
|
1998 |
Острик, Виктор Валентинович |
О когомологических носителях наклонных модулей : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / МГУ им. М.В.Ломоносова |
|
1998 |
Лещева, Светлана Викторовна (кандидат физико-математических наук) |
Специальные автоморфизмы простых конечных групп : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / С.-Петерб. гос. ун-т |
|
1999 |
Козлов, Сергей Емельянович |
Алгебраическая разработка геометрии вещественных грассмановых многообразий : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.06 ; 01.01.04 / С.-Петерб. гос. ун-т |
|
1999 |
Данг, Ван Винь |
Проблема минимизации полугруппы аппроксимации и SH-аппроксимации : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / С.-Петерб. гос. ун-т |
|
2004 |
Мокеева, Светлана Александровна (кандидат физико-математических наук, математик) |
Классификация важнейших типов насыщенных формаций и классов Фиттинга по заданным свойствам : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 : 19.02.2004 / Мокеева Светлана Александровна ; Учреждение образования "Гомел. гос. ун-т им. Ф.Скорины" |
|
2003 |
Шишкевич, Алексей Алексеевич (кандидат физико-математических наук ; род. 1976) |
Асферичность и связанные с ней свойства про-p-групп, заданных порождающими и определяющими соотношениями : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 : 16.10.2003 / Шишкевич Алексей Алексеевич ; Гос. науч. учреждение "Ин-т математики Нац. акад. наук Беларуси" |
|
2000 |
Суров, Вадим Валерьевич |
Исследование задач и методов их решения для одного класса систем логических соотношений : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 05.13.11 / Ин-т автоматики и процессов упр. Дальневост. отд-ния РАН |
|
2000 |
Kijania-Placek, Katarzyna |
Prawda i konsensus : Logiczne podstawy konsensualnego kryterium prawdy / Katarzyna Kijania-Placek ; Przedm.: J.J.Jadacki |
|
1999 |
Павлова, Анна Валентиновна (кандидат технических наук ; радиоэлектроника ; род. 1946) |
Математические основы теории систем : конспект лекций по курсу "Математические основы теории систем" : в 2 ч. / А. В. Павлова ; Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра систем управления. — Ч. 1 : для специальности Т.11.01.00 "Автоматическое управление в технических системах" |
|
1997 |
Капылова, Таццяна Іванаўна (матэматык) |
Матэматычная логіка : вучэбны дапаможнік для спецыяльнасцяў 0101 ― Матэматыка, Т1002 ― Праграмнае забяспячэнне, Н0803 ― Эканамічная кібэрнэтыка / Т. І. Капылова ; Міністэрства адукацыі Рэспублікі Беларусь, Гродзенскі дзяржаўны ўніверсітэт імя Я. Купалы |
|
1997 |
Гарбузаў, Віктар Мікалаевіч (кандыдат фізіка-матэматычных навук ; нар. 1955) |
Логіка выказванняў : вучэбны дапаможнік па курсу "Матэматыка" для спецыяльнасцяў П0402 "Педагогіка і методыка пачатковага навучання і выхаваўчая работа і П040208 "Педагогіка і сацыяльная педагогіка" / В. М. Гарбузаў, У. С. Немец ; Міністэрства адукацыі Рэспублікі Беларусь, Гродзенскі дзяржаўны ўніверсітэт імя Я. Купалы |
|
2000 |
Белорусская математическая конференция (8 ; 2000 ; Минск) |
VIII Белорусская математическая конференция, 19―24 июня 2000 г., Минск, Беларусь : тезисы докладов международной конференции / [оргкомитет: И. В. Гайшун (председатель) и др.]. — Ч. 2: Алгебра, теория чисел и математическая логика. Геометрия и топология. Теория вероятностей и математическая статистика |
|
1971 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Лекции по математической логике / В. А. Мощенский ; Белорусский государственный университет им. В. И. Ленина |
|
1992 |
Конференция математиков Беларуси (6 ; 1992 ; Гродно) |
VI конференция математиков Беларуси (29 сентября ― 2 октября 1992 г.) : тезисы докладов. — Ч. 1: Алгебра, теория чисел, математическая логика. Геометрия и топология. История математики и методика преподавания математики в вузах / [научный редактор Ю. П. Золотухин] |
|
2004 |
|
Логика и компьютер / Российская академия наук. — Вып. 5: Пусть докажет компьютер / [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков и др.] |
|
2000 |
Чернет, Петр Евгеньевич |
Тесты IQ : Логика и психометрия. Математика и концентрация внимания. Различ. типы мышления. Ребусы и задачи. Структур. построения и преобразования / Чернет Петр Евгеньевич |
|
2000 |
Zwirn, Herve P |
Les limites de la connaissance / Herve P.Zwirn |
|
2004 |
Шуман, Андрей Николаевич |
Современная логика : теория и практика / Андрей Шуман |
|
2000 |
Гильберт, Давид (математик ; 1862—1943) |
Основы теоретической логики / Д.Гильберт, В.Аккерман ; Пер. с нем. А.А.Ерофеева ; Ред., вступ. ст. и коммент. С.А.Яновской |
|
1998 |
Лихтарников, Леонид Моисеевич (кандидат физико-математических наук ; род. 1924) |
Математическая логика : Курс лекций. Задачник-практикум и решения : Учеб. пособие для вузов по мат. специальностям |
|
2002 |
|
Импликативная алгебра выбора и непрерывная логика в прикладных задачах науки и техники = Implicative option algebra and continuous logic in applied problems of the science and technics : Тр. междунар. конф. "Континуал. алгебраич. логики, исчисления и нейроматематика в науке, технике и экономике" (14-16 мая 2002 г.) / Под общ. ред. Л. И. Волгина. — Т. 2 |
|
2001 |
Акимов, Олег Евгеньевич |
Дискретная математика : Логика, группы, графы / О.Е.Акимов |
|
1994 |
Войшвилло, Евгений Казимирович (доктор философских наук ; 1913—2008) |
Логика с элементами эпистемологии и научной методологии : Для студентов гуманит. спец. и преподавателей вузов |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ