Кислов А.В., Ольховиков Г., Уколов С.С., Логика высказываний
Издательство Уральского университета, 2012 г., 116 стр., 9785799607739
Описание книги
Поделиться ссылкой на книгу
Содержание книги
ОТ АВТОРОВ......5 Глава 1. ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ § 1. Высказывания......8 § 2. Логические связи между высказываниями......10 § 3. Синтаксис логики высказываний......15 § 4. Семантика классической логики высказываний......21 § 5. Метод истинностных таблиц......24 § 6. Классификация формул......27 § 7. Логические отношения между формулами......30 § 8. Метод приведения к абсурду......33 § 9. Метод аналитических таблиц......36 Глава 2. АЛГЕБРА ЛОГИКИ ВЫСКАЗЫВАНИЙ § 10. Что такое алгебра......39 § 11. Нормальные формы......54 § 12. Соотношение алгебры классической логики высказываний с другими видами булевых алгебр......59 § 13. Совершенные нормальные формы......65 § 14. Дополнительные связки......70 Глава 3. АКСИОМАТИЧЕСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ § 15. Содержательная и формальная аксиоматика......75 § 16. Аксиомы
основные определения и теоремы......77 Глава 4. ИСЧИСЛЕНИЕ НАТУРАЛЬНЫХ ВЫВОДОВ В ЛОГИКЕ ВЫСКАЗЫВАНИЙ § 17. Неформальные соображения......83 § 18. Определения......89 § 19. Правила заключения и выводы натурального исчисления высказываний......92 § 20. Некоторые теоремы и производные правила......96 § 21. Теоремы о непротиворечивости и полноте......100 § 22. Некоторые эвристические соображения......104 § 23. Дальнейшее обсуждение......109 РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА......114
Об авторе
Последние поступления в рубрике "Электронные книги, аудиокниги"
 |
Tod eines Soldaten Klinkhammer ". |
 |
Seltene Hunderassen aus aller Welt Frey F. |
 |
Vulpes Lupus Canis Gajaze K. |
Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Кислов А.В., Ольховиков Г., Уколов С.С., Логика высказываний в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.
