0
голосов
0
ответов
362 показа
Вывод секвенций
Просьба помочь с выводом секвенции: ¬A∨(¬B∨C),¬D∨B ⇒¬D∨(¬A∨C)Можно пользоваться наборами правил вывода и аксиомами.Подробнее здесьКак я пониманию, над ...
0
голосов
1
ответ
62 показа
Вопрос по матлогике
Существует ли базис класса всех всех функций, состоящий из дизъюнкции и 5-местной функции, не постоянной ни по одному аргументу? Если существует, прив ...
0
голосов
0
ответов
114 показов
Постановка начально-краевой задачи
Свободно опертая балка находилась в равновесии под действием приложенной к ней в точке x=c сосредоточенной силы Р. В момент времени t=0 действие силы ...
0
голосов
0
ответов
55 показов
Переделать функцию в универсальную
Кажется, такой вопрос уже был, но не ответили на него Изменим определение главной универсальной функции и будемтребовать существования «транслятора» s ...
1
голос
1
ответ
101 показ
Матлогика разбор формулы
пусть если x, y - формулы, то |x|y| (1 правило) и |x||y| (2 правило) - тоже формулы разобрать формулу ||p|||q||r||s||||t| двумя способами.1 разбор:1) ...
0
голосов
0
ответов
99 показов
Математическая логика. Грамматика
Дана грамматика:A ::= B|C|DB ::= bB||dD|AC ::= cC|dD|AD ::= dD|Aа) удовлетворяет ли эта грамматика условию однозначности ветвления по первому символу? ...
0
голосов
0
ответов
123 показа
Возвратность в ноль Цепи Маркова
Пусть есть Цепь Маркова $$ X_1, ...X_n$$.Пусть $$p_{i,j} = P(X_n = j | X_{n-1} = i)$$Пусть $$p_{k, 0} = q_k, p_{k, k+1} = 1 - q_k, 0 < q_k < 1$$ ...
0
голосов
0
ответов
118 показов
Цепь Маркова
Так на семинаре определили цепь Маркова."Определение. Цепью Маркова называется последовательность случайных величин, у которых фунцкии fk(xk, ..., x0) ...
0
голосов
1
ответ
281 показ
Задача из теории вероятности
Партия из 100 изделий случайно распределена для проверки между тремя контролерами. Найти вероятность того, что каждому контролеру досталось для провер ...
0
голосов
0
ответов
194 показа
Вычислить условные вероятности
Случайный вектор имеет нормальное распределение с плотностью вероятности𝑓(𝑥_1, 𝑥_2, 𝑥_3) = 𝛼 * 𝑒^(−7(𝑥_1+3)^2−3(𝑥_2+2)^2−0,5(𝑥_3+1)^2−9(𝑥_1+3)(𝑥_2+2)+ ...
0
голосов
1
ответ
261 показ
Найти число структур соответствующей сигнатуры на универсе из n элементов
Найти число структур соответствующей сигнатуры на универсе из n элементов в которых истинны следующие предложения:Ех[R(x,x) & P(x)], Ax[R(x,x) + P ...
0
голосов
0
ответов
296 показов
Математическая логика теория
Объясните, пожалуйста, как находить число структур соответствующей сигнатуры на универсе из n элементов, в которых истинны какие-то предложения ( прос ...
0
голосов
0
ответов
264 показа
Математическая логика, предикаты [закрыт]
Здравствуйте, помогите сделать задачу math.hashcode.ru/questions/211267#211279 только с углом в 120 градусов, вы меня очень выручите.
0
голосов
0
ответов
230 показов
Математическая логика - пострить вывод
Докажите выводимость формул 1) y^z->x\/Y2) (X->Z)/(X^Y->Z^Y)
0
голосов
0
ответов
307 показов
Вычислимая ли функция f(x)?
f:N->N такая что для любого x выполнено f(x+1) > f(x)+10 - вычислимая?
75 вопросов
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.