|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
4308 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Логика второго порядка
|
Mitrius_Math |
4 |
1545 |
11.03.2015, 23:13
Mitrius_Math
|
 |
Азы теории категорий
[ На страницу: 1, 2 ]
|
_Ivana |
24 |
3658 |
05.03.2015, 03:57
_Ivana
|
|
Мат. логика: импликация
[ На страницу: 1, 2 ]
|
Nurzery[Rhymes] |
15 |
3576 |
24.02.2015, 22:14
arseniiv
|
|
Покрытие плоскости замкнутыми кругами...
[ На страницу: 1, 2, 3 ]
|
Geros |
38 |
5809 |
18.02.2015, 15:34
Cash
|
|
Парадокс Банаха — Тарского
[ На страницу: 1, 2 ]
|
CheOmsk |
26 |
4629 |
11.02.2015, 07:12
NSKuber
|
|
Примитивная рекурсивность функции
|
havik |
1 |
681 |
10.02.2015, 02:02
3D Homer
|
|
Как правильно доказывать равенства в теории множеств?
|
Fichtenholz |
11 |
2726 |
09.02.2015, 02:13
Henrylee
|
|
Множества
|
kojirh |
11 |
2088 |
29.01.2015, 19:01
Kras
|
|
Упорядоченные множества
[ На страницу: 1, 2 ]
|
kojirh |
19 |
3240 |
28.01.2015, 16:36
kojirh
|
|
Произведение отображений, обратное отображение
[ На страницу: 1, 2 ]
|
Kras |
16 |
2501 |
24.01.2015, 23:09
Kras
|
|
Третья проблема Гильерта
|
deep down |
6 |
1574 |
17.01.2015, 20:23
deep down
|
|
Пустое отношение
[ На страницу: 1, 2 ]
|
Kras |
23 |
4611 |
13.01.2015, 02:32
arseniiv
|
|
Мощность множества всех фигур на плоскости
[ На страницу: 1, 2, 3 ]
|
Bacon |
35 |
5612 |
11.01.2015, 07:09
bot
|
|
Поиск мощности множества функций
[ На страницу: 1, 2 ]
|
Bacon |
23 |
4262 |
08.01.2015, 00:26
Bacon
|
|
Доказательство алгебраичности числа
[ На страницу: 1, 2, 3, 4 ]
|
maximk |
54 |
8263 |
07.01.2015, 10:57
nnosipov
|
|
Упрощение логических выражений
[ На страницу: 1, 2 ]
|
Limit79 |
16 |
2951 |
05.01.2015, 22:03
Limit79
|
|
что такое модель действительных чисел?
|
gefest_md |
3 |
1230 |
03.01.2015, 22:17
provincialka
|
|
Композитные монады
|
Mysterious Light |
2 |
1050 |
01.01.2015, 23:44
Mysterious Light
|
|
Зорич, задача 22 с)
[ На страницу: 1, 2 ]
|
gefest_md |
17 |
2886 |
29.12.2014, 02:24
ИСН
|
|
Рекурсия
[ На страницу: 1, 2, 3 ]
|
MestnyBomzh |
43 |
10901 |
19.12.2014, 20:48
Lia
|
|
теорема Шрёдера-Бернштейна
|
gefest_md |
1 |
756 |
16.12.2014, 10:46
mishafromusa
|
|
Логика высказываний
|
IvanEh |
8 |
1968 |
15.12.2014, 20:00
arseniiv
|
|
Элементарная задача на мощность множества
|
mark_sandman |
2 |
1000 |
09.12.2014, 09:29
grizzly
|
|
Направленность
|
Rich |
6 |
1576 |
17.11.2014, 15:16
provincialka
|
|
Трансфинитный ряд подгрупп
|
Felt |
5 |
1692 |
11.11.2014, 01:15
arseniiv
|
|
Элементарная эквивалентность
|
Geros |
0 |
663 |
09.11.2014, 16:10
Geros
|
|
имитация, симуляция
|
alcoholist |
2 |
1367 |
03.11.2014, 13:42
alcoholist
|
|
Сужение сигма-алгебры.
|
AMapyaK |
3 |
1098 |
29.10.2014, 01:00
RIP
|
|
Теория сложности: P vs NP. Основные достижения на 2014 год.
|
tdoex |
7 |
2098 |
26.10.2014, 14:40
Vieux
|
|
кардинальные исчисления
|
Dimarik_93 |
4 |
1935 |
23.10.2014, 16:09
Deggial
|
|
формулы логики предикатов
|
popolznev |
6 |
1758 |
18.10.2014, 12:42
popolznev
|
|
Теория алгоритмов: "аксиома протокола"
[ На страницу: 1, 2, 3 ]
|
Anton_Peplov |
30 |
6752 |
17.10.2014, 21:43
Anton_Peplov
|
|
Независимость аксиом
|
im_ieee |
4 |
1820 |
08.10.2014, 23:02
van81
|
|
[теория категорий] Морфизм между экспоненциалами
|
Mysterious Light |
7 |
2084 |
05.10.2014, 19:28
Mysterious Light
|
|
Помогите разобраться чего от меня хотят!
|
Gertiy |
6 |
1962 |
03.10.2014, 18:22
Gertiy
|
|
Из каких задач состоит класс NPI (NP-Intermediate)
|
veg_nw |
4 |
1408 |
28.09.2014, 17:53
veg_nw
|
|
Аксиома выбора образует замкнутый круг?
|
red_alert |
12 |
2754 |
26.09.2014, 21:49
Someone
|
|
Множество всех функций
|
red_alert |
8 |
2041 |
26.09.2014, 20:25
arseniiv
|
|
Схемы аксиом и Теоремы Гёделя
|
grizzly |
4 |
1486 |
10.09.2014, 08:15
grizzly
|
|
МТ с Оракулом остановки (почему не противоречива) ?
|
shkolnik |
5 |
1573 |
05.09.2014, 17:37
shkolnik
|
|
Арифметика типов
|
Mysterious Light |
10 |
2647 |
26.08.2014, 23:23
Mysterious Light
|
|
Про множества (всех множеств)
[ На страницу: 1, 2 ]
|
Sasha2 |
25 |
7106 |
26.08.2014, 01:54
Lia
|
|
Объясните пожалуйста таблицу истинности импликации
|
nebrit63 |
10 |
3089 |
24.08.2014, 18:18
arseniiv
|
|
Помогите оценить сложность решения
|
Алекс77 |
6 |
1733 |
12.08.2014, 13:39
Алекс77
|
|
Трехзначная логика с измененной импликацией
|
cscscs |
2 |
1147 |
17.07.2014, 19:22
cscscs
|
|
Сложение в системе Пеано
|
tsverg |
11 |
2645 |
15.07.2014, 16:01
tsverg
|
|
"Теория множеств" Бурбаки
|
absque |
11 |
3713 |
09.07.2014, 22:09
absque
|
|
классы задач по сложности
|
fbogomolkin |
1 |
842 |
05.07.2014, 01:36
patzer2097
|
|
Счетность множеств
[ На страницу: 1, 2 ]
|
____ |
20 |
4493 |
03.07.2014, 04:22
iifat
|
|
Линейность порядка
|
eg__13 |
4 |
1417 |
22.06.2014, 23:39
ewert
|
|
|
![Новые сообщения [ Популярная тема ]](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}
