Главная Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


КНИГИ - результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:СТАТЬИ (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=пролог<.>)
Общее количество найденных документов : 17
Показаны документы с 1 по 17
1.
   681.3
   Б87


    Братко, И.
    Программирование на языке пролог для искусственного интеллекта : пер. с англ. / Братко, И. - М. : Мир, 1990. - 559 с. - Б. ц.
УДК
Рубрики: Вычислительная техника--программирование
Кл.слова (ненормированные):
программирование -- Пролог -- искусственный интеллект

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


    Бидайбеков, Е. Ы.
    Логикалық бағдарламалау : (Пролог-Б) / Е. Ы. Бидайбеков, С. Г. Григорьев, Н. Ә. Талпақов. - Алматы : Бiлiм, 1998. - 104 б. - ISBN 5766723415 : 55.00 р.
УДК
Рубрики: Есептеу техникасы
Кл.слова (ненормированные):
пролог -- мағлұматтар -- логика


Доп.точки доступа:
Григорьев, С. Г.; Талпақов, Н. Ә.
Экземпляры всего: 37
ЧЗ (2), АБ (35)
Свободны: ЧЗ (2), АБ (35)
Найти похожие
3.
   681.3.06:800.92
   Я65


    Янсон А.
    Турбо-пролог в сжатом изложении / Янсон А. - М. : Мир, 1991. - 92 с. - Б. ц.
УДК
Рубрики: Вычислительная техника
Кл.слова (ненормированные):
языки программирования -- вычислительные машины -- машины электронные -- машины персональные -- программное обеспечение

Свободных экз. нет
Найти похожие
4.
   б63
   П80


   
    Пролетарский пролог : воспоминания революционного движения в Петербурге в 1893-1904годах. - Л. : Лениздат, 1983. - 431 с. : ил. - Б. ц.
ББК 63.3(2)52
Рубрики: Политология--Внутренняя политика
Кл.слова (ненормированные):
Пролетарский пролог

Свободных экз. нет
Найти похожие
5.
   681.3
   Д67


    Доорс Дж.
    Пролог - язык программирования будущего : пер. с англ. и предисл. А.Н. Волкова / Доорс Дж., Рейблейн А.Р., Вадера С. - М. : Финансы и статистика, 1990. - 141 с. : ил. - Б. ц.
УДК

Кл.слова (ненормированные):
Программирование -- Пролог


Доп.точки доступа:
Рейблейн А.Р.; Вадера С.
Свободных экз. нет
Найти похожие
6.
   б83.3Р1
   Л65


    Лихачев Д.С.
    "Слово о полку Игореве" - героический пролог русской литературы / Лихачев Д.С. - Л : Худож. литературы, 1967. - 119 с. - 1.50 р.
ББК 83.3Р1
Рубрики: Литературоведение--Мировая литература
Кл.слова (ненормированные):
"Слово о полку Игореве"

Свободных экз. нет
Найти похожие
7.
   Б13.50
   Л45


   
    Ленин : годы Великого пролога:1905-1907. - М. : Политиздат, 1984. - 430 с. : илл. - 1р.20к. р.
ББК 13.50

Кл.слова (ненормированные):
Великий пролог

Свободных экз. нет
Найти похожие
8.
   Р2
   Б83


    Боровик, Г. А.
    Пролог : роман-эссе / Боровик, Г. А. - М. : Советский писатель, 1989. - 509 с. - (Библиотека произведений, удостоенных Государственной премии СССР). - Б. ц.
УДК
Рубрики: Художественная литература--Русская литература
Кл.слова (ненормированные):
11

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


    Синельников А.
    Малиновый звон / Синельников А. - М. : Искусство, 1962. - 29 с. - Б. ц.
ББК 85.334.3(2)
Рубрики: Искусство--Театр
Кл.слова (ненормированные):
малиновый -- звон -- драма -- театр -- пролог -- учебник -- пособие

Свободных экз. нет
Найти похожие
10.
   004
   К14


    Каймин, В. А.
    Информатика : учебник / В. А. Каймин. - 4-изд. - М. : ИНФРА-М, 2004. - 284 с. - (Высшее образование). - ISBN 5160019286 : 720.00 р.
УДК
Рубрики: Информационные технологии
Кл.слова (ненормированные):
информационные технологии -- информатика -- интернет -- ЭВМ -- алгоритмизация -- программирование -- язык Пролог

Экземпляры всего: 50
ЧЗ (5), АБ (41), МФ (2), Колледж (2)
Свободны: ЧЗ (5), АБ (41), МФ (2), Колледж (2)
Найти похожие
11.
   004
   К14


    Каймин, В. А.
    Информатика : учебник для вузов / В. А. Каймин. - М. : Высшее образование, 1998. - 334 с. - (Высшее образование). - ISBN 590046914Х : 480.00 р.
