МАИ.
Факультет прикладной математики.
Кафедра вычислительной математики и программирования.
Объем: 111стр.
Содержание:
Парадигмы.
Системы логического программирования.
Логика и исчисление предикатов.
Логическое программирование как алгоритмическая модель.
Типизированное логическое программирование.
Языки программирование Prolog и Mercury.
Рекурсивные структуры данных....
К.: Техника, 1980. -79с., ил. Рассказывается о применении ЭВМ для решения некоторых невычислительных задач. Показано, как вычислительные машины выступают соперником человека в играх, как они решают логические задачи, как с их помощью моделируется распознавание простейших образов, обсуждается использование ЭВМ в исследовании некоторого класса искусственных эволюций.
CRC Press, 2018. — 451 p. — ISBN10: 1498735282, 13 978-1498735285. Recursion is one of the most fundamental concepts in computer science and a key programming technique that allows computations to be carried out repeatedly. Despite the importance of recursion for algorithm design, most programming books do not cover the topic in detail, despite the fact that numerous computer...
Монография. — Перевод с английского Л.Г. Осмоловского, В.Э. Вольфенгагена, В.Я. Яцука. — С предисловием и примечаниями Д.А. Поспелова. — Москва: Наука, Главная редакция физико-математической литературы, 1990. — 280 с. — (Проблемы искусственного интеллекта). Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в...
М.: Мир, 1988. — 348 с. Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализации языков логического программирования и их применения. Материал тщательно отобран, приводится много примеров, облегчающих усвоение...
Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др. ), методы реализации и проекты машинных архитектур. В сборник включен специально написанный...
Книга известных специалистов в области математической логики и логического программирования (Греция, США). Излагаются основные понятия и принципы математической логики. Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода. На...
Учебное пособие. - Новосибирск: НГТУ, 2006. - 60 с. В настоящем учебном пособии излагаются базовые принципы логического и функционального программирования. Пособие разработано на кафедре вычислительной техники Новосибирского государственного технического университета. Предложения: факты и правила Запросы Предикаты Переменные Основные секции программы Основные стандартные домены...
2-е изд. — М.: Интуит, 2016. — 125 с. Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой...
Учебное пособие. - Алт. гос. техн. ун-т им. И. И. Ползунова. Центр дистанционного
обучения. Барнаул: 1999. - 148с.
Данное учебное пособие предназначено для дистанционного изучения дисциплины
«Функциональное и логическое программирование». Рассматриваются вопросы
программирования на языке Лисп, применение этого языка для обработки
математических выражений в системе Reduce-З и...
СПб.: Профессиональная литература, 2014. — 400 c. В книге излагаются вопросы построения формальных динамических моделей асинхронных параллельных процессов. При этом рассматриваемые процессы могут относится к различным прикладным областям ,например, к вычислениям, управлению, интерфейсам, программированию, робототехнике или искусственному интеллекту.
Пер. с англ. под ред. к.ф.м.н. В.А. Захарова и академика В.А. Садовничего. — М.: Изд-во "Факториал", 1998. — 288 с. — ISBN: 5-88688-037-2. Книга известных специалистов в области математической логики и логического программирования (Греция, США). Излагаются основные понятия и принципы математической логики. Основное внимание уделяется вопросам применения языка математической...
М.: Мир, 1988. — 348 с. — ISBN: 5-03-000490-4 Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализации языков логического программирования и их применения. Материал тщательно отобран, приводится много примеров,...
М.: Советское радио, 1967. — 325 с.
Предисловие
Введение
Некоторые сведения из кибернетики и математической логики
Основные сведения об устройстве электронных вычислительных машин и программировании
Алгоритмический язык для программирования экономических и математических задач
Алгоритмический язык АЛГОЛ-60
Алгоритмический язык АЛГЭМ для программирования...
Springer, 1987. - 212 pages.
This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. Its purpose is to collect, in a unified and comprehensive manner, the basic theoretical results of Logic Programming, which have previously only been available in widely scattered research papers. In addition to presenting the...
В.Г.Крылов - Основы логического программирования. Учебное пособие Екатеринбург, 2009 г. - 62 стр. Уральский государственный экономический университет Кафедра информатики и эконометрики Содержание: Основы логического программирования Введение Предложения: факты и правила Запросы Предикаты Переменные Основные секции программы Основные стандартные домены Поиск с возвратом...
М.: Мир, 1992. — 352 с.: ил. В книге известных итальянских и австрийских специалистов систематически изложены подходы к построению дедуктивных баз данных, которые были разработаны с их участием в рамках европейских проектов по созданию новых поколений вычислительных систем. Особенность книги - удачное сочетание теоретических основ и технологии построения основных компонентов...
Наглядное пособие. — СПб.: СПбГТУ, 2010. — 483 с. Курс состоит из двух частей: теоретические основы проектирования самосинхронных схем и применение многозначной логики при проектировании аналоговых устройств управления, заданных средствами «размытой, или нечеткой» логики. В основном излагается оригинальный материал, ранее не представленный в программах Российских университетов....
Morgan & Claypool, 2020. — 220 p. — (Synthesis Lectures on Artificial Intelligence and Machine Learning). — ISBN: 978-1681737225. Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has been growing interest in Logic Programming due to applications in deductive databases,...
Morgan & Claypool, 2018. — 615 p. — (ACM Books, 20). — ISBN: 978-1-97000-199-0, 978-1-97000-196-9, 978-1-97000-197-6. Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and...
Учеб. пособие. – Пенза: Изд-во Пенз. гос. техн. ун-та. – 1997. – 88 с. Рассматриваются вопросы использования языка логического программирования Пролог в сетевой технологии проектирования распределенных вычислительных систем и сетей. Приводится описание предикатных сетей, интерпретируемых на языке Пролог, примеры спецификации и моделирования вычислительных систем, процессов и...
Иркутск: Изд-во ИГУ, 2013. — 107 с.
В пособии представлены лекционные материалы и лабораторные работы курса "Рекурсивно-логическое программирование": базовые термины искусственного интеллекта, задачи, методы и их свойства; основы рекурсивно-логического программирования на языке Пролог; типичные задачи, решение которых лаконично представляется как рекурсивные и переборные...
Минск: Белорусский государственный университет информатики и радиоэлектроники, 2002. — 27 с. В методическом пособии изложены основы функционального программирование на примере языка Лисп. Приведены сведения о системе программирования muLisp и описаны основные функции языка Лисп. Для студентов специальности Т10.02.00 "Программное обеспечение информационных технологий"
М.: Мир, 1992. — 352 с., ил. В книге известных итальянских и австрийских специалистов систематически изложены подходы к построению дедуктивных баз данных, которые были разработаны с их участием в рамках европейских проектов по созданию новых поколений вычислительных систем. Особенность книги - удачное сочетание теоретических основ и технологии построения основных компонентов...
Складено згідно з програмою з курсу для студентів з спеціальності "Програмне забезпечення автоматизованих систем" і призначене для самостійної роботи студентами денної та заочної форми навчання
М.: Наука, 1989. — 160 с. Неформальные процедуры, выполняемые человеком, обладают рядом специфических особенностей, существенно затрудняющих их представление в ЭВМ с помощью алгоритмических языков программирования. Предлагаемая книга посвящена исследованию неалгоритмических аспектов представления неформальных процедур. В качестве модели представления знаний используется...
Учебное пособие для ВУЗов. — М.: Академия, 2010. — 320 с. — ISBN 978-5-7695-6433-8. Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить...
Наглядное пособие. — СПбГТУ, 2010. — 357 слайдов. Курс состоит из двух частей: теоретические основы проектирования самосинхронных схем и применение многозначной логики при проектировании аналоговых устройств управления, заданных средствами «размытой, или нечеткой» логики. В основном излагается оригинальный материал, ранее не представленный в программах Российских университетов....
Учебное пособие. — Томск: Томский политехнический университет, 2008. — 112 с. В пособии изложены современные подходы к программированию систем управления информационными комплексами. Представлен теоретический аппарат, необходимый для успешной работы в различных подобластях Искусственного Интеллекта. Рассмотрены современные трактовки парадигмы наиболее популярного в настоящее время...
Morgan & Claypool, 2014. — 230 p. — ISBN: 978-1627052559 General game players are computer systems able to play strategy games based solely on formal game descriptions supplied at "runtime" (n other words, they don't know the rules until the game starts). Unlike specialized game players, such as Deep Blue, general game players cannot rely on algorithms designed in advance for...
Минск: Институт технической кибернетики НАН Беларуси, 2001. — 200 с. — ISBN: 985-6453-71-2. При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи оптимального представления булевых функций и систем полиномами Жегалкина и Рида-Маллера. Эта комбинаторная задача существенно усложняется в случае не полностью определенных булевых...
Симферополь: ФГАОУ ВО «Крымский федеральный университет имени В. И. Вернадского», 2016. ― 54 с. Пособие содержит учебно-методический материал и задания по практической части курса «Логическое программирование». Предназначено для студентов 3-го курса направления подготовки 01.03.02 — Прикладная математика и информатика. Содержание: Основы программирования на Прологе....
Springer, 2002. — 207 p. — ISBN 978-1-4612-6542-9. An understanding of modern computer logic - incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic circuits - is fundamental to further study of computer architectures, system software, and computer networks. Computer Logic: Design Principles and Applications introduces and...
Springer, 2004. - 1159 p. ISBN: 3540229892 This book constitutes the refereed proceedings of the 14th International Conference on Field-Programmable Logic, FPL 2003, held in Leuven, Belgium in August/September 2004. The 78 revised full papers, 45 revised short papers, and 29 poster abstracts presented together with 3 keynote contributions and 3 tutorial summaries were carefully...
CRC Press, 2017. — 414 p. — ISBN: 978-1-4987-3528-5. Recursion is one of the most fundamental concepts in computer science and a key programming technique that allows computations to be carried out repeatedly. Despite the importance of recursion for algorithm design, most programming books do not cover the topic in detail, despite the fact that numerous computer programming...
Москва: б.и., 2009. — 136 с. Зачем программировать на Лого? Зачем программировать? Зачем программировать на Лого? Зачем читать книги о программировании на Лого? Предварительные замечания. Типы данных. Слова. Числа, они же слова. Списки. Команды, датчики, инструкции. Как нарисовать параболу. Пользовательские процедуры. Как общаться с пользователем. Переменные: локальные. Как...
Учебное пособие для ВУЗов. — М.: Академия, 2010. — 320 с. — ISBN 978-5-7695-6433-8. Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить...
Springer-Verlag, 1994. - 433 p. ISBN: 3540584196 This volume contains the proceedings of the 4th International Workshop on Field-Programmable Logic and Applications (FPL '94), held in Prague, Czech Republic in September 1994. The growing importance of field-programmable devices is substantiated by the remarkably high number of 116 submissions for FPL '94; from them, the revised...
Boca Raton: CRC Press, 2011. — 305 p. About the Authors Order and Logic Ordered Sets and Fixed-Point Theorems First-Order Predicate Logic Ordered Spaces of Valuations The Semantics of Logic Programs Logic Programs and Their Models Supported Models Stable Models Fitting Models Perfect Models Well-Founded Models Topology and Logic Programming Convergence Spaces and Convergence...
CRC Press, 2017. — 414 p. — ISBN: 978-1-4987-3528-5. Recursion is one of the most fundamental concepts in computer science and a key programming technique that allows computations to be carried out repeatedly. Despite the importance of recursion for algorithm design, most programming books do not cover the topic in detail, despite the fact that numerous computer programming...
Москва: Мир, 1988. — 368 с. Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др.), методы реализации и проекты машинных архитектур. В сборник...
Springer, 2013. — 423 p. — (Cognitive Technologies). — ISBN 978-3-642-37746-4. Дедуктивная электронная таблица В этой книге описываются недавние междисциплинарные исследования на стыке областей логического программирования, теории баз данных и взаимодействия человека с компьютером. Целью этих усилий было разработать основу дедуктивной электронной таблицы, приложения для...
Association for Computing Machinery and Morgan & Claypool Publishers, 2018. — 615 p. — (ACM Books, 20). — ISBN: 978-1-97000-199-0, 978-1-97000-196-9, ISBN: 978-1-97000-197-6, 978-1-97000-198-3. Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by...
Morgan & Claypool Publishers, 2018. — 520 p. — (ACM Books, 20). — ISBN: 978-1-97000-197-6 eBook. Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stimulating...
Учебное пособие. — Ярославль: ЯрГУ, 2007. — 144 с. Учебное пособие знакомит с одним из интереснейших направлений в развитии языков программирования языками типа модели Маркова, которые называют языками логического программирования, а также функционального программирования или искусственного интеллекта. С целью усвоения материала и развития алгоритмических навыков в каждой главе...
21st International Conference, ILP 2011. Windsor Great Park, UK, July 31 – August 3, 2011. Revised Selected Papers. — Springer-Verlag Berlin Heidelberg, 2012. — 416 p. — ISBN 978-3-642-31950-1, e-ISBN 978-3-642-31951-8 The ILP 2011 conference held in Cumberland Lodge, Great Windsor Park, marked 20 years since the first ILP workshop in 1991. During this period the conference has...
М.: Радио и связь, 1989. — 131 с. — ISBN: 5-256-00338-0. Рассмотрен новый подход к созданию и использованию баз данных (БД) в системах обработки информации, основанных на отображении временных рядов. Анализируются состояние и тенденции развития информационного обеспечения в системах обработки данных. Рассматриваются проблемы применения БД для приложений, характеризующихся...
2-е изд., испр. — М.: Интуит, 2016. — 125 с. Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой...
Springer, 2001. — 328 p. — ISBN: 978-3540419501 Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and...
Springer, 2018. — 341 p. This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume...
Morgan & Claypool Publishers, 2018. — 520 p. — (ACM Books, 20). — ISBN: 978-1-97000-197-6 eBook. Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stimulating...
М.: Радио и связь, 1989. — 131 с. — ISBN: 5-256-00338-0. Рассмотрен новый подход к созданию и использованию баз данных (БД) в системах обработки информации, основанных на отображении временных рядов. Анализируются состояние и тенденции развития информационного обеспечения в системах обработки данных. Рассматриваются проблемы применения БД для приложений, характеризующихся...
Springer, 2013. — 423 p. — (Cognitive Technologies). — ISBN 978-3-642-37746-4. Дедуктивная электронная таблица В этой книге описываются недавние междисциплинарные исследования на стыке областей логического программирования, теории баз данных и взаимодействия человека с компьютером. Целью этих усилий было разработать основу дедуктивной электронной таблицы, приложения для...
Комментарии