[ITS] IT terministandardi sõnastik


Päring: osas

Leitud 1 artikkel


[et]
02.01.04

sümbolloogika

matemaatiline loogika (synonym)

Kehtivate väidete ja tehetega tegelev distsipliin, mis kasutab tehiskeeli, mis on määratud vältima loomulike keelte mitmetähenduslikkust ja loogikalisi puudusi.
EVS-ISO 2382-2:1999 (kehtiv)

[en]
02.01.04

symbolic logic

mathematical logic (synonym)

The discipline in which valid argument and operations are dealt with using an artificial language designated to avoid the ambiguities and logical inadequacies of natural languages.
EVS-ISO 2382-2:1999 (kehtiv)

Püsilink

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat Püsilink: 


© Eesti Keele Instituut    a-ü sõnastike koondleht     veebiliides    @ veebihaldur