POLSKI ▼

Logika matematyczna / గణిత తర్కం - Leksykon

propozycja

ప్రతిపాదన

orzec

ఊహించు

kwantyfikator

క్వాంటిఫైయర్

tautologia

టాటాలజీ

sprzeczność

వైరుధ్యం

wnioskowanie

అనుమితి

modalność

విధానం

aksjomat

సిద్ధాంతం

twierdzenie

సిద్ధాంతం

dowód

రుజువు

model

మోడల్

konsystencja

స్థిరత్వం

kompletność

సంపూర్ణత

solidność

దృఢత్వం

negacja

వ్యతిరేకత

spójnik

సంయోగం

dysjunkcja

విభజన

implikacja

అర్థం

równorzędność

సమానత్వం

składnia

వాక్యనిర్మాణం

semantyka

అర్థశాస్త్రం

zmienny

వేరియబుల్

funkcjonować

ఫంక్షన్

relacja

సంబంధం

domena

డొమైన్

interpretacja

వివరణ

odliczenie

తగ్గింపు

majorat

బంధనము

spójniki logiczne

తార్కిక అనుసంధానాలు

logika predykatów

అంచనా తర్కం

logika zdań

ప్రతిపాదన తర్కం

pierwszego rzędu

మొదటి-క్రమం

drugiego rzędu

రెండవ-క్రమం

teoria modeli

నమూనా సిద్ధాంతం

teoria dowodu

రుజువు సిద్ధాంతం

teoria mnogości

సమితి సిద్ధాంతం

system formalny

అధికారిక వ్యవస్థ

meta-teoria

మెటా-థియరీ

rozstrzygalność

నిర్ణయాత్మకత

rekursja

పునరావృతం

punkt stały

స్థిర బిందువు

kombinatoryka

కాంబినేటరిక్స్

automat

ఆటోమేటన్

obliczalność

గణన సామర్థ్యం

bramka logiczna

లాజిక్ గేట్

Algebra Boole'a

బూలియన్ బీజగణితం

forma normalna

సాధారణ రూపం

konsekwencja

పర్యవసానం

konsystencja

స్థిరత్వం

obalenie

ఖండన