Математическая логика

Автор(ы)

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

Год

1987

Издательство

Наука. Гл. ред. физ.-мат. лит.

Издание

2-е изд., испр

Язык

rus

Библиографическая ссылка

М.: Наука. Гл. ред. физ.-мат. лит., 1987.— 336 с.

Теги

Программирование

Аннотация

Математическая логика Год : 1987 Автор : Ершов Ю.Л., Палютин Е.А. Жанр : Учеб. пособие для вузов Издательство : М.: Наука Язык : Русский Формат : DjVu Качество : Отсканированные страницы + слой распознанного текста Количество страниц : 336 Описание : В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов. Примеры страниц Оглавление Какой программой открыть книгу? Программы для работы с электронными книгами (краткий справочник) Опубликовано группой