Choice of metadata IPR SMART
Page 1, Results: 16
Report on unfulfilled requests: 0
1.
Подробнее
Обретая путь. Павел Флоренский в университетские годы. Том 2 : лабораторный практикум по дисциплине «Технологии обработки информации». - [Б. м.] : Прогресс-Традиция, 2015 - .Обретая путь. Павел Флоренский в университетские годы. Том 2 / Флоренский П. В. - 2015. - 736 с. - ISBN 978-5-89826-455-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 63.3
Аннотация: Издание посвящено годам учебы Павла Флоренского в Императорском Московском университете (1900–1904). Во втором томе отражены события второй половины 1902–1904 гг. В это время происходит формирование личности ученого и философа на фоне драматических событий пролога первой русской революции, в письмах подробно переданы его поиски и устремления накануне и во время водораздельного 1904 года, когда Павел окончательно посвящает свою жизнь Церкви. В издании представлена переписка П.А. Флоренского с семьей, живущей на Кавказе, с сестрой Юлией, обучающейся в Швейцарии, а также с его друзьями А.В. Ельчаниновым, В.Ф. Эрном, Андреем Белым (Б.Н. Бугаевым), Н.Н. Лузиным и другими, большинство материалов впервые представлены читателю. Переписка сопровождается статьями и детальными комментариями, посвященными событиям в общественной жизни России накануне великой трагедии в ее истории, а также различным сторонам деятельности студента Флоренского, обширным иллюстративным материалом. Второй том заключают краткие биографии основных участников переписки, летопись важнейших событий и сводный именной указатель двухтомника. Издание представляет собой своеобразную документальную повесть, основанную на уникальном для отечественной истории корпусе документов, поэтому его можно рекомендовать всем, кто неравнодушен к судьбе отечественной культуры и чувствует свою неразрывную связь с нею, а в особенности молодому поколению и его наставникам-педагогам.
Обретая путь. Павел Флоренский в университетские годы. Том 2 : лабораторный практикум по дисциплине «Технологии обработки информации». - [Б. м.] : Прогресс-Традиция, 2015 - .Обретая путь. Павел Флоренский в университетские годы. Том 2 / Флоренский П. В. - 2015. - 736 с. - ISBN 978-5-89826-455-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Аннотация: Издание посвящено годам учебы Павла Флоренского в Императорском Московском университете (1900–1904). Во втором томе отражены события второй половины 1902–1904 гг. В это время происходит формирование личности ученого и философа на фоне драматических событий пролога первой русской революции, в письмах подробно переданы его поиски и устремления накануне и во время водораздельного 1904 года, когда Павел окончательно посвящает свою жизнь Церкви. В издании представлена переписка П.А. Флоренского с семьей, живущей на Кавказе, с сестрой Юлией, обучающейся в Швейцарии, а также с его друзьями А.В. Ельчаниновым, В.Ф. Эрном, Андреем Белым (Б.Н. Бугаевым), Н.Н. Лузиным и другими, большинство материалов впервые представлены читателю. Переписка сопровождается статьями и детальными комментариями, посвященными событиям в общественной жизни России накануне великой трагедии в ее истории, а также различным сторонам деятельности студента Флоренского, обширным иллюстративным материалом. Второй том заключают краткие биографии основных участников переписки, летопись важнейших событий и сводный именной указатель двухтомника. Издание представляет собой своеобразную документальную повесть, основанную на уникальном для отечественной истории корпусе документов, поэтому его можно рекомендовать всем, кто неравнодушен к судьбе отечественной культуры и чувствует свою неразрывную связь с нею, а в особенности молодому поколению и его наставникам-педагогам.
2.
Подробнее
История кодификации права. Выпуск 1. Клинописные своды законов. «Кодекс Ур-Наммы» : учебно-методическое пособие. - [Б. м.] : Российский университет дружбы народов, 2013 - .История кодификации права. Выпуск 1. Клинописные своды законов. «Кодекс Ур-Наммы» / Трикоз Е. Н. - 2013. - 116 с. - ISBN 978-5-209-04697-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 67.3
Кл.слова (ненормированные):
кодификация права -- Кодекс Ур-Наммы -- клинописное право
Аннотация: Пособие посвящено самому древнему в истории человечества своду законов – «Кодекс Ур-Наммы» (2112–2094 гг. до н.э.), основателя знаменитой III династии Ура, проводившего судебно-правовые реформы в «царстве Шумера и Аккада». Первая часть содержит описание специфической политико-правовой культуры и клинописного права древних шумеров, их концепции «священного царства» и «справедливого правления». Во второй части впервые опубликован полный перевод на русский язык законов Ур-Наммы (с прологом и эпилогом, подробными примечаниями). Подготовлено на кафедре теории и истории государства и права юридического факультета РУДН.
История кодификации права. Выпуск 1. Клинописные своды законов. «Кодекс Ур-Наммы» : учебно-методическое пособие. - [Б. м.] : Российский университет дружбы народов, 2013 - .История кодификации права. Выпуск 1. Клинописные своды законов. «Кодекс Ур-Наммы» / Трикоз Е. Н. - 2013. - 116 с. - ISBN 978-5-209-04697-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
кодификация права -- Кодекс Ур-Наммы -- клинописное право
Аннотация: Пособие посвящено самому древнему в истории человечества своду законов – «Кодекс Ур-Наммы» (2112–2094 гг. до н.э.), основателя знаменитой III династии Ура, проводившего судебно-правовые реформы в «царстве Шумера и Аккада». Первая часть содержит описание специфической политико-правовой культуры и клинописного права древних шумеров, их концепции «священного царства» и «справедливого правления». Во второй части впервые опубликован полный перевод на русский язык законов Ур-Наммы (с прологом и эпилогом, подробными примечаниями). Подготовлено на кафедре теории и истории государства и права юридического факультета РУДН.
3.
Подробнее
Святоотеческое наследие и церковные древности. Том 3: Александрия и Антиохия в истории церковной письменности и богословия : учебно-методический комплекс по специальности 071201 «Библиотечно-информационная деятельность», квалификация «библиотекарь – библиограф, преподаватель», «референт-аналитик информационных ресурсов». - [Б. м.] : Сибирская Благозвонница, 2013 - .Святоотеческое наследие и церковные древности. Том 3: Александрия и Антиохия в истории церковной письменности и богословия / Сидоров А. И. - 2013. - 752 с. - ISBN 978-5-91362-654-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 86.3
Кл.слова (ненормированные):
религия -- христианство -- богословие -- церковная письменность -- история
Аннотация: Православное издательство «Сибирская Благозвонница» выпускает пятитомное собрание трудов известного современного православного ученого-патролога, профессора Московской духовной академии А. И. Сидорова под общим названием «Святоотеческое наследие и церковные древности». Третий том «Александрия и Антиохия в истории церковной письменности и богословия» включает работы, написанные в течение 17 лет — с 1996 по 2012 год; некоторые из них публикуются впервые. В Предисловии и Прологе автор констатирует серьезный пересмотр своей точки зрения на личность и наследие Оригена, произошедший за последние годы. В первой части книги А. И. Сидоров рассматривает историю Александрийской школы христианского богословия на примере жизни и трудов Пантена, Климента Александрийского, свв. Дионисия Великого, Афанасия Великого и Кирилла Александрийского. Вторая часть посвящена Антиохийской традиции церковной письменности; автор, в частности, обращается к произведениям св. Лукиана и свт. Евстафия Антиохийских, Диодора Тарсского, блж. Фео дорита Кирского. Предлагаемая читателям книга будет интересна не только преподавателям и учащимся духовных и теологических учебных заведений, но и всем тем, кого интересуют история Церкви и богословская наука.
Святоотеческое наследие и церковные древности. Том 3: Александрия и Антиохия в истории церковной письменности и богословия : учебно-методический комплекс по специальности 071201 «Библиотечно-информационная деятельность», квалификация «библиотекарь – библиограф, преподаватель», «референт-аналитик информационных ресурсов». - [Б. м.] : Сибирская Благозвонница, 2013 - .Святоотеческое наследие и церковные древности. Том 3: Александрия и Антиохия в истории церковной письменности и богословия / Сидоров А. И. - 2013. - 752 с. - ISBN 978-5-91362-654-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
религия -- христианство -- богословие -- церковная письменность -- история
Аннотация: Православное издательство «Сибирская Благозвонница» выпускает пятитомное собрание трудов известного современного православного ученого-патролога, профессора Московской духовной академии А. И. Сидорова под общим названием «Святоотеческое наследие и церковные древности». Третий том «Александрия и Антиохия в истории церковной письменности и богословия» включает работы, написанные в течение 17 лет — с 1996 по 2012 год; некоторые из них публикуются впервые. В Предисловии и Прологе автор констатирует серьезный пересмотр своей точки зрения на личность и наследие Оригена, произошедший за последние годы. В первой части книги А. И. Сидоров рассматривает историю Александрийской школы христианского богословия на примере жизни и трудов Пантена, Климента Александрийского, свв. Дионисия Великого, Афанасия Великого и Кирилла Александрийского. Вторая часть посвящена Антиохийской традиции церковной письменности; автор, в частности, обращается к произведениям св. Лукиана и свт. Евстафия Антиохийских, Диодора Тарсского, блж. Фео дорита Кирского. Предлагаемая читателям книга будет интересна не только преподавателям и учащимся духовных и теологических учебных заведений, но и всем тем, кого интересуют история Церкви и богословская наука.
4.
Подробнее
Обретая Путь. Павел Флоренский в университетские годы. Том 1 : монография. - [Б. м.] : Прогресс-Традиция, 2011 - .Обретая Путь. Павел Флоренский в университетские годы. Том 1 / Флоренский П. В. - 2011. - 584 с. - ISBN 978-5-89826-323-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 63.3
Кл.слова (ненормированные):
Павел Флоренский -- переписка -- ученый -- философ
Аннотация: Издание посвящено наименее изученному периоду жизни Павла Флоренского – годам его учебы в Московском Императорском университете (1900-1904). В это время происходит формирование личности ученого и философа на фоне драматических событий пролога первой русской революции. В издании представлена переписка этого периода П.А. Флоренского с семьей, живущей на Кавказе, с сестрой Юлией, обучающейся в Швейцарии, а также с его друзьями А.В. Ельчаниновым, В.Ф. Эрном, Андреем Белым (Б.Н. Бугаевым), Н.Н. Лузиным и другими, большинство материалов впервые представлены читателю. Переписка сопровождается статьями и комментариями, посвященными событиям в общественной жизни России накануне великой трагедии в ее истории, а также различным сторонам деятельности студента Флоренского. Перед читателем раскрывается образ юного Флоренского, его поиски и устремления накануне водораздельного 1904 года, когда он окончательно посвящает свою жизнь Церкви. Издание представляет собой своеобразную документальную повесть, основанную на уникальном для отечественной истории корпусе документов, поэтому его можно рекомендовать всем, кто не равнодушен к судьбе отечественной культуры и чувствует свою неразрывную связь с нею, а в особенности молодому поколению и его наставникам-педагогам.
Доп.точки доступа:
Флоренский, П. В.
Олексенко, А. И.
Шапошников, В. А.
Шутова, Т. А.
Милосердова, Л. В.
Обретая Путь. Павел Флоренский в университетские годы. Том 1 : монография. - [Б. м.] : Прогресс-Традиция, 2011 - .Обретая Путь. Павел Флоренский в университетские годы. Том 1 / Флоренский П. В. - 2011. - 584 с. - ISBN 978-5-89826-323-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
Павел Флоренский -- переписка -- ученый -- философ
Аннотация: Издание посвящено наименее изученному периоду жизни Павла Флоренского – годам его учебы в Московском Императорском университете (1900-1904). В это время происходит формирование личности ученого и философа на фоне драматических событий пролога первой русской революции. В издании представлена переписка этого периода П.А. Флоренского с семьей, живущей на Кавказе, с сестрой Юлией, обучающейся в Швейцарии, а также с его друзьями А.В. Ельчаниновым, В.Ф. Эрном, Андреем Белым (Б.Н. Бугаевым), Н.Н. Лузиным и другими, большинство материалов впервые представлены читателю. Переписка сопровождается статьями и комментариями, посвященными событиям в общественной жизни России накануне великой трагедии в ее истории, а также различным сторонам деятельности студента Флоренского. Перед читателем раскрывается образ юного Флоренского, его поиски и устремления накануне водораздельного 1904 года, когда он окончательно посвящает свою жизнь Церкви. Издание представляет собой своеобразную документальную повесть, основанную на уникальном для отечественной истории корпусе документов, поэтому его можно рекомендовать всем, кто не равнодушен к судьбе отечественной культуры и чувствует свою неразрывную связь с нею, а в особенности молодому поколению и его наставникам-педагогам.
Доп.точки доступа:
Флоренский, П. В.
Олексенко, А. И.
Шапошников, В. А.
Шутова, Т. А.
Милосердова, Л. В.
5.
Подробнее
Авдеенко, Т. В.
Программирование в среде 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).
Доп.точки доступа:
Целебровская, М. Ю.
6.
Подробнее
Сотник, С. Л.
Проектирование систем искусственного интеллекта : учебное пособие / Сотник С. Л. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. - 228 с. - ISBN 978-5-4497-0868-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
автоматизированный синтез -- алгоритмическая модель -- искусственный интеллект -- многомерные данные -- распознавание образа -- синтез речи -- экпертная система
Аннотация: Учебное пособие посвящено рассмотрению базовых понятий систем искусственного интеллекта. В издании описываются архитектура систем искусственного интеллекта, системы распознавания образов, вопросы адаптации, обучения и самообучения систем ИИ, персептроны, методы и алгоритмы анализа структуры многомерных данных, неформальные процедуры, алгоритмические модели, основы языков РЕФАЛ и Пролог, ключевые понятия бинарных деревьев, базовые понятия экспертных систем, автоматизированный синтез, поиск физических принципов действия, методы синтеза речи человека.
Сотник, С. Л.
Проектирование систем искусственного интеллекта : учебное пособие / Сотник С. Л. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. - 228 с. - ISBN 978-5-4497-0868-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автоматизированный синтез -- алгоритмическая модель -- искусственный интеллект -- многомерные данные -- распознавание образа -- синтез речи -- экпертная система
Аннотация: Учебное пособие посвящено рассмотрению базовых понятий систем искусственного интеллекта. В издании описываются архитектура систем искусственного интеллекта, системы распознавания образов, вопросы адаптации, обучения и самообучения систем ИИ, персептроны, методы и алгоритмы анализа структуры многомерных данных, неформальные процедуры, алгоритмические модели, основы языков РЕФАЛ и Пролог, ключевые понятия бинарных деревьев, базовые понятия экспертных систем, автоматизированный синтез, поиск физических принципов действия, методы синтеза речи человека.
7.
Подробнее
Барский, А. Б.
Введение в нейронные сети : учебное пособие / Барский А. Б. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 357 с. - ISBN 978-5-4497-0309-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
логическая сеть -- логическое программирование -- математическая логика -- нейронная сеть -- нейросетевая модель -- нейросетевая технология -- принятие решения -- распознавание объекта -- трехмерное моделирование -- язык пролог
Аннотация: Главной целью данного учебного пособия является демонстрация и внедрение универсального подхода, способного вывести проблему нейронных сетей с уровня частного применения на уровень массового использования практически во всех областях знаний, где требуется логически обосновать принимаемое решение. Утверждается, что самый простой подход к построению нейронных сетей на основе реализуемой нейроном «нечёткой» логики (логических нейронных сетей), продиктован практикой ясного мышления человека. Этот подход приводит к построению всего лишь однослойных нейронных сетей с простейшей функцией активации нейрона, при необходимости дополненных обратными связями. На основе положений математической логики событий исследуются нейронные сети, имитирующие механизмы работы мозга. Эти механизмы реализуют операции вывода по «нечеткой» логике в составе систем искусственного интеллекта — распознавания, управления и принятия решений — во всех областях человеческой деятельности. Рассмотрение многих примеров демонстрирует простейший подход к построению и развитию обученных нейронных сетей «под задачу», а также трассировку — обучение при заданной структуре сети.
Барский, А. Б.
Введение в нейронные сети : учебное пособие / Барский А. Б. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 357 с. - ISBN 978-5-4497-0309-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
логическая сеть -- логическое программирование -- математическая логика -- нейронная сеть -- нейросетевая модель -- нейросетевая технология -- принятие решения -- распознавание объекта -- трехмерное моделирование -- язык пролог
Аннотация: Главной целью данного учебного пособия является демонстрация и внедрение универсального подхода, способного вывести проблему нейронных сетей с уровня частного применения на уровень массового использования практически во всех областях знаний, где требуется логически обосновать принимаемое решение. Утверждается, что самый простой подход к построению нейронных сетей на основе реализуемой нейроном «нечёткой» логики (логических нейронных сетей), продиктован практикой ясного мышления человека. Этот подход приводит к построению всего лишь однослойных нейронных сетей с простейшей функцией активации нейрона, при необходимости дополненных обратными связями. На основе положений математической логики событий исследуются нейронные сети, имитирующие механизмы работы мозга. Эти механизмы реализуют операции вывода по «нечеткой» логике в составе систем искусственного интеллекта — распознавания, управления и принятия решений — во всех областях человеческой деятельности. Рассмотрение многих примеров демонстрирует простейший подход к построению и развитию обученных нейронных сетей «под задачу», а также трассировку — обучение при заданной структуре сети.
8.
Подробнее
Шрайнер, П. А.
Основы программирования на языке Пролог : учебное пособие / Шрайнер П. А. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 212 с. - ISBN 978-5-4497-0343-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
pdc пролог -- алгоритм унификации -- декларативное программирование -- искусственный интеллект -- логическое программирование -- программирование -- рекурсия -- терм -- турбо пролог -- язык пролог
Аннотация: Учебное пособие посвящено изучению основ языка логического программирования Пролог. Общие принципы программирования на Прологе изучаются всюду без привязки к конкретной реализации. При выполнении практических заданий предполагается использование Турбо Пролог или PDC Пролог. На взгляд автора, это наиболее используемые и распространенные версии Пролога у нас в стране. Кроме всего прочего, эти версии не предъявляют практически никаких требований к аппаратной части компьютера.
Шрайнер, П. А.
Основы программирования на языке Пролог : учебное пособие / Шрайнер П. А. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 212 с. - ISBN 978-5-4497-0343-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
pdc пролог -- алгоритм унификации -- декларативное программирование -- искусственный интеллект -- логическое программирование -- программирование -- рекурсия -- терм -- турбо пролог -- язык пролог
Аннотация: Учебное пособие посвящено изучению основ языка логического программирования Пролог. Общие принципы программирования на Прологе изучаются всюду без привязки к конкретной реализации. При выполнении практических заданий предполагается использование Турбо Пролог или PDC Пролог. На взгляд автора, это наиболее используемые и распространенные версии Пролога у нас в стране. Кроме всего прочего, эти версии не предъявляют практически никаких требований к аппаратной части компьютера.
9.
Подробнее
Ефимова, Е. А.
Основы программирования на языке Visual Prolog : учебное пособие / Ефимова Е. А. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Эр Медиа, 2019. - 265 с. - ISBN 978-5-4486-0517-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
visual prolog -- логическое программирование -- управление перебором -- язык запросов -- язык пролог
Аннотация: В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка Visual Prolog. Предназначен для начинающих. Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 7.x. Изложение сопровождается большим количеством примеров программ. Приводятся списки упражнений для самостоятельной работы. Курс предназначен для студентов, специализирующихся в области информационных технологий, прикладной математики и информатики, программной инженерии, разработки и анализа интеллектуальных систем, программистов и всех, интересующихся практическим использованием логического программирования.
Ефимова, Е. А.
Основы программирования на языке Visual Prolog : учебное пособие / Ефимова Е. А. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Эр Медиа, 2019. - 265 с. - ISBN 978-5-4486-0517-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
visual prolog -- логическое программирование -- управление перебором -- язык запросов -- язык пролог
Аннотация: В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка Visual Prolog. Предназначен для начинающих. Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 7.x. Изложение сопровождается большим количеством примеров программ. Приводятся списки упражнений для самостоятельной работы. Курс предназначен для студентов, специализирующихся в области информационных технологий, прикладной математики и информатики, программной инженерии, разработки и анализа интеллектуальных систем, программистов и всех, интересующихся практическим использованием логического программирования.
10.
Подробнее
Хворостухина, Е. В.
Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
логика -- математика -- метод резолюций -- равносильные формулы -- теория множеств
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
Хворостухина, Е. В.
Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
логика -- математика -- метод резолюций -- равносильные формулы -- теория множеств
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
Page 1, Results: 16