tradukoj: be bg cs de el en es fr hu it nl pl pt ru sk

1logik/o

logikoTEZ Vikipedio

1.TEZ
FIL Fako de la filozofio studanta la leĝojn de rezonado: fakultato de filozofio kaj logiko Z; logika traktato; logika konkludo.
2.TEZ
Principoj, logikeco: ĉu ekzistas eĉ guto da senco kaj logiko en ĉiuj tiuj ĉi spritaj mokoj[1]; logiko de la komerco; logiko de la evoluo SIN:konsekvenco, leĝaro.

logikaTEZ

Konforma al la logiko; kapabla logike rezoni.

logikecoTEZ

Kvalito de io logika.

matematika logikoTEZ Vikipedio

MATPIV1
Branĉo de matematiko, studanta la formalajn rilatojn inter propozicioj kaj ilian aplikon al la demonstrado de matematikaj teoremoj SIN:logistiko;, formala logiko;VD:propozicio.

formala logikoTEZ

FILMAT
Nuntempa maniero de la logiko, kiu anstataŭigas la normalan lingvon per alia lingvo (formala) bazita sur simboloj kaj specifaj reguloj, tial ke la vortigo estu laŭ la principoj de la rikura generiĝo SIN:matematika logiko.

simbola logikoTEZ Vikipedio

FILMAT
formala logiko

laŭvera logiko

FIL
Tradicia logiko, bazita sur la studado de la asertoj kaj sur neta valoro de vereco.

svaga logikoTEZ

FILMAT
Logiko bazita sur pluraj valoroj de logika vereco.

neta logiko

FIL
Tradiciaj logik-manieroj bazitaj sur neta valoro (ekz.: vero aŭ malvero; 0 aŭ 1; valideco aŭ nevalideco).

tradukoj

anglaj

~o: logic; ~a: logical; ~eco: logicalness; matematika ~o: mathematical logic , logistics; formala ~o: formal logic; simbola ~o: symbolic logic; svaga ~o: fuzzy logic.

belorusaj

~o: лёгіка; ~a: лягічны; ~eco: лягічнасьць; matematika ~o: матэматычная лёгіка.

bulgaraj

~o: логика; ~a: логически; matematika ~o: Математическа логика; formala ~o: формална логика; svaga ~o: размита логика.

ĉeĥaj

~o: logičnost; ~a: evidentní, logický; ~eco: logičnost; matematika ~o: matematická logika.

francaj

~o: logique; ~a: logique; ~eco: logique; matematika ~o: logique mathématique, logistique .

germanaj

~o: Logik, Schlüssigkeit; ~a: logisch; ~eco: Logischsein, Schlüssigkeit; matematika ~o: mathematische Logik , Logistik.

grekaj

~o: λογική ; ~a: λογικός .

hispanaj

~o: lógica.

hungaraj

~o: logika; ~a: logikus, logikai; ~eco: logikusság; matematika ~o: matematikai logika .

italaj

~a: logico; ~eco: logica; matematika ~o: logica matematica; formala ~o: logica formale; simbola ~o: logica simbolica; laŭvera ~o: logica aletica, logica verofunzionale; svaga ~o: logica sfumata; neta ~o: logica non-sfumata.

nederlandaj

~o: logica; ~eco: logica.

polaj

~o: logika; ~a: logiczny; ~eco: logiczność; matematika ~o: logika matematyczna, logistyka (przest.); formala ~o: logika formalna; simbola ~o: logika symboliczna; svaga ~o: logika rozmyta.

portugalaj

~o: lógica; ~a: lógico; matematika ~o: lógica matemática .

rusaj

~o: логика ; ~a: логический , логичный; ~eco: логичность ; matematika ~o: математическая логика, логистика .

slovakaj

~o: logica, logickosť, logika; ~a: logický; ~eco: logika; ~eco: logickosť; matematika ~o: matematická logika , matematická logika.

fontoj

1. L. L. Zamenhof: Esenco kaj Estonteco, ĉap. 1

~o: Mankas verkindiko en fonto.
~a: Mankas fontindiko.
~a: Mankas fonto, kiu estas nek vortaro nek terminaro.
~eco: Mankas fontindiko.
~eco: Mankas fonto, kiu estas nek vortaro nek terminaro.
matematika ~o: Mankas dua fontindiko.
matematika ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
formala ~o: Mankas fontindiko.
formala ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
simbola ~o: Mankas fontindiko.
simbola ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
laŭvera ~o: Mankas fontindiko.
laŭvera ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
svaga ~o: Mankas fontindiko.
svaga ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
neta ~o: Mankas fontindiko.
neta ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.


administraj notoj

pri ~eco:
    Kiel nomi la econ de IU ~a (kapabla ~e rezoni)? Ankaux ~eco
    mi supozas. [MB]
  

[^Revo] [logik.xml] [redakti...] [traduki...] [artikolversio: 1.29 2015/10/16 14:10:16 ]