RUSSIAN

Математическая логика. Учебное пособие для вузов

By Ершов Ю.Л. , Палютин Е.А.

Book information

Publisher
Наука
Year
1987
Language
russian
Format
PDF
Filesize
15 MB (15231481 bytes)
Pages
\336
Time added
2017-06-25 01:27:07

Description

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

Similar books