Математическая логика
Ю.Л. Ершов, Е.А. Палютин
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Рекомендовано УМС по математике и механике УМО по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям: «Математика», «Прикладная математика и информатика», «Механика».
Categorías:
Año:
1987
Edición:
2
Editorial:
Наука
Idioma:
russian
Páginas:
337
Archivo:
DJVU, 5.22 MB
IPFS:
,
russian, 1987
Litres
¿Quieres añadir una librería? Contáctanos a través de support@z-lib.do
Convierte archivos
Más resultados de búsqueda
Otros beneficios 
