|
Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
Объявления |
![Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней. Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней.](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/announce_read_locked.gif) |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
7220 |
12.02.2012, 16:29
PAV
|
Темы |
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/sticky_read.gif) |
Теория множеств [Литература]
|
Whitaker |
8 |
13387 |
28.02.2016, 15:51
Anton_Peplov
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_hot.gif) |
Пустое множество - подмножество любого множества?
[ На страницу: 1, 2, 3 ]
|
Lyosha |
35 |
34793 |
01.12.2023, 10:58
Ende
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_hot.gif) |
Континуум-гипотеза: как понять?
[ На страницу: 1, 2, 3 ]
|
Skipper |
32 |
20023 |
12.10.2022, 22:04
пианист
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_hot.gif) |
Задачки из книги Зорича
[ На страницу: 1, 2 ]
|
Denis Russkih |
26 |
23183 |
11.08.2022, 21:31
Lia
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Импликация. Почему определяется именно так?
[ На страницу: 1, 2 ]
|
Amigo |
22 |
26103 |
01.08.2022, 03:04
Konstantin Donskoy
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Пробел в доказательстве у Ершова-Палютина?
|
lofar |
2 |
3706 |
16.12.2021, 08:46
pupugai
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_hot.gif) |
Вопросы по синтаксису Бурбаки
[ На страницу: 1, 2, 3, 4, 5 ]
|
creative |
69 |
49544 |
28.02.2021, 23:59
arseniiv
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Множества vs Классы
[ На страницу: 1, 2 ]
|
Mysterious Light |
23 |
20243 |
15.12.2020, 23:28
Someone
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Задача на применение аксиомы Цермело
|
Prosto4elovek. |
10 |
14678 |
10.06.2020, 22:43
parean
|
![Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней. Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней.](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_locked.gif) |
Почему из лжи следует истина в таблицах истинности?
[ На страницу: 1, 2, 3 ]
|
never-sleep |
41 |
54182 |
25.03.2020, 16:45
george66
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Теорема Гудстейна
|
Rhymmor |
5 |
8624 |
16.01.2020, 11:55
rishelie
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Рациональные ли числа pi-e,pi+e,pi*e...
[ На страницу: 1, 2 ]
|
MestnyBomzh |
23 |
29097 |
10.08.2019, 21:13
mihaild
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Помогите разобраться с P vs NP
|
Bakaringo |
3 |
9352 |
14.03.2019, 01:58
ArshakA
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_hot.gif) |
Теорема Геделя о неполноте
[ На страницу: 1, 2 ]
|
Anton_Peplov |
24 |
30067 |
05.01.2019, 22:57
Sycamore
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Доказать в исчислении высказываний
[ На страницу: 1, 2 ]
|
eholot |
16 |
18385 |
12.09.2018, 17:49
damir_777
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Зорич. Теорема Шредера-Бернштейна.
|
Slow |
8 |
10579 |
20.06.2018, 20:42
ewert
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Случайность в арифметике
|
maximk |
2 |
6666 |
20.02.2018, 14:31
maximk
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_hot.gif) |
Верещагин, Шень. Эквивалентность и порядок
[ На страницу: 1 ... 4, 5, 6 ]
|
caxap |
80 |
60865 |
27.10.2017, 14:40
Sdy
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Вычисление обратной к супертеплиецевой 3-диаг. матрице 25х25
|
alcoholist |
0 |
5708 |
20.12.2016, 00:18
alcoholist
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_hot.gif) |
Пустое множество является подмножеством любого множества
[ На страницу: 1, 2, 3, 4 ]
|
RFZ |
54 |
48794 |
03.12.2016, 21:49
Aritaborian
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_hot.gif) |
Декартово произведение множеств
[ На страницу: 1, 2, 3 ]
|
oniksofers |
35 |
34669 |
14.03.2016, 18:44
Karan
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Вывод теорем
|
damir_777 |
6 |
9634 |
18.02.2016, 17:06
arseniiv
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Мощность множества функций и континуум-гипотеза
|
gris |
10 |
10461 |
17.02.2016, 18:45
Mihr
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Формализация логики высказываний
|
damir_777 |
5 |
7939 |
15.02.2016, 21:36
arseniiv
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Помогите доказать, что A\(B\C) = (A\B) или (A и C).
|
default |
9 |
16931 |
14.02.2016, 22:08
arseniiv
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Исчисление высказываний. Вывод формулы.
|
Korner |
4 |
8258 |
08.02.2016, 21:30
Korner
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Частично упорядоченные множества
|
EgZvor |
14 |
19817 |
07.02.2016, 21:28
arseniiv
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_hot.gif) |
Невычислимые числа.
[ На страницу: 1, 2 ]
|
gomomorfizm |
29 |
20352 |
03.02.2016, 13:27
whitefox
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Счетные и несчетные множества
[ На страницу: 1, 2 ]
|
hanik |
22 |
17041 |
29.01.2016, 01:30
Someone
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Сходящаяся последовательность множеств
|
Anton_Peplov |
14 |
15292 |
24.01.2016, 14:56
Anton_Peplov
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Теория множеств. Построить взаимно-однозначное соответствие
|
OneMore |
3 |
7252 |
24.01.2016, 11:35
OneMore
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Круги Эйлера и диаграммы Венна
|
Anjutam |
2 |
6474 |
22.01.2016, 15:15
Someone
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_hot.gif) |
Глупый вопрос по теории множеств, A^0
[ На страницу: 1, 2, 3 ]
|
Sonic86 |
42 |
45619 |
05.01.2016, 11:03
Mikhail_K
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Истинные утверждения
|
Esecman |
12 |
17908 |
30.12.2015, 16:12
Sicker
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Задача про бесов
[ На страницу: 1, 2 ]
|
azmt |
17 |
16370 |
28.12.2015, 17:54
Someone
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Математическая логика
|
Dmitry Tkachenko |
6 |
10689 |
28.12.2015, 14:01
gefest_md
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Независимость и невыводимость
|
Unx |
4 |
8643 |
21.12.2015, 08:58
Sonic86
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Большие кардиналы: за и против
|
ervadi |
14 |
12314 |
06.12.2015, 17:28
Deggial
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Может ли ZFC быть непротиворечивой и неверной?
|
revenalp |
6 |
9801 |
06.12.2015, 14:47
Someone
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Множество упорядоченных пар натуральных чисел счётно
|
Guliashik |
7 |
8222 |
30.11.2015, 14:09
Someone
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Переглянувшиеся марсианки
|
Ktina |
8 |
8538 |
28.11.2015, 19:59
Aritaborian
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_hot.gif) |
Примеры истинных импликаций с ложной посылкой
[ На страницу: 1, 2, 3 ]
|
Sinoid |
30 |
28784 |
28.11.2015, 11:58
Sinoid
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Кардинал больше соответствующего ординала?
|
revenalp |
2 |
7060 |
22.11.2015, 15:25
revenalp
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Моноид в аппликативном функторе - моноид?
[ На страницу: 1, 2 ]
|
_Ivana |
18 |
16966 |
15.11.2015, 22:26
beroal
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Доказательство тождества (вопросы из учебника)
|
bayah |
12 |
19238 |
11.11.2015, 17:20
Sonic86
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Доказать что формула тождественно-истинная
[ На страницу: 1, 2 ]
|
Ravseld |
17 |
14768 |
11.11.2015, 11:51
whitefox
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_hot.gif) |
Вопрос по диагональному методу Кантора
[ На страницу: 1, 2, 3, 4 ]
|
AlexeyM |
58 |
75950 |
10.11.2015, 19:22
Someone
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Зеркальность “∪” и “∩”.
|
nou |
5 |
10823 |
01.11.2015, 12:13
nou
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Алгебра логики
|
ExtreMaLLlka |
12 |
17110 |
26.10.2015, 10:34
provincialka
|
![Нет новых сообщений Нет новых сообщений](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read.gif) |
Мощности в ZFC
|
Keter |
6 |
9999 |
22.10.2015, 23:37
Someone
|
|