Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9783659359019

Книга ISBN13 9783659359019 - Исчисления высказываний и исчисления секвенций (Сергей Гуров) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Исчисления высказываний и исчисления секвенций
Предлагаемая книга предназначена для читателей с математическим складом ума, начинающих изучать математическую логику как в рамках учебного курса, так и при самообразовании. При изложении материала в данном пособии подчёркиваются алгебраические аспекты логических исчислений. Изложены методы характеризации формул, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций. Для каждой из трёх систем доказываются корректность, полнота и анализируются отличительные особенности выводов теорем. Книга содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
Авторы: Сергей Гуров
Издательство: LAP Lambert Academic Publishing
Год: 2013
Местонахождение: OZON.ru
ISBN: 9783659359019


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.