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

9783659359019

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

Гуров С.А., Исчисления высказываний и исчисления секвенций

LAP Lambert Academic Publishing, 2013 г., 124 стр., 9783659359019


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

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

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




Об авторе


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



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

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

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

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

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

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

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