Выбор каталога
Сортировать по:
1. Книга
bookCover
Алексеев, Владимир Евгеньевич.
Графы и алгоритмы. Структуры данных. Модели вычислений : учебник / В.Е. Алексеев, В.А. Таланов. - М. : БИНОМ Лаборатория знаний : Интернет- Университет Информационных технологий, 2011. - 320 с. : ил. ; 22 см. - (Основы информационных технологий). - Библиогр.: с.318-319. - 2000 экз. - ISBN 978-5-94774-543-6 (в пер.).
Авторы: Алексеев Владимир Евгеньевич, Таланов В.А.
Шифры: 22.1 - А 47
Экземпляры: Всего: 1, из них: Т-1
Подробнее
Аннотация: Учебник состоит из трех частей, посвященных вопросам анализа и разработки алгоритмов: графы и алгоритмы, структуры данных, модели вычислений. Для понимания материала достаточно математической подготовки в объеме первого курса университета или технического вуза.
2. Книга
bookCover
Васюков, Владимир Леонидович.
Квантовая логика / В. Л. Васюков ; Рос. акад. наук, Ин-т философии. - М. : ПЕР СЭ, 2005. - 191 с. ; 21 см. - Библиогр.: с. 186-191. - 1000 экз. - ISBN 5-9292-0142-0 (в пер.).
Авторы: Васюков Владимир Леонидович
Шифры: 22 - В 20
Ключевые слова: логика квантовая, квантовая логика, логические исчисления
Экземпляры: Всего: 1, из них: Х-1
Подробнее
Аннотация: Рассматривается с точки зрения логических исчислений и логической техники.
3. Книга
bookCover
Хофштадтер, Даглас Р.
Гедель, Эшер, Бах: эта бесконечная гирлянда / Даглас Р. Хофштадтер ; пер. с англ. Н.А. Эскиной. - Самара : Бахрах-М, 2001. - 752 с. : ил. ; 24 см. - Метафорическая фуга о разуме и машинах в духе Льюиса Кэррола. - 5100 экз. - ISBN 5-94648-001-4 (в пер.).
Авторы: Хофштадтер Даглас Р.
Шифры: 32 - Х 85
Ключевые слова: искусственный интеллект, математическая логика, психология творчества
Экземпляры: Всего: 1, из них: Х-1
Подробнее
Аннотация: Книга открывает новые миры, в которой сочетаются глубина мысли и блестящая языковая игра. В книге удалось совместить не связанные сложные области энаний. Автор приглашает в мир человеческого духа и думающих машин и т.п.
4. Книга
bookCover
СТОЛЯР, АБРАМ АРОНОВИЧ.
КАК МАТЕМАТИКА УМ В ПОРЯДОК ПРИВОДИТ / А.А. СТОЛЯР. - 2-е изд., перераб. и доп. - Минск : Вышэйш. шк., 1991. - 207 с. : ил. ; 17 см. - 21500 экз. - ISBN 5-339-00587-9.
Авторы: СТОЛЯР АБРАМ АРОНОВИЧ
Шифры: С 81
Ключевые слова: математика, математическая логика
Экземпляры: Всего: 1, из них: Х-1
5. Книга
bookCover
Колмогоров, Андрей Николаевич.
Математическая логика : доп. главы : учеб. пособие для вузов по спец. "Математика" / А.Н. Колмогоров, А.Г. Драгалин. - М. : Изд-во МГУ, 1984. - 119 с. ; 21 см. - Библиогр.: с. 117. - 13150 экз.
Авторы: Колмогоров Андрей Николаевич, Драгалин Альберт Григорьевич
Шифры: 51 - К 60
Ключевые слова: логика математическая, математическая логика
Экземпляры: Всего: 2, из них: Х-2
6. Книга
bookCover
Владимир Васильевич Голубев : (к 100-летию со дня рождения) : (сб. статей) / [сост. И.А. Тюлина]. - М. : Знание, 1984. - 64 с. ; 20 см. - (Новое в жизни, науке, технике) (Математика, кибернетика ; 10). - Библиогр. в конце ст. - 30930 экз.
Шифры: 51 - Г 62
Ключевые слова: биографии ученых, математики русские, ученые русские советские, русские ученые, сборники статей, русские механики, юбилейные издания, механики русские, творчество научное, очерки об ученых
Экземпляры: Всего: 1, из них: Х-1
7. Книга
bookCover
Голдблатт, Роберт.
Топосы : категорный анализ логики / Р. Голдблатт ; пер. с англ. В.Н. Гришина, В.В. Шокурова ; под ред. Д.А. Бочвара. - М. : Мир, 1983. - 486 с. : ил. ; 22 см. - Пер. изд.: Topoi. The categorial analysis of logis / R. Goldblatt (Amsterdam etc., 1979). - Библиогр.: с. 466-470. - Указ. обозначений, предм.: с. 471-483. - 5700 экз.
Авторы: Голдблатт Роберт
Шифры: 51 - Г 60
Ключевые слова: математические категории, категориальный анализ, теория множеств, множеств теория, топосы, алгебра логики, математическая логика
Экземпляры: Всего: 1, из них: Х-1
8. Отдельный том
bookCover
Справочная книга по математической логике : в 4 ч. / пер. с англ. С.С. Гончарова [и др.] ; под ред. [и с предисл.] Ю.Л. Ершова [и др.] ; под ред. Дж. Барвайса. - М. : Наука, 1982 -. - 22 см. - Перевод изд.: Handbook of mathematical logic (Amsterdam etc., 1977).
Ч. 1 : Теория моделей / Д. Барвайс, Х.Д. Кейслер, П. Эклоф [и др.]. - 1982. - 392 c. - Библиогр. в конце гл. - Предм. указ.: с. 388-391. - Содерж.: В кн. также: Спектр и структура моделей полных теорий / Е.А. Палютин. - 20000 экз.
Авторы: Барвайс Дж., Кейслер Х.Дж., Эклоф П., Эклоф П.
Шифры: 51 - С 74
Ключевые слова: математическая логика, теория моделей, справочники
Экземпляры: Всего: 2, из них: Х-2
9. Отдельный том
bookCover
Справочная книга по математической логике : в 4 ч. / пер. с англ. С.С. Гончарова [и др.] ; под ред. [и с предисл.] Ю.Л. Ершова [и др.] ; под ред. Дж. Барвайса. - М. : Наука, 1982 -. - 22 см. - Перевод изд.: Handbook of mathematical logic (Amsterdam etc., 1977).
Ч. 2 : Теория множеств / Д.Р. Шенфилд, Т.Д. Йех, К. Кюнен [и др.] ; пер. В.Г. Кановея ; под ред. В.Н. Гришина. - 1982. - 375 c. - Библиогр. в конце гл. - Указ. имен: с. 365-370, 372-374. - Содерж.: В кн. также: Проективная иерархия Н.Н. Лузина : современное состояние теории / В.Г. Кановей. - 20000 экз.
Авторы: Шенфилд Д.Р., Йех Т.Д., Кюнен К., Кюнен К.
Шифры: 51 - С 74
Ключевые слова: математическая логика, теория множеств, справочники
Экземпляры: Всего: 2, из них: Х-2