Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Книги" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

в найденном

Найдено в других БД:

БД "Статьи" (18)

Труды АМГУ (3)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=пролог<.>)

Общее количество найденных документов : 32
Показаны документы с 1 по 20

1-20 21-32

   63.4
   Б44

    Беляев, Леонид Андреевич.
    Христианские древности. Введение в сравнительное изучение [Текст] : учеб. пособие для вузов / Л. А. Беляев. - Москва : Изд-во Ин-та христ. культуры средневековья, 1998. - 576 с. : ил., фото. - (Ин-т "Открытое общество"). - Библиогр.: с. 481. - ISBN 5-86753-002-7 : 62.50 р., 55.00 р., 21.00 р.

ГРНТИ

03.41

ББК 63.4 + 86.2
Рубрики: Археология--религиоведение
Кл.слова (ненормированные):
церковные древности -- церковная архитектура -- Палестинский пролог -- назарет -- памятники Салоны -- донатизм -- христианская археология -- сельские монастыри

Экземпляры всего: 7
аб. (7), ч.з.
Свободны: аб. (7)
Найти похожие

   32.973
   З-14

   Загорулько, Ю. А.
    Введение в логическое программирование [Текст] : метод.пособие / Ю.А. Загорулько, В.В. Телерман, Т.М. Яхно. - Новосибирск : [б. и.], 1997 - .
   Ч.1. - 92с. -

ББК 32.973-018.2я73
Рубрики: Вычислительная техника
Кл.слова (ненормированные):
программирование логическое -- Турбо-Пролог -- рекурсия

Доп.точки доступа:
Телерман В.В.; Яхно Т.М. ч.з.
Свободных экз. нет
Найти похожие

ББК 32.973-018.2я73
Рубрики: Вычислительная техника
Кл.слова (ненормированные):
программирование логическое -- Турбо-Пролог -- пролог

Доп.точки доступа:
Телерман В.В.; Яхно Т.М. ч.з.
Свободных экз. нет
Найти похожие

   32.973
   О-75


    Основы современных компьютерных технологий [Текст] : учеб. пособие: рек. Мин. обр. РФ / под ред. Хомоненко А.Д. - СПб. : КОРОНА принт, 1998. - 446 с. - ISBN 5793100199 : 40-00 р.

ББК 32.973-018.2я73
Рубрики: Компьютерные технологии
Кл.слова (ненормированные):
информатика,основы -- операционные системы -- текстовые процессоры -- табличные процессоры -- вычислительные сети -- интернет -- Турбо-Пролог

Доп.точки доступа:
Хомоненко, А.Д. \ред.\
Экземпляры всего: 14
аб. (8), ч.з. (2), эн.ф. (4)
Свободны: аб. (8), ч.з. (2), эн.ф. (4)
Найти похожие

   84(2)
   Ч-49

   Чернышевский, Николай Гаврилович
    Собрание сочинений [Текст] : в 5 т. / Н. Г. Чернышевский ; сост., ред. Ю. С. Мелентьев. - М. : Правда.
   Т 2 : Пролог: Роман; Мастерица варить кашу. Пастораль в 1 д. - 1974. - 528 с. - (Б-ка отечественной классики). - 9.00 р.

ББК 84(2Рос=Рус)1-4
Рубрики: художественная литература--русская литература, 19 в.
Кл.слова (ненормированные):
пролог -- пастораль -- Чернышевский Н.Г. -- собрание сочинений

Доп.точки доступа:
Мелентьев, Ю.С. \сост., ред.\
Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие

   32.81
   К14

    Каймин, Виталий Адольфович.
    Информатика [Текст] : учеб. : рек. Мин. обр. РФ / Каймин В.А. - 2-е изд., перераб. и доп. - М. : ИНФРА-М, 2001. - 272 с. : рис. - (Высшее образование). - Библиогр. : с. 270 . - ISBN 5-16-000612-5 : 47.00 р., 47.00 р., 69.00 р.
Прил. : с. 247-252

ББК 32.81я73
Рубрики: Информатика
Кл.слова (ненормированные):
информатика -- персональные ЭВМ -- интернет-технологии -- информационные технологии -- решение зпдач на ЭВМ -- информатика, экзамены -- Пролог

Экземпляры всего: 14
аб. (14)
Свободны: аб. (14)
Найти похожие

   32.973
   А39

    Акилова, Ирина Михайловна.
    Логическое программирование [Текст] : практикум / И. М. Акилова ; АмГУ, ФМиИ. - Благовещенск : Изд-во Амур. гос. ун-та, 2002. - 40 с. - Библиогр.: с.38. - 9.00 р.

ББК 32.973-018я73
Рубрики: Программирование--практикум
Кл.слова (ненормированные):
ПРОЛОГ -- базы данных

