Зарегистрироваться

Ершов Юрий Леонидович

Ученый в области алгебры и математической логики, информатики и прикладной логики

Произведения автора

Название Год Текст Тип Действия
1. Математическая логика
Ершов Ю.Л., Палютин Е.А.
1987 Учебное пособие
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может...
Категория знаний: Математическая логика