0
голосов
0
ответов
18 показов
Постройте машину Тьюринга
Постройте машину Тьюринга, вычисляюшую остаток от делениянатурального числа в унарной записи на 3. Сначала опишите порядок действий этоймашины на русс ...
0
голосов
0
ответов
33 показа
В городе Зверске 50001 житель. Задача на вероятность.
В городе Зверске 50001 житель. Известный зверский сплетник Семен, узнав новость, сообщает ее одному из 50000 чел, каждый из которых поступает так же. ...
0
голосов
0
ответов
48 показов
Не выводимая формула
Как доказать что формула не выводится в исчислении предикатов?
1
голос
1
ответ
28 показов
Не является конечно аксиоматизируемой
Докажите, что теория делимых абелевых групп не является конечно аксиоматизируемой.
0
голосов
1
ответ
29 показов
Даны две теории..
Даны две теории Т, S в сигнатуре L, такие что теория Т ∪ S не имеет моделей.Докажите, что найдется замкнутая формула φ, такая что Т ⊢ φ и S ⊢ ⅂ φ .
0
голосов
0
ответов
37 показов
Помогите, срочно
Постройте бесконечную последовательность непротиворечивых теорий Т1, Т2, ... всигнатуре (=), такую что все теории Тi ∪ Тj при i ≠ j противоречивы.
0
голосов
0
ответов
47 показов
Теория вероятностей
Найдите необходимые и достаточные условия для равенстваP(A)=P(A/B)+P(A/неB)
0
голосов
0
ответов
36 показов
Помогите доказать
1)Докажите, что не существует теории в сигнатуре {·, =}, не более чем счетныемодели которой — это в точности все циклические группы.2)Докажите, что те ...
0
голосов
0
ответов
58 показов
Полиномиальная сводимость
Есть таблица размера m на n, в которой каждая клетка либо пуста, либо содержит число от 0 до 9. Задача состоит в том, чтобы выяснить, можно ли закраси ...
0
голосов
0
ответов
41 показ
0
голосов
0
ответов
21 показ
Аксиматизируемость классов связных и несвязных графов
Пусть фиксирована сигнатура теории графов (E, =). Доказать, что ни класс связных графов, ни класс несвязных не являются аксиоматизируемыми. (Рассмотре ...
0
голосов
0
ответов
28 показов
Выполнены ли условия леммы Цорна для ч.у.м.
На множестве A = {(x,y) ∈ R2 | 0<=x<=1, 0<=y<=1} \ {(1,1)} определен строгий частичный порядок <, т.ч. (x,y) < (x',y') ≡ x < x' и ...
0
голосов
1
ответ
36 показов
Истинность в каждой нормальной модели формулы
Является ли истинной в каждой нормальной модели формула ∀x ffx = x → ∀x( ∀y (fx = fy → x = y) ∧ ∃y fy =x)?
0
голосов
0
ответов
39 показов
Общезначимость формулы
Пусть формула А -> (В -> С) общезначима. Всегда ли общезначима формула А -> ( ∃хВ -> С)?
0
голосов
0
ответов
27 показов
Построить выполнимое предложение в сигнатуре [закрыт]
Пусть сигнатура состоит из одного бинарного реляционного символа Q. Постройте выполнимое предложение в этой сигнатуре, любая модель которого содержит ...
759 вопросов
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.