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