Исчисления высказываний и исчисления секвенций, Сергей Гуров
Автор: Сергей Гуров
Доступно в форматах: EPUB | PDF | FB2
Страниц: 124
Год издания: 2013
Язык: Русский
Предлагаемая книга предназначена для читателей с математическим складом ума, начинающих изучать математическую логику как в рамках учебного курса, так и при самообразовании. При изложении материала в данном пособии подчёркиваются алгебраические аспекты логических исчислений. Изложены методы характеризации формул, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций. Для каждой из трёх систем доказываются корректность, полнота и анализируются отличительные особенности выводов теорем. Книга содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
Отзывы
Елена, Самара,
17.05.2017
Искала сайт с хорошими для чтения книгами, чтобы при этом можно было их бесплатно скачать. В поисковике одним из первых был именно этот сайт. По-моему очень удобный сайт и большой выбор литературы на любой вкус))) Буду и дальше им пользоваться.
Инна, Могилев,
16.04.2017
Стыдно сознаться, но не читала многое из литературы в школе. Сейчас вот восполняю. Искала "Исчисления высказываний и исчисления секвенций" для скачивания. Вышел ваш сайт. Не пожалела, что к вам зашла. Одна СМС на телефон - и книга моя! Бесплатно! Спасибо вам за это! Так будет всегда или будет когда-то платный контент?
Те, кто смотрел эту страницу, также интересовались:
Часто задаваемые вопросы
1. Какой формат книги выбрать: PDF, EPUB или FB2?
Тут все зависит от ваших личных предпочтений. На сегодняшний день, каждый из этих типов книг можно открыть как
на компьютере, так и на смартфоне или планшете. Все скачанные с нашего сайта книги будут одинаково открываться
и выглядеть в любом из этих форматов. Если не знаете что выбрать, то для чтения на компьютере выбирайте PDF,
а для смартфона - EPUB.
2. Можно ли книги с вашего сайта читать на смартфоне?
Да. Как для iOS, так и для Android есть много удобных программ для чтения книг.
3. В какой программе открыть файл PDF?
Для открытия файла PDF Вы можете воспользоваться бесплатной программой Acrobat Reader. Она доступна для скачивания на сайте adobe.com