Авторизация | Регистрация
Авторы от А до Я Расширенный поиск

   

   
товара: 0 шт.
на сумму: 0 руб.
пн-пт с 1000 до 1800
8 (499)
973-25-13
Задать вопрос
Каталог изданий
Доставка
Оплата
Математика
Математическая логика. 6-е изд., испр.
Нет в наличии

Математическая логика. 6-е изд., испр.

Автор: Ершов Ю.Л., Палютин Е.А.
ISBN: 978-5-9221-1301-4
Год издания: 2011
Формат книги: 60х90/16
Кол-во страниц: 356
Издательство: Физматлит
Тип обложки: Переплёт
Вес: 500 гр.

Описание

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Близкие по теме книги