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

Выяснить, является ли множество А замкнутым коассом, если А={x1+х2+...х(n-1) ,n=1,2...}"+"- сложение по модулю "Х1"- х с индексом 1
0
голосов
0
ответов
37 показов

((A → B) → A) → AЗдесь нельзя использовать таблицы истинности, нельзя алгебраические преобразования (за исключением дизъюнкции/конъюнкции по определен ...
0
голосов
0
ответов
35 показов
0
голосов
0
ответов
65 показов

А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.Функция g(x;y) получена операцией суперп ...
0
голосов
0
ответов
31 показ

Помогите, пожалуйста, дать четкое математические определение и доказательство
0
голосов
0
ответов
31 показ

Понятия независимости и непротиворечивости системы аксиом в теории ИВ, полноте в узком смысле теории ИВ. Теорема о полноте в узком смысле слова теории ...
0
голосов
0
ответов
30 показов

Формулировка теоремы о выводимости в теории ИВ тождественно истинной формулы, следствия о разрешимости теории ИВ и полноте теории ИВ в широком смысле ...
0
голосов
0
ответов
27 показов

Понятие тождественной истинности, тождественной ложности и выполнимости формулы в теории ИВ, теорема о тождественной истинности выводимой формулыПомог ...
1
голос
0
ответов
43 показа

Докажите, что множество вычислимых функций не изменится, если считать, что на ленте в начальной конфигурации левее головки стоит особый символ |>, ...
0
голосов
0
ответов
44 показа
1
голос
1
ответ
63 показа

Положим, задана произвольная главная универсальная нумерация вычислимых функций. Требуется доказать, что множество номеров идемпотентных вычислимых фу ...
0
голосов
0
ответов
46 показов

Пусть задана некоторая главная универсальная нумерация вычислимых функций. Необходимо классифицировать множество номеров вычислимых функций, дополнени ...
0
голосов
0
ответов
49 показов

Докажите, что не существует теории в сигнатуре {·, =}, моделями которой являются вточности все циклические группы.
1
голос
1
ответ
73 показа

Пусть есть две теории M и N в сигнатуре L со следующими свойствами:1) теория M ∪ N противоречива;2) всякая модель сигнатуры L является либо моделью M, ...
1
голос
1
ответ
96 показов

В сигнатуре $%(R, =)$% ( R — 2-местный предикатный символ) рассмотрим теорию бесконечных множеств с отношением эквивалентности, у которого все классы ...

Связанные метки

на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru