|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8508 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Как выбрать элемент из бесконечного множества?
[ На страницу: 1, 2 ]
|
Виктор Викторов |
15 |
1548 |
02.11.2010, 16:23
Виктор Викторов
|
|
записать предикат, показать примитивную рекурсивность
[ На страницу: 1, 2 ]
|
Marischa |
17 |
1543 |
01.11.2010, 22:23
Marischa
|
|
Идиотский вопрос о полноте бесконечной решетки
|
Circiter |
2 |
586 |
01.11.2010, 19:14
Circiter
|
|
Доказать выражение с помощью логических аксиом.
|
lnter |
6 |
1091 |
01.11.2010, 16:58
Maslov
|
|
Ретракция и сечение
|
caxap |
5 |
620 |
31.10.2010, 18:38
Joker_vD
|
 |
Множество и класс
[ На страницу: 1, 2, 3, 4 ]
|
bigarcus |
52 |
4607 |
23.10.2010, 13:11
bigarcus
|
|
Высказывания в логике
[ На страницу: 1, 2 ]
|
bigarcus |
22 |
2094 |
22.10.2010, 18:11
Виктор Викторов
|
|
Вопрос про парадокс Б. Рассела [аксиома фундирования]
|
caxap |
4 |
877 |
14.10.2010, 23:01
Someone
|
|
Верещагин, Шень. Фундированные множества
[ На страницу: 1, 2 ]
|
caxap |
17 |
1943 |
13.10.2010, 20:13
caxap
|
|
Некоторые логические теоремы
|
arseniiv |
8 |
1073 |
04.10.2010, 18:27
arseniiv
|
|
Верещагин, Шень. Изоморфизмы.
[ На страницу: 1, 2, 3 ]
|
caxap |
34 |
3149 |
03.10.2010, 18:33
caxap
|
|
Верещагин, Шень. Задачи 68, 71, 72.
[ На страницу: 1, 2 ]
|
caxap |
16 |
1887 |
28.09.2010, 22:09
caxap
|
|
Проверьте, пожалуйста, задачки по множествам
[ На страницу: 1, 2, 3 ]
|
caxap |
38 |
6152 |
26.09.2010, 21:36
caxap
|
|
множества
[ На страницу: 1, 2 ]
|
truth |
15 |
1357 |
26.09.2010, 10:03
ewert
|
|
Верещагин, Шень. Задача 54 (несчетные множества...)
|
caxap |
7 |
875 |
24.09.2010, 21:14
caxap
|
|
Канторово множество.
|
Виктор Викторов |
2 |
529 |
19.09.2010, 19:34
Виктор Викторов
|
|
Правило вывода Gen
|
Sonic86 |
8 |
1183 |
16.09.2010, 08:02
Sonic86
|
|
лемма Цорна
[ На страницу: 1, 2 ]
|
terminator-II |
15 |
1529 |
12.09.2010, 11:35
Null
|
|
Приведение КА к полному ДКА.
|
antondm |
13 |
1689 |
10.09.2010, 10:12
Профессор Снэйп
|
|
Бесконечное множество содержит счетное подмножество
|
Padawan |
12 |
1191 |
08.09.2010, 09:09
Padawan
|
|
Помогите разобраться с примитивно рекурсивными функциями..
|
Marischa |
14 |
1432 |
02.09.2010, 20:09
Marischa
|
|
исчисление высказываний
|
chencho |
11 |
1257 |
26.08.2010, 20:59
chencho
|
|
Доказательство полноты класса в k-значной логике
|
chencho |
2 |
365 |
26.08.2010, 12:56
chencho
|
|
Счётное неперечислимое множество
[ На страницу: 1, 2 ]
|
Dialectic |
18 |
2782 |
24.08.2010, 15:10
Kenny2
|
|
Мощность базиса Гамеля
|
MaximVD |
7 |
1145 |
22.08.2010, 15:55
Виктор Викторов
|
|
Базис Гамеля.
|
Виктор Викторов |
2 |
365 |
22.08.2010, 14:11
Виктор Викторов
|
|
Задача на предикаты
[ На страницу: 1, 2 ]
|
vityanya |
23 |
2798 |
16.08.2010, 19:12
Профессор Снэйп
|
|
Вопрос по аксиоматике математического анализа и вещ. чисел
|
gegela |
11 |
1684 |
13.08.2010, 19:19
astro_lib
|
|
Формальные языки, нужна помощь
|
lightcaster |
4 |
591 |
13.08.2010, 09:42
lightcaster
|
|
ZFC противоречива?
|
Niclax |
11 |
1258 |
07.08.2010, 01:31
Профессор Снэйп
|
|
Пример использования трансфинитной рекурсии и ординалов
|
ShMaxG |
5 |
1079 |
30.07.2010, 17:20
Профессор Снэйп
|
|
Равномощность отрезка и интервала
[ На страницу: 1, 2 ]
|
burgos |
16 |
7064 |
22.07.2010, 11:56
AD
|
|
Равномощность континуума булеану счётного множества
|
arseniiv |
8 |
884 |
21.07.2010, 17:53
AD
|
|
Частично упорядоченное множество подпоследовательностей
|
Padawan |
4 |
630 |
25.06.2010, 15:20
Xaositect
|
|
Предварённая нормальная форма
|
nbyte |
10 |
1545 |
22.06.2010, 19:01
nbyte
|
|
Произведение мощностей множеств
|
caxap |
3 |
537 |
19.06.2010, 23:49
Cave
|
|
Вопрос о сложности подсчета прообраза
|
Ales |
6 |
689 |
18.06.2010, 11:02
Xaositect
|
|
Аналитическое доказательство законов де Моргана
|
cTarn |
4 |
2065 |
16.06.2010, 16:05
cTarn
|
|
Импликация, инверсия, ИЛИ
|
cTarn |
4 |
903 |
14.06.2010, 11:19
cTarn
|
|
Аксиомы Пеано
[ На страницу: 1, 2 ]
|
Padawan |
15 |
1804 |
13.06.2010, 22:59
maxmatem
|
|
Равномощность квадрата кругу
[ На страницу: 1, 2 ]
|
caxap |
19 |
3655 |
13.06.2010, 22:57
ewert
|
|
Декартово произведение множеств, мощности
|
Sasha2 |
3 |
551 |
13.06.2010, 08:56
Mathusic
|
|
множества, логические задачки
|
caxap |
5 |
789 |
12.06.2010, 19:58
Mathusic
|
|
Теорема Шредера (Кантора) Бернштейна
|
Sasha2 |
11 |
4613 |
12.06.2010, 18:21
мат-ламер
|
|
Математическая логика, теорема Дедукции
|
nbyte |
6 |
2804 |
07.06.2010, 14:32
Чудо-в-перьях
|
|
Логика вопросов и ответов
|
Sonic86 |
14 |
1704 |
05.06.2010, 08:17
Chifu
|
|
Задача на разрешимость множества
[ На страницу: 1, 2 ]
|
m1Xtape |
18 |
1394 |
31.05.2010, 15:40
Профессор Снэйп
|
|
Примитивная рекурсивность функции
|
meleshkoav |
2 |
455 |
28.05.2010, 19:53
maxmatem
|
|
Примитивный рекурсивный алгоритм
|
PATIfon |
1 |
318 |
23.05.2010, 19:33
Xaositect
|
|
Почему п-докс Рассела нельзя считать док-вом от противного?
[ На страницу: 1, 2, 3, 4, 5 ]
|
Dims |
64 |
29323 |
16.05.2010, 04:01
Nxx
|
|
|
![Новые сообщения [ Популярная тема ]](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}
