0
голосов
0
ответов
18 показов

Постройте машину Тьюринга, вычисляюшую остаток от делениянатурального числа в унарной записи на 3. Сначала опишите порядок действий этоймашины на русс ...
0
голосов
0
ответов
33 показа

В городе Зверске 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
ответов
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. Постройте выполнимое предложение в этой сигнатуре, любая модель которого содержит ...
на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru