0
голосов
0
ответов
23 показа
0
голосов
0
ответов
26 показов
Математическая логика, число структур [закрыт]
Найти число структур соответствующей сигнатуры на универсе из n элементов, в которых истинны следующие предложения: ∀𝑥∀𝑦[𝑅(𝑥, 𝑦)&𝑅(𝑦, 𝑥)] и ∀𝑥[𝑃(𝑥 ...
0
голосов
0
ответов
16 показов
Математическая логика, предикаты [закрыт]
𝑈 – множество точек плоскости. Рассмотрим два предиката. 𝐵(𝑎, 𝑏, 𝑐): точки 𝑎, 𝑏, 𝑐 –лежат на прямой,причем 𝑏 между 𝑎 и 𝑐. 𝐷(𝑎, 𝑏, 𝑐, 𝑑) – расстояние | ...
0
голосов
0
ответов
22 показа
Математическая логика - пострить вывод
Докажите выводимость формул 1) y^z->x\/Y2) (X->Z)/(X^Y->Z^Y)
1
голос
0
ответов
55 показов
Привести форумулу к префиксному виду
Дана формула $$ \forall x P(x) \leftrightarrow \exists x Q(x) $$Хочу проверить правильность рассуждений$$\forall x P(x) \leftrightarrow \exists x Q(x) ...
0
голосов
0
ответов
42 показа
Задачи по матлогике
Помогите, пожалуйста, есть идеи, но очень в них не уверена $$$$1) Доказать, что множество всех простых чисел определимо в стандартной модели арифметик ...
0
голосов
0
ответов
26 показов
Используя аксиомы Цермело-Френкеля доказать, что для любого множества существует множество
Используя аксиомы Цермело-Френкеля доказать, что для любого множества существует множество всех его двухэлементных подмножеств.
0
голосов
0
ответов
85 показов
Математическая логика
Пусть 𝑈 – множество точек плоскости. Рассмотрим два предиката. 𝐵(𝑎, 𝑏, 𝑐): точки 𝑎, 𝑏, 𝑐 –лежат на прямой,причем 𝑏 между 𝑎 и 𝑐. 𝐷(𝑎, 𝑏, 𝑐, 𝑑) – рассто ...
0
голосов
0
ответов
53 показа
Сложность алгоритма
Как можно оценить сложность нормального алгоритма Маркова?
0
голосов
0
ответов
120 показов
Написать программу, вычисляющую следующую функцию:
$%f(n)=\begin{cases} не\:определена\:при\:n=1, n=3; \\ 1\:во\:всех\:остальных\:случаях.\end{cases}$%Найти её геделев номер и доказать, что функция час ...
0
голосов
0
ответов
30 показов
Связь эрбрановских интерпретаций с общезначимостью
Пусть Ф - формула алгебры логики предикатов в сколемовской стандартной форме. Верно ли что если Ф выполнима в любой эрбрановской интерпретации для фор ...
0
голосов
0
ответов
33 показа
Привести формулу к антипрефиксному виду
Привести формулу к антипрефиксному виду: ∀𝑥∃𝑦 ((𝑃(𝑥) → 𝑃(𝑦))&𝑄(𝑦))
0
голосов
0
ответов
41 показ
Построить поисковые деревья
Построить поисковые деревья для следующих утверждений.Картинка: https://ibb.co/t8KdSjt
0
голосов
1
ответ
45 показов
Найти число структур соответствующей сигнатуры
Найти число структур соответствующей сигнатуры на универсе из n элементов, в которых истинныследующие предложения:1. ∃𝑥∃𝑦[-𝑅(𝑥, 𝑦)&-𝑅(𝑦, 𝑥)] 2. ∃𝑥 ...
0
голосов
1
ответ
45 показов
Выразить предикаты
Пусть 𝑈 – множество точек плоскости. Рассмотрим два предиката. 𝐵(𝑎, 𝑏, 𝑐): точки 𝑎, 𝑏, 𝑐 –лежат на прямой, причем 𝑏 между 𝑎 и 𝑐. 𝐷(𝑎, 𝑏, 𝑐, 𝑑) – расст ...
1045 вопросов
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.