681.3.06(075) Н 17 Надточий, И. Л. Системное программное обеспечение [Text] : учебное пособие по курсовому проектированию / И. Л. Надточий, А. Н. Пустыгин, Е. С. Ярош ; Челябинск. гос. техн. ун-т. - Челябинск : Изд-во ЧГТУ, 1996. - 87 с. - Библиогр.: с. 84. - ISBN 5-696-00763-5 : 3.00 р.
Кл.слова (ненормированные): курсовое проектирование -- MS DOS -- операционные системы -- СУБД -- бейсик -- Visual Basic -- языки программирования -- пролог -- системное программирование -- программирование Доп.точки доступа: Пустыгин, А. Н.; Ярош, Е. С. Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
681.3.06 С 81 Стобо, Дж. Язык программирования Пролог [Text] / Дж. Стобо ; под ред. Н. Г. Волченкова ; пер. с англ.: Н. Г. Волченкова, С. Г. Григорьева. - Москва : Машиностроение, 1993. - 368 с. - Библиогр.: с. 365 (4 назв.). - ISBN 5-256-00921-4. - ISBN 0-273-029339 (англ.) : 600.00 р.
Кл.слова (ненормированные): Пролог -- языки программирования Доп.точки доступа: Волченков, Н. Г. \ред., пер.\; Григорьев, С. Г. \пер.\ Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
004(075) К 72 Костров, Б. В. Искусственный интеллект и робототехника [Текст] : [учебное пособие] / Б. В. Костров, В. Н. Ручкин, В. А. Фулин. - Москва : Диалог-МИФИ, 2008. - 224 с. : ил. - Библиогр.: с. 224. - ISBN 978-5-86404-223-6 : 166.00 р.
Кл.слова (ненормированные): искусственный интеллект -- экспертные системы -- нейронные сети -- программирование баз данных -- Турбо Пролог -- языки программирования -- вычислительные процессы -- функциональное программирование Доп.точки доступа: Ручкин, В. Н.; Фулин, В. А. Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
681.3.06 М 28 Марселлус, Д. Н. Программирование экспертных систем на Турбо Прологе [Text] / Марселлус, Д. Н. ; пер. Чижиков, И. И. - М. : Финансы и статистика, 1994. - 256 с. : ил. - ISBN 5-279-00613-0. - ISBN 0-L3-29584L-4 : 1800-00 р.
Кл.слова (ненормированные): экспертные системы-программирование -- языки программирования -- Пролог-язык программирования -- Турбо Пролог-язык программирования Доп.точки доступа: Чижиков, И. И. \пер.\ Экземпляры всего: 2 ООЛ (2) Свободны: ООЛ (2) |
681.31(075) О-75 Основы современных компьютерных технологий [Текст] : учеб. пособие для высш. и сред. учеб. заведений / Артамонов, Б.Н. [и др.] ; ред. Хомоненко А.Д. - СПб. : КОРОНА принт, 1998. - 448 с. : ил., табл. - Библиогр. в конце ч. - ISBN 5-7931-0019-9 : 42-00 р. Авт. указ. на обороте тит. л.
КИБЕРНЕТИКА--ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ Кл.слова (ненормированные): Информатика -- Системы операционные -- MS DOS -- Norton Commander -- Процессоры текстовые -- Процессоры табличные -- Пакеты математических расчетов -- Базы данных -- Интеллект искуственный -- Турбо-Пролог -- Графика компьютерная -- Сети ЭВМ -- Интернет -- Windows 95 -- Windows 98 -- Word -- Excel -- Scientific WorkPlace -- Derive -- Visio Доп.точки доступа: Артамонов, Б.Н.; Брякалов, Г.А.; Гофман, В.Э.; Кадигроб, Я.Э.; Компаниец, Р.И.; Липецких, А.Г.; Мальцев, М.Г.; Хомоненко А.Д. \ред.\ Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
62-50(075) Г 38 Герман, О.В. Введение в теорию экспертных систем и обработку знаний [Text] : учеб. пособие для вузов / Герман, О.В. - Минск : ДизайнПРО, 1995. - 256 с. : ил., табл. - Библиогр.: с. 250-252.-Глоссарий: с. 246-249. - ISBN 985-6182-02-6 (В пер.) : 25-00 р.
Кл.слова (ненормированные): Экспертные системы -- Турбо Пролог-Язык программирования -- Турбо Си-Язык программирования -- Языки программирования -- Базы знаний -- Тестирование психологическое -- Психологическое тестирование Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
519.6 К 30 Каханер, Д. Численные методы и программное обеспечение [Text] / Каханер, Д., Моулер, К., Нэш, С. ; пер. Икрамов, Х.Д. - М. : Мир, 1998. - 576 с. : ил. - Библиогр.: с. 554-559.-Указ.: с. 560-570. - ISBN 5-03-002432-8 (рус.). - ISBN 0-13-626672-Х (англ.) : 35-00 р. Перераб. вариант кн.: Форсайт Дж., Малькольм М., Моулер К. Машин. методы мат. вычислений.- М., 1980
АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ Кл.слова (ненормированные): Численные методы -- Эйлера метод -- Пролог-Язык программирования -- Языки программирования -- Математическое обеспечение -- Аппроксимация -- Случайные числа -- ПЭВМ -- Броуновское движение -- Виртуальная память -- Гистограммы -- Диски магнитные -- Нелинейные уравнения -- Дифференциальные уравнения -- Линейные уравнения -- Закон сохранения энергии -- Теория игр -- Игры -- Интерполяция (матем) -- Квадратуры (теория функций) -- Монте-Карло метод -- Моделирование -- Оптимизация -- Фурье преобразования -- Алгоритмы Доп.точки доступа: Моулер, К.; Нэш, С.; Икрамов, Х.Д. \пер.\ Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
681.3.06(075) Б 46 Бен-Ари, М. Языки программирования [Text] : практ. сравнит. анализ : учебник [для вузов] / Бен-Ари, М. ; ред., пер. Штаркман, В. С. ; пер. Яковлева, М. Н. - М. : Мир, 2000. - 366 с. : ил. - Библиогр.: с.355-357. - Предм. указ.: с. 358-362. - ISBN 5-03-003314-9. - ISBN 0-471-95846-8 : 60-00 р. Перевод заглавия: Understanding Programming Languages
Кл.слова (ненормированные): языки программирования -- Си++ -- Ада -- Паскаль -- Фортран -- Лисп -- Java -- объектно-ориентированное программирование -- среды программирования -- Eiffel -- ML -- Пролог Доп.точки доступа: Штаркман, В. С. \ред., пер.\; Яковлева, М. Н. \пер.\ Экземпляры всего: 1 КХ (1) Свободны: КХ (1) |
681.3.066(075) М 74 Могилев, А. В. Практикум по информатике [Text] : [учеб. пособие для вузов] / Могилев, А. В., Пак, Н. И., Хеннер, Е. К. - М. : Академия, 2001. - 606 с. : ил., табл. - (Высшее образование). - Библиогр. в конце гл. - ISBN 5-7695-0529-Х (в пер.) : 135-60 р.
Кл.слова (ненормированные): алгоритмы -- операционные системы -- редакторы текстовые -- редакторы графические -- электронные таблицы -- СУБД -- языки программирования -- Паскаль- язык программирования -- Си- язык программирования -- Пролог- язык программирования -- Турбо Паскаль- язык программирования -- ЭВМ -- локальные сети -- глобальные сети -- компьютеризация физических процессов -- информатика -- информационные системы -- компьютерное моделирование -- Geo-Perm- программа -- практикумы Доп.точки доступа: Пак, Н. И.; Хеннер, Е. К. Экземпляры всего: 7 ООУЛ (7) Свободны: ООУЛ (7) |
510(075) Г 85 Гринченков, Д. В. Математическая логика и теория алгоритмов для программистов [Text] : учебное пособие для вузов / Гринченков, Д. В., Потоцкий, С. И. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - Библиогр.: с. 205-206. - ISBN 978-5-406-02434-8 (в пер.) : 252.00 р.
Кл.слова (ненормированные): теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования Доп.точки доступа: Потоцкий, С. И. Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
510(075) Г 85 Гринченков, Д. В. Математическая логика и теория алгоритмов для программистов [Текст] : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - (Бакалавриат). - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 (в пер.) : 188.50 р. ВПО
Кл.слова (ненормированные): теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования Доп.точки доступа: Потоцкий, С. И. Экземпляры всего: 5 ОХиИФ (1), ООЛ (4) Свободны: ОХиИФ (1), ООЛ (4) |