Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета
Михайлов А. Б., Швецкий М.В.
Пособие предназначено для поддержки курса "Математическая логика и теория алгоритмов". Содержит лекционный материал по разделу "Формальные системы первого порядка". Для студентов математических факультетов педагогических вузов.
श्रेणियाँ:
साल:
1998
प्रकाशन:
РГПУ
भाषा:
russian
पृष्ठ:
173
फ़ाइल:
PDF, 13.53 MB
IPFS:
,
russian, 1998
Litres
क्या आप अपना बुक स्टोर जोड़ना चाहेंगे? support@z-lib.do पर हमसे संपर्क करें
फ़ाइल कन्वर्टर
अधिक खोज परिणाम
अधिक लाभ 
