|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
9132 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Существование биекции RxR в R вида f(x,y) = g(x) + h(y)
|
ISBA |
6 |
5081 |
21.10.2015, 20:01
ISBA
|
|
n-оценка
|
cloun.rules |
3 |
2523 |
21.10.2015, 14:32
Xaositect
|
|
конгруэнция
|
FeelUs |
7 |
3538 |
15.10.2015, 14:36
Xaositect
|
|
Доказательства по кардиналам
[ На страницу: 1, 2 ]
|
ervadi |
17 |
5608 |
11.10.2015, 22:19
ervadi
|
|
Примитивная рекурсивность целой части суммы корней
|
sofochchka94 |
5 |
2448 |
09.10.2015, 19:14
sofochchka94
|
|
Непротиворечивость теории категорий
[ На страницу: 1, 2 ]
|
maximk |
20 |
6265 |
06.10.2015, 21:42
arseniiv
|
 |
3072 трёхзначные логики
[ На страницу: 1, 2 ]
|
Ktina |
27 |
11797 |
24.09.2015, 01:11
Ktina
|
|
Как дать определение множ действ чисел средствами ZF(C) ?
|
alex_dorin |
9 |
4164 |
21.09.2015, 18:02
arseniiv
|
|
Эффективно нулевые множества по Мартин-Лёфу
|
Anton_Peplov |
2 |
1556 |
20.09.2015, 21:04
Anton_Peplov
|
|
Мощность множества всех последовательностей
[ На страницу: 1, 2 ]
|
Anton_Peplov |
15 |
6814 |
17.09.2015, 14:10
ewert
|
|
лемма Цорна
|
Oleg Zubelevich |
7 |
2704 |
29.08.2015, 15:50
Nemiroff
|
|
antisymmetry (Zorich)
|
gefest_md |
6 |
2436 |
27.08.2015, 23:53
gefest_md
|
|
лямбда-исчисление, редукционный граф
|
dmitryf |
8 |
2769 |
26.08.2015, 18:38
dmitryf
|
|
Существование сложения натуральных чисел
|
ellipse |
0 |
1113 |
26.08.2015, 00:50
ellipse
|
|
0# или V=L
|
ervadi |
1 |
1407 |
23.08.2015, 08:52
Deggial
|
|
Определение натуральных чисел
[ На страницу: 1, 2 ]
|
{0} |
16 |
4958 |
19.08.2015, 07:52
Deggial
|
|
Изучение теории множеств
|
Sinoid |
3 |
2047 |
29.07.2015, 00:50
Sinoid
|
|
Теорема Кантора. Доказательство
|
RonHabard |
1 |
1404 |
27.07.2015, 01:53
NSKuber
|
|
две задачки по теории вычислений
|
iserjude |
0 |
1093 |
26.07.2015, 17:30
iserjude
|
|
Вопрос про десятую проблему Гильберта
|
fractalon |
10 |
3204 |
13.07.2015, 11:35
epros
|
|
Строгое рекурсивное задание функции
|
Duelist |
14 |
4439 |
11.07.2015, 00:45
Duelist
|
|
Интуиционистская логика. В чем проблема?
[ На страницу: 1, 2 ]
|
bayah |
22 |
7277 |
11.06.2015, 07:45
whitefox
|
|
Переход к пределу объединения множеств
|
EgZvor |
3 |
1651 |
11.06.2015, 01:41
EgZvor
|
|
пропозициональные связки
[ На страницу: 1, 2 ]
|
Kras |
15 |
4647 |
26.05.2015, 19:37
arseniiv
|
|
Вопросы, связанные, видимо, с непониманием импликации
[ На страницу: 1, 2 ]
|
missa1 |
20 |
6837 |
25.05.2015, 19:31
Xaositect
|
|
Логическое следование
[ На страницу: 1, 2, 3 ]
|
maximk |
33 |
13135 |
20.05.2015, 21:24
epros
|
|
Ищу названия для двух объектов [выводимость, термы]
|
arseniiv |
2 |
1413 |
20.05.2015, 01:58
arseniiv
|
|
О биекции отрезка на квадрат
[ На страницу: 1 ... 4, 5, 6 ]
|
Evgenii2012 |
82 |
23033 |
15.05.2015, 12:14
grizzly
|
|
Алгебра логики. СДНФ. Число функций с заданным условием
|
ChymeNik |
4 |
1971 |
15.05.2015, 00:37
ChymeNik
|
|
Определение принадлежности элемента множеству
[ На страницу: 1, 2 ]
|
zm_sansan |
18 |
6068 |
14.05.2015, 23:47
arseniiv
|
|
Доказать, не опираясь на аксиому выбора(и экв. ей утв.)
|
IvMig |
5 |
2156 |
11.05.2015, 19:47
IvMig
|
|
Неразрешимость ZF
|
Darts501 |
1 |
1238 |
09.05.2015, 16:10
AGu
|
|
Система аксиом метрического пространства
|
1r0pb |
6 |
2404 |
08.05.2015, 21:58
1r0pb
|
|
Посоветуйте книгу по логике с нуля до хорошего уровня 9 клас
|
Morozov+ |
9 |
5293 |
04.05.2015, 19:01
Alexandr
|
|
Математическая логика. Составление СДНФ.
|
LexxArh |
7 |
2480 |
04.05.2015, 18:15
LexxArh
|
|
Задача по множествам
|
veterinar |
10 |
3137 |
03.05.2015, 20:53
Kras
|
|
Равномощность прямой и плоскости
|
fractalon |
5 |
2100 |
27.04.2015, 04:59
iifat
|
|
Достаточные свойства для понятия "натуральное число"
[ На страницу: 1, 2, 3 ]
|
epros |
34 |
8927 |
23.04.2015, 19:13
arseniiv
|
|
Диагональный метод Кантора, помогите понять мою ошибку
[ На страницу: 1, 2, 3, 4 ]
|
Redkhmer |
52 |
13965 |
21.04.2015, 05:57
AGu
|
|
Как из схем аксиом Клини вывести схему аксиом Гильберта №2?
[ На страницу: 1, 2 ]
|
Kosat |
25 |
6341 |
20.04.2015, 08:20
Kosat
|
|
Непонятный абзац из Шеня
|
SomePupil |
3 |
1680 |
11.04.2015, 19:24
мат-ламер
|
|
Отношение принадлежности
[ На страницу: 1, 2, 3 ]
|
Kras |
40 |
12381 |
05.04.2015, 12:00
AGu
|
|
О возможности упорядочения множества в ZFC и акс. фундирован
|
alex_dorin |
2 |
1377 |
04.04.2015, 13:54
AGu
|
|
Книга по математической логике
[ На страницу: 1, 2 ]
|
jms |
18 |
18563 |
03.04.2015, 12:14
flashhh
|
|
Аксиомы Цермело-Френкеля и понятие предиката
[ На страницу: 1, 2 ]
|
Anton_Peplov |
17 |
5079 |
30.03.2015, 23:22
arseniiv
|
|
Упорядоченные пары
|
Doctor Faust |
10 |
5623 |
26.03.2015, 06:59
Lia
|
|
Научиться работать с бесконечностью
|
Anton_Peplov |
4 |
1767 |
25.03.2015, 23:34
Anton_Peplov
|
|
Обозначения в теории множеств
|
Kras |
4 |
1722 |
19.03.2015, 01:04
Brukvalub
|
|
\aleph_2 =? 2^C
|
Munin |
10 |
2985 |
17.03.2015, 13:11
Munin
|
|
Мат. логика и теория алгоритмов
|
DonVito |
7 |
2710 |
13.03.2015, 13:09
gefest_md
|
|
|
![Новые сообщения [ Популярная тема ]](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}
