Atrasti 26 termini
|
 |
-
EN inference
LV izvedums
RU логический вывод
Definīcija: Formāla pierādījuma metode, kas ir loģiskās dedukcijas pamats.
LZA TK ITTEA terminu datubāze
-
EN inference
LV izvedums
RU логический вывод
Definīcija: Ekspertsistēmās - jauns fakts, ko var iegūt no datiem un izvedumkārtulām, kas glabājas zināšanu bāzē.
LZA TK ITTEA terminu datubāze
-
EN inference
LV izvedums
RU логический вывод
Definīcija: 1. Ekspertsistēmās - jauns fakts, ko var iegūt no datiem un izvedumkārtulām, kas glabājas zināšanu bāzē. 2. Formāla pierādījuma metode, kas ir loģiskās dedukcijas pamats.
Datu pārraides un apstrādes sistēmas. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., SWH, 1995
|
