|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8508 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Множество мощности континуум.
|
green_Ekatherine |
12 |
1988 |
12.05.2010, 15:57
Профессор Снэйп
|
|
Мощность множества рациональных чисел
|
caxap |
7 |
1184 |
06.05.2010, 18:59
ewert
|
|
Теорема Кантора
|
caxap |
5 |
1110 |
05.05.2010, 20:48
caxap
|
|
Транзитивное отношение, найти ошибку
|
MikhailN |
6 |
912 |
05.05.2010, 10:07
Профессор Снэйп
|
|
Высказывание: ложно что, существует нечто, а не ничто
|
creative |
8 |
1175 |
30.04.2010, 15:38
creative
|
|
Помогите разобраться с машиной Тьюринга:
|
Mariya233 |
13 |
1840 |
25.04.2010, 08:38
Mariya233
|
|
Рекурсивные функции
|
BaalHaddat |
5 |
807 |
22.04.2010, 19:04
Maslov
|
 |
Бесконечные кардинальные числа: n = n^2
[ На страницу: 1, 2, 3, 4 ]
|
vika1304 |
52 |
6268 |
20.04.2010, 21:05
rishelie
|
|
О неполных логических высказываниях (ни ложные, ни истинные)
[ На страницу: 1, 2 ]
|
creative |
16 |
2133 |
12.04.2010, 10:43
creative
|
|
Ещё раз про мощность P(N)
|
Interceptor |
8 |
964 |
02.04.2010, 01:35
Interceptor
|
|
Машина Тьюринга
|
maxmatem |
14 |
1597 |
01.04.2010, 22:47
Maslov
|
|
как доказать, что язык не регулярен?
|
hyper |
3 |
516 |
01.04.2010, 21:32
Maslov
|
|
Одно доказательство несчетности R.
|
JMH |
3 |
759 |
30.03.2010, 23:26
JMH
|
|
Вычислима ли функция?
|
Профессор Снэйп |
6 |
756 |
21.03.2010, 13:37
Xaositect
|
|
Колмогоровская сложность и число Пи
|
Lesobrod |
5 |
842 |
20.03.2010, 15:51
AD
|
|
Бесконечные кардинальные числа
|
vika1304 |
5 |
829 |
20.03.2010, 14:56
Профессор Снэйп
|
|
k-значная логика (литература)
|
BapuK |
1 |
1008 |
20.03.2010, 13:50
Xaositect
|
|
Мощность множества действительных функций
|
vika1304 |
5 |
1499 |
19.03.2010, 18:28
maxmatem
|
|
Мощность множества последовательностей
|
vika1304 |
7 |
1897 |
18.03.2010, 23:29
RIP
|
|
Рекурсивная функция
[ На страницу: 1, 2 ]
|
maxmatem |
15 |
1567 |
18.03.2010, 09:25
Профессор Снэйп
|
|
задача из теории линейных множеств
|
dzh0rdzh1 |
3 |
541 |
16.03.2010, 11:44
AGu
|
|
Примитивно рекурсивный предикат
|
maxmatem |
4 |
788 |
12.03.2010, 09:27
maxmatem
|
|
Про числовые множества
|
uslada |
8 |
1643 |
11.03.2010, 12:25
AD
|
|
Задача на предикаты
|
ivcliptika |
6 |
724 |
10.03.2010, 21:02
Maslov
|
|
Математическая логика
|
ivcliptika |
5 |
682 |
08.03.2010, 01:00
Maslov
|
|
примитивно рекурсивные функции
|
maxmatem |
4 |
1664 |
04.03.2010, 08:47
Профессор Снэйп
|
|
конечный автомат для проверки делимости на 5 в двоичном коде
[ На страницу: 1, 2 ]
|
Nerex |
20 |
10966 |
26.02.2010, 22:54
Профессор Снэйп
|
|
Теория автоматов. Рациональные отношения.
[ На страницу: 1, 2 ]
|
pincher |
18 |
2637 |
26.02.2010, 22:49
Профессор Снэйп
|
|
Математическая логика
|
caxap |
3 |
742 |
20.02.2010, 22:27
Padawan
|
|
Частично рекурсивные функции - задача
|
gron |
3 |
713 |
13.02.2010, 15:48
Профессор Снэйп
|
|
отображение (0,1) -> (0,1]
|
Archik |
6 |
690 |
10.02.2010, 15:19
gris
|
|
Лябда исчисление
|
nbyte |
4 |
502 |
09.02.2010, 01:01
Circiter
|
|
Частично рекурсивные функции
|
nbyte |
10 |
2211 |
08.02.2010, 05:28
Профессор Снэйп
|
|
преобразовать грамматику в МП-автомат
|
Grumzik |
9 |
894 |
05.02.2010, 12:25
Профессор Снэйп
|
|
Мощность интересного фактормножества действительных чисел
[ На страницу: 1, 2 ]
|
Lafa |
22 |
1770 |
02.02.2010, 09:45
Профессор Снэйп
|
|
Абстрактный автомат -- ДКА-распознователь
|
rederblack |
2 |
459 |
26.01.2010, 21:40
rederblack
|
|
Машина Тьюринга
|
kirka7 |
2 |
375 |
23.01.2010, 19:03
kirka7
|
|
множество всех подмножеств натуральных чисел
|
maxmatem |
3 |
1726 |
20.01.2010, 11:26
ewert
|
|
примитивно рекурсивные и разрешимые множества
[ На страницу: 1, 2 ]
|
T-Mac |
15 |
1948 |
20.01.2010, 10:38
Профессор Снэйп
|
|
Задачи по математической логике. Аксиоматизируемые классы.
|
Sou1Taker |
2 |
459 |
06.01.2010, 18:31
Профессор Снэйп
|
|
Теория формальных систем
|
djuuj |
2 |
633 |
06.01.2010, 16:17
djuuj
|
|
Мощность сем-ва всех РПМ, но не рек. подмножеств нат. ряда.
|
Lexivore |
5 |
620 |
28.12.2009, 23:50
Профессор Снэйп
|
|
Мощность множества непрерывных функций
|
IFRIT |
7 |
2449 |
27.12.2009, 13:17
id
|
|
матлогика, гильбертовское исчисление
|
nisir |
1 |
285 |
27.12.2009, 11:49
Профессор Снэйп
|
|
Помогите разобраться с некоторыми понятиями мат.логики
|
blumpkin |
1 |
521 |
26.12.2009, 23:22
Ираклий
|
|
Матлогика, вывод формулы из теории ZF
|
SDMF |
7 |
883 |
26.12.2009, 02:34
Ираклий
|
|
Посоветуйте книжку про всякие ординалы и кардиналы
|
Dims |
3 |
2784 |
26.12.2009, 01:56
Профессор Снэйп
|
|
матлогика, задача на теорему мальцева
|
nisir |
1 |
347 |
25.12.2009, 16:30
Ираклий
|
|
Помогите опровергнуть, Шуточную теорию
|
676 |
6 |
774 |
22.12.2009, 19:32
ozhigin
|
|
Частично упорядоченные множества
|
Ираклий |
1 |
338 |
22.12.2009, 16:08
AGu
|
|
|
![Новые сообщения [ Популярная тема ]](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}
