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

Исчисления высказываний и исчисления секвенций, Сергей Гуров
Автор: Сергей Гуров
Доступно в форматах: EPUB | PDF | FB2
Страниц: 124
Год издания: 2013
Язык: Русский
Предлагаемая книга предназначена для читателей с математическим складом ума, начинающих изучать математическую логику как в рамках учебного курса, так и при самообразовании. При изложении материала в данном пособии подчёркиваются алгебраические аспекты логических исчислений. Изложены методы характеризации формул, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций. Для каждой из трёх систем доказываются корректность, полнота и анализируются отличительные особенности выводов теорем. Книга содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.

Отзывы


Те, кто смотрел эту страницу, также интересовались:

Биология. Человек и его здоровье. 8 класс. Рабочая тетрадь, Н. Ф. Бодрова
Биология. Человек и его здоровье. 8 класс. Рабочая тетрадь, Н. Ф. Бодрова
Принцессы, феи и немного праздника! Найди и раскрась!
Принцессы, феи и немного праздника! Найди и раскрась!
Интерактивные образовательные технологии. Учебное пособие, И. В. Плаксина
Интерактивные образовательные технологии. Учебное пособие, И. В. Плаксина

Часто задаваемые вопросы

1. Какой формат книги выбрать: PDF, EPUB или FB2?
Тут все зависит от ваших личных предпочтений. На сегодняшний день, каждый из этих типов книг можно открыть как на компьютере, так и на смартфоне или планшете. Все скачанные с нашего сайта книги будут одинаково открываться и выглядеть в любом из этих форматов. Если не знаете что выбрать, то для чтения на компьютере выбирайте PDF, а для смартфона - EPUB.

2. Можно ли книги с вашего сайта читать на смартфоне?
Да. Как для iOS, так и для Android есть много удобных программ для чтения книг.

3. В какой программе открыть файл PDF?
Для открытия файла PDF Вы можете воспользоваться бесплатной программой Acrobat Reader. Она доступна для скачивания на сайте adobe.com