इसे छोड़कर सामग्री पर बढ़ने के लिए

Языки и исчисления учебное пособие

В учебном пособии рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Издание включает в себя около 200 задач различной трудности. Предназначено для...

पूर्ण विवरण

में बचाया:
ग्रंथसूची विवरण
मुख्य लेखक: Верещагин, Н. К. (070)
स्वरूप: Книга
विषय:
ऑनलाइन पहुंच:Перейти к просмотру издания
टैग : टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!