|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8793 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Как выбрать элемент из бесконечного множества?
[ На страницу: 1, 2 ]
|
Виктор Викторов |
15 |
1609 |
02.11.2010, 16:23
Виктор Викторов
|
|
записать предикат, показать примитивную рекурсивность
[ На страницу: 1, 2 ]
|
Marischa |
17 |
1609 |
01.11.2010, 22:23
Marischa
|
|
Идиотский вопрос о полноте бесконечной решетки
|
Circiter |
2 |
609 |
01.11.2010, 19:14
Circiter
|
|
Доказать выражение с помощью логических аксиом.
|
lnter |
6 |
1157 |
01.11.2010, 16:58
Maslov
|
|
Ретракция и сечение
|
caxap |
5 |
645 |
31.10.2010, 18:38
Joker_vD
|
 |
Множество и класс
[ На страницу: 1, 2, 3, 4 ]
|
bigarcus |
52 |
4850 |
23.10.2010, 13:11
bigarcus
|
|
Высказывания в логике
[ На страницу: 1, 2 ]
|
bigarcus |
22 |
2206 |
22.10.2010, 18:11
Виктор Викторов
|
|
Вопрос про парадокс Б. Рассела [аксиома фундирования]
|
caxap |
4 |
898 |
14.10.2010, 23:01
Someone
|
|
Верещагин, Шень. Фундированные множества
[ На страницу: 1, 2 ]
|
caxap |
17 |
2040 |
13.10.2010, 20:13
caxap
|
|
Некоторые логические теоремы
|
arseniiv |
8 |
1126 |
04.10.2010, 18:27
arseniiv
|
|
Верещагин, Шень. Изоморфизмы.
[ На страницу: 1, 2, 3 ]
|
caxap |
34 |
3322 |
03.10.2010, 18:33
caxap
|
|
Верещагин, Шень. Задачи 68, 71, 72.
[ На страницу: 1, 2 ]
|
caxap |
16 |
2027 |
28.09.2010, 22:09
caxap
|
|
Проверьте, пожалуйста, задачки по множествам
[ На страницу: 1, 2, 3 ]
|
caxap |
38 |
6363 |
26.09.2010, 21:36
caxap
|
|
множества
[ На страницу: 1, 2 ]
|
truth |
15 |
1448 |
26.09.2010, 10:03
ewert
|
|
Верещагин, Шень. Задача 54 (несчетные множества...)
|
caxap |
7 |
912 |
24.09.2010, 21:14
caxap
|
|
Канторово множество.
|
Виктор Викторов |
2 |
540 |
19.09.2010, 19:34
Виктор Викторов
|
|
Правило вывода Gen
|
Sonic86 |
8 |
1217 |
16.09.2010, 08:02
Sonic86
|
|
лемма Цорна
[ На страницу: 1, 2 ]
|
terminator-II |
15 |
1590 |
12.09.2010, 11:35
Null
|
|
Приведение КА к полному ДКА.
|
antondm |
13 |
1747 |
10.09.2010, 10:12
Профессор Снэйп
|
|
Бесконечное множество содержит счетное подмножество
|
Padawan |
12 |
1241 |
08.09.2010, 09:09
Padawan
|
|
Помогите разобраться с примитивно рекурсивными функциями..
|
Marischa |
14 |
1468 |
02.09.2010, 20:09
Marischa
|
|
исчисление высказываний
|
chencho |
11 |
1309 |
26.08.2010, 20:59
chencho
|
|
Доказательство полноты класса в k-значной логике
|
chencho |
2 |
376 |
26.08.2010, 12:56
chencho
|
|
Счётное неперечислимое множество
[ На страницу: 1, 2 ]
|
Dialectic |
18 |
2876 |
24.08.2010, 15:10
Kenny2
|
|
Мощность базиса Гамеля
|
MaximVD |
7 |
1180 |
22.08.2010, 15:55
Виктор Викторов
|
|
Базис Гамеля.
|
Виктор Викторов |
2 |
378 |
22.08.2010, 14:11
Виктор Викторов
|
|
Задача на предикаты
[ На страницу: 1, 2 ]
|
vityanya |
23 |
2901 |
16.08.2010, 19:12
Профессор Снэйп
|
|
Вопрос по аксиоматике математического анализа и вещ. чисел
|
gegela |
11 |
1746 |
13.08.2010, 19:19
astro_lib
|
|
Формальные языки, нужна помощь
|
lightcaster |
4 |
608 |
13.08.2010, 09:42
lightcaster
|
|
ZFC противоречива?
|
Niclax |
11 |
1302 |
07.08.2010, 01:31
Профессор Снэйп
|
|
Пример использования трансфинитной рекурсии и ординалов
|
ShMaxG |
5 |
1105 |
30.07.2010, 17:20
Профессор Снэйп
|
|
Равномощность отрезка и интервала
[ На страницу: 1, 2 ]
|
burgos |
16 |
7152 |
22.07.2010, 11:56
AD
|
|
Равномощность континуума булеану счётного множества
|
arseniiv |
8 |
920 |
21.07.2010, 17:53
AD
|
|
Частично упорядоченное множество подпоследовательностей
|
Padawan |
4 |
648 |
25.06.2010, 15:20
Xaositect
|
|
Предварённая нормальная форма
|
nbyte |
10 |
1592 |
22.06.2010, 19:01
nbyte
|
|
Произведение мощностей множеств
|
caxap |
3 |
554 |
19.06.2010, 23:49
Cave
|
|
Вопрос о сложности подсчета прообраза
|
Ales |
6 |
715 |
18.06.2010, 11:02
Xaositect
|
|
Аналитическое доказательство законов де Моргана
|
cTarn |
4 |
2088 |
16.06.2010, 16:05
cTarn
|
|
Импликация, инверсия, ИЛИ
|
cTarn |
4 |
934 |
14.06.2010, 11:19
cTarn
|
|
Аксиомы Пеано
[ На страницу: 1, 2 ]
|
Padawan |
15 |
1876 |
13.06.2010, 22:59
maxmatem
|
|
Равномощность квадрата кругу
[ На страницу: 1, 2 ]
|
caxap |
19 |
3750 |
13.06.2010, 22:57
ewert
|
|
Декартово произведение множеств, мощности
|
Sasha2 |
3 |
572 |
13.06.2010, 08:56
Mathusic
|
|
множества, логические задачки
|
caxap |
5 |
821 |
12.06.2010, 19:58
Mathusic
|
|
Теорема Шредера (Кантора) Бернштейна
|
Sasha2 |
11 |
4747 |
12.06.2010, 18:21
мат-ламер
|
|
Математическая логика, теорема Дедукции
|
nbyte |
6 |
2883 |
07.06.2010, 14:32
Чудо-в-перьях
|
|
Логика вопросов и ответов
|
Sonic86 |
14 |
1769 |
05.06.2010, 08:17
Chifu
|
|
Задача на разрешимость множества
[ На страницу: 1, 2 ]
|
m1Xtape |
18 |
1464 |
31.05.2010, 15:40
Профессор Снэйп
|
|
Примитивная рекурсивность функции
|
meleshkoav |
2 |
465 |
28.05.2010, 19:53
maxmatem
|
|
Примитивный рекурсивный алгоритм
|
PATIfon |
1 |
326 |
23.05.2010, 19:33
Xaositect
|
|
Почему п-докс Рассела нельзя считать док-вом от противного?
[ На страницу: 1, 2, 3, 4, 5 ]
|
Dims |
64 |
29540 |
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}
