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

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

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

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Гутман, Г. Н. (070)
Fformat:	Книга
Pynciau:	программирование Prolog ИТ БД логическая задача арифметическая операция
Mynediad Ar-lein:	Перейти к просмотру издания
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

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

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

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

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

Логическое программирование в SWI-prolog учебное пособие
gan: Товбис Е. М.
Cyhoeddwyd: (2022)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Программы для микропроцессоров
gan: Гуртовцев А. Л., et al.

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

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

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

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

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

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

Искусственный интеллект
gan: Люгер Д. Ф., et al.

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

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

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

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