| № | Дата |
Автор |
Заглавие |
|---|
|
2000 |
Васильев, Станислав Николаевич (доктор физико-математических наук) |
Интеллектное управление динамическими системами |
|
2003 |
Кувшинов, Алексей Алексеевич (доктор технических наук) |
Синтез интеллектуальных систем электропитания в элементном базисе универсальных и силовых реляторов : монография / А. А. Кувшинов ; Министерство образования Российской Федерации, Тольяттинский государственный институт сервиса |
|
2009 |
Ручкин, Владимир Николаевич (доктор технических наук) |
Универсальный искусственный интеллект и экспертные системы / В. Н. Ручкин, В. А. Фулин |
|
1994 |
Институт философии (Москва). Логический центр. Научно-исследовательский семинар (1993) |
Труды научно-исследовательского семинара логического центра Института философии РАН,1993 / Редкол.:В.А.Смирнов (отв.ред.),П.И.Быстров;РАН.Ин-т философии,Обществ.ин-т логики,когнитологии и развития личности |
|
2011 |
Пухначев, Юрий Васильевич (кандидат физико-математических наук ; 1941—2005) |
Математика без формул / Ю. В. Пухначев, Ю. П. Попов. — Кн. 2 |
|
2016 |
Пухначев, Юрий Васильевич (кандидат физико-математических наук ; 1941—2005) |
Математика без формул : [в 2 кн.] / Ю. В. Пухначев, Ю. П. Попов. — Кн. 2 |
|
2017 |
Верещагин, Николай Константинович (доктор физико-математических наук ; род. 1958) |
Лекции по математической логике и теории алгоритмов / Н. К. Верещагин, А. Шень. — [Ч. 2]: Языки и исчисления |
|
2019 |
Шапорев, Сергей Дмитриевич (доктор физико-математических наук) |
Математическая логика : курс лекций и практических занятий : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев |
|
2004 |
|
Логические исследования / Рос. акад. наук, Ин-т философии. — Вып. 11 / редкол.: Карпенко А.С. (отв. ред.) [и др.] |
|
2007 |
Пухначев, Юрий Васильевич (кандидат физико-математических наук ; 1941—2005) |
Математика без формул / Ю.В. Пухначев, Ю.П. Попов. — Кн. 2 |
|
1995 |
Сапогов, А. Я. |
Основы реального исчисления : Re |
|
1992 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Некоторые сложные тьюринговы вычисления / В.А.Мощенский |
|
2006 |
Пономарев, Денис Константинович |
Проблема разложимости при формальном описании знаний = Formal knowledge representation and the decomposability problem / Д. К. Пономарев |
|
1997 |
Змитрович, Анатолий Иосифович (кандидат экономических наук) |
Интеллектуальные информационные системы : Учеб.пособие для студентов вузов |
|
2000 |
Верещагин, Николай Константинович (доктор физико-математических наук ; род. 1958) |
Лекции по математической логике и теории алгоритмов : [В 3 ч.]. [Ч.2], Языки и исчисления |
|
2000 |
Гильберт, Давид (математик ; 1862—1943) |
Основы теоретической логики / Пер.с нем.Ерофеева А.А.; Ред.,вступ.ст.и коммент.Яновской С.А |
|
2009 |
Клини, Стивен Коул (1909—1994) |
Введение в метаматематику / С. К. Клини ; перевод с английского А. С. Есенина-Вольпина ; под редакцией В. А. Успенского |
|
2010 |
Гудстейн, Рейбен Луис |
Математическая логика / Р. Л. Гудстейн ; перевод с английского В. С. Чернявского ; под редакцией и с предисловием С. А. Яновской |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