Доп.точки доступа:
Амурский государственный университет. факультет математики и информатики
Экземпляры всего: 4
аб. (4), ч.з.
Свободны: аб. (4)
Найти похожие

   32.973
   А39

    Акилова, Ирина Михайловна.
    Программирование на языке Турбо-Пролог [Текст] : Практикум / И. М. Акилова ; АмГУ, ФМиИ. - Благовещенск : Изд-во Амур. гос. ун-та, 2002. - 60 с. - Библиогр.: с. 60. - 11.00 р.

ББК 32.973-018.1я73
Рубрики: Языки программирования
Кл.слова (ненормированные):
ПРОГРАММИРОВАНИЕ -- Турбо-Пролог

Доп.точки доступа:
Амурский государственный университет. факультет математики и информатики
Экземпляры всего: 5
аб. (5), ч.з.
Свободны: аб. (5)
Найти похожие

   22.18
   З-69

    Змитрович , А. И.
    Интеллектуальные информационные системы [Текст] : учеб. пособие / А.И. Змитрович . - Минск : НТООО Тетра Сименс, 1997. - 368 с. - 20.00 р.

ББК 22.18я73 + 32.81я73
Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
информационные системы -- турбо-пролог -- учебное пособие

Экземпляры всего: 2
аб. (2), ч.з.
Свободны: аб. (2)
Найти похожие

10.

   84(2)
   Ч-49

    Чернышевский, Николай Гавриилович (1828-1889).
    Пролог [Текст] : Роман из начала шестидесятых годов / Н.Г. Чернышевский; Послесл. и примеч. П.Г. Горелов, Худ. В.В. Толстоногов. - М. : Сов. Россия, 1988. - 427 с. : фото, ил. - 250 000 экз.. - (в пер.) : 2.50 р.

ГРНТИ	17.82
УДК	821.161.1

ББК 84(2Рос=Рус)1-44
Рубрики: Художественная литература--русская литература, 19 в.

Доп.точки доступа:
Горелов, П.Г. \послесл. и примеч.\; Толстоногов, В.В. \худ.\
Экземпляры всего: 2
аб. (2)
Свободны: аб. (2)
Найти похожие

11.

   22.12
   И26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. И. Игошин. - М. : Академия, 2004. - 448 с. - (Высшее проф. образование : педагогические специальности). - Библиогр.: с. 435. - ISBN 5-7695-1363-2 (в пер.) : 253.00 р., 2500002201361 р.

ББК 22.12я73
Рубрики: Математическая логика--теория алгоритмов
Кл.слова (ненормированные):
математическая логика -- логика и интуиция -- алгебра высказываний -- логическое следствие, понятие, следствия -- булевы функции -- система аксиом -- логика предикатов -- логические операции -- рекурсивные функции -- теорема Гёделя -- язык ПРОЛОГ, характеристика -- искусственный интеллект, математическая логика

Экземпляры всего: 7
аб. (7), ч.з.
Свободны: аб. (7)
Найти похожие

12.

   81.2Рус
   К18

    Камчатнов, Александр Михайлович.
    История русского литературного языка: XI - первая половина XIX века [Текст] : учеб. пособие: рек. УМО / А. М. Камчатнов. - М. : Академия, 2005. - 682 с. - (Высшее проф. образование. Педагогические специальности). - Библиогр.: с. 657 . - Указ. имен: с. 662 . - ISBN 5-7695-2006-X (в пер.) : 336.93 р., 400.18 р.

ББК 81.2Рус-03-923
Рубрики: Русский литературный язык, 11-19 в.
Кл.слова (ненормированные):
старославянский пролог -- русский литературный язык, происхождение -- древнерусский литературный язык -- славянский литературный язык -- язык старообрядческой литературы -- литературный язык Петровской эпохи -- язык сентиментальных романов

Экземпляры всего: 10
аб. (8), ч.з. (2)
Свободны: аб. (8), ч.з. (2)
Найти похожие

13.

   84(2)
   Б83

    Боровик, Генрих Аверьянович.
    Пролог [Текст] : Роман-эссэ / Г. А. Боровик. - М. : Правда, 1984. - 576 с. - (в пер.) : 2.10 р.

ББК 84(2Рос=Рус))6-4
Рубрики: Художественная литература --русская литература
Кл.слова (ненормированные):
Пролог, роман -- США 1968 г.

Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие

14.

   32.973
   Я65

    Янсон, Александр.
    Турбо-Пролог в сжатом изложении [Текст] : [справ.]: пер. с нем. / А. Янсон ; Ред. Ю. А. Бухштаб. - М. : Мир, 1991. - 94 с. : табл. - Предм. указ.: с.93. - Список операторов: с. 23. - Список терминов: с. 89 . - Б. ц.

ББК 32.973.018.1я2
Рубрики: Программирование--Системы программирования--Пролог, язык программирования
Кл.слова (ненормированные):
Турбо-Пролог

