हिन्दी ▼

Математическая логика / गणितीय तर्क - लेक्सिकन

предложение

प्रस्ताव

предикат

विधेय

квантификатор

परिमाणक

тавтология

अपनी दोहराना

противоречие

विरोधाभास

вывод

अनुमान

модальность

के साधन

аксиома

स्वयंसिद्ध

теорема

प्रमेय

доказательство

सबूत

модель

नमूना

последовательность

स्थिरता

полнота

पूर्णता

надежность

दृढ़ता

отрицание

नकार

соединение

संयोजक

дизъюнкция

अलगाव

импликация

असरः

эквивалентность

समानक

синтаксис

वाक्यविन्यास

семантика

अर्थ विज्ञान

переменная

चर

функция

समारोह

связь

रिश्ता

домен

कार्यक्षेत्र

интерпретация

व्याख्या

вычет

कटौती

логическое следствие

अनुलाग

логические связки

तार्किक संयोजक

предикатная логика

विधेय तर्क

пропозициональная логика

मक तर्क

первого порядка

पहले के आदेश

второго порядка

दूसरा आदेश

модельная теория

मॉडल सिद्धांत

теория доказательств

प्रमाण सिद्धांत

теория множеств

सेट सिद्धांत

формальная система

औपचारिक प्रणाली

метатеория

मेटा-सिद्धांत

разрешимость

निर्णय क्षमता

рекурсия

प्रत्यावर्तन

фиксированная точка

नियत बिन्दु

комбинаторика

साहचर्य

автомат

आटोमैटिक मशीन

вычислимость

कम्प्यूटेबिलिटी

логический вентиль

लॉजिक गेट

Булева алгебра

बूलियन बीजगणित

нормальная форма

सामान्य रूप

последствие

परिणाम

последовательность

स्थिरता

опровержение

निराकरण