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

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

H={A→B}⊢A∧C→B∧CA→B - гипотезаТеория, которую нам дали есть на этом сайте:http://mathhelpplanet.com/static.php?p=formalizovannoye-ischisleniye-vyskazyv ...
0
голосов
1
ответ
17 показов

В сигнатуре с двумя трёхместными предикатами S - сумма (S(x,y,z) означает x+y=z, P(x,y,z) означает x*y=z) выразить: «Существует самое большое простое ...
0
голосов
0
ответов
26 показов

Пусть дана некоторая теория в языке арифметики, расширяющая арифметику Пеано. Выберите утверждения, которые верны, если данная теория непротиворечива ...
0
голосов
0
ответов
17 показов

Рассмотрим множество N с обычным равенством и функцией S, определённой так: S(n) = 2n. Какие из следующих формул нарушаются в такой интерпретации? а) ...
1
голос
1
ответ
24 показа

Существует ли формула А такая, чтоформула $$\exists x \forall y A$$ общезначима,а формула $$\forall x \exists y A$$ невыполнима?
0
голосов
0
ответов
17 показов

Дайте определение ОМТ (оракульной машины Тьюринга), используя язык предикатов.Машина Тьюринга с оракулом А: это МТ с дополнительной оракульной лентой, ...
0
голосов
0
ответов
23 показа

Пусть $%U$% - универсальная функция ( определение https://i.stack.imgur.com/McOa9.png )Рассмотрим множество $%O=\{p:U(p,0) \text{ определена}\}$%. Ест ...
1
голос
1
ответ
55 показов

Вот схема доказательства того, что проблема равенства слов в полугруппах неразрешима:https://i.stack.imgur.com/tF8SS.png(Последнее утверждение тут док ...
1
голос
0
ответов
27 показов

Докажите, что на евклидовой плоскости найдётся множество точек, пересекающееся с каждой прямой и каждой окружностью ровно по 3 точкам.
1
голос
1
ответ
64 показа

Как в русскоязычной литературе называется Smn теорема? https://en.wikipedia.org/wiki/Smn_theoremВ книге Шеня и Верещагина https://mccme.ru/free-books/ ...
0
голосов
0
ответов
32 показа

Есть два определения универсальной функции:Это частичная вычислимая функция $%U:N\times N\to N$% такая что для всех частичных вычислимых функций $%f:N ...
0
голосов
0
ответов
27 показов

Выразите в арифметике предикат «x — недостаточное число» (т.е. сумма всех делителей x, кроме самого x, меньше x).
0
голосов
0
ответов
21 показ

Верны ли рассуждения?1) Нет, множество программ, останавливающихся на себе перечислимо, но не разрешимо.2) Да, это чья-то теорема.3) Да, А есть объеди ...
0
голосов
0
ответов
15 показов

Почему выбран неверный вариант?1) Это точно верно.2) Натуральные числа разрешимы, но множество программ, останавливающихся на себе - нет. Это контрпри ...
0
голосов
0
ответов
18 показов

Какие могут быть контрпримеры?1) Приходит в голову функция деления. Программа, вычисляющая её, работает по такому принципу: принимает x,y и для каждог ...

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

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