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

В книге "Основы Логики" (В.А. Бочаров, В.И. Маркин)приводится следующий пример НЕПРАВИЛЬНОГО умозаключения.(стр 58)"Если данное тело движется равномер ...
0
голосов
0
ответов
33 показа

Как доказать разрешимость полной теории первого порядка в конечной сигнатуре с перечислимым множеством теорем?
0
голосов
0
ответов
31 показ

Показать, что для кольца Z существует формула вида ∀ (вектора)x φ, где φ бескванторная, по которой выражается множество четных чисел.
0
голосов
0
ответов
24 показа

Показать, что в структуре G (геометрия плоскости) не выразимо отношение «вершины треугольника abc идут по часовой стрелке».
0
голосов
1
ответ
24 показа

Построить последовательность множеств (Ak)k∈N, т.ч. все Ak перечислимые неразрешимые и (Объединение по всем к)Ak = N.
0
голосов
0
ответов
25 показов

Доказать, что график вычислимой тотальной функции разрешим.
0
голосов
0
ответов
29 показов

Пусть Q поле рациональных чисел. Доказать, что не все счетные модели теории Th(Q) изоморфны.
0
голосов
0
ответов
34 показа

Построить комбинатор, равномерно нумерующий последовательность (φn)n∈N, где φn есть n-ое число Фибоначчи.Положим Λ' = {𝑀 ∈ Λ | 𝐹𝑉(𝑀) = ∅}. Термы из Λ' ...
1
голос
1
ответ
27 показов

Существует ли универсальное разрешимое множество Y ⊆ N^2, т.е. такое что Y разрешимо и для каждого разрешимого множества A ⊆ N найдется число n ∈ N, т ...
0
голосов
0
ответов
23 показа

Проверить линейные порядки Z и N+Z на элементарную эквивалентность
0
голосов
0
ответов
31 показ

Добрый день, прошу помочь с задачей.Задача: Выясните, является ли замкнутым множество функций f(x1, x2...xn), представимых в следующем виде: a(0) ⊕ a( ...
0
голосов
0
ответов
55 показов

предполагается, что вместе с каждой функцией f из А множеству А принадлежат и все функции из р2, конгруэнтные f: A={x1*...xn, n = 1,2,...}
0
голосов
0
ответов
27 показов

Необходимо построить множество всех функций, зависящих от х1, х2 и принадлежащих замыканию А, где А={not(x)}. Ответ мне известен - {x1, x2, not(x1), n ...
0
голосов
0
ответов
41 показ

Помогите, пожалуйста, как эта запись читается? Или как можно простыми словами это записать? (P ∈ Q & P ∈ lgx ) -> (P ∈ X/10 & P ∈ X ≥ 1)
0
голосов
0
ответов
32 показа

Помогите, пожалуйста, записать на языке математической логики:"Уравнение K имеет не меньше трех корней при q=1"
на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru