|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8922 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
График отображения
|
____ |
13 |
5401 |
17.06.2014, 23:43
Munin
|
|
конечные множества
|
milib |
9 |
4497 |
04.06.2014, 17:52
Deggial
|
|
Вычислимая биекция простого множества
|
rkrkrk |
0 |
1471 |
04.06.2014, 17:01
rkrkrk
|
|
исчисление высказываний
|
Serliks |
3 |
2410 |
23.05.2014, 23:27
gefest_md
|
|
Задача Иосифа для шага выбывания > 2
|
constantin |
4 |
2688 |
29.04.2014, 13:06
constantin
|
|
Мощность объединения двух равномощных множеств
[ На страницу: 1, 2 ]
|
woohoo |
23 |
7461 |
10.04.2014, 01:02
Xaositect
|
|
Система уравнений, мат. логика
|
milky |
6 |
2905 |
05.04.2014, 16:44
milky
|
|
Теория множеств.
|
julyk |
7 |
3387 |
30.03.2014, 17:34
provincialka
|
|
Счётность множества алгебраическиx иррациональныx чисел
|
reborn980 |
2 |
2036 |
30.03.2014, 13:22
reborn980
|
|
теория множеств
|
Evgeni2011 |
7 |
3493 |
16.03.2014, 01:14
ABViktor
|
|
Определение квантора?
|
kp9r4d |
13 |
5142 |
10.03.2014, 16:15
arseniiv
|
|
Дискретная математика. Шефферова функция
|
usmanovamir |
4 |
2909 |
02.03.2014, 14:19
usmanovamir
|
|
Составить рекуррентное выражение для вычисления функции
|
Kosat |
6 |
2908 |
22.02.2014, 20:40
Kosat
|
|
Эквивалентность при решении методом резолюций
|
Kosat |
3 |
2204 |
22.02.2014, 12:51
Deggial
|
|
Аксиоматика - нужен совет
|
Yorick |
8 |
4005 |
20.02.2014, 00:48
Dan B-Yallay
|
|
Вероятность остановки программы
[ На страницу: 1, 2 ]
|
cscscs |
17 |
5195 |
18.02.2014, 01:46
cscscs
|
|
Какова мощность множества всех множеств?
|
Ktina |
8 |
4251 |
17.02.2014, 06:37
Deggial
|
|
Возведение мощностей в степень
|
Daft |
12 |
4948 |
11.02.2014, 15:57
Xaositect
|
|
Доказательство теоремы Гёделя о неполноте
|
cscscs |
6 |
2991 |
10.02.2014, 18:24
Xaositect
|
|
Теории с очень длинным доказательством их противоречия
|
cscscs |
5 |
2470 |
09.02.2014, 20:04
cscscs
|
|
Вопрос про машину Тьюринга
|
cscscs |
14 |
3787 |
09.02.2014, 00:59
Xaositect
|
|
Существование биимунных множеств.
|
rkrkrk |
2 |
1783 |
08.02.2014, 20:29
rkrkrk
|
|
Мат. логика. Свободные и связанные переменные
[ На страницу: 1, 2 ]
|
Ankkka |
21 |
5638 |
07.02.2014, 21:45
Sonic86
|
|
Найти мощность множества
|
Bonaqua |
7 |
3399 |
30.01.2014, 18:12
arseniiv
|
|
Одна теорема из логики
|
MestnyBomzh |
3 |
2068 |
27.01.2014, 09:32
nikvic
|
|
лямбда-исчисление. комбинатор неподвижной точки. рекурсия
|
FeelUs |
3 |
2010 |
26.01.2014, 01:51
Xaositect
|
|
Матлогика - интерпретация языка
|
davidgale |
7 |
2977 |
20.01.2014, 23:50
Maslov
|
|
Континуальная композиция
[ На страницу: 1, 2 ]
|
Terraniux |
18 |
4922 |
18.01.2014, 21:06
arseniiv
|
|
Аксиома выбора
|
overlord77 |
1 |
1656 |
05.01.2014, 22:44
Someone
|
|
Вопрос по теории множеств
|
Felt |
10 |
3411 |
05.01.2014, 13:35
Felt
|
|
Теорема Шредера (Кантора) Бернштейна
|
Xvovan3 |
3 |
2029 |
03.01.2014, 23:25
Xvovan3
|
|
Выводимы ли в ZF аксиомы Пеано ?
[ На страницу: 1, 2 ]
|
alex_dorin |
20 |
5009 |
31.12.2013, 17:31
Someone
|
|
Вычислимые перестановки целых чисел
|
rkrkrk |
3 |
1836 |
31.12.2013, 11:28
nikvic
|
|
Мощность множества полных теорий
|
TehNick |
1 |
1507 |
25.12.2013, 10:08
bot
|
|
Доказать неаксиоматизируемость класса
|
Flaminga |
14 |
3748 |
24.12.2013, 15:28
Flaminga
|
|
Конъюнкция через дизъюнкцию и импликацию
|
MestnyBomzh |
4 |
2162 |
24.12.2013, 06:51
Deggial
|
|
Мат. Лог
|
capabilitier |
4 |
2079 |
23.12.2013, 19:19
capabilitier
|
|
Понижение мощности модели
|
TehNick |
1 |
1470 |
23.12.2013, 17:38
TehNick
|
|
Логика. частично упорядоченное множество.
|
blade |
1 |
1485 |
20.12.2013, 17:44
blade
|
|
Доказать не-общезначимость формулы
|
mruncles |
12 |
4015 |
08.12.2013, 20:36
Sonic86
|
|
Что за задача Пи против нПи?
|
grim2d |
14 |
4477 |
06.12.2013, 20:25
VAL
|
|
Математическая индукция, два утверждения в базе
[ На страницу: 1, 2 ]
|
_Ivana |
18 |
4353 |
03.12.2013, 05:15
Otta
|
|
Основные сводимости в теории NP-полных задач
|
Liverpool |
2 |
1934 |
02.12.2013, 14:08
Xaositect
|
|
Построение вывода.
[ На страницу: 1, 2 ]
|
Retard |
23 |
4973 |
28.11.2013, 22:59
arseniiv
|
|
Задача на метод резолюции.
|
kola1357 |
1 |
1592 |
18.11.2013, 23:24
_Ivana
|
 |
Помогите разобраться. 2 задачи по мат. логике
[ На страницу: 1, 2, 3, 4 ]
|
antoniosm |
56 |
13602 |
18.11.2013, 17:43
antoniosm
|
|
Изоморфизм между полными упорядоченными полями
|
TopLalka |
8 |
2955 |
29.10.2013, 11:20
Someone
|
|
Задача о рюкзаке NP-трудна
|
max(Im) |
3 |
1955 |
26.10.2013, 22:18
_hum_
|
|
Найти биективное отображение
|
TelmanStud |
8 |
3084 |
25.10.2013, 13:57
gris
|
|
Мощность множества иррациональных чисел
[ На страницу: 1, 2 ]
|
Vikulyarus |
22 |
9997 |
21.10.2013, 23:14
Mopnex
|
|
|
![Новые сообщения [ Популярная тема ]](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}
