Математическая логика
Ершов Ю.Л., Палютин Е.А.
В книге изложены основные классические исчисления математической логики исчисление высказываний и исчисление предикатов имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
साल:
1987
प्रकाशन:
Наука
भाषा:
russian
पृष्ठ:
337
फ़ाइल:
PDF, 13.00 MB
IPFS:
,
russian, 1987
Litres
क्या आप अपना बुक स्टोर जोड़ना चाहेंगे? support@z-lib.do पर हमसे संपर्क करें
फ़ाइल कन्वर्टर
अधिक खोज परिणाम
अधिक लाभ 
