| № | Дата |
Автор |
Заглавие |
|---|
|
2004 |
|
Исчисление высказываний : методические рекомендации / Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П.М.Машерова" ; [составитель Е.А.Таргонский] |
|
2012 |
Дашков, Евгений Владимирович (кандидат физико-математических наук ; род. 1986) |
О пропозициональных исчислениях, представлющих понятие доказуемости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Дашков Евгений Владимирович ; Московский государственный университет им. М. В. Ломоносова |
|
2004 |
|
Логика и компьютер / Российская академия наук. — Вып. 5: Пусть докажет компьютер / [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков и др.] |
|
2009 |
Ручкин, Владимир Николаевич (доктор технических наук) |
Универсальный искусственный интеллект и экспертные системы / В. Н. Ручкин, В. А. Фулин |
|
2001 |
Мощенский, Андрей Владимирович (кандидат физико-математических наук ; род. 1963) |
Курс математической логики : Учеб.пособие для студентов физ.-мат.специальностей вузов / Пер.с бел.авт |
|
2011 |
Пухначев, Юрий Васильевич (кандидат физико-математических наук ; 1941—2005) |
Математика без формул / Ю. В. Пухначев, Ю. П. Попов. — Кн. 2 |
|
2004 |
Воленьский, Ян (доктор философских наук ; род. 1940) |
Львовско-Варшавская философская школа / Ян Воленский ; пер. с пол. В.Н. Поруса |
|
1965 |
Столяр, Абрам Аронович (доктор педагогических наук ; 1919—1993) |
Элементарное введение в математическую логику : пособие для учителей / А. А. Столяр |
|
2016 |
Пухначев, Юрий Васильевич (кандидат физико-математических наук ; 1941—2005) |
Математика без формул : [в 2 кн.] / Ю. В. Пухначев, Ю. П. Попов. — Кн. 2 |
|
2017 |
Верещагин, Николай Константинович (доктор физико-математических наук ; род. 1958) |
Лекции по математической логике и теории алгоритмов / Н. К. Верещагин, А. Шень. — [Ч. 2]: Языки и исчисления |
|
2019 |
Шапорев, Сергей Дмитриевич (доктор физико-математических наук) |
Математическая логика : курс лекций и практических занятий : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев |
|
2007 |
Пухначев, Юрий Васильевич (кандидат физико-математических наук ; 1941—2005) |
Математика без формул / Ю.В. Пухначев, Ю.П. Попов. — Кн. 2 |
|
2001 |
Хофштадтер, Дуглас (физик ; род. 1945) |
Гедель, Эшер, Бах: эта бесконечная гирлянда / Пер. с англ. Эскиной М.А |
|
2000 |
Верещагин, Николай Константинович (доктор физико-математических наук ; род. 1958) |
Лекции по математической логике и теории алгоритмов : [В 3 ч.]. [Ч.2], Языки и исчисления |
|
2000 |
Гильберт, Давид (математик ; 1862—1943) |
Основы теоретической логики / Пер.с нем.Ерофеева А.А.; Ред.,вступ.ст.и коммент.Яновской С.А |
|
2009 |
Клини, Стивен Коул (1909—1994) |
Введение в метаматематику / С. К. Клини ; перевод с английского А. С. Есенина-Вольпина ; под редакцией В. А. Успенского |
|
2015 |
Пахомов, Федор Николаевич |
Некоторые алгоритмические вопросы для полимодальных логик доказуемости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Пахомов Федор Николаевич ; [ФГБУН Математический институт им. В. А. Стеклова РАН] |
|
2020 |
Кудрявцев, Валерий Борисович (доктор физико-математических наук, математика ; 1936—2021) |
Интеллектуальные системы : учебник и практикум для вузов : для студентов высших учебных заведений, обучающихся по инженерно-техническим и естественнонаучным направлениям / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