1. Интеллектуалды жүйелерді жасаушыларға арналған интеграция мақсаты



бет9/16
Дата11.05.2022
өлшемі35,36 Kb.
#142008
1   ...   5   6   7   8   9   10   11   12   ...   16
Байланысты:
РК №2 МАТЛАБ ЖАУАБТАРЫ

26. Орындалмайтын формула
a) заттық ортаның мәндерімен нақтылынатын формула
b) Формула моделі
c) формалды логиканың формуларын мағыналы интерпретациялау
d) өзінің барлық аргументтер жиынтығында «Жалған» мәнін қабылдайды


27. Жалпы маңызды формула
a) өзінің барлық аргументтер жиынтығында абсолютты (яғни барлық модельде) шындық болатын формула
b) формалды логиканың формуларын мағыналы интерпретациялау
c) өзінің барлық аргументтер жиынтығында «Жалған» мәнін қабылдайды
d) заттық ортаның мәндерімен нақтылынатын формула


28. Элементар конъюнкция, оған ортаның күйін анықтайтын айнымалылардың әрқайсысы бір рет кіреді
a) деректер
b) тезаурус
c) Конституента
d) Квантор




Достарыңызбен бөлісу:
1   ...   5   6   7   8   9   10   11   12   ...   16




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет