Математическая логика
Автор: Ершов Ю.Л., Палютин Е.А.
Издательство: Лань
Год издания: 2004
Страниц:
ISBN: 9785811405332
Аннотация:
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов.Ряд разделов книги - теория моделей и теория доказате
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Математическая логика" (Ершов Ю.Л., Палютин Е.А.) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |