Написать рефераты, курсовые и дипломы самостоятельно. Антиплагиат.
Студенточка.ru: на главную страницу. Написать самостоятельно рефераты, курсовые, дипломы в кратчайшие сроки
Рефераты, курсовые, дипломные работы студентов: научиться писать самостоятельно.
Контакты Образцы работ Бесплатные материалы
Консультации Специальности Банк рефератов
Карта сайта Статьи Подбор литературы
Научим писать рефераты, курсовые и дипломы.


подбор литературы периодические источники литература по предмету

Исчисление высказываний и логическое программирование


Похожие книги   Готовые работы

Год выпуска: 2012
Автор: Владимир Кулаков
Издательство: LAP Lambert Academic Publishing
Страниц: 156
ISBN: 9783659112256
Описание
 В настоящее время языки логического программирования базируются на логике предикатов первого порядка, но назрела необходимость использования в программировании логики второго порядка. Для построения соответствующего языка необходимо проанализировать математическую логику, языки логического программирования, некоторые математические понятия и концепции. Первым шагом на этом пути является анализ исчисления высказываний, который лучше всего делать путём сравнения различных подходов с анализом и прояснением встречающихся проблем, понятий и терминов. Это и сделано в данной книге: рассмотрены современные и традиционные подходы к математической логике (исчислению высказываний). Подробно рассмотрено такое понятие как рекурсия. Много внимания уделено проблеме выполнимости - рассмотрено несколько алгоритмов и, естественно, особое внимание уделено методу резолюций. Кроме того, в начале работы достаточно подробно рассмотрены парадоксы, а в конце хорновские дизъюнкты. Для студентов,...

Похожие книги

  1. Б.Н. Кузык, В.И. Кушлин, Ю.В. Яковец. Прогнозирование, стратегическое планирование и национальное программирование. – М.: Экономика, 2011. – 606 с.
  2. В.А. Иванов, В.С. Медведев. Математические основы теории оптимального и логического управления. – М.: МГТУ им. Н. Э. Баумана, 2011. – 600 с.
  3. Н.И. Цуканова, Т.А. Дмитриева. Логическое программирование на языке Visual Prolog. – М.: Горячая Линия - Телеком, 2008. – 144 с.
  4. А.Л. Ездаков. Функциональное и логическое программирование. – М.: Бином. Лаборатория знаний, 2009. – 120 с.
  5. Г.М. Сергиевский, Н.Г. Волченков. Функциональное и логическое программирование. – М.: Академия, 2010. – 320 с.
  6. И.Г. Головин, И.А. Волкова. Языки и методы программирования. – М.: Академия, 2012. – 304 с.
  7. Елена Бортникова. Развиваем внимание и логическое мышление. Для детей 5-6 лет. Тетрадь. – М.: Литур-К, 2014. – 32 с.
  8. А.Л. Ездаков. Функциональное и логическое программирование. – М.: Бином. Лаборатория знаний, 2016. – 120 с.
  9. Н.И. Цуканова, Т.А. Дмитриева. Теория и практика логического программирования на языке Visual Prolog 7. – М.: Горячая Линия - Телеком, 2011. – 232 с.
  10. В.И. Кондауров. Процесс формирования научного знания (онтологический, гносеологический и логический аспекты). – М.: Инфра-М, 2013. – 128 с.
  11. Г.Фреге. Логика и логическая семантика. – М.: Либроком, 2015. – 514 с.
  12. Дмитрий Магола. Логическое программирование в среде Visual Prolog. – М.: Palmarium Academic Publishing, 2014. – 136 с.
  13. Владимир Кулаков. Исчисление высказываний и логическое программирование. – М.: LAP Lambert Academic Publishing, 2012. – 156 с.
  14. Сергей Гуров. Исчисления высказываний и исчисления секвенций. – М.: LAP Lambert Academic Publishing, 2013. – 124 с.
  15. В.Н. Марков. Современное логическое программирование на языке Visual Prolog 7.5. Учебник. – СПб.: БХВ-Петербург, 2016. – 544 с.
  16. Елена Бортникова. Развиваем внимание и логическое мышление. Тетрадь. Для детей 5-6 лет. – М.: Литур-К, 2016. – 32 с.
  17. Пухначев Ю.В., Попов Ю.П. Математика без формул. Книга вторая: Функциональные ряды, линейное и метрическое пространства, аффинные преобразования, группы преобразований, исчисление высказываний и предикатов. – М.: , 2016. –  с.

Посмотреть другие результаты поиска

Образцы работ

Тема и предметТип и объем работы
Экспертные системы
Программирование 		Реферат
13 стр.
НДС
Налогообложение 		Диплом
144 стр.
Понятие о логической форме на примере суждения и умозаключения
Философия 		Реферат
15 стр.
Логика и философия
Логика 		Реферат
23 стр.

Искать другие темы


Задайте свой вопрос по вашей теме

Гладышева Марина Михайловна

marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Контакты
marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Поделиться
Мы в социальных сетях
Реклама



Отзывы
Алексей
Диплом после вашего сопровождения сдал на 4, огромное Вам спасибо, Вы спасли мой мозг!