Доп.точки доступа:
Бухштаб, Ю.А. \ред.\ аб.
Свободных экз. нет
Найти похожие

15.

   32.973
   Т23

    Таунсенд, Карл.
    Проектирование и программная реализация экспертных систем на персональных ЭВМ [Текст] : пер. с англ. / К. Таунсенд, Д. Фохт ; Предисл. Г. С. Осипова. - М. : Финансы и статистика, 1990. - 320 с. : рис. - Библиогр.: с. 314. - ISBN 5-279-00255-0 (в пер.) :
Прил.: с. 272-306. - Глоссарий: с. 307

ББК 32.973-018
Рубрики: Экспертные системы--Проектирование
Кл.слова (ненормированные):
язык Форт -- методы программирования -- Пролог -- интерпретатор Пролога

Доп.точки доступа:
Фохт, Деннис; Осипов, Г.С. \предисл.\ ч.з.
Свободных экз. нет
Найти похожие

16.

   32.973
   С79

    Стерлинг, Леон.
    Искусство программирования на языке Пролог [Текст] : пер. с англ. / Л. Стерлинг, Э. Шапиро ; ред. Ю. Г. Дадаев. - М. : Мир, 1990. - 235 с. : рис. - Предм. указ.: с.324. - Библиогр.: с. 318. - ISBN 5-03-000406-8 : 2.70 р.
Прил.: с. 312

ББК 32.973-018.1
Рубрики: Языки программирования--Пролог
Кл.слова (ненормированные):
язык Пролог -- программирование логическое, основы -- пролог-системы -- решатель нелинейных уравнений -- экспертная система

Доп.точки доступа:
Шапиро, Э.; Дадаев, Ю.Г. \ред.\
Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие

17.

   32.81
   К15

    Каймин, Виталий Адольфович.
    Информатика [Текст] : учеб.: рек. Мин. обр. РФ / В. А. Каймин. - 5-е изд. - М. : Инфра-М, 2008. - 285 с. : рис. - (Высшее образование). - Библиогр.: с. 281 . - ISBN 978-5-16-002584-1 (в пер.) : 142.67 р., 142.67 р.
Прил.: с. 256-261

ББК 32.81я73
Рубрики: Информатика
Кл.слова (ненормированные):
информация и ЭВМ -- интернет-технологии, элементы -- информационные технологии, элементы -- решение задач на ЭВМ -- алгоритмизация -- программирование -- информатика, экзамены -- Пролог, язык

Экземпляры всего: 27
аб. (27), ч.з.
Свободны: аб. (26)
Найти похожие

18.

   32.81
   М28

    Марселлус, Дэнэл Н..
    Программирование экспертных систем на Турбо Прологе [Текст] / Д. Н. Марселлус ; пер. с англ. И. И. Чижикова ; предисл. С. В. Трубицына. - М. : Финансы и статистика, 1994. - 256 с. : ил. - ISBN 5-279-00613-0 :
Прил.: с. 243

ББК 32.813 + 32.973-018.1
Рубрики: Экспертные системы--программирование
Кл.слова (ненормированные):
экспертные системы, структура -- Турбо Пролог, программирование, экспертные системы

Доп.точки доступа:
Чижиков, И.И. \пер. с англ.\; Трубицын, С.В. \предисл.\ ч.з., аб.
Свободных экз. нет
Найти похожие

19.

   22.12
   И26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие : доп. Мин. обр. РФ / В. И. Игошин. - 3-е изд., стер. - М. : Академия, 2008. - 448 с. - (Высшее проф. образование. Педагогические специальности). - Библиогр.: с. 435. - ISBN 978-5-7695-5200-7 (в пер.) : 427.62 р., 477.95 р.

ББК 22.12я73
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
математическая логика -- логика и интуиция -- алгебра высказываний -- логическое следствие, понятие, свойства -- булевы функции -- система аксиом -- логика предикатов -- логические операции -- аксиоматические теории -- теория алгоритмов -- рекурсивные функции -- теорема Гёделя -- язык ПРОЛОГ, характеристика -- логическое программирование -- искусственный интеллект, математическая логика

Экземпляры всего: 10
аб. (10)
Свободны: аб. (10)
Найти похожие

20.

   32.973
   Б87

    Братко, И.
    Программирование на языке ПРОЛОГ для искусственного интеллекта [Текст] / И. Братко. - М. : Мир, 1990. - 560 с. - ISBN 5-03-001425-X (в пер.) : 3.50 р.

ББК 32.973-018.1
Рубрики: Вычислительная техника
Языки программирования

Экземпляры всего: 5
эн.ф. (2), аб. (3), ч.з.
Свободны: эн.ф. (2), аб. (3)
Найти похожие

1-20 21-32

Тематический навигатор

Статистика за 04.08.2024
Число запросов	151398
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)