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

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

Пусть у нас имеется формула предикатов с кванторами. Как нам можно преобразовать ее в приведенный вид (Когда все кванторы стоят вначале формулы и имею ...
1
голос
1
ответ
103 показа

Назовем proof-theoretic semantics "ПТС", model-theoretic semantics "МТС" и proof system "ПС". (Если кто-то знает, как эти термины называются по-русски ...
0
голосов
0
ответов
68 показов

https://i.stack.imgur.com/c5Err.png1) Как увидеть, что желтое замечание верно? (Определение квантованности дано внизу картинки. Плюсик означает join в ...
0
голосов
1
ответ
84 показа

Можно ли из середины формулы$$\forall x(P(x) \to \forall y[y < x \to P(y)])$$вытащить квантор и перенести его в начало? Если да, то что при этом пр ...
0
голосов
0
ответов
52 показа

Как доказать, что если предложение истинно в любой интерпретации, содержащей не менее чем 4 предмета, то оно общезначимо.
0
голосов
0
ответов
66 показов

Закодировать с помощью циклического кодирования (порождающий полином x^3 + x + 1 ) информационную посылку 1111010. Показать декодирование при передаче ...
0
голосов
0
ответов
82 показа

Выполнить арифметизацию функции заданной двоичным числом 10010110. Получить разложение в ряд Фурье этой функции. Выполнить арифметизацию псевдо булево ...
0
голосов
0
ответов
56 показов

Построить асинхронный автомат Мили – распознаватель последовательности 23132 для двух бинарных входов
0
голосов
0
ответов
44 показа

https://ncatlab.org/nlab/show/contextПравильно ли я понимаю, что если у нас нет квантора всеобщности, то запись (1) по ссылке выше является равноценно ...
0
голосов
1
ответ
93 показа

Let M1 =< {a, b, c, d}; =, P2 >, where P(M1) = {(a, c),(b, d),(d, b),(c, a)}.M2 =< {a, b, c, d}; =, P2 >, where P(M2) = {(a, a),(b, b),(a, ...
0
голосов
0
ответов
54 показа

Будет ли множество являться эквивалентным?{(a,a), (b, b), (c,c), (a,b), (b,c), (c,a)}?
0
голосов
1
ответ
125 показов

Let Σ =<=, E2 > be a signature with one relation of equivalence. 1. Give four non-isomorphic Σ-structures of cardinality 5. 2. Give five non-iso ...
0
голосов
0
ответов
107 показов

Какое наименьшее число состояний может содержать конечный автомат, преобразующий бесконечное слово x(1)x(2)…x(t)… из нулей и единиц в бесконечное слов ...
0
голосов
0
ответов
87 показов

найти число структур соответствующей сигнатуры на универсе из n элементов, в которых истинны следующие предложения: существует x[P(x)->S(x)]
0
голосов
1
ответ
86 показов

Найти число структур соответствующей сигнатуры на универсе из n элементов, в которых истинны следующие предложения.∀x[∃yR(x,y)→P(x)]

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

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