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...
Springer, 2013. — 423 p. — (Cognitive Technologies). — ISBN 978-3-642-37746-4. Дедуктивная электронная таблица В этой книге описываются недавние междисциплинарные исследования на стыке областей логического программирования, теории баз данных и взаимодействия человека с компьютером. Целью этих усилий было разработать основу дедуктивной электронной таблицы, приложения для...
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, 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, 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...
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...
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...
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...
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...
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...
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...
М.: Радио и связь, 1989. — 131 с. — ISBN: 5-256-00338-0. Рассмотрен новый подход к созданию и использованию баз данных (БД) в системах обработки информации, основанных на отображении временных рядов. Анализируются состояние и тенденции развития информационного обеспечения в системах обработки данных. Рассматриваются проблемы применения БД для приложений, характеризующихся...
Учеб. пособие. – Пенза: Изд-во Пенз. гос. техн. ун-та. – 1997. – 88 с. Рассматриваются вопросы использования языка логического программирования Пролог в сетевой технологии проектирования распределенных вычислительных систем и сетей. Приводится описание предикатных сетей, интерпретируемых на языке Пролог, примеры спецификации и моделирования вычислительных систем, процессов и...
М.: Советское радио, 1967. — 325 с.
Предисловие
Введение
Некоторые сведения из кибернетики и математической логики
Основные сведения об устройстве электронных вычислительных машин и программировании
Алгоритмический язык для программирования экономических и математических задач
Алгоритмический язык АЛГОЛ-60
Алгоритмический язык АЛГЭМ для программирования...
Учебное пособие. - Алт. гос. техн. ун-т им. И. И. Ползунова. Центр дистанционного
обучения. Барнаул: 1999. - 148с.
Данное учебное пособие предназначено для дистанционного изучения дисциплины
«Функциональное и логическое программирование». Рассматриваются вопросы
программирования на языке Лисп, применение этого языка для обработки
математических выражений в системе Reduce-З и...
В.Г.Крылов - Основы логического программирования. Учебное пособие Екатеринбург, 2009 г. - 62 стр. Уральский государственный экономический университет Кафедра информатики и эконометрики Содержание: Основы логического программирования Введение Предложения: факты и правила Запросы Предикаты Переменные Основные секции программы Основные стандартные домены Поиск с возвратом...
Наглядное пособие. — СПб.: СПбГТУ, 2010. — 483 с. Курс состоит из двух частей: теоретические основы проектирования самосинхронных схем и применение многозначной логики при проектировании аналоговых устройств управления, заданных средствами «размытой, или нечеткой» логики. В основном излагается оригинальный материал, ранее не представленный в программах Российских университетов....
Наглядное пособие. — СПбГТУ, 2010. — 357 слайдов. Курс состоит из двух частей: теоретические основы проектирования самосинхронных схем и применение многозначной логики при проектировании аналоговых устройств управления, заданных средствами «размытой, или нечеткой» логики. В основном излагается оригинальный материал, ранее не представленный в программах Российских университетов....
СПб.: Профессиональная литература, 2014. — 400 c. В книге излагаются вопросы построения формальных динамических моделей асинхронных параллельных процессов. При этом рассматриваемые процессы могут относится к различным прикладным областям ,например, к вычислениям, управлению, интерфейсам, программированию, робототехнике или искусственному интеллекту.
Учебное пособие. - Новосибирск: НГТУ, 2006. - 60 с. В настоящем учебном пособии излагаются базовые принципы логического и функционального программирования. Пособие разработано на кафедре вычислительной техники Новосибирского государственного технического университета. Предложения: факты и правила Запросы Предикаты Переменные Основные секции программы Основные стандартные домены...
Учебное пособие. — Томск: Томский политехнический университет, 2008. — 112 с. В пособии изложены современные подходы к программированию систем управления информационными комплексами. Представлен теоретический аппарат, необходимый для успешной работы в различных подобластях Искусственного Интеллекта. Рассмотрены современные трактовки парадигмы наиболее популярного в настоящее время...
Учебное пособие. — Ярославль: ЯрГУ, 2007. — 144 с. Учебное пособие знакомит с одним из интереснейших направлений в развитии языков программирования языками типа модели Маркова, которые называют языками логического программирования, а также функционального программирования или искусственного интеллекта. С целью усвоения материала и развития алгоритмических навыков в каждой главе...
2-е изд. — М.: Интуит, 2016. — 125 с. Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой...
Учебное пособие для ВУЗов. — М.: Академия, 2010. — 320 с. — ISBN 978-5-7695-6433-8. Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить...
Москва: б.и., 2009. — 136 с. Зачем программировать на Лого? Зачем программировать? Зачем программировать на Лого? Зачем читать книги о программировании на Лого? Предварительные замечания. Типы данных. Слова. Числа, они же слова. Списки. Команды, датчики, инструкции. Как нарисовать параболу. Пользовательские процедуры. Как общаться с пользователем. Переменные: локальные. Как...
М.: Мир, 1988. — 348 с. — ISBN: 5-03-000490-4 Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализации языков логического программирования и их применения. Материал тщательно отобран, приводится много примеров,...
М.: Мир, 1992. — 352 с.: ил. В книге известных итальянских и австрийских специалистов систематически изложены подходы к построению дедуктивных баз данных, которые были разработаны с их участием в рамках европейских проектов по созданию новых поколений вычислительных систем. Особенность книги - удачное сочетание теоретических основ и технологии построения основных компонентов...
Иркутск: Изд-во ИГУ, 2013. — 107 с.
В пособии представлены лекционные материалы и лабораторные работы курса "Рекурсивно-логическое программирование": базовые термины искусственного интеллекта, задачи, методы и их свойства; основы рекурсивно-логического программирования на языке Пролог; типичные задачи, решение которых лаконично представляется как рекурсивные и переборные...
Складено згідно з програмою з курсу для студентів з спеціальності "Програмне забезпечення автоматизованих систем" і призначене для самостійної роботи студентами денної та заочної форми навчання
Комментарии