Информация о книге

9783659112256

Главная  » Научно-техническая литература » Математика. Естественные науки » Математика » Алгебра » Исчисление высказываний и логическое программирование

Кулаков В.Г., Исчисление высказываний и логическое программирование

LAP Lambert Academic Publishing, 2012 г., 156 стр., 9783659112256


Описание книги

В настоящее время языки логического программирования базируются на логике предикатов первого порядка, но назрела необходимость использования в программировании логики второго порядка. Для построения соответствующего языка необходимо проанализировать математическую логику, языки логического программирования, некоторые математические понятия и концепции. Первым шагом на этом пути является анализ исчисления высказываний, который лучше всего делать путём сравнения различных подходов с анализом и прояснением встречающихся проблем, понятий и терминов. Это и сделано в данной книге: рассмотрены современные и традиционные подходы к математической логике (исчислению высказываний). Подробно рассмотрено такое понятие как рекурсия. Много внимания уделено проблеме выполнимости - рассмотрено несколько алгоритмов и, естественно, особое внимание уделено методу резолюций. Кроме того, в начале работы достаточно подробно рассмотрены парадоксы, а в конце хорновские дизъюнкты. Для студентов,...

Поделиться ссылкой на книгу




Об авторе

Кулаков В.Г.


Последние поступления в рубрике "Алгебра"



Удовольствие от x. Увлекательная экскурсия в мир математики от одного из лучших преподавателей в мир Удовольствие от x. Увлекательная экскурсия в мир математики от одного из лучших преподавателей в мир 

Благодаря этой невероятно легкой и увлекательной книге вы сможете вспомнить или открыть для себя заново увлекательный мир математики: начиная с того, зачем вообще нужны цифры и далее к таким темам, как геометрия, интегральное исчисление, статистика и бесконечность....

Математика для гуманитариев. Живые лекции Математика для гуманитариев. Живые лекции Савватеев А.

Книга, которую вы держите в руках, необычна: это лекции в режиме реального времени. Стиль повествования позволяет воссоздать атмосферу, царившую в аудитории, ведь на бумагу практически без шлифовки перенесены не только слова лектора, но и догадки и комментарии слушателей....

Взаимодействие физики и математики. Сборник научно-популярных статей Взаимодействие физики и математики. Сборник научно-популярных статей Маневич Л.И.

В книге рассматриваются важные аспекты взаимодействия физики и математики, существенно повлиявшие на выбор путей их развития....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Кулаков В.Г., Исчисление высказываний и логическое программирование в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.