Математическая логика
Ю.Л. Ершов, Е.А. Палютин
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Рекомендовано УМС по математике и механике УМО по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям: «Математика», «Прикладная математика и информатика», «Механика».
Կատեգորիաներ:
Տարի:
1987
Հրատարակում:
2
Հրատարակչություն:
Наука
Լեզու:
russian
Էջեր:
337
Ֆայլ:
DJVU, 5.22 MB
IPFS:
,
russian, 1987
Litres
Ցանկանու՞մ եք գրախանութ ավելացնել: Խնդրում ենք կապնվել մեզ հետ support@z-lib.do միջոցով
File converter
Բացել որոնման արդյունքները
More benefits 
