|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8504 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Мощность подмножеств натурального ряда
[ На страницу: 1, 2 ]
|
science88 |
25 |
5977 |
20.10.2013, 00:22
Someone
|
 |
Определить функцию по методу примитивной рекурсии.
|
leo82 |
2 |
1757 |
15.10.2013, 08:17
leo82
|
|
Аксиома пустого множества
[ На страницу: 1, 2 ]
|
Побережный Александр |
24 |
5413 |
11.10.2013, 01:03
arseniiv
|
|
ЛУМ, изоморфизм и сумма
[ На страницу: 1, 2, 3, 4 ]
|
Manticore |
54 |
10504 |
10.10.2013, 01:33
Manticore
|
|
Математическая логика, теория множеств.
|
Tosha |
14 |
4627 |
09.10.2013, 17:19
Sonic86
|
|
Эквивалентность несчётных множеств
|
lulbec |
5 |
1960 |
07.10.2013, 22:58
lulbec
|
|
Функция. Отображение.
[ На страницу: 1, 2, 3 ]
|
farentkik |
32 |
6732 |
07.10.2013, 22:27
Otta
|
|
Равномощность семейств подмножеств
|
Manticore |
2 |
1545 |
06.10.2013, 20:45
Manticore
|
|
Отношения вложения
[ На страницу: 1, 2 ]
|
Manticore |
26 |
5192 |
06.10.2013, 18:39
provincialka
|
|
Счётность конечных подмножеств
|
Manticore |
7 |
3528 |
06.10.2013, 12:18
Manticore
|
|
Помогите разобраться (несчетность по Кантору)
|
- Archer - |
14 |
6093 |
03.10.2013, 21:20
Joker_vD
|
|
Несчётное множество
[ На страницу: 1, 2 ]
|
Manticore |
20 |
4763 |
29.09.2013, 22:56
Manticore
|
|
Корректна ли следующая запись доказательства?
|
Denis Russkih |
13 |
3516 |
27.09.2013, 00:25
Someone
|
|
Теория множеств
|
Keter |
2 |
1613 |
24.09.2013, 06:39
mihailm
|
|
Эквивалентность множеств функций
[ На страницу: 1, 2, 3 ]
|
Manticore |
31 |
5303 |
23.09.2013, 23:03
Manticore
|
|
Теория множеств
[ На страницу: 1, 2 ]
|
Ward |
15 |
5231 |
23.09.2013, 16:03
Whitaker
|
|
категорная семантика логики
|
jhanjaa |
0 |
1119 |
19.09.2013, 14:00
jhanjaa
|
|
Множества (континуум)
[ На страницу: 1, 2 ]
|
Keter |
18 |
3944 |
15.09.2013, 21:14
Keter
|
|
Предикаты
|
Tosha |
1 |
1541 |
13.09.2013, 06:50
angor6
|
|
Почему гипотеза?
|
im_ieee |
2 |
1425 |
12.09.2013, 19:04
im_ieee
|
|
Бесплатные теоремы Рейнольдса
|
Mysterious Light |
3 |
1816 |
12.09.2013, 09:53
Xaositect
|
|
Книги по теории множеств
|
mak1610 |
3 |
3140 |
10.09.2013, 11:29
Xaositect
|
|
Мощность множества всех функций из R в N.
|
supergriver |
3 |
1767 |
03.09.2013, 23:26
ИСН
|
|
Логика формальная и математическая. Предмет, основные части
[ На страницу: 1, 2, 3 ]
|
eugrita |
30 |
7916 |
28.08.2013, 07:56
iifat
|
|
вполне упорядоченное множество
|
Oleg Zubelevich |
11 |
3515 |
25.08.2013, 14:03
Oleg Zubelevich
|
|
Что означает "состояние" для машины Тьюринга?
|
AlexeyM |
7 |
3801 |
22.08.2013, 19:56
Xaositect
|
|
О действительных числах
[ На страницу: 1, 2 ]
|
Munuvonaza |
19 |
5668 |
06.08.2013, 02:07
Someone
|
|
Аксиоматическая арифметика без умножения
|
alex_dorin |
2 |
1405 |
02.08.2013, 17:34
Xaositect
|
|
Оценка за полиномиальное время
|
alex_dorin |
3 |
1673 |
23.07.2013, 20:34
alex_dorin
|
|
вопрос по генценовскому анализу
|
jhanjaa |
7 |
2337 |
15.07.2013, 19:34
Deggial
|
|
Что такое кардинальное/ординальное число
|
xmaister |
5 |
2337 |
11.07.2013, 00:44
Someone
|
|
Множества отображение и сравнение мощностей
|
Nikys |
10 |
2914 |
26.06.2013, 00:37
Xaositect
|
|
Двойственность для счетного числа объединений и пересечений
|
Tigran-aminator |
6 |
2131 |
25.06.2013, 17:54
Xaositect
|
|
математическая индукция и сигма-алгебра
[ На страницу: 1, 2 ]
|
Tigran-aminator |
26 |
5420 |
20.06.2013, 01:50
Otta
|
|
Установить общезначимость или необщезначимость формулы в т.K
[ На страницу: 1, 2 ]
|
YgolovnicK |
21 |
5205 |
16.06.2013, 14:53
YgolovnicK
|
|
Доказать теорему в теории L4
|
YgolovnicK |
12 |
3414 |
16.06.2013, 12:07
YgolovnicK
|
|
Пренексные нормальные формы исчисления предикатов.
|
Reef |
11 |
3262 |
12.06.2013, 21:19
Reef
|
|
Задача на Фильтры.
|
capabilitier |
2 |
1492 |
08.06.2013, 22:28
capabilitier
|
 |
Ошибка Timothy Y. Chow
[ На страницу: 1, 2, 3 ]
|
xyzxyz |
36 |
9558 |
05.06.2013, 22:50
GAA
|
|
Рекурсивное множество и функция
|
Cunning |
4 |
1684 |
03.06.2013, 18:10
AGu
|
|
Элиминация кванторов Рамсея. Множество свидетелей.
|
Nikta |
7 |
2214 |
03.06.2013, 08:55
Nikta
|
|
Как доказать выводимость формулы в Исчислении высказываний
|
kola1357 |
4 |
3769 |
29.05.2013, 18:53
Sonic86
|
|
Задача на тему исчисление высказываний.
[ На страницу: 1, 2 ]
|
kola1357 |
17 |
6061 |
29.05.2013, 18:39
arseniiv
|
|
Фильтр, главный фильтр, ультрафильтр
|
TehNick |
8 |
2696 |
28.05.2013, 17:43
TehNick
|
|
Собственные классы и ещё ординалы
|
arseniiv |
5 |
2104 |
22.05.2013, 16:20
Xaositect
|
|
Как в аксиом. подходе формализуются определения ?
[ На страницу: 1, 2, 3, 4 ]
|
_hum_ |
54 |
13442 |
17.05.2013, 18:45
mserg
|
|
Строгое определение нуль местной функции
|
jivar |
2 |
1652 |
13.05.2013, 19:40
Joker_vD
|
|
Категории не множеств
[ На страницу: 1, 2 ]
|
Niclax |
17 |
4029 |
11.05.2013, 17:40
Niclax
|
|
Машины Тьюринга
[ На страницу: 1, 2 ]
|
cool.phenon |
22 |
6055 |
10.05.2013, 19:45
Xaositect
|
|
Машина тьюринга, подскажите идеи построения
|
jivar |
1 |
1466 |
04.05.2013, 16:16
arseniiv
|
|
|
![Новые сообщения [ Популярная тема ]](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}
