М
Математическая логика
Ершов Ю.Л., Палютин Е.А.
★★★★★
оценок пока нет
- Автор
- Ершов Ю.Л., Палютин Е.А.
- Издательство
- Лань
- Год издания
- 2004
- ISBN
- 9785811405332
Оцените книгу:
Аннотация
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов.Ряд разделов книги - теория моделей и теория доказате
Отзывы читателей
Отзывов пока нет — станьте первым.