Выбор каталога
Сортировать по:
12
1. Книга
bookCover
Алексеев, Владимир Евгеньевич.
Графы и алгоритмы. Структуры данных. Модели вычислений : учебник / В.Е. Алексеев, В.А. Таланов. - М. : БИНОМ Лаборатория знаний : Интернет- Университет Информационных технологий, 2011. - 320 с. : ил. ; 22 см. - (Основы информационных технологий). - Библиогр.: с.318-319. - 2000 экз. - ISBN 978-5-94774-543-6 (в пер.).
Авторы: Алексеев Владимир Евгеньевич, Таланов В.А.
Шифры: 22.1 - А 47
Экземпляры: Всего: 1, из них: Т-1
Подробнее
Аннотация: Учебник состоит из трех частей, посвященных вопросам анализа и разработки алгоритмов: графы и алгоритмы, структуры данных, модели вычислений. Для понимания материала достаточно математической подготовки в объеме первого курса университета или технического вуза.
2. Книга
bookCover
Проблемы интеллектуализации и качества систем информатики / Ин-т систем информатики, Рос. акад. наук ; под ред. В.Н. Касьянова. - Новосибирск : Ин-т систем информатики им. А.П. Ершова СО РАН, 2006. - 280 с. : ил. ; 20 см. - (Конструирование и оптимизация программ). - Библиогр. в примеч. - 75 экз.
Шифры: 22 - П 78
Ключевые слова: информатика, программирование
Экземпляры: Всего: 1, из них: Х-1
3. Книга
bookCover
Васюков, Владимир Леонидович.
Квантовая логика / В. Л. Васюков ; Рос. акад. наук, Ин-т философии. - М. : ПЕР СЭ, 2005. - 191 с. ; 21 см. - Библиогр.: с. 186-191. - 1000 экз. - ISBN 5-9292-0142-0 (в пер.).
Авторы: Васюков Владимир Леонидович
Шифры: 22 - В 20
Ключевые слова: логика квантовая, квантовая логика, логические исчисления
Экземпляры: Всего: 1, из них: Х-1
Подробнее
Аннотация: Рассматривается с точки зрения логических исчислений и логической техники.
4. Книга
bookCover
Хофштадтер, Даглас Р.
Гедель, Эшер, Бах: эта бесконечная гирлянда / Даглас Р. Хофштадтер ; пер. с англ. Н.А. Эскиной. - Самара : Бахрах-М, 2001. - 752 с. : ил. ; 24 см. - Метафорическая фуга о разуме и машинах в духе Льюиса Кэррола. - 5100 экз. - ISBN 5-94648-001-4 (в пер.).
Авторы: Хофштадтер Даглас Р.
Шифры: 32 - Х 85
Ключевые слова: искусственный интеллект, математическая логика, психология творчества
Экземпляры: Всего: 1, из них: Х-1
Подробнее
Аннотация: Книга открывает новые миры, в которой сочетаются глубина мысли и блестящая языковая игра. В книге удалось совместить не связанные сложные области энаний. Автор приглашает в мир человеческого духа и думающих машин и т.п.
5. Книга
bookCover
Евстигнеев, Владимир Анатольевич.
Теория графов: Алгоритмы обработки бесконтурных графов / В.А. Евстигнеев, В.Н. Касьянов. - Новосибирск : Наука, 1998. - 385 с. : ил. ; 21 см. - Библиогр.: с. 353-378. - 600 экз. - ISBN 5-02-030845-5 (в пер.).
Авторы: Евстигнеев Владимир Анатольевич, Касьянов В.Н.
Шифры: 22 - Е 26
Ключевые слова: теория графов, графов теория, алгоритмы
Экземпляры: Всего: 1, из них: Х-1
Подробнее
Аннотация: Монография представляет собой систематическое изложение алгоритмов обработки ациклических или бесконтурных графов, моделирующих частично упорядоченные множества и образующих наряду с деревьями класс важных и широко используемых в программировании графов.
6. Книга
bookCover
Цирлин, Анатолий Михайлович.
Методы усредненной оптимизации и их приложения / А.М. Цирлин. - М. : Наука, 1997. - 304 с. ; 22 см. - Библиогр. в конце кн. - 1000 экз. - ISBN 5-02-015091-6 (в пер.).
Авторы: Цирлин Анатолий Михайлович
Шифры: 22 - Ц 70
Ключевые слова: задачи экстремальные, программирование математическое, метод усреднения
Экземпляры: Всего: 1, из них: Х-1
7. Книга
bookCover
Евстигнеев, Владимир Анатольевич.
Теория графов : алгоритмы обработки деревьев / В.А. Евстигнеев, В.Н. Касьянов ; Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики ; отв. ред. В.Е. Котов. - Новосибирск : Наука, 1994. - 360, [1] с. : ил. ; 22 см. - Библиогр.: с. 356 и в конце гл. - Предм. указ.: с. 357-360. - 660 экз. - ISBN 5-02-030332-1 (в пер.).
Авторы: Евстигнеев Владимир Анатольевич, Касьянов В.Н.
Шифры: 22 - Е 26
Ключевые слова: теория графов
Экземпляры: Всего: 1, из них: Х-1
8. Книга
bookCover
Кауфман, Виталий Шахнович.
Языки программирования : концепции и принципы / В.Ш. Кауфман. - М. : Радио и связь, 1993. - 431 с. ; 22 см. - Библиогр.: с. 424-426. - 2000 экз. - ISBN 5-256-00643-6.
Авторы: Кауфман Виталий Шахнович
Шифры: 32 - К 30
Ключевые слова: языки программирования
Экземпляры: Всего: 1, из них: Т-1
9. Книга
bookCover
Белоусов, Евгений Григорьевич.
Разрешимость и устойчивость задач полиномиального программирования / Е.Г. Белоусов, В.Г. Андронов. - М. : Изд-во Моск. ун-та, 1993. - 271 с. : ил. - Библиогр.: с. 266-269. - 600 экз. - ISBN 5-211-02040-5 (в пер.).
Авторы: Белоусов Евгений Григорьевич, Андронов В.Г.
Шифры: 22 - Б 43
Ключевые слова: программирование математическое, задачи, аппроксимация
Экземпляры: Всего: 2, из них: Х-2
10. Книга
bookCover
Левитин, Евгений Соломонович.
Теория возмущений в математическом программировании и ее приложения / Е.С. Левитин. - М. : Наука, 1992. - 360 с. ; 23 см. - Библиогр.: с. 343-355. - Предм. указ.: с. 356-358. - 830 экз. - ISBN 5-02-014887-3 (в пер.).
Авторы: Левитин Евгений Соломонович
Шифры: 22 - Л 36
Ключевые слова: математическое программирование, математические исследования, теория возмущений
Экземпляры: Всего: 1, из них: Х-1
11. Книга
bookCover
Букатова, Иннеса Леонидовна.
Эвоинформатика : теория и практика эволюц. моделирования / И.Л. Букатова, Ю.И. Михасев, А.М. Шаров ; Акад. наук СССР, Ин-т радиотехники и электрон. - М. : Наука, 1991. - 206 с. : ил. ; 22 см. - Библиогр.: с. 195-202 (194 назв.). - 1770 экз. - ISBN 5-02-000138-4.
Авторы: Букатова Иннеса Леонидовна, Михасев Ю.И., Шаров А.М.
Шифры: 22 - Б 90
Ключевые слова: программирование
Экземпляры: Всего: 1, из них: Х-1
12. Книга
bookCover
ТЕХНОЛОГИЯ И МЕТОДЫ РЕШЕНИЯ ЗАДАЧ ПРИКЛАДНОЙ МАТЕМАТИКИ : сб. науч. трудов / АН УССР, ИН-Т КИБЕРНЕТИКИ ИМ. В.М. ГЛУШКОВА, НАУЧ. СОВЕТ АН УССР ПО ПРОБЛ. "КИБЕРНЕТИКА" ; ред. И.В. СЕРГИЕНКО. - Киев : ИК, 1991. - 132 с. : ил. ; 21 см. - Библиогр. в конце ст. - 350 экз. - ISBN 5-7702-0186-Х.
Шифры: 22 - Т 38
Ключевые слова: математика прикладная, задачи - решение, вычислительные машины электронные
Экземпляры: Всего: 1, из них: Х-1
13. Книга
bookCover
Ашманов, Станислав Александрович.
Теория оптимизации в задачах и упражнениях / С.А. Ашманов, А.В. Тимохов. - М. : Наука, 1991. - 447 с. : ил. ; 20 см. - Библиогр.: с. 441-447. - 11000 экз. - ISBN 5-02-014253-0.
Авторы: Ашманов Станислав Александрович, Тимохов Александр Васильевич
Шифры: 22 - А 98
Ключевые слова: выпуклый анализ - задачи, линейное программирование - задачи, оптимальные процессы - задачи, математическая теория
Экземпляры: Всего: 1, из них: Х-1
14. Книга
bookCover
СТОЛЯР, АБРАМ АРОНОВИЧ.
КАК МАТЕМАТИКА УМ В ПОРЯДОК ПРИВОДИТ / А.А. СТОЛЯР. - 2-е изд., перераб. и доп. - Минск : Вышэйш. шк., 1991. - 207 с. : ил. ; 17 см. - 21500 экз. - ISBN 5-339-00587-9.
Авторы: СТОЛЯР АБРАМ АРОНОВИЧ
Шифры: С 81
Ключевые слова: математика, математическая логика
Экземпляры: Всего: 1, из них: Х-1
15. Книга
bookCover
Астафьев, Николай Николаевич.
Бесконечные системы линейных неравенств в математическом программировании / Н.Н. Астафьев ; Акад. наук СССР, Урал. отд-ние, Ин-т математики и механики ; отв. ред. И.И. Еремин. - М. : Наука, 1991. - 136 с. ; 22 см. - Библиогр.: с. 132-133. - 1550 экз. - ISBN 5-02-000114-7.
Авторы: Астафьев Николай Николаевич
Шифры: А 91
Ключевые слова: неравенства математические, линейное программирование
Экземпляры: Всего: 1, из них: Х-1
16. Книга
bookCover
Ковальски, Роберт.
Логика в решении проблем / Р. Ковальски ; пер. с англ. Л.Г. Осмоловского [и др.] ; предисл. и примеч. Д.А. Поспелова. - М. : Наука, 1990. - 278 с. : ил. ; 22 см. - (Проблемы искусственного интеллекта ; вып. 18). - Библиогр.: с. 263-271. - Указ. имен: с. 272-278. - 10700 экз. - ISBN 5-02-014148-8 (в пер.).
Авторы: Ковальски Роберт
Шифры: 32 - К 56
Ключевые слова: программирование логическое, логика
Экземпляры: Всего: 1, из них: Х-1
17. Книга
bookCover
Нефедов, Виктор Николаевич.
Алгоритмический подход к решению задач теории графов и сетей : учеб. пособие / В.Н. Нефедов ; Гос. ком. СССР по нар. образованию, Моск. авиац. ин-т им. С. Орджоникидзе. - М. : МАИ, 1990. - 64 с. : ил. ; 20 см. - Библиогр.: с. 64. - 1000 экз.
Авторы: Нефедов Виктор Николаевич
Шифры: 513.9 - Н 58
Ключевые слова: графов теория (мат.), задачи теории графов, дискретная математика
Экземпляры: Всего: 1, из них: Х-1
18. Книга
bookCover
Нестеров, Юрий Евгеньевич.
Эффективные методы в нелинейном программировании / Ю.Е. Нестеров. - М. : Радио и связь, 1989. - 301 с. ; 21 см. - Библиогр.: с. 293-298. - 2030 экз. - ISBN 5-256-00524-3.
Авторы: Нестеров Юрий Евгеньевич
Шифры: 517 - Н 56
Ключевые слова: программирование, нелинейное программирование, эффективные методы в нелинейном программировании
Экземпляры: Всего: 1, из них: Х-1
19. Книга
bookCover
Рубинштейн, Михаил Израилевич.
Оптимальная группировка взаимосвязанных объектов / М.И. Рубинштейн ; Акад наук СССР, Ин-т пробл. управления. - М. : Наука, 1989. - 166, [1] с. : ил. ; 22 см. - Библиогр.: с. 162-165. - 1150 экз. - Текст (визуальный) : непосредственный.
Авторы: Рубинштейн Михаил Израилевич
Шифры: 517 - Р 82
Ключевые слова: оптимальные процессы, математическая теория, математическое программирование
Экземпляры: Всего: 1, из них: Х-1
20. Книга
bookCover
Гольштейн, Евгений Григорьевич.
Модифицированные функции Лагранжа : теория и методы оптимизации / Е.Г. Гольштейн, Н.В. Третьяков. - М. : Наука, 1989. - 400 с. ; 22 см. - (Экономико-математическая библиотека ). - 2800 экз.
Авторы: Гольштейн Евгений Григорьевич, Третьяков Н.В.
Шифры: 517.851 - Г 63
Ключевые слова: математика высшая, интегралы, функции Лагранжа модифицированные
Экземпляры: Всего: 1, из них: Х-1
12