TURKCE ▼

Matematiksel Mantık / Matematická logika - Kelime

teklif

tvrzení

yüklem

přísudek

niceleyici

kvantifikátor

totoloji

tautologie

çelişki

rozpor

çıkarım

odvození

modalite

modalita

aksiyom

axiom

teorem

teorém

kanıt

důkaz

model

model

tutarlılık

konzistence

tamlık

úplnost

sağlamlık

spolehlivost

olumsuzlama

negace

bağlaç

spojení

ayrışma

disjunkce

ima

implikace

eşdeğerlik

rovnocennost

sözdizimi

syntax

anlambilim

sémantika

değişken

proměnná

işlev

funkce

ilişki

vztah

ihtisas

doména

tercüme

výklad

çıkarım

dedukce

gerektirme

zapojení

mantıksal bağlaçlar

logické spojky

yüklem mantığı

predikátová logika

önermesel mantık

výroková logika

birinci dereceden

prvního řádu

ikinci dereceden

druhého řádu

model teorisi

teorie modelů

kanıt teorisi

teorie důkazů

küme teorisi

teorie množin

resmi sistem

formální systém

meta-teori

metateorie

karar verilebilirlik

rozhodnutelnost

yineleme

rekurze

sabit nokta

pevný bod

kombinatorik

kombinatorika

otomat

automat

hesaplanabilirlik

vyčíslitelnost

mantık kapısı

logická brána

Boole cebri

Booleovská algebra

normal form

normální forma

sonuçlar

následek

tutarlılık

konzistence

çürütme

vyvrácení