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