Математическая логика
Ю.Л. Ершов, Е.А. Палютин
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Рекомендовано УМС по математике и механике УМО по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям: «Математика», «Прикладная математика и информатика», «Механика».
వర్గాలు:
సంవత్సరం:
1987
ముద్రణం:
2
ప్రచురణకర్త:
Наука
భాష:
russian
పేజీల సంఖ్య:
337
ఫైల్:
DJVU, 5.22 MB
IPFS:
,
russian, 1987
Litres
మీ పుస్తక దుకాణాన్ని జోడించాలనుకుంటున్నారా? support@z-lib.do వద్ద మమ్మల్ని సంప్రదించండి
ఫైల్ converter
మరిన్ని శోధన ఫలితాలు
మరిన్ని ప్రయోజనాలు 
