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