База данных: IPR База
Страница 1, Результатов: 3
Отмеченные записи: 0
1.
Подробнее
133962
Ефимова, Е. А.
Основы программирования на языке Visual Prolog : учебное пособие / Ефимова Е. А. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 265 с. - ISBN 978-5-4497-2472-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.973
Кл.слова (ненормированные):
visual prolog -- логическое программирование -- язык запросов -- язык пролог
Аннотация: В учебном пособии рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 7.x. Изложение сопровождается большим количеством примеров программ. Приводятся списки упражнений для самостоятельной работы. Учебное пособие предназначено для студентов, специализирующихся в области информационных технологий, прикладной математики и информатики, программной инженерии, разработки и анализа интеллектуальных систем, программистов и всех, кто интересуется практическим использованием логического программирования.
Ефимова, Е. А.
Основы программирования на языке Visual Prolog : учебное пособие / Ефимова Е. А. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 265 с. - ISBN 978-5-4497-2472-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
visual prolog -- логическое программирование -- язык запросов -- язык пролог
Аннотация: В учебном пособии рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 7.x. Изложение сопровождается большим количеством примеров программ. Приводятся списки упражнений для самостоятельной работы. Учебное пособие предназначено для студентов, специализирующихся в области информационных технологий, прикладной математики и информатики, программной инженерии, разработки и анализа интеллектуальных систем, программистов и всех, кто интересуется практическим использованием логического программирования.
2.
Подробнее
126518
Авдеенко, Т. В.
Программирование в среде Visual Prolog : учебное пособие / Авдеенко Т. В. - Новосибирск : Новосибирский государственный технический университет, 2022. - 46 с. - ISBN 978-5-7782-4689-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
visual prolog -- искусственный интеллект -- исчисления высказываний -- исчисления предикатов -- программирование -- структура данных
Аннотация: Настоящее учебное пособие – это продолжение учебного пособия «Введение в искусственный интеллект и логическое программирование. Программирование в среде Visual Prolog», представляющего собой вводную часть курса по искусственному интеллекту, основной целью которой является изучение модели представления знаний на основе классических логических исчислений – исчисления высказываний и исчисления предикатов. В пособии рассматриваются: работа с рекурсивными структурами данных в Прологе, назначение и применение предиката «Отсечение», а также внелогические предикаты Пролога и предикаты работы со строками. Предназначено для студентов III курса ФПМИ (направления подготовки 01.03.02, 02.03.03).
Доп.точки доступа:
Целебровская, М. Ю.
Авдеенко, Т. В.
Программирование в среде Visual Prolog : учебное пособие / Авдеенко Т. В. - Новосибирск : Новосибирский государственный технический университет, 2022. - 46 с. - ISBN 978-5-7782-4689-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
visual prolog -- искусственный интеллект -- исчисления высказываний -- исчисления предикатов -- программирование -- структура данных
Аннотация: Настоящее учебное пособие – это продолжение учебного пособия «Введение в искусственный интеллект и логическое программирование. Программирование в среде Visual Prolog», представляющего собой вводную часть курса по искусственному интеллекту, основной целью которой является изучение модели представления знаний на основе классических логических исчислений – исчисления высказываний и исчисления предикатов. В пособии рассматриваются: работа с рекурсивными структурами данных в Прологе, назначение и применение предиката «Отсечение», а также внелогические предикаты Пролога и предикаты работы со строками. Предназначено для студентов III курса ФПМИ (направления подготовки 01.03.02, 02.03.03).
Доп.точки доступа:
Целебровская, М. Ю.
3.
Подробнее
71596
Козырева, Г. Ф.
Функциональное и логическое программирование : учебно-методическое пособие / Козырева Г. Ф. - Саратов : Ай Пи Эр Медиа, 2018. - 120 с. - ISBN 978-5-4486-0122-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
visual prolog -- логическое программирование -- реализация рекурсии -- среда drracket -- среда пролог -- формализованное описание -- функциональное программирование -- язык racket -- язык программирования
Аннотация: Рассматривается краткий теоретический материал, типовые задачи и контрольные задания по курсу «Функциональное и логическое программирование». Пособие может быть использовано при организации самостоятельной работы студентов по выполнению заданий в среде Visual Prolog и среде DrRacket. Учебно-методическое пособие предназначено для студентов, обучающихся по направлениям «Информатика и вычислительная техника», «Прикладная информатика», образовательной программы «Информатика» направления «Педагогическое образование». Может быть полезно учителям средних образовательных учреждений при проведении элективных курсов данного направления, а также всем, кто интересуется вопросами функционального и логического программирования. Учебно-методическое пособие соответствует ФГОС ВО для бакалавров по дисциплинам «Функциональное и логическое программирование», «Интеллектуальные информационные системы» направлений обучения «Информатика и вычислительная техника», «Прикладная информатика», образовательной программы «Информатика» направления «Педагогическое образование».
Козырева, Г. Ф.
Функциональное и логическое программирование : учебно-методическое пособие / Козырева Г. Ф. - Саратов : Ай Пи Эр Медиа, 2018. - 120 с. - ISBN 978-5-4486-0122-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
visual prolog -- логическое программирование -- реализация рекурсии -- среда drracket -- среда пролог -- формализованное описание -- функциональное программирование -- язык racket -- язык программирования
Аннотация: Рассматривается краткий теоретический материал, типовые задачи и контрольные задания по курсу «Функциональное и логическое программирование». Пособие может быть использовано при организации самостоятельной работы студентов по выполнению заданий в среде Visual Prolog и среде DrRacket. Учебно-методическое пособие предназначено для студентов, обучающихся по направлениям «Информатика и вычислительная техника», «Прикладная информатика», образовательной программы «Информатика» направления «Педагогическое образование». Может быть полезно учителям средних образовательных учреждений при проведении элективных курсов данного направления, а также всем, кто интересуется вопросами функционального и логического программирования. Учебно-методическое пособие соответствует ФГОС ВО для бакалавров по дисциплинам «Функциональное и логическое программирование», «Интеллектуальные информационные системы» направлений обучения «Информатика и вычислительная техника», «Прикладная информатика», образовательной программы «Информатика» направления «Педагогическое образование».
Страница 1, Результатов: 3