[ITS] IT terministandardi sõnastik

[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