Вопросы по дисциплине:
Элементы математической логики
Сбросить фильтр
| № | Вопрос | Действия |
|---|---|---|
| 421 | Соотнесите элементы языка Pascal с их описаниями: | Открыть |
| 422 | Установите верную последовательность работы с операциями и выражениями в PascalABC: | Открыть |
| 423 | Операции и выражения в Pascal — это комбинации переменных, … и операторов, которые вычисляют значение | Открыть |
| 424 | Выражения в Pascal формируются в соответствии с приоритетом операций и … операторов | Открыть |
| 425 | Программа в Pascal состоит из блоков объявлений, блоков … и блоков функций или процедур | Открыть |
| 426 | Какое из следующих утверждений верно для языков первого порядка? | Открыть |
| 427 | В языках первого порядка, формула ∀x (P(x) → Q(x)) означает, что | Открыть |
| 428 | Какое из следующих утверждений верно для формул в языках первого порядка? | Открыть |
| 429 | Квантор существования в языках первого порядка обозначается символом... и используется для указания, что существует хотя бы один объект, удовлетворяющий условию. | Открыть |
| 430 | Квантор всеобщности в языках первого порядка обозначается символом... и используется для указания, что утверждение верно для всех объектов домена. | Открыть |