Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 19
Отмеченные записи: 0
1.
Подробнее
Рот, Михаэль.
Интеллектуальный автомат : компьютер в качестве эксперта / М. Рот ; пер. с нем. А. П. Свиридова. - Москва : Энергоатомиздат, 1991. - 80 c. : ил. - Библиогр. : с. 79.. - ISBN 5283025225
Кл.слова (ненормированные):
экспертные системы -- Пролог, язык программирования -- искусственный интеллект -- логика предикатов -- исчисление высказываний
Доп.точки доступа:
Свиридов, А. П. \пер.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Рот, Михаэль.
Интеллектуальный автомат : компьютер в качестве эксперта / М. Рот ; пер. с нем. А. П. Свиридова. - Москва : Энергоатомиздат, 1991. - 80 c. : ил. - Библиогр. : с. 79.. - ISBN 5283025225
| УДК |
Кл.слова (ненормированные):
экспертные системы -- Пролог, язык программирования -- искусственный интеллект -- логика предикатов -- исчисление высказываний
Доп.точки доступа:
Свиридов, А. П. \пер.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
2.
Подробнее
Могилев, Александр Владимирович.
Информатика : учебное пособие для педагогических вузов / А. В. Могилев, Н. И. Пак, Е. К. Хеннер ; под ред. Е. К. Хеннера. - 3-е изд., перераб. и доп. - Москва : Академия, 2004. - 842 с. : ил., табл. - (Высшее профессиональное образование). - Библиогр. : с. 832 - 834.. - ISBN 5769517093
Рубрики: информатика--учебные издания для вузов
Кл.слова (ненормированные):
компьютеры персональные -- программное обеспечение -- базы данных -- вычислительная техника -- компьютерные сети -- телекоммуникации -- компьютерное моделирование -- социальная информатика -- кодирование информации -- алгоритмы (информационные технологии) -- искусственный интеллект -- языки программирования -- Си, язык программирования -- Бейсик, язык программирования -- Пролог, язык программирования -- Pascal, язык программирования -- объектно-ориентированное программирование -- программирование на язые Липс
Доп.точки доступа:
Пак, Николай Инсебович
Хеннер, Евгений Карлович \ред.\
Экземпляры всего: 4
Абонемент учебной и научной литературы (4)
Свободны: Абонемент учебной и научной литературы (4)
Могилев, Александр Владимирович.
Информатика : учебное пособие для педагогических вузов / А. В. Могилев, Н. И. Пак, Е. К. Хеннер ; под ред. Е. К. Хеннера. - 3-е изд., перераб. и доп. - Москва : Академия, 2004. - 842 с. : ил., табл. - (Высшее профессиональное образование). - Библиогр. : с. 832 - 834.. - ISBN 5769517093
| УДК |
Рубрики: информатика--учебные издания для вузов
Кл.слова (ненормированные):
компьютеры персональные -- программное обеспечение -- базы данных -- вычислительная техника -- компьютерные сети -- телекоммуникации -- компьютерное моделирование -- социальная информатика -- кодирование информации -- алгоритмы (информационные технологии) -- искусственный интеллект -- языки программирования -- Си, язык программирования -- Бейсик, язык программирования -- Пролог, язык программирования -- Pascal, язык программирования -- объектно-ориентированное программирование -- программирование на язые Липс
Доп.точки доступа:
Пак, Николай Инсебович
Хеннер, Евгений Карлович \ред.\
Экземпляры всего: 4
Абонемент учебной и научной литературы (4)
Свободны: Абонемент учебной и научной литературы (4)
3.
Подробнее
Артемьева, Ирина Леонидовна.
Рекурсивно-логическое программирование [Электронный ресурс] : курс лекций / И. Л. Артемьева ; Дальневосточный государственный университет. - Электроные текстовые данные. - Владивосток : [б. и.], 2007. - 15 с. - Библиогр. : с. 15
Текстовое электронное издание
Кл.слова (ненормированные):
ДВГУ (труды преподавателей) -- языки программирования -- Пролог, язык программирования -- рекурсия (информационные технологии) -- программирование рекурсивно-логическое -- информационные технологии
Доп.точки доступа:
Дальневосточный государственный университет (Владивосток)
Артемьева, Ирина Леонидовна.
Рекурсивно-логическое программирование [Электронный ресурс] : курс лекций / И. Л. Артемьева ; Дальневосточный государственный университет. - Электроные текстовые данные. - Владивосток : [б. и.], 2007. - 15 с. - Библиогр. : с. 15
Текстовое электронное издание
Кл.слова (ненормированные):
ДВГУ (труды преподавателей) -- языки программирования -- Пролог, язык программирования -- рекурсия (информационные технологии) -- программирование рекурсивно-логическое -- информационные технологии
Доп.точки доступа:
Дальневосточный государственный университет (Владивосток)
4.
Подробнее
Гринченков, Дмитрий Валерьевич.
Математическая логика и теория алгоритмов для программистов : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2010. - 206 с. : ил., табл. - Библиогр. : с. 205 - 206.. - ISBN 9785406001202
Рубрики: алгоритмов теория--учебные издания для вузов
математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
булева алгебра -- теория множеств -- теория алгоритмов -- логическое программирование -- Пролог, язык программирования -- логические функции -- эквивалентные преобразования
Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Гринченков, Дмитрий Валерьевич.
Математическая логика и теория алгоритмов для программистов : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2010. - 206 с. : ил., табл. - Библиогр. : с. 205 - 206.. - ISBN 9785406001202
| УДК |
Рубрики: алгоритмов теория--учебные издания для вузов
математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
булева алгебра -- теория множеств -- теория алгоритмов -- логическое программирование -- Пролог, язык программирования -- логические функции -- эквивалентные преобразования
Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
5.
Подробнее
Могилев, Александр Владимирович.
Информатика : учебное пособие для вузов по педагогическим специальностям / А. В. Могилев, Н. И. Пак, Е. К. Хеннер ; под ред. Е. К. Хеннера. - 6-е изд., стер. - Москва : Академия, 2008. - 841 с. : табл., ил. - (Высшее профессиональное образование). - Библиогр. : с. 832 - 834.. - ISBN 9785769556203
Рубрики: информатика--учебные издания для вузов
Кл.слова (ненормированные):
кодирование информации -- алгоритмы (информационные технологии) -- алгоритмические языки -- информационное моделирование (информационные технологии) -- искусственный интеллект -- программное обеспечение -- языки программирования -- Си, язык программирования -- Бейсик, язык программирования -- Пролог, язык программирования -- Pascal, язык программирования -- объектно-ориентированное программирование -- программирование на язые Липс -- вычислительная техника -- микрокомпьютеры -- архитектура компьютеров -- микропроцессоры -- запоминающие устройства внешние -- логические узлы -- локальные сети -- INTERNET, глобальная информационная сеть -- электронная почта -- On-line-сервисы Интернета -- HTML, язык разметки гипертекста -- веб-страницы, создание -- веб-сервисы -- банки информации -- базы данных -- автоматизированные информационные системы -- экспертные системы -- компьютерные системы -- компьютерной диагностики системы -- компьютерное моделирование -- математическое моделирование (информационные технологии)
Доп.точки доступа:
Пак, Николай Инсебович
Хеннер, Евгений Карлович \ред.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Могилев, Александр Владимирович.
Информатика : учебное пособие для вузов по педагогическим специальностям / А. В. Могилев, Н. И. Пак, Е. К. Хеннер ; под ред. Е. К. Хеннера. - 6-е изд., стер. - Москва : Академия, 2008. - 841 с. : табл., ил. - (Высшее профессиональное образование). - Библиогр. : с. 832 - 834.. - ISBN 9785769556203
| УДК |
Рубрики: информатика--учебные издания для вузов
Кл.слова (ненормированные):
кодирование информации -- алгоритмы (информационные технологии) -- алгоритмические языки -- информационное моделирование (информационные технологии) -- искусственный интеллект -- программное обеспечение -- языки программирования -- Си, язык программирования -- Бейсик, язык программирования -- Пролог, язык программирования -- Pascal, язык программирования -- объектно-ориентированное программирование -- программирование на язые Липс -- вычислительная техника -- микрокомпьютеры -- архитектура компьютеров -- микропроцессоры -- запоминающие устройства внешние -- логические узлы -- локальные сети -- INTERNET, глобальная информационная сеть -- электронная почта -- On-line-сервисы Интернета -- HTML, язык разметки гипертекста -- веб-страницы, создание -- веб-сервисы -- банки информации -- базы данных -- автоматизированные информационные системы -- экспертные системы -- компьютерные системы -- компьютерной диагностики системы -- компьютерное моделирование -- математическое моделирование (информационные технологии)
Доп.точки доступа:
Пак, Николай Инсебович
Хеннер, Евгений Карлович \ред.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
6.
Подробнее
Каймин, Виталий Адольфович.
Информатика : учебник для вузов по естественно-научным направлениям и специальностям / В. А. Каймин. - 5-е изд. - Москва : Инфра-М, 2008. - 284 c. : ил., табл. - (Высшее образование). - Библиогр. : с. 281-282. - Приложение : Интерпетарор языка Пролог.. - ISBN 9785160025841
Рубрики: информатика--учебные издания для вузов
Кл.слова (ненормированные):
компьютеры персональные -- интернет-технологии -- INTERNET, глобальная информационная сеть -- информационные технологии -- поиск информации -- электронная почта -- электронная коммерция -- создание сайтов -- HTML, язык разметки гипертекста -- программирование компьютерное -- алгоритмизация (информационные технологии) -- Пролог, язык программирования -- обработка данных (информационные технологии)
Экземпляры всего: 5
Ч/З о. Русский (2), Абонемент 301 (2), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (2), Абонемент 301 (2), Абонемент учебной и научной литературы (1)
Каймин, Виталий Адольфович.
Информатика : учебник для вузов по естественно-научным направлениям и специальностям / В. А. Каймин. - 5-е изд. - Москва : Инфра-М, 2008. - 284 c. : ил., табл. - (Высшее образование). - Библиогр. : с. 281-282. - Приложение : Интерпетарор языка Пролог.. - ISBN 9785160025841
| УДК |
Рубрики: информатика--учебные издания для вузов
Кл.слова (ненормированные):
компьютеры персональные -- интернет-технологии -- INTERNET, глобальная информационная сеть -- информационные технологии -- поиск информации -- электронная почта -- электронная коммерция -- создание сайтов -- HTML, язык разметки гипертекста -- программирование компьютерное -- алгоритмизация (информационные технологии) -- Пролог, язык программирования -- обработка данных (информационные технологии)
Экземпляры всего: 5
Ч/З о. Русский (2), Абонемент 301 (2), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (2), Абонемент 301 (2), Абонемент учебной и научной литературы (1)
7.
Подробнее
Могилев, Александр Владимирович.
Информатика : учебное пособие для вузов по педагогическим специальностям / А. В. Могилев, Н. И. Пак, Е. К. Хеннер ; под ред. Е. К. Хеннера. - 5-е изд., стер. - Москва : Академия, 2007. - 841 с. : табл., ил. - (Высшее профессиональное образование). - Библиогр. : с. 832-834.. - ISBN 9785769545474
Рубрики: информатика--учебные издания для вузов
Кл.слова (ненормированные):
кодирование информации -- алгоритмы (информационные технологии) -- алгоритмические языки -- информационное моделирование (информационные технологии) -- кибернетика -- искусственный интеллект -- программное обеспечение -- языки программирования -- Си, язык программирования -- Бейсик, язык программирования -- Пролог, язык программирования -- Pascal, язык программирования -- объектно-ориентированное программирование -- программирование на язые Липс -- вычислительная техника -- микрокомпьютеры -- архитектура компьютеров -- микропроцессоры -- запоминающие устройства внешние -- логические узлы -- локальные сети -- операционные системы сетевые -- INTERNET, глобальная информационная сеть -- электронная почта -- On-line-сервисы Интернета -- HTML, язык разметки гипертекста -- веб-страницы, создание -- веб-сервисы -- банки информации -- базы данных -- автоматизированные информационные системы -- экспертные системы -- компьютерные системы -- компьютерной диагностики системы -- компьютерное моделирование -- математическое моделирование (информационные технологии) -- социальная информатика
Доп.точки доступа:
Пак, Николай Инсебович
Хеннер, Евгений Карлович \ред.\
Экземпляры всего: 18
Абонемент 402 (17), Ч/З о. Русский (1)
Свободны: Абонемент 402 (17), Ч/З о. Русский (1)
Могилев, Александр Владимирович.
Информатика : учебное пособие для вузов по педагогическим специальностям / А. В. Могилев, Н. И. Пак, Е. К. Хеннер ; под ред. Е. К. Хеннера. - 5-е изд., стер. - Москва : Академия, 2007. - 841 с. : табл., ил. - (Высшее профессиональное образование). - Библиогр. : с. 832-834.. - ISBN 9785769545474
| УДК |
Рубрики: информатика--учебные издания для вузов
Кл.слова (ненормированные):
кодирование информации -- алгоритмы (информационные технологии) -- алгоритмические языки -- информационное моделирование (информационные технологии) -- кибернетика -- искусственный интеллект -- программное обеспечение -- языки программирования -- Си, язык программирования -- Бейсик, язык программирования -- Пролог, язык программирования -- Pascal, язык программирования -- объектно-ориентированное программирование -- программирование на язые Липс -- вычислительная техника -- микрокомпьютеры -- архитектура компьютеров -- микропроцессоры -- запоминающие устройства внешние -- логические узлы -- локальные сети -- операционные системы сетевые -- INTERNET, глобальная информационная сеть -- электронная почта -- On-line-сервисы Интернета -- HTML, язык разметки гипертекста -- веб-страницы, создание -- веб-сервисы -- банки информации -- базы данных -- автоматизированные информационные системы -- экспертные системы -- компьютерные системы -- компьютерной диагностики системы -- компьютерное моделирование -- математическое моделирование (информационные технологии) -- социальная информатика
Доп.точки доступа:
Пак, Николай Инсебович
Хеннер, Евгений Карлович \ред.\
Экземпляры всего: 18
Абонемент 402 (17), Ч/З о. Русский (1)
Свободны: Абонемент 402 (17), Ч/З о. Русский (1)
8.
Подробнее
Тихонов, Юрий Вениаминович.
Пролог - язык логического программирования. Версия 2.3 / Ю. В. Тихонов. - Москва : Машиностроение, 1994. - 80 c. : табл. - (Пользователю ПК). - Библиогр. : с. 80. - ISBN 5217015578
Кл.слова (ненормированные):
Пролог, язык программирования -- логическое программирование -- предикаты системы
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Тихонов, Юрий Вениаминович.
Пролог - язык логического программирования. Версия 2.3 / Ю. В. Тихонов. - Москва : Машиностроение, 1994. - 80 c. : табл. - (Пользователю ПК). - Библиогр. : с. 80. - ISBN 5217015578
| УДК |
Кл.слова (ненормированные):
Пролог, язык программирования -- логическое программирование -- предикаты системы
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
9.
Подробнее
Черкашин, Евгений Александрович.
Рекурсивно-логическое программирование : учебное пособие / Е. А. Черкашин ; Иркутский государственный университет, Институт динамики систем и теории управления Сибирского отделения РАН. ; Иркутский государственный университет, Российская академия наук, Сибирское отделение; Институт динамики систем и теории управления. - Иркутск : Изд-во Иркутского университета, 2013. - 109 с. : ил., табл. - Библиогр. : с. 109.. - ISBN 9785962409382
Рубрики: рекурсивно-логическое программирование--искусственный интеллект--учебные издания для вузов
Кл.слова (ненормированные):
информационные технологии -- Пролог, язык программирования -- логический вывод (информационные технологии) -- программирование (информационные технологии) -- языки программирования -- пролог-программы -- предикаты (информационные технологии)
Доп.точки доступа:
Иркутский государственный университет
Российская академия наук. Сибирское отделение; Институт динамики систем и теории управления
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Черкашин, Евгений Александрович.
Рекурсивно-логическое программирование : учебное пособие / Е. А. Черкашин ; Иркутский государственный университет, Институт динамики систем и теории управления Сибирского отделения РАН. ; Иркутский государственный университет, Российская академия наук, Сибирское отделение; Институт динамики систем и теории управления. - Иркутск : Изд-во Иркутского университета, 2013. - 109 с. : ил., табл. - Библиогр. : с. 109.. - ISBN 9785962409382
| УДК |
Рубрики: рекурсивно-логическое программирование--искусственный интеллект--учебные издания для вузов
Кл.слова (ненормированные):
информационные технологии -- Пролог, язык программирования -- логический вывод (информационные технологии) -- программирование (информационные технологии) -- языки программирования -- пролог-программы -- предикаты (информационные технологии)
Доп.точки доступа:
Иркутский государственный университет
Российская академия наук. Сибирское отделение; Институт динамики систем и теории управления
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
10.
Подробнее
Экспертные системы для персональных компьютеров: методы, средства, реализации : справочное пособие / [В. С. Крисевич, Л. А. Кузьмич, А. М. Шиф и др.]. - Минск : Вышэйшая школа, 1990. - 197 с. : табл., ил. - Библиогр. : с. 191-192.. - ISBN 5339004929
Кл.слова (ненормированные):
средства автоматизации -- исчисление предикатов -- Хорна выражения -- Пролог, язык программирования -- Турбо-Пролог -- оболочки экспертных систем -- алгоритм унификации
Доп.точки доступа:
Крисевич, Владимир Степанович
Кузьмич, Людмила Анатольевна
Шиф, Александр Максович
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Экспертные системы для персональных компьютеров: методы, средства, реализации : справочное пособие / [В. С. Крисевич, Л. А. Кузьмич, А. М. Шиф и др.]. - Минск : Вышэйшая школа, 1990. - 197 с. : табл., ил. - Библиогр. : с. 191-192.. - ISBN 5339004929
| УДК |
Кл.слова (ненормированные):
средства автоматизации -- исчисление предикатов -- Хорна выражения -- Пролог, язык программирования -- Турбо-Пролог -- оболочки экспертных систем -- алгоритм унификации
Доп.точки доступа:
Крисевич, Владимир Степанович
Кузьмич, Людмила Анатольевна
Шиф, Александр Максович
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Страница 1, Результатов: 19