|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
1451 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Равномощность семейств подмножеств
|
Manticore |
2 |
298 |
06.10.2013, 20:45
Manticore
|
 |
Отношения вложения
[ На страницу: 1, 2 ]
|
Manticore |
26 |
1268 |
06.10.2013, 18:39
provincialka
|
|
Счётность конечных подмножеств
|
Manticore |
7 |
685 |
06.10.2013, 12:18
Manticore
|
|
Задачки из книги Зорича
[ На страницу: 1, 2 ]
|
Denis Russkih |
24 |
1471 |
06.10.2013, 11:16
Deggial
|
|
Помогите разобраться (несчетность по Кантору)
|
- Archer - |
14 |
2209 |
03.10.2013, 21:20
Joker_vD
|
|
Несчётное множество
[ На страницу: 1, 2 ]
|
Manticore |
20 |
1114 |
29.09.2013, 22:56
Manticore
|
|
Корректна ли следующая запись доказательства?
|
Denis Russkih |
13 |
840 |
27.09.2013, 00:25
Someone
|
|
Теория множеств
|
Keter |
2 |
389 |
24.09.2013, 06:39
mihailm
|
|
Эквивалентность множеств функций
[ На страницу: 1, 2, 3 ]
|
Manticore |
31 |
1162 |
23.09.2013, 23:03
Manticore
|
|
Теория множеств
[ На страницу: 1, 2 ]
|
Ward |
15 |
1371 |
23.09.2013, 16:03
Whitaker
|
|
категорная семантика логики
|
jhanjaa |
0 |
216 |
19.09.2013, 14:00
jhanjaa
|
|
Множества (континуум)
[ На страницу: 1, 2 ]
|
Keter |
18 |
1103 |
15.09.2013, 21:14
Keter
|
|
Предикаты
|
Tosha |
1 |
339 |
13.09.2013, 06:50
angor6
|
|
Почему гипотеза?
|
im_ieee |
2 |
404 |
12.09.2013, 19:04
im_ieee
|
|
Бесплатные теоремы Рейнольдса
|
Mysterious Light |
3 |
520 |
12.09.2013, 09:53
Xaositect
|
|
Книги по теории множеств
|
mak1610 |
3 |
954 |
10.09.2013, 11:29
Xaositect
|
|
Мощность множества всех функций из R в N.
|
supergriver |
3 |
490 |
03.09.2013, 23:26
ИСН
|
|
Логика формальная и математическая. Предмет, основные части
[ На страницу: 1, 2, 3 ]
|
eugrita |
30 |
2692 |
28.08.2013, 07:56
iifat
|
|
вполне упорядоченное множество
|
Oleg Zubelevich |
11 |
1007 |
25.08.2013, 14:03
Oleg Zubelevich
|
|
Что означает "состояние" для машины Тьюринга?
|
AlexeyM |
7 |
877 |
22.08.2013, 19:56
Xaositect
|
|
Импликация. Почему определяется именно так?
[ На страницу: 1, 2 ]
|
Amigo |
21 |
8938 |
11.08.2013, 14:54
Sonic86
|
|
О действительных числах
[ На страницу: 1, 2 ]
|
Munuvonaza |
19 |
1561 |
06.08.2013, 02:07
Someone
|
|
Аксиоматическая арифметика без умножения
|
alex_dorin |
2 |
394 |
02.08.2013, 17:34
Xaositect
|
|
Оценка за полиномиальное время
|
alex_dorin |
3 |
457 |
23.07.2013, 20:34
alex_dorin
|
|
вопрос по генценовскому анализу
|
jhanjaa |
7 |
616 |
15.07.2013, 19:34
Deggial
|
|
Что такое кардинальное/ординальное число
|
xmaister |
5 |
630 |
11.07.2013, 00:44
Someone
|
|
Множества отображение и сравнение мощностей
|
Nikys |
10 |
737 |
26.06.2013, 00:37
Xaositect
|
|
Двойственность для счетного числа объединений и пересечений
|
Tigran-aminator |
6 |
516 |
25.06.2013, 17:54
Xaositect
|
|
математическая индукция и сигма-алгебра
[ На страницу: 1, 2 ]
|
Tigran-aminator |
26 |
1518 |
20.06.2013, 01:50
Otta
|
|
Установить общезначимость или необщезначимость формулы в т.K
[ На страницу: 1, 2 ]
|
YgolovnicK |
21 |
1595 |
16.06.2013, 14:53
YgolovnicK
|
|
Доказать теорему в теории L4
|
YgolovnicK |
12 |
870 |
16.06.2013, 12:07
YgolovnicK
|
|
Пренексные нормальные формы исчисления предикатов.
|
Reef |
11 |
877 |
12.06.2013, 21:19
Reef
|
|
Задача на Фильтры.
|
capabilitier |
2 |
338 |
08.06.2013, 22:28
capabilitier
|
 |
Ошибка Timothy Y. Chow
[ На страницу: 1, 2, 3 ]
|
xyzxyz |
36 |
3601 |
05.06.2013, 22:50
GAA
|
|
Рекурсивное множество и функция
|
Cunning |
4 |
398 |
03.06.2013, 18:10
AGu
|
|
Элиминация кванторов Рамсея. Множество свидетелей.
|
Nikta |
7 |
516 |
03.06.2013, 08:55
Nikta
|
|
Как доказать выводимость формулы в Исчислении высказываний
|
kola1357 |
4 |
1224 |
29.05.2013, 18:53
Sonic86
|
|
Задача на тему исчисление высказываний.
[ На страницу: 1, 2 ]
|
kola1357 |
17 |
1833 |
29.05.2013, 18:39
arseniiv
|
|
Фильтр, главный фильтр, ультрафильтр
|
TehNick |
8 |
767 |
28.05.2013, 17:43
TehNick
|
|
Собственные классы и ещё ординалы
|
arseniiv |
5 |
504 |
22.05.2013, 16:20
Xaositect
|
|
Как в аксиом. подходе формализуются определения ?
[ На страницу: 1, 2, 3, 4 ]
|
_hum_ |
54 |
2476 |
17.05.2013, 18:45
mserg
|
|
Строгое определение нуль местной функции
|
jivar |
2 |
405 |
13.05.2013, 19:40
Joker_vD
|
|
Категории не множеств
[ На страницу: 1, 2 ]
|
Niclax |
17 |
1185 |
11.05.2013, 17:40
Niclax
|
|
Машины Тьюринга
[ На страницу: 1, 2 ]
|
cool.phenon |
22 |
1561 |
10.05.2013, 19:45
Xaositect
|
|
Машина тьюринга, подскажите идеи построения
|
jivar |
1 |
415 |
04.05.2013, 16:16
arseniiv
|
|
Доказать тождество из теории множеств
|
romanb |
3 |
641 |
03.05.2013, 23:26
romanb
|
|
Мощность континуума
|
Doil-byle |
2 |
521 |
01.05.2013, 22:12
Doil-byle
|
|
Язык, мат. логика и конечные множества
|
Asker Tasker |
6 |
597 |
25.04.2013, 17:42
Asker Tasker
|
|
Вопрос по теории множеств
[ На страницу: 1, 2 ]
|
sopor |
21 |
1315 |
25.04.2013, 13:12
Doil-byle
|
|
Преобразование логической формулы
|
magneton_bora |
3 |
451 |
20.04.2013, 14:22
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}
