Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Электронный каталог- результаты поиска

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
Поисковый запрос: (<.>K=Пролог, язык программирования<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
   22.12
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для студентов вузов, обучающихся по специальности "Математика" / В. И. Игошин. - Москва : Академия, 2004 (Саратов). - 446, [1] с. ; 22 см. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр. : с. 435-442. - ISBN 5-7695-1363-2 (в пер.) : 193.20 р.
ББК 22.12я73
Рубрики: Математика
Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- ПРЕДИКАТЫ -- АЛГОРИТМЫ -- МАШИНЫ ТЬЮРИНГА -- ТЬЮРИНГА МАШИНЫ -- МАРКОВА АЛГОРИТМЫ -- ГЕДЕЛЯ ТЕОРЕМА -- ТЕОРЕМА ГЕДЕЛЯ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- ЛОГИК-ТЕОРЕТИК, ПРОГРАММА -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ПРОГРАММИРОВАНИЕ ЛОГИЧЕСКОЕ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОЛОГ, ЯЗЫК ПРОГРАММИРОВАНИЯ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- УЧЕБНЫЕ ИЗДАНИЯ ДЛЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ
Аннотация: Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Тьюринг, Алан Мэтисон (1912-1954) \о нем\; Turing, Alan Mathison \о нем\
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Прямая ссылка
Найти похожие
2.
   32.973
   Я 65

    Янсон, А.
    Турбо-Пролог в сжатом изложении / А. Янсон ; перевод с немецкого Н. С. Сойфер ; под редакцией Ю. А. Бухштаба. - Москва : Мир, 1991. - 92, [2] с. - ISBN 5-03-002010-1 : 1.50 р.
ББК 32.973
Рубрики: Вычислительная техника
Кл.слова (ненормированные):
Пролог, язык программирования -- Турбо-Пролог -- языки программирования


Доп.точки доступа:
Сойфер, Н. С. \пер., водчик.\; Бухштаб, Ю. А. \ред., ктор.\
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
3.
   32.81
   Б 87

    Братко, Иван.
    Программирование на языке Пролог для искусственного интеллекта / И. Братко ; перевод с английского А. И. Лупенко, М. А. Степанова ; под редакцией А. М. Степанова. - Москва : Мир, 1990. - 559 с. : ил. - Предметный указатель: с. 552-556. - ISBN 5-03-001425-X : 3.50 р.
ББК 32.81
Рубрики: Радиоэлектроника
Кл.слова (ненормированные):
искусственный интеллект -- Пролог, язык программирования -- языки программирования -- Программирование


Доп.точки доступа:
Лупенко, А. И. \пер., водчик.\; Степанов, А. М. \ред., водчик, пер.\
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
4.
   32.81
   М 15

    Макаллистер, Дж.
    Искусственный интеллект и Пролог на микроЭВМ / Дж. Макаллистер ; [предисловие автора] ; перевод с английского А. В. Чукашова, М. В. Сергиевского ; под редакцией, [предисловие] М. В. Сергиевского. - Москва : Машиностроение, 1990. - 235, [2] с. - Библиография: с. 237 (12 назв. на ин. яз.). - ISBN 5-217-00973-X : 2.40 р.
ББК 32.81
Рубрики: Радиоэлектроника
Кл.слова (ненормированные):
базы данных -- логика в программировании -- логическое программирование -- микроЭВМ -- Пролог, язык программирования -- СУБД -- язык логического программирования -- языки программирования -- Искусственный интеллект -- Системы


Доп.точки доступа:
Чукашов, А. В. \водчик, пер.\; Сергиевский, М. В. \ред., , водчик.\
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)