УДК
Рубрики: Информационные технологии
Кл.слова (ненормированные):
информационные технологии -- информатика -- интернет -- алгоритм -- ЭВМ -- вычислительная техника -- алгоритмизация -- электронный учебник -- электронная почта -- база данных -- программирование -- язык Пролог -- Бейсик

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


    Каймин, В. А.
    Информатика : учебник / В. А. Каймин. - М. : Проспект, 2007. - 272 с. - ISBN 9785482014707 : 1180.00 р.
УДК
Рубрики: Информационные технологии
Кл.слова (ненормированные):
информационные технологии -- информатика -- интернет -- ЭВМ -- алгоритмы -- программирование -- Паскаль -- Бейсик -- язык Пролог -- экзаменационные задачи

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


    Каймин, В. А.
    Информатика : учебник для вузов, обучающихся по естеств.-науч. направлениям и спец. / В. А. Каймин. - М. : ИНФРА-М, 2003. - 271 с. - (Высшее образование). - ISBN 5160013938 : 1180.00 р.
УДК
Рубрики: Информационные технологии
Кл.слова (ненормированные):
информатика -- компьютеры -- персональные компьютеры -- интернет -- ЭВМ -- алгоритмы -- программирование -- прикладные задачи -- язык Пролог -- экзаменационные задачи

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


    Цуканова, Н. И.
    Логическое программирование на языке Visual Prolog : учебное пособие для вузов по спец. "Программное обеспечение вычислительной техники и автоматизированных систем" / Н. И. Цуканова, Т. А. Дмитриева. - М. : Горячая линия-Телеком, 2008. - 144 с. - (Учебное пособие для высших учебных заведений). - ISBN 978-5-9912-0033-2 : 1160.00 р.
УДК
Рубрики: Информационные технологии--Языки программирования
Кл.слова (ненормированные):
информационные технологии -- языки программирования -- логическое программирование -- Visual Prolog -- язык Пролог -- термы -- предикаты -- арифметические выражения -- рекурсия -- отсечение -- списки -- строки -- символы -- символические имена -- структуры -- графический интерфейс


Доп.точки доступа:
Дмитриева, Т. А.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
15.
   004
   К72


    Костров, Б. В.
    Искусственный интеллект и робототехника / Б. В. Костров, В. Н. Ручкин, В. А. Фулин. - М. : ДИАЛОГ-МИФИ, 2008. - 224 с. - ISBN 978-5-86404-2 23-6 : 900.00 р.
УДК
Рубрики: Информационные технологии
Кл.слова (ненормированные):
информационные технологии -- искусственный интеллект -- робототехника -- экспертные системы -- нейрон -- нейронные сети -- архитектура -- интерфейсы -- TURBO PROLOG -- Турбо Пролог -- программирование БД -- моделирование вычислительных процессов -- процессоры -- функциональное программирование -- системы искусственного интеллекта


Доп.точки доступа:
Ручкин, В. Н.; Фулин, В. А.
Экземпляры всего: 5
ЧЗ (2), АБ (3)
Свободны: ЧЗ (2), АБ (3)
Найти похожие
16.
   51
   Г85


    Гринченков, Д. В.
    Математическая логика и теория алгоритмов для программистов : [учебное пособие для вузов по направлению "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - М. : Кнорус, 2013. - 206 с. - ISBN 978-5-406-02434-8 : 1585.00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- теория множеств -- булевая алгебра -- теория алгоритмов -- нечеткие множества -- язык Пролог -- логическое программирование -- логические функции


Доп.точки доступа:
Потоцкий, С. И.
Экземпляры всего: 10
ЧЗ (2), АБ (8)
Свободны: ЧЗ (2), АБ (8)
Найти похожие
17.
   004
   С56


    Советов, Б. Я.
    Представление знаний в информационных системах : учебник / Б. Я. Советов, В. В. Цехановский, В. Д. Чертовской. - 2-е изд., стер. - М. : Академия, 2012. - 143 с. - (Высшее профессиональное образование: Бакалавриат). - !origp454_H.pft: FILE NOT FOUND! . - ISBN 978-5-7685-9281-2 : 2935.00 р.
УДК
Рубрики: Информационные технологии
Кл.слова (ненормированные):
нейросетевые модели -- логика понятий -- расчетно-логические системы -- язык Пролог -- экспертные системы


Доп.точки доступа:
Цехановский, В. В.; Чертовской, В. Д.
Экземпляры всего: 10
ЧЗ (2), АБ (8)
Свободны: ЧЗ (2), АБ (8)
Найти похожие
 
© Павлодарский государственный университет им. С.Торайгырова, 2009-2015