|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
1640 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Теория множеств [Литература]
|
Whitaker |
8 |
3810 |
28.02.2016, 15:51
Anton_Peplov
|
 |
Рациональные ли числа pi-e,pi+e,pi*e...
[ На страницу: 1, 2 ]
|
MestnyBomzh |
23 |
5098 |
10.08.2019, 21:13
mihaild
|
|
Помогите разобраться с P vs NP
|
Bakaringo |
3 |
1324 |
14.03.2019, 01:58
ArshakA
|
 |
Теорема Геделя о неполноте
[ На страницу: 1, 2 ]
|
Anton_Peplov |
24 |
2074 |
05.01.2019, 22:57
Sycamore
|
|
Доказать в исчислении высказываний
[ На страницу: 1, 2 ]
|
eholot |
16 |
2802 |
12.09.2018, 17:49
damir_777
|
|
Зорич. Теорема Шредера-Бернштейна.
|
Slow |
8 |
1249 |
20.06.2018, 20:42
ewert
|
|
Почему из лжи следует истина в таблицах истинности?
[ На страницу: 1, 2, 3 ]
|
never-sleep |
35 |
5042 |
05.05.2018, 20:12
epros
|
|
Случайность в арифметике
|
maximk |
2 |
581 |
20.02.2018, 14:31
maximk
|
|
Верещагин, Шень. Эквивалентность и порядок
[ На страницу: 1 ... 4, 5, 6 ]
|
caxap |
80 |
7565 |
27.10.2017, 14:40
Sdy
|
|
Вычисление обратной к супертеплиецевой 3-диаг. матрице 25х25
|
alcoholist |
0 |
343 |
20.12.2016, 00:18
alcoholist
|
|
Пустое множество является подмножеством любого множества
[ На страницу: 1, 2, 3, 4 ]
|
RFZ |
54 |
6375 |
03.12.2016, 21:49
Aritaborian
|
|
Пустое множество - подмножество любого множества?
[ На страницу: 1, 2, 3 ]
|
Lyosha |
34 |
7200 |
24.03.2016, 12:46
iSkiper
|
|
Декартово произведение множеств
[ На страницу: 1, 2, 3 ]
|
oniksofers |
35 |
5599 |
14.03.2016, 18:44
Karan
|
|
Доказательство тождества (вопросы из учебника)
|
bayah |
12 |
409 |
11.11.2015, 17:20
Sonic86
|
|
Доказать что формула тождественно-истинная
[ На страницу: 1, 2 ]
|
Ravseld |
17 |
1174 |
11.11.2015, 11:51
whitefox
|
|
Вопрос по диагональному методу Кантора
[ На страницу: 1, 2, 3, 4 ]
|
AlexeyM |
58 |
10536 |
10.11.2015, 19:22
Someone
|
|
Зеркальность “∪” и “∩”.
|
nou |
5 |
290 |
01.11.2015, 12:13
nou
|
|
Алгебра логики
|
ExtreMaLLlka |
12 |
431 |
26.10.2015, 10:34
provincialka
|
|
Мощности в ZFC
|
Keter |
6 |
290 |
22.10.2015, 23:37
Someone
|
|
Существование биекции RxR в R вида f(x,y) = g(x) + h(y)
|
ISBA |
6 |
316 |
21.10.2015, 20:01
ISBA
|
|
n-оценка
|
cloun.rules |
3 |
192 |
21.10.2015, 14:32
Xaositect
|
|
конгруэнция
|
FeelUs |
7 |
269 |
15.10.2015, 14:36
Xaositect
|
|
Доказательства по кардиналам
[ На страницу: 1, 2 ]
|
ervadi |
17 |
885 |
11.10.2015, 22:19
ervadi
|
|
Примитивная рекурсивность целой части суммы корней
|
sofochchka94 |
5 |
404 |
09.10.2015, 19:14
sofochchka94
|
|
Непротиворечивость теории категорий
[ На страницу: 1, 2 ]
|
maximk |
20 |
908 |
06.10.2015, 21:42
arseniiv
|
|
3072 трёхзначные логики
[ На страницу: 1, 2 ]
|
Ktina |
27 |
5243 |
24.09.2015, 01:11
Ktina
|
|
Как дать определение множ действ чисел средствами ZF(C) ?
|
alex_dorin |
9 |
1993 |
21.09.2015, 18:02
arseniiv
|
|
Эффективно нулевые множества по Мартин-Лёфу
|
Anton_Peplov |
2 |
239 |
20.09.2015, 21:04
Anton_Peplov
|
|
Мощность множества всех последовательностей
[ На страницу: 1, 2 ]
|
Anton_Peplov |
15 |
1236 |
17.09.2015, 14:10
ewert
|
|
лемма Цорна
|
Oleg Zubelevich |
7 |
502 |
29.08.2015, 15:50
Nemiroff
|
|
antisymmetry (Zorich)
|
gefest_md |
6 |
393 |
27.08.2015, 23:53
gefest_md
|
|
лямбда-исчисление, редукционный граф
|
dmitryf |
8 |
501 |
26.08.2015, 18:38
dmitryf
|
|
Существование сложения натуральных чисел
|
ellipse |
0 |
235 |
26.08.2015, 00:50
ellipse
|
|
0# или V=L
|
ervadi |
1 |
283 |
23.08.2015, 08:52
Deggial
|
|
Определение натуральных чисел
[ На страницу: 1, 2 ]
|
{0} |
16 |
1072 |
19.08.2015, 07:52
Deggial
|
|
Изучение теории множеств
|
Sinoid |
3 |
400 |
29.07.2015, 00:50
Sinoid
|
|
Теорема Кантора. Доказательство
|
RonHabard |
1 |
403 |
27.07.2015, 01:53
NSKuber
|
|
две задачки по теории вычислений
|
iserjude |
0 |
284 |
26.07.2015, 17:30
iserjude
|
|
Вопрос про десятую проблему Гильберта
|
fractalon |
10 |
723 |
13.07.2015, 11:35
epros
|
|
Строгое рекурсивное задание функции
|
Duelist |
14 |
1077 |
11.07.2015, 00:45
Duelist
|
|
Множества vs Классы
|
Mysterious Light |
11 |
3498 |
13.06.2015, 21:06
Deggial
|
|
Интуиционистская логика. В чем проблема?
[ На страницу: 1, 2 ]
|
bayah |
22 |
2004 |
11.06.2015, 07:45
whitefox
|
|
Переход к пределу объединения множеств
|
EgZvor |
3 |
378 |
11.06.2015, 01:41
EgZvor
|
|
пропозициональные связки
[ На страницу: 1, 2 ]
|
Kras |
15 |
1311 |
26.05.2015, 19:37
arseniiv
|
|
Вопросы, связанные, видимо, с непониманием импликации
[ На страницу: 1, 2 ]
|
missa1 |
20 |
1556 |
25.05.2015, 19:31
Xaositect
|
|
Логическое следование
[ На страницу: 1, 2, 3 ]
|
maximk |
33 |
2968 |
20.05.2015, 21:24
epros
|
|
Ищу названия для двух объектов [выводимость, термы]
|
arseniiv |
2 |
286 |
20.05.2015, 01:58
arseniiv
|
|
О биекции отрезка на квадрат
[ На страницу: 1 ... 4, 5, 6 ]
|
Evgenii2012 |
82 |
5950 |
15.05.2015, 12:14
grizzly
|
|
Алгебра логики. СДНФ. Число функций с заданным условием
|
ChymeNik |
4 |
522 |
15.05.2015, 00:37
ChymeNik
|
|
Определение принадлежности элемента множеству
[ На страницу: 1, 2 ]
|
zm_sansan |
18 |
1824 |
14.05.2015, 23:47
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}
![Нет новых сообщений [ Тема закрыта ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_locked.gif "Нет новых сообщений [ Тема закрыта ]"){kind=small}
