Главная /
Структуры данных и модели вычислений /
Пусть P и Q - одноместные предикатные символы. Какие из перечисленных формул являются префиксной формой формулы [∀x P(x) ∨ ∀x Q(x)]?
Пусть P и Q - одноместные предикатные символы. Какие из перечисленных формул являются префиксной формой формулы [∀x P(x) ∨ ∀x Q(x)]?
вопрос
Правильный ответ:
∀x [P(x)∨ Q(x)] ∀x ∀y [P(x) ∨ Q(y)] ∀x ∀z [P(z) ∨ Q(x)] Сложность вопроса
72
Сложность курса: Структуры данных и модели вычислений
82
Оценить вопрос
Комментарии:
Аноним
Я провалил зачёт, какого рожна я не увидел данный сайт с ответами по тестам интуит до зачёта
01 июн 2017
Аноним
Спасибо за сайт
03 авг 2016
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Каково будет содержимое ленты после выполнения программы [L, K1, K2], если на ее вход подать псевдослово *u2 * u1*↓(считаем, что слова u1, u2 не содержат символа *, L - сдвиг головки до ближайшего слева символа *, K1 - копирование первого слова, K2 - копирование второго слова)?
- # Пусть P - трехместный предикатный символ; f , g - одноместные функциональные символы; x, y, z - переменные; b - константа. Какие из формул A= P(b, y, f (g(y))), B= P(x, f (z), f (z)) и C= P(x, f (x), f (z)) унифицируемы?
- # Какой может быть трудоемкость поиска заданного элемента в списке, представленном массивом из n элементов?
- # При каких способах представления разделенных множеств наиболее эффективно выполняется операция ОБЪЕДИНИТЬ?
- # Какая из перечисленных ниже операций является наиболее трудоемкой?