|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
1451 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
следствия и посылки
|
nat87 |
3 |
432 |
20.04.2013, 14:03
Sonic86
|
 |
Привести равносильным преобразование к СДНФ и СКНФ
[ На страницу: 1, 2 ]
|
nat87 |
27 |
2060 |
18.04.2013, 15:03
nat87
|
|
Возведение ординала в степень
|
domolaz |
4 |
524 |
16.04.2013, 19:37
AGu
|
|
Задачка из теории множеств
|
myjobisgop |
6 |
628 |
14.04.2013, 23:22
myjobisgop
|
|
Суть ординальных чисел
[ На страницу: 1, 2 ]
|
_hum_ |
18 |
2123 |
10.04.2013, 21:05
Deggial
|
|
Обобщение ординалов
|
arseniiv |
2 |
326 |
10.04.2013, 12:46
arseniiv
|
|
теория множеств
|
Joe Black |
3 |
573 |
05.04.2013, 19:34
мат-ламер
|
|
Система аксиом Цермело-Френкеля
[ На страницу: 1, 2 ]
|
mark_sandman |
25 |
1897 |
01.04.2013, 01:22
Someone
|
|
Биективность отображения X \ Y -> X
|
Alexander__ |
13 |
1081 |
29.03.2013, 23:26
lyuk
|
|
Бурбаки - тау и надстрочные линии
|
Qurum |
11 |
899 |
29.03.2013, 20:37
arseniiv
|
|
Абстракция и декомпозиция в логике
[ На страницу: 1, 2 ]
|
es3000 |
20 |
1424 |
27.03.2013, 14:09
es3000
|
|
Доказать, что существует множество, не ПРМ
|
miraina |
3 |
431 |
21.03.2013, 22:37
nikvic
|
|
сюръекция
|
devgen |
6 |
551 |
19.03.2013, 18:37
devgen
|
|
Задача на применение аксиомы Цермело
|
Prosto4elovek. |
3 |
438 |
19.03.2013, 14:47
lyuk
|
|
Полиномы Жегалкина
|
eugrita |
1 |
366 |
18.03.2013, 02:29
Xaositect
|
|
Неформальные и формальные аксиоматические теории
|
Mr Alexey |
7 |
691 |
15.03.2013, 17:22
Mr Alexey
|
|
Мощность всех рациональных функций одного переменного
[ На страницу: 1, 2 ]
|
kola1357 |
15 |
881 |
04.03.2013, 19:47
gris
|
|
Какова аксиоматика без закона исключённого третьего?
|
Dims |
10 |
3826 |
03.03.2013, 17:30
Sonic86
|
|
Разрешимость множества
|
Иван_85 |
12 |
1448 |
03.03.2013, 14:27
nikvic
|
|
Бинарные операции
|
boomeer |
3 |
501 |
26.02.2013, 12:33
Xaositect
|
|
найти мощность множества
[ На страницу: 1, 2, 3 ]
|
kola1357 |
36 |
2163 |
21.02.2013, 00:32
Oleg Zubelevich
|
|
Теория множеств
|
kirill94 |
3 |
407 |
17.02.2013, 22:52
xmaister
|
|
Построение множества натуральных чисел
|
Nameless_2013 |
12 |
1140 |
09.02.2013, 23:07
arseniiv
|
|
Аксиоматическая теория
|
xmaister |
1 |
537 |
06.02.2013, 22:32
Xaositect
|
|
Чумы, лемма Цорна и попытки её обойти
[ На страницу: 1, 2 ]
|
Chernoknizhnik |
17 |
1328 |
04.02.2013, 10:13
muzeum
|
|
Помогите привести формулу к предваренной форме
|
Kostya17 |
9 |
873 |
02.02.2013, 22:35
Slow
|
|
Машина Тьюринга для f(x)=2x+1
|
sergeysleep |
2 |
584 |
23.01.2013, 19:06
Dosaev
|
|
Доказательство свойств вывода из гипотез.
|
sergeysleep |
6 |
595 |
23.01.2013, 00:57
sergeysleep
|
|
Пожалуйста научите строить рекурсивные функции
|
datgen |
1 |
445 |
21.01.2013, 22:17
_hum_
|
|
Задача по дискретной математике [логика]
|
user234 |
5 |
578 |
21.01.2013, 12:57
greg93
|
|
Доказать что следующие формулы являются теоремами P.
|
ExploiT243 |
7 |
693 |
20.01.2013, 12:38
ExploiT243
|
|
Доказать элементарную эквивалентность двух моделей
|
Yana Romanova |
3 |
462 |
19.01.2013, 09:55
AGu
|
|
доказать что функция примитивно рекурсивна
|
datgen |
6 |
1133 |
15.01.2013, 14:27
AKM
|
|
Декартово произведение множеств
|
xmaister |
4 |
527 |
13.01.2013, 12:07
AGu
|
|
Про двойственные функции
|
ogcjm |
5 |
467 |
12.01.2013, 08:18
Deggial
|
|
Эл-т док-ва т. Кантора-Бернштейна
|
noizy |
6 |
613 |
08.01.2013, 17:27
noizy
|
|
Структуры, переносимость, универсальные отображения
|
JMH |
1 |
274 |
08.01.2013, 12:48
apriv
|
|
Неразрешимые проблемы, связанные с КА
|
SakumaRei |
4 |
625 |
07.01.2013, 21:56
Crystaly
|
|
Категорная логика - как вводится истинность?
|
jhanjaa |
4 |
471 |
07.01.2013, 10:44
jhanjaa
|
|
Внедрение Логики в строимую теории (на примере множеств)
|
Mysterious Light |
4 |
424 |
06.01.2013, 18:31
jhanjaa
|
|
Задача об универсальной функции.
|
1doffys |
2 |
328 |
28.12.2012, 08:06
1doffys
|
|
Мощность двух отрезков.
[ На страницу: 1, 2 ]
|
delkov |
26 |
1655 |
27.12.2012, 00:20
NQD
|
|
Класс всех моделей Г
|
gefest_md |
5 |
464 |
25.12.2012, 12:58
gefest_md
|
|
Построение вывода
|
StopCry |
8 |
588 |
24.12.2012, 11:16
Maslov
|
|
Метод двух включений
|
main.c |
11 |
1004 |
22.12.2012, 20:18
main.c
|
|
Установить биекцию в явном виде.
|
Law |
9 |
1062 |
20.12.2012, 22:07
Law
|
|
Диаграмма структуры
|
gefest_md |
0 |
221 |
19.12.2012, 18:18
gefest_md
|
|
задача по теории алгоритмов
|
Greenbear |
4 |
456 |
19.12.2012, 17:34
Greenbear
|
|
Построить вывод
|
lovelyBunny |
1 |
330 |
18.12.2012, 15:02
gefest_md
|
|
Двойственная функция в k-значной логике.
|
ogcjm |
5 |
448 |
17.12.2012, 21:17
Sonic86
|
|
|
![Новые сообщения [ Популярная тема ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_unread_hot.gif "Новые сообщения [ Популярная тема ]"){kind=small}
![Новые сообщения [ Тема закрыта ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_unread_locked.gif "Новые сообщения [ Тема закрыта ]"){kind=small}
![Нет новых сообщений [ Тема закрыта ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_locked.gif "Нет новых сообщений [ Тема закрыта ]"){kind=small}
