Angļu – krievu – latviešu skaidrojošā vārdnīca. Datu pārraides un apstrādes sistēmas. R.: A/s SWH, 1995.
Grupa: Valsts valodas centrs
Nozare: Informācijas un komunikācijas tehnoloģijas
lv
formālā loģika
Definīcija:
Matemātiskās loģikas nozare, kas operē ar abstraktiem simboliem un no tiem veidotām izteiksmēm, nepiešķirot nekādu nozīmi šo abstrakciju semantikai.
en
formal logic
ru
формальная логика
Kolekcija: Angļu – krievu – latviešu skaidrojošā vārdnīca. Datu pārraides un apstrādes sistēmas. R.: A/s SWH, 1995.
Nozare: Informācijas un komunikācijas tehnoloģijas
Apstiprināts: 01.01.1995.