DEUTSCH ▼

ریاضي منطق / Mathematische Logik - Wortschatz

وړاندیز

Satz

وړاندوینه

Prädikat

اندازه کوونکی

Quantor

ټوټولوژي

Tautologie

تضاد

Widerspruch

استنباط

Schlussfolgerung

ډول

Modalität

محور

Axiom

تیورم

Satz

ثبوت

nachweisen

ماډل

Modell

ثبات

Konsistenz

بشپړتیا

Vollständigkeit

سالمتیا

Solidität

منفي کول

Negation

ترکیب

Verbindung

جلا کول

Disjunktion

ضمني

Implikation

مساوات

Gleichwertigkeit

نحو

Syntax

سیمانټیکس

Semantik

متغیر

Variable

فعالیت

Funktion

اړیکه

Beziehung

ډومین

Domain

تفسیر

Interpretation

کسر

Abzug

ښکیلتیا

Folgerung

منطقي نښلونکي

logische Konnektoren

د وړاندوینې منطق

Prädikatenlogik

وړاندیزي منطق

Aussagenlogik

لومړی درجه

erster Ordnung

دوهم درجه

zweiter Ordnung

د ماډل تیوري

Modelltheorie

د ثبوت تیوري

Beweistheorie

د سیټ تیوري

Mengenlehre

رسمي سیستم

formales System

میټا تیوري

Metatheorie

د پریکړې کولو وړتیا

Entscheidbarkeit

تکرار

Rekursion

ثابت ټکی

Fixpunkt

ترکیبونه

Kombinatorik

اتوماتیک

Automat

د حساب وړتیا

Berechenbarkeit

منطقي دروازه

Logikgatter

د بولین الجبرا

Boolesche Algebra

نورمال شکل

Normalform

پایله

Folge

ثبات

Konsistenz

ردول

Widerlegung