|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8706 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Доказать тождество из теории множеств
|
romanb |
3 |
1318 |
03.05.2013, 23:26
romanb
|
|
Мощность континуума
|
Doil-byle |
2 |
986 |
01.05.2013, 22:12
Doil-byle
|
|
Язык, мат. логика и конечные множества
|
Asker Tasker |
6 |
1646 |
25.04.2013, 17:42
Asker Tasker
|
|
Вопрос по теории множеств
[ На страницу: 1, 2 ]
|
sopor |
21 |
3711 |
25.04.2013, 13:12
Doil-byle
|
|
Преобразование логической формулы
|
magneton_bora |
3 |
1043 |
20.04.2013, 14:22
Sonic86
|
|
следствия и посылки
|
nat87 |
3 |
1417 |
20.04.2013, 14:03
Sonic86
|
 |
Привести равносильным преобразование к СДНФ и СКНФ
[ На страницу: 1, 2 ]
|
nat87 |
27 |
6649 |
18.04.2013, 15:03
nat87
|
|
Возведение ординала в степень
|
domolaz |
4 |
1157 |
16.04.2013, 19:37
AGu
|
|
Задачка из теории множеств
|
myjobisgop |
6 |
1578 |
14.04.2013, 23:22
myjobisgop
|
|
Суть ординальных чисел
[ На страницу: 1, 2 ]
|
_hum_ |
18 |
5269 |
10.04.2013, 21:05
Deggial
|
|
Обобщение ординалов
|
arseniiv |
2 |
693 |
10.04.2013, 12:46
arseniiv
|
|
теория множеств
|
Joe Black |
3 |
1547 |
05.04.2013, 19:34
мат-ламер
|
|
Система аксиом Цермело-Френкеля
[ На страницу: 1, 2 ]
|
mark_sandman |
25 |
5256 |
01.04.2013, 01:22
Someone
|
|
Биективность отображения X \ Y -> X
|
Alexander__ |
13 |
2845 |
29.03.2013, 23:26
lyuk
|
|
Бурбаки - тау и надстрочные линии
|
Qurum |
11 |
1838 |
29.03.2013, 20:37
arseniiv
|
|
Абстракция и декомпозиция в логике
[ На страницу: 1, 2 ]
|
es3000 |
20 |
5120 |
27.03.2013, 14:09
es3000
|
|
Доказать, что существует множество, не ПРМ
|
miraina |
3 |
847 |
21.03.2013, 22:37
nikvic
|
|
сюръекция
|
devgen |
6 |
1292 |
19.03.2013, 18:37
devgen
|
|
Полиномы Жегалкина
|
eugrita |
1 |
628 |
18.03.2013, 02:29
Xaositect
|
|
Неформальные и формальные аксиоматические теории
|
Mr Alexey |
7 |
1660 |
15.03.2013, 17:22
Mr Alexey
|
|
Мощность всех рациональных функций одного переменного
[ На страницу: 1, 2 ]
|
kola1357 |
15 |
2101 |
04.03.2013, 19:47
gris
|
|
Какова аксиоматика без закона исключённого третьего?
|
Dims |
10 |
5100 |
03.03.2013, 17:30
Sonic86
|
|
Разрешимость множества
|
Иван_85 |
12 |
2979 |
03.03.2013, 14:27
nikvic
|
|
Бинарные операции
|
boomeer |
3 |
1038 |
26.02.2013, 12:33
Xaositect
|
|
найти мощность множества
[ На страницу: 1, 2, 3 ]
|
kola1357 |
36 |
4846 |
21.02.2013, 00:32
Oleg Zubelevich
|
|
Теория множеств
|
kirill94 |
3 |
808 |
17.02.2013, 22:52
xmaister
|
|
Построение множества натуральных чисел
|
Nameless_2013 |
12 |
2512 |
09.02.2013, 23:07
arseniiv
|
|
Аксиоматическая теория
|
xmaister |
1 |
1285 |
06.02.2013, 22:32
Xaositect
|
|
Чумы, лемма Цорна и попытки её обойти
[ На страницу: 1, 2 ]
|
Chernoknizhnik |
17 |
2981 |
04.02.2013, 10:13
muzeum
|
|
Помогите привести формулу к предваренной форме
|
Kostya17 |
9 |
1823 |
02.02.2013, 22:35
Slow
|
|
Машина Тьюринга для f(x)=2x+1
|
sergeysleep |
2 |
930 |
23.01.2013, 19:06
Dosaev
|
|
Доказательство свойств вывода из гипотез.
|
sergeysleep |
6 |
1236 |
23.01.2013, 00:57
sergeysleep
|
|
Пожалуйста научите строить рекурсивные функции
|
datgen |
1 |
677 |
21.01.2013, 22:17
_hum_
|
|
Задача по дискретной математике [логика]
|
user234 |
5 |
1111 |
21.01.2013, 12:57
greg93
|
|
Доказать что следующие формулы являются теоремами P.
|
ExploiT243 |
7 |
1539 |
20.01.2013, 12:38
ExploiT243
|
|
Доказать элементарную эквивалентность двух моделей
|
Yana Romanova |
3 |
967 |
19.01.2013, 09:55
AGu
|
|
доказать что функция примитивно рекурсивна
|
datgen |
6 |
2141 |
15.01.2013, 14:27
AKM
|
|
Декартово произведение множеств
|
xmaister |
4 |
901 |
13.01.2013, 12:07
AGu
|
|
Про двойственные функции
|
ogcjm |
5 |
1032 |
12.01.2013, 08:18
Deggial
|
|
Эл-т док-ва т. Кантора-Бернштейна
|
noizy |
6 |
1325 |
08.01.2013, 17:27
noizy
|
|
Структуры, переносимость, универсальные отображения
|
JMH |
1 |
619 |
08.01.2013, 12:48
apriv
|
|
Неразрешимые проблемы, связанные с КА
|
SakumaRei |
4 |
1129 |
07.01.2013, 21:56
Crystaly
|
|
Категорная логика - как вводится истинность?
|
jhanjaa |
4 |
951 |
07.01.2013, 10:44
jhanjaa
|
|
Внедрение Логики в строимую теории (на примере множеств)
|
Mysterious Light |
4 |
890 |
06.01.2013, 18:31
jhanjaa
|
|
Задача об универсальной функции.
|
1doffys |
2 |
649 |
28.12.2012, 08:06
1doffys
|
|
Мощность двух отрезков.
[ На страницу: 1, 2 ]
|
delkov |
26 |
3499 |
27.12.2012, 00:20
NQD
|
|
Класс всех моделей Г
|
gefest_md |
5 |
993 |
25.12.2012, 12:58
gefest_md
|
|
Построение вывода
|
StopCry |
8 |
1408 |
24.12.2012, 11:16
Maslov
|
|
Метод двух включений
|
main.c |
11 |
2806 |
22.12.2012, 20:18
main.c
|
|
Установить биекцию в явном виде.
|
Law |
9 |
2446 |
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}
