X
Расширенный поиск
Все разделы
Корзина
у вас нет товаров

Год ( По возрастанию | По убыванию )

Книги

Математическая логика Ершов Ю.Л., Палютин Е.А.

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

Ершов Ю.Л., Палютин Е.А. Год: 2011. Издание: 6-е
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов....
Последние просмотренные
Вверх