|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
1415 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Теория множеств [Литература]
|
Whitaker |
8 |
2998 |
28.02.2016, 15:51
Anton_Peplov
|
 |
Почему из лжи следует истина в таблицах истинности?
[ На страницу: 1, 2 ]
|
never-sleep |
22 |
2589 |
20.04.2018, 17:18
arseniiv
|
|
Случайность в арифметике
|
maximk |
2 |
321 |
20.02.2018, 14:31
maximk
|
 |
Верещагин, Шень. Эквивалентность и порядок
[ На страницу: 1 ... 4, 5, 6 ]
|
caxap |
80 |
4454 |
27.10.2017, 14:40
Sdy
|
|
Помогите разобраться с P vs NP
|
Bakaringo |
2 |
926 |
09.01.2017, 23:12
Toucan
|
|
Вычисление обратной к супертеплиецевой 3-диаг. матрице 25х25
|
alcoholist |
0 |
217 |
20.12.2016, 00:18
alcoholist
|
|
Пустое множество является подмножеством любого множества
[ На страницу: 1, 2, 3, 4 ]
|
RFZ |
54 |
3600 |
03.12.2016, 21:49
Aritaborian
|
|
Рациональные ли числа pi-e,pi+e,pi*e...
[ На страницу: 1, 2 ]
|
MestnyBomzh |
21 |
3802 |
21.07.2016, 02:54
Toucan
|
|
Пустое множество - подмножество любого множества?
[ На страницу: 1, 2, 3 ]
|
Lyosha |
34 |
5435 |
24.03.2016, 12:46
iSkiper
|
|
Декартово произведение множеств
[ На страницу: 1, 2, 3 ]
|
oniksofers |
35 |
3924 |
14.03.2016, 18:44
Karan
|
|
Вопрос по диагональному методу Кантора
[ На страницу: 1, 2, 3, 4 ]
|
AlexeyM |
58 |
7185 |
10.11.2015, 19:22
Someone
|
|
3072 трёхзначные логики
[ На страницу: 1, 2 ]
|
Ktina |
27 |
4104 |
24.09.2015, 01:11
Ktina
|
|
Как дать определение множ действ чисел средствами ZF(C) ?
|
alex_dorin |
9 |
1499 |
21.09.2015, 18:02
arseniiv
|
|
Теорема Кантора. Доказательство
|
RonHabard |
1 |
222 |
27.07.2015, 01:53
NSKuber
|
|
две задачки по теории вычислений
|
iserjude |
0 |
174 |
26.07.2015, 17:30
iserjude
|
|
Множества vs Классы
|
Mysterious Light |
11 |
2858 |
13.06.2015, 21:06
Deggial
|
|
пропозициональные связки
[ На страницу: 1, 2 ]
|
Kras |
15 |
536 |
26.05.2015, 19:37
arseniiv
|
|
Логическое следование
[ На страницу: 1, 2, 3 ]
|
maximk |
33 |
1206 |
20.05.2015, 21:24
epros
|
|
Алгебра логики. СДНФ. Число функций с заданным условием
|
ChymeNik |
4 |
230 |
15.05.2015, 00:37
ChymeNik
|
|
Определение принадлежности элемента множеству
[ На страницу: 1, 2 ]
|
zm_sansan |
18 |
893 |
14.05.2015, 23:47
arseniiv
|
|
Неразрешимость ZF
|
Darts501 |
1 |
166 |
09.05.2015, 16:10
AGu
|
|
Система аксиом метрического пространства
|
1r0pb |
6 |
321 |
08.05.2015, 21:58
1r0pb
|
|
Посоветуйте книгу по логике с нуля до хорошего уровня 9 клас
|
Morozov+ |
9 |
551 |
04.05.2015, 19:01
Alexandr
|
|
Математическая логика. Составление СДНФ.
|
LexxArh |
7 |
259 |
04.05.2015, 18:15
LexxArh
|
|
Задача по множествам
|
veterinar |
10 |
488 |
03.05.2015, 20:53
Kras
|
|
Равномощность прямой и плоскости
|
fractalon |
5 |
270 |
27.04.2015, 04:59
iifat
|
|
Диагональный метод Кантора, помогите понять мою ошибку
[ На страницу: 1, 2, 3, 4 ]
|
Redkhmer |
52 |
1614 |
21.04.2015, 05:57
AGu
|
|
Как из схем аксиом Клини вывести схему аксиом Гильберта №2?
[ На страницу: 1, 2 ]
|
Kosat |
25 |
687 |
20.04.2015, 08:20
Kosat
|
|
Непонятный абзац из Шеня
|
SomePupil |
3 |
278 |
11.04.2015, 19:24
мат-ламер
|
|
Отношение принадлежности
[ На страницу: 1, 2, 3 ]
|
Kras |
40 |
1770 |
05.04.2015, 12:00
AGu
|
|
О возможности упорядочения множества в ZFC и акс. фундирован
|
alex_dorin |
2 |
180 |
04.04.2015, 13:54
AGu
|
|
Книга по математической логике
[ На страницу: 1, 2 ]
|
jms |
18 |
10711 |
03.04.2015, 12:14
flashhh
|
|
Аксиомы Цермело-Френкеля и понятие предиката
[ На страницу: 1, 2 ]
|
Anton_Peplov |
17 |
841 |
30.03.2015, 23:22
arseniiv
|
|
Упорядоченные пары
|
Doctor Faust |
10 |
2401 |
26.03.2015, 06:59
Lia
|
|
Научиться работать с бесконечностью
|
Anton_Peplov |
4 |
379 |
25.03.2015, 23:34
Anton_Peplov
|
|
Обозначения в теории множеств
|
Kras |
4 |
344 |
19.03.2015, 01:04
Brukvalub
|
|
\aleph_2 =? 2^C
|
Munin |
10 |
720 |
17.03.2015, 13:11
Munin
|
|
Мат. логика и теория алгоритмов
|
DonVito |
7 |
611 |
13.03.2015, 13:09
gefest_md
|
|
Логика второго порядка
|
Mitrius_Math |
4 |
512 |
11.03.2015, 23:13
Mitrius_Math
|
|
Азы теории категорий
[ На страницу: 1, 2 ]
|
_Ivana |
24 |
1029 |
05.03.2015, 03:57
_Ivana
|
|
Мат. логика: импликация
[ На страницу: 1, 2 ]
|
Nurzery[Rhymes] |
15 |
857 |
24.02.2015, 22:14
arseniiv
|
|
Покрытие плоскости замкнутыми кругами...
[ На страницу: 1, 2, 3 ]
|
Geros |
38 |
1771 |
18.02.2015, 15:34
Cash
|
|
Парадокс Банаха — Тарского
[ На страницу: 1, 2 ]
|
CheOmsk |
26 |
1622 |
11.02.2015, 07:12
NSKuber
|
|
Примитивная рекурсивность функции
|
havik |
1 |
213 |
10.02.2015, 02:02
3D Homer
|
|
Как правильно доказывать равенства в теории множеств?
|
Fichtenholz |
11 |
677 |
09.02.2015, 02:13
Henrylee
|
|
Зорич. Теорема Шредера-Бернштейна.
|
Slow |
6 |
626 |
02.02.2015, 13:26
Slow
|
|
Множества
|
kojirh |
11 |
784 |
29.01.2015, 19:01
Kras
|
|
Упорядоченные множества
[ На страницу: 1, 2 ]
|
kojirh |
19 |
1013 |
28.01.2015, 16:36
kojirh
|
|
Произведение отображений, обратное отображение
[ На страницу: 1, 2 ]
|
Kras |
16 |
854 |
24.01.2015, 23:09
Kras
|
|
Третья проблема Гильерта
|
deep down |
6 |
721 |
17.01.2015, 20:23
deep down
|
|
|
![Новые сообщения [ Популярная тема ]](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}
