|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
9150 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Доказать тождество из теории множеств
|
romanb |
3 |
1352 |
03.05.2013, 23:26
romanb
|
|
Мощность континуума
|
Doil-byle |
2 |
1002 |
01.05.2013, 22:12
Doil-byle
|
|
Язык, мат. логика и конечные множества
|
Asker Tasker |
6 |
1696 |
25.04.2013, 17:42
Asker Tasker
|
|
Вопрос по теории множеств
[ На страницу: 1, 2 ]
|
sopor |
21 |
3833 |
25.04.2013, 13:12
Doil-byle
|
|
Преобразование логической формулы
|
magneton_bora |
3 |
1082 |
20.04.2013, 14:22
Sonic86
|
|
следствия и посылки
|
nat87 |
3 |
1467 |
20.04.2013, 14:03
Sonic86
|
 |
Привести равносильным преобразование к СДНФ и СКНФ
[ На страницу: 1, 2 ]
|
nat87 |
27 |
6827 |
18.04.2013, 15:03
nat87
|
|
Возведение ординала в степень
|
domolaz |
4 |
1190 |
16.04.2013, 19:37
AGu
|
|
Задачка из теории множеств
|
myjobisgop |
6 |
1614 |
14.04.2013, 23:22
myjobisgop
|
|
Суть ординальных чисел
[ На страницу: 1, 2 ]
|
_hum_ |
18 |
5482 |
10.04.2013, 21:05
Deggial
|
|
Обобщение ординалов
|
arseniiv |
2 |
707 |
10.04.2013, 12:46
arseniiv
|
|
теория множеств
|
Joe Black |
3 |
1593 |
05.04.2013, 19:34
мат-ламер
|
|
Система аксиом Цермело-Френкеля
[ На страницу: 1, 2 ]
|
mark_sandman |
25 |
5507 |
01.04.2013, 01:22
Someone
|
|
Биективность отображения X \ Y -> X
|
Alexander__ |
13 |
2951 |
29.03.2013, 23:26
lyuk
|
|
Бурбаки - тау и надстрочные линии
|
Qurum |
11 |
1929 |
29.03.2013, 20:37
arseniiv
|
|
Абстракция и декомпозиция в логике
[ На страницу: 1, 2 ]
|
es3000 |
20 |
5436 |
27.03.2013, 14:09
es3000
|
|
Доказать, что существует множество, не ПРМ
|
miraina |
3 |
870 |
21.03.2013, 22:37
nikvic
|
|
сюръекция
|
devgen |
6 |
1327 |
19.03.2013, 18:37
devgen
|
|
Полиномы Жегалкина
|
eugrita |
1 |
644 |
18.03.2013, 02:29
Xaositect
|
|
Неформальные и формальные аксиоматические теории
|
Mr Alexey |
7 |
1714 |
15.03.2013, 17:22
Mr Alexey
|
|
Мощность всех рациональных функций одного переменного
[ На страницу: 1, 2 ]
|
kola1357 |
15 |
2185 |
04.03.2013, 19:47
gris
|
|
Какова аксиоматика без закона исключённого третьего?
|
Dims |
10 |
5181 |
03.03.2013, 17:30
Sonic86
|
|
Разрешимость множества
|
Иван_85 |
12 |
3083 |
03.03.2013, 14:27
nikvic
|
|
Бинарные операции
|
boomeer |
3 |
1062 |
26.02.2013, 12:33
Xaositect
|
|
найти мощность множества
[ На страницу: 1, 2, 3 ]
|
kola1357 |
36 |
5067 |
21.02.2013, 00:32
Oleg Zubelevich
|
|
Теория множеств
|
kirill94 |
3 |
826 |
17.02.2013, 22:52
xmaister
|
|
Построение множества натуральных чисел
|
Nameless_2013 |
12 |
2599 |
09.02.2013, 23:07
arseniiv
|
|
Аксиоматическая теория
|
xmaister |
1 |
1316 |
06.02.2013, 22:32
Xaositect
|
|
Чумы, лемма Цорна и попытки её обойти
[ На страницу: 1, 2 ]
|
Chernoknizhnik |
17 |
3117 |
04.02.2013, 10:13
muzeum
|
|
Помогите привести формулу к предваренной форме
|
Kostya17 |
9 |
1886 |
02.02.2013, 22:35
Slow
|
|
Машина Тьюринга для f(x)=2x+1
|
sergeysleep |
2 |
948 |
23.01.2013, 19:06
Dosaev
|
|
Доказательство свойств вывода из гипотез.
|
sergeysleep |
6 |
1279 |
23.01.2013, 00:57
sergeysleep
|
|
Пожалуйста научите строить рекурсивные функции
|
datgen |
1 |
688 |
21.01.2013, 22:17
_hum_
|
|
Задача по дискретной математике [логика]
|
user234 |
5 |
1150 |
21.01.2013, 12:57
greg93
|
|
Доказать что следующие формулы являются теоремами P.
|
ExploiT243 |
7 |
1598 |
20.01.2013, 12:38
ExploiT243
|
|
Доказать элементарную эквивалентность двух моделей
|
Yana Romanova |
3 |
997 |
19.01.2013, 09:55
AGu
|
|
доказать что функция примитивно рекурсивна
|
datgen |
6 |
2200 |
15.01.2013, 14:27
AKM
|
|
Декартово произведение множеств
|
xmaister |
4 |
934 |
13.01.2013, 12:07
AGu
|
|
Про двойственные функции
|
ogcjm |
5 |
1062 |
12.01.2013, 08:18
Deggial
|
|
Эл-т док-ва т. Кантора-Бернштейна
|
noizy |
6 |
1368 |
08.01.2013, 17:27
noizy
|
|
Структуры, переносимость, универсальные отображения
|
JMH |
1 |
634 |
08.01.2013, 12:48
apriv
|
|
Неразрешимые проблемы, связанные с КА
|
SakumaRei |
4 |
1155 |
07.01.2013, 21:56
Crystaly
|
|
Категорная логика - как вводится истинность?
|
jhanjaa |
4 |
977 |
07.01.2013, 10:44
jhanjaa
|
|
Внедрение Логики в строимую теории (на примере множеств)
|
Mysterious Light |
4 |
924 |
06.01.2013, 18:31
jhanjaa
|
|
Задача об универсальной функции.
|
1doffys |
2 |
671 |
28.12.2012, 08:06
1doffys
|
|
Мощность двух отрезков.
[ На страницу: 1, 2 ]
|
delkov |
26 |
3673 |
27.12.2012, 00:20
NQD
|
|
Класс всех моделей Г
|
gefest_md |
5 |
1026 |
25.12.2012, 12:58
gefest_md
|
|
Построение вывода
|
StopCry |
8 |
1456 |
24.12.2012, 11:16
Maslov
|
|
Метод двух включений
|
main.c |
11 |
2875 |
22.12.2012, 20:18
main.c
|
|
Установить биекцию в явном виде.
|
Law |
9 |
2513 |
20.12.2012, 22:07
Law
|
|
|
![Новые сообщения [ Популярная тема ]](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}
