Если М - непустое множество, то множество всех <m1, m2,…, mk> - это:

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Если T1, T2 - теории сигнатуры с равенством, то:
• # Если теория устойчива относительно перехода к подструктурам, то она:
• # Сложность большинства булевой -местной функций при наибольшем размере их схем:
• # Предикат, выразимый в данной интерпретации:
• # Формула, истинная в некоторой интерпретации на некоторой оценке называется: