математическая-логика

новыебез ответаценныетекущиеизбранныенепринятые
0
голосов
0
ответов
42 показа

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Помогите, пожалуйста, записать на языке математической логики:"Уравнение K имеет не меньше трех корней при q=1"

12345 ... 52следующий »

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