Язык программирования SWI-Prolog учебно-методическое пособие

Язык программирования SWI-Prolog учебно-методическое пособие

Изложены основы языка программирования SWI-Prolog, приведены примеры решения задач, иллюстрирующих основные возможности языка. Содержит большое количество заданий для самостоятельного решения. Эти же задания можно использовать для проведения лабораторных работ в рамках дисциплины «Функционально-логи...

Повний опис

Збережено в:

Бібліографічні деталі
Автор:	Гутман, Г. Н. (070)
Формат:	Книга
Предмети:	программирование Prolog ИТ БД логическая задача арифметическая операция
Онлайн доступ:	Перейти к просмотру издания
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Основы программирования на языке Visual Prolog учебное пособие
за авторством: Ефимова, Е. А.

Программирование в среде Visual Prolog учебное пособие
за авторством: Авдеенко, Т. В.

Контрольные задания по общеобразовательному курсу «Информатика» практикум
за авторством: Маляров, А. Н.

Информатика в задачах, примерах, алгоритмах
за авторством: Алиев, В. К.

Логическое программирование в SWI-prolog учебное пособие
за авторством: Товбис Е. М.
Опубліковано: (2022)

Логические и арифметические основы и принципы работы ЭВМ учебное пособие
за авторством: Гуров, В. В.

Указания по выполнению РГР по дисциплине «Математическая логика и теория алгоритмов» учебно-методическое пособие
за авторством: Мачикина, Е. П.

Основы языка программирования Python учебное пособие для спо
за авторством: Абдрахманов, М. И.

Приложения алгебры высказываний в математической логике учебно-методическое пособие
за авторством: Кислицин, А. В.

Информатика. Основы программирования на языке Pascal учебное пособие
за авторством: Волобуева, Т. В.

Линейные системы управления в пакете MATLAB учебное пособие
за авторством: Смирнов, Г. Б.

Кодирование информации и системы счисления учебное пособие
за авторством: Овчинникова, Е. Н.

Информатика. Кодирование информации. Системы счисления учебное пособие для спо
за авторством: Овчинникова, Е. Н.

Основы конструирования электронных средств учебно-методическое пособие
за авторством: Фарафонтов, С. Ю.

Учебное пособие по курсу «Информатика». Ч.2 учебное пособие
за авторством: Мунтян, Е. Р.

Системы счисления и представление чисел в ЭВМ учебное пособие для спо
за авторством: Шаманов, А. П.

Информационные технологии учебное пособие
за авторством: Згуральская, Е. Н.

Информационные технологии. Практикум учебное пособие
за авторством: Бизяев, А. А.

Базы данных. Практический курс. В 2 частях. Ч.1. Объектно-реляционные базы данных на примере PostgreSQL 9.5 учебное пособие
за авторством: Наместников, А. М.

Технология программирования учебное пособие
за авторством: Лебедева, Т. Н.

Основы модулярной арифметики практикум
за авторством: Ионисян, А. С.

Реализация баз данных учебное пособие
за авторством: Петрова, А. Н.

Аппаратные средства вычислительной техники учебное пособие
за авторством: Шкелев, Е. И.

Организация самостоятельной работы студентов при реализации проекта по разработке базы данных практикум
за авторством: Лагоха, А. С.

Информационные технологии обработки данных учебное пособие для студентов направления 01.03.04
за авторством: Родионова, Т. Е.

Основы программирования учебно-методическое пособие

Технологии WEB учебное пособие
за авторством: Петрова, А. Н.

Информатика и информационные технологии лабораторный практикум
за авторством: Мандра, А. Г.

Программы для микропроцессоров
за авторством: Гуртовцев А. Л., та інші

Основы программирования учебное пособие
за авторством: Тракимус, Ю. В.

QBASIC в математике. Решение задач с помощью компьютера. Ч.1
за авторством: Ставнистый, Н. Н.

Технологии программирования учебно-методическое пособие
за авторством: Лебеденко, Л. Ф.

Разработка приложений в Visual C# для работы с базой данных MS SQL SERVER 2012 учебно-методическое пособие
за авторством: Гайнанова, Р. Ш.

Математическая логика учебно-методическое пособие
за авторством: Трунтаева, Т. И.

Функциональное и логическое программирование учебно-методическое пособие
за авторством: Козырева, Г. Ф.

Искусственный интеллект
за авторством: Люгер Д. Ф., та інші

Информатика и информационно-коммуникационные технологии. 9 класс
за авторством: Анеликова, Л. А.

Логика учебное пособие
за авторством: Марюшкин, М. Г.

Технологическая информатика учебно-методическое пособие
за авторством: Кравченко, Д. В.

Технологии программирования учебное пособие
за авторством: Згуральская, Е. Н.