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

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

Как описать все модели предложения $%(\forall y)(f(y)\ne 0)\\ \land(\forall z)(z\ne 0\to (\exists y)(f(y)=z))\\ \land(\forall z)(\forall y)(f(z)=f(y)\ ...
0
голосов
1
ответ
17 показов

Рассмотрим предложение $%(\forall y)(f(y)\ne 0)\\ \land(\forall z)(z\ne 0\to (\exists y)(f(y)=z))\\ \land(\forall z)(\forall y)(f(z)=f(y)\to z=y)$%Это ...
0
голосов
0
ответов
8 показов

Эквивалентны ли следующие формулы: $$\forall x \forall y \exists z \exists t (A(t, y) \rightarrow B(x, z)) $$ и $$ \forall x \forall t \exists y \exis ...
0
голосов
0
ответов
49 показов

Кто (Новатор или Консерватор) имеет выигрышную стратегию в игре Эренфойхта на моделях $%M_1, M_2$% (Приведите пример стратегии)?$$M_1 = (\mathbb{Z}, x ...
0
голосов
0
ответов
18 показов

Что значит there is an issue about ties, и как эту проблему преодолеть? (Один способ описан тут, но он непонятен, может, есть другой)
-2
голосов
0
ответов
77 показов

Прежде чем начнётся обсуждение этой задачки хочу пару слов сказать тем кому не нравятся мои идеи.... а то меня уже задолбал это народ блокировать меня ...
0
голосов
0
ответов
20 показов

Пусть $%R\subset N\times N$% рекурсивно перечислимо. То есть существует программа $%p$% такая что для всех $%x,y $% верно $$R(x,y)\leftrightarrow \phi ...
0
голосов
0
ответов
19 показов

Докажите, что существует примитивно рекурсивная функция $%f: N\times N\to N$% такая что для всех последовательностей $%(x_1,\dots,x_n)$% и $%(y_1,\dot ...
0
голосов
0
ответов
21 показ

$%\Pi_n$% множества определяются так:Как доказать, что $%\{p: \text{ область определения функции }\phi_p\text{ есть простое множество}\}$% является $% ...
0
голосов
0
ответов
47 показов

Рассмотрим функцию $%c(n)$%$%c(0)=1,c(n+1)=\sum_{k=0}^nc_kc_{n-k}$%Докажите, что $%c$% примитивно рекурсивна
0
голосов
0
ответов
29 показов

Дано: |xy|=|uv|Выразить: |xy|<|uv|, где|ab| - длина отрезка ab, где a,b точки на плоскости.
0
голосов
0
ответов
30 показов

Покажите, что предикат x = 2 невыразим в множестве целых положительных чисел с предикатами равенства и умножения.Как я понял, надо использовать метод ...
0
голосов
0
ответов
42 показа

Помогите студенту, дедлайн завтра.Нужно установить биекцию между множествами{(x, y) | -пи/2 < x < пи/2, 0 < y < пи} и R^2
0
голосов
0
ответов
33 показа

Докажите, что существует вычислимая функция $%R$% такая что$$R(f(x_1,\dots,x_n))=f(x_n,\dots,x_1)$$$%f$% - функция отсюда:Есть функция из множества по ...
0
голосов
0
ответов
19 показов

Множество $%A \subset N $% простое, если$%A$% рекурсивно перечислимо$%N\setminus A$% бесконечноЕсли $%W_p$% бесконечно, то $%W_p\cap A\ne \emptyset$% ...

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

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