|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8615 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Как выбрать элемент из бесконечного множества?
[ На страницу: 1, 2 ]
|
Виктор Викторов |
15 |
1597 |
02.11.2010, 16:23
Виктор Викторов
|
|
записать предикат, показать примитивную рекурсивность
[ На страницу: 1, 2 ]
|
Marischa |
17 |
1596 |
01.11.2010, 22:23
Marischa
|
|
Идиотский вопрос о полноте бесконечной решетки
|
Circiter |
2 |
595 |
01.11.2010, 19:14
Circiter
|
|
Доказать выражение с помощью логических аксиом.
|
lnter |
6 |
1124 |
01.11.2010, 16:58
Maslov
|
|
Ретракция и сечение
|
caxap |
5 |
634 |
31.10.2010, 18:38
Joker_vD
|
 |
Множество и класс
[ На страницу: 1, 2, 3, 4 ]
|
bigarcus |
52 |
4761 |
23.10.2010, 13:11
bigarcus
|
|
Высказывания в логике
[ На страницу: 1, 2 ]
|
bigarcus |
22 |
2165 |
22.10.2010, 18:11
Виктор Викторов
|
|
Вопрос про парадокс Б. Рассела [аксиома фундирования]
|
caxap |
4 |
892 |
14.10.2010, 23:01
Someone
|
|
Верещагин, Шень. Фундированные множества
[ На страницу: 1, 2 ]
|
caxap |
17 |
1998 |
13.10.2010, 20:13
caxap
|
|
Некоторые логические теоремы
|
arseniiv |
8 |
1098 |
04.10.2010, 18:27
arseniiv
|
|
Верещагин, Шень. Изоморфизмы.
[ На страницу: 1, 2, 3 ]
|
caxap |
34 |
3249 |
03.10.2010, 18:33
caxap
|
|
Верещагин, Шень. Задачи 68, 71, 72.
[ На страницу: 1, 2 ]
|
caxap |
16 |
1942 |
28.09.2010, 22:09
caxap
|
|
Проверьте, пожалуйста, задачки по множествам
[ На страницу: 1, 2, 3 ]
|
caxap |
38 |
6281 |
26.09.2010, 21:36
caxap
|
|
множества
[ На страницу: 1, 2 ]
|
truth |
15 |
1407 |
26.09.2010, 10:03
ewert
|
|
Верещагин, Шень. Задача 54 (несчетные множества...)
|
caxap |
7 |
898 |
24.09.2010, 21:14
caxap
|
|
Канторово множество.
|
Виктор Викторов |
2 |
537 |
19.09.2010, 19:34
Виктор Викторов
|
|
Правило вывода Gen
|
Sonic86 |
8 |
1204 |
16.09.2010, 08:02
Sonic86
|
|
лемма Цорна
[ На страницу: 1, 2 ]
|
terminator-II |
15 |
1574 |
12.09.2010, 11:35
Null
|
|
Приведение КА к полному ДКА.
|
antondm |
13 |
1728 |
10.09.2010, 10:12
Профессор Снэйп
|
|
Бесконечное множество содержит счетное подмножество
|
Padawan |
12 |
1223 |
08.09.2010, 09:09
Padawan
|
|
Помогите разобраться с примитивно рекурсивными функциями..
|
Marischa |
14 |
1468 |
02.09.2010, 20:09
Marischa
|
|
исчисление высказываний
|
chencho |
11 |
1290 |
26.08.2010, 20:59
chencho
|
|
Доказательство полноты класса в k-значной логике
|
chencho |
2 |
373 |
26.08.2010, 12:56
chencho
|
|
Счётное неперечислимое множество
[ На страницу: 1, 2 ]
|
Dialectic |
18 |
2838 |
24.08.2010, 15:10
Kenny2
|
|
Мощность базиса Гамеля
|
MaximVD |
7 |
1170 |
22.08.2010, 15:55
Виктор Викторов
|
|
Базис Гамеля.
|
Виктор Викторов |
2 |
374 |
22.08.2010, 14:11
Виктор Викторов
|
|
Задача на предикаты
[ На страницу: 1, 2 ]
|
vityanya |
23 |
2861 |
16.08.2010, 19:12
Профессор Снэйп
|
|
Вопрос по аксиоматике математического анализа и вещ. чисел
|
gegela |
11 |
1716 |
13.08.2010, 19:19
astro_lib
|
|
Формальные языки, нужна помощь
|
lightcaster |
4 |
603 |
13.08.2010, 09:42
lightcaster
|
|
ZFC противоречива?
|
Niclax |
11 |
1288 |
07.08.2010, 01:31
Профессор Снэйп
|
|
Пример использования трансфинитной рекурсии и ординалов
|
ShMaxG |
5 |
1099 |
30.07.2010, 17:20
Профессор Снэйп
|
|
Равномощность отрезка и интервала
[ На страницу: 1, 2 ]
|
burgos |
16 |
7114 |
22.07.2010, 11:56
AD
|
|
Равномощность континуума булеану счётного множества
|
arseniiv |
8 |
906 |
21.07.2010, 17:53
AD
|
|
Частично упорядоченное множество подпоследовательностей
|
Padawan |
4 |
643 |
25.06.2010, 15:20
Xaositect
|
|
Предварённая нормальная форма
|
nbyte |
10 |
1575 |
22.06.2010, 19:01
nbyte
|
|
Произведение мощностей множеств
|
caxap |
3 |
549 |
19.06.2010, 23:49
Cave
|
|
Вопрос о сложности подсчета прообраза
|
Ales |
6 |
707 |
18.06.2010, 11:02
Xaositect
|
|
Аналитическое доказательство законов де Моргана
|
cTarn |
4 |
2079 |
16.06.2010, 16:05
cTarn
|
|
Импликация, инверсия, ИЛИ
|
cTarn |
4 |
918 |
14.06.2010, 11:19
cTarn
|
|
Аксиомы Пеано
[ На страницу: 1, 2 ]
|
Padawan |
15 |
1864 |
13.06.2010, 22:59
maxmatem
|
|
Равномощность квадрата кругу
[ На страницу: 1, 2 ]
|
caxap |
19 |
3715 |
13.06.2010, 22:57
ewert
|
|
Декартово произведение множеств, мощности
|
Sasha2 |
3 |
562 |
13.06.2010, 08:56
Mathusic
|
|
множества, логические задачки
|
caxap |
5 |
805 |
12.06.2010, 19:58
Mathusic
|
|
Теорема Шредера (Кантора) Бернштейна
|
Sasha2 |
11 |
4671 |
12.06.2010, 18:21
мат-ламер
|
|
Математическая логика, теорема Дедукции
|
nbyte |
6 |
2847 |
07.06.2010, 14:32
Чудо-в-перьях
|
|
Логика вопросов и ответов
|
Sonic86 |
14 |
1743 |
05.06.2010, 08:17
Chifu
|
|
Задача на разрешимость множества
[ На страницу: 1, 2 ]
|
m1Xtape |
18 |
1444 |
31.05.2010, 15:40
Профессор Снэйп
|
|
Примитивная рекурсивность функции
|
meleshkoav |
2 |
462 |
28.05.2010, 19:53
maxmatem
|
|
Примитивный рекурсивный алгоритм
|
PATIfon |
1 |
324 |
23.05.2010, 19:33
Xaositect
|
|
Почему п-докс Рассела нельзя считать док-вом от противного?
[ На страницу: 1, 2, 3, 4, 5 ]
|
Dims |
64 |
29476 |
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}
