Главная / Компьютеры / Математическая логика

Скачать книгу «Математическая логика» бесплатно

Математическая логика
  • Автор: Ершов
  • Издательство: Наука
  • Год издания: 1987
  • Формат: PDF
  • Язык: Русский
Описание

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

Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Метки: Алгебра, Математика, Теория чисел
Скачать "Математическая логика. Ершов" :
Оставьте свое мнение (новые комментарии появляются примерно через час, после модерации)