Вопросы по дисциплине:
Элементы математической логики
Сбросить фильтр
| № | Вопрос | Действия |
|---|---|---|
| 431 | Какие из следующих утверждений верны для термов в языках первого порядка? | Открыть |
| 432 | Установите соответствие между элементами языка первого порядка и их ролями: | Открыть |
| 433 | Формула ∀x x < 0 в контексте действительных чисел будет истинной для... чисел | Открыть |
| 434 | Выберите все верные утверждения о предикатах в языках первого порядка: | Открыть |
| 435 | Выберите все верные утверждения о функциональных символах в языках первого порядка: | Открыть |
| 436 | ... обладает носителем и значениями для символов предикатов и функций. | Открыть |
| 437 | Квантор... обозначается символом ∀ и означает, что утверждение верно для всех элементов. | Открыть |
| 438 | В языках первого порядка, формула ∃x (P(x) ∧ Q(x)) означает, что | Открыть |
| 439 | Три подразделения А, В, С торговой фирмы стремились получить по итогам года максимальную прибыль. Экономисты высказали следующие предположения: Если А получит максимальную прибыль, то максимальную прибыль получат В и С. А и С получат или не получат максимальную прибыль одновременно. Необходимым условием получения максимальной прибыли подразделением С является получение максимальной прибыли подразделением В. По завершении года оказалось, что одно из трех предположений ложно, а остальные два истинны. Кто получил максимальную прибыль? | Открыть |
| 440 | Квантор... обозначается символом ∃ и означает, что существует хотя бы один элемент, для которого верно утверждение. | Открыть |