Вопросы по дисциплине:
Основы языкознания
Сбросить фильтр
| № | Вопрос | Действия |
|---|---|---|
| 4441 | Квантор существования в языках первого порядка обозначается символом... и используется для указания, что существует хотя бы один объект, удовлетворяющий условию. | Открыть |
| 4442 | Квантор всеобщности в языках первого порядка обозначается символом... и используется для указания, что утверждение верно для всех объектов домена. | Открыть |
| 4443 | Какие из следующих утверждений верны для термов в языках первого порядка? | Открыть |
| 4444 | Установите соответствие между элементами языка первого порядка и их ролями: | Открыть |
| 4445 | Формула ∀x x < 0 в контексте действительных чисел будет истинной для... чисел | Открыть |
| 4446 | Выберите все верные утверждения о предикатах в языках первого порядка: | Открыть |
| 4447 | Выберите все верные утверждения о функциональных символах в языках первого порядка: | Открыть |
| 4448 | ... обладает носителем и значениями для символов предикатов и функций. | Открыть |
| 4449 | Квантор... обозначается символом ∀ и означает, что утверждение верно для всех элементов. | Открыть |
| 4450 | В языках первого порядка, формула ∃x (P(x) ∧ Q(x)) означает, что | Открыть |