|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8615 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Множество мощности континуум.
|
green_Ekatherine |
12 |
2024 |
12.05.2010, 15:57
Профессор Снэйп
|
|
Мощность множества рациональных чисел
|
caxap |
7 |
1205 |
06.05.2010, 18:59
ewert
|
|
Теорема Кантора
|
caxap |
5 |
1129 |
05.05.2010, 20:48
caxap
|
|
Транзитивное отношение, найти ошибку
|
MikhailN |
6 |
931 |
05.05.2010, 10:07
Профессор Снэйп
|
|
Высказывание: ложно что, существует нечто, а не ничто
|
creative |
8 |
1198 |
30.04.2010, 15:38
creative
|
|
Помогите разобраться с машиной Тьюринга:
|
Mariya233 |
13 |
1878 |
25.04.2010, 08:38
Mariya233
|
|
Рекурсивные функции
|
BaalHaddat |
5 |
821 |
22.04.2010, 19:04
Maslov
|
 |
Бесконечные кардинальные числа: n = n^2
[ На страницу: 1, 2, 3, 4 ]
|
vika1304 |
52 |
6409 |
20.04.2010, 21:05
rishelie
|
|
О неполных логических высказываниях (ни ложные, ни истинные)
[ На страницу: 1, 2 ]
|
creative |
16 |
2189 |
12.04.2010, 10:43
creative
|
|
Ещё раз про мощность P(N)
|
Interceptor |
8 |
997 |
02.04.2010, 01:35
Interceptor
|
|
Машина Тьюринга
|
maxmatem |
14 |
1634 |
01.04.2010, 22:47
Maslov
|
|
как доказать, что язык не регулярен?
|
hyper |
3 |
525 |
01.04.2010, 21:32
Maslov
|
|
Одно доказательство несчетности R.
|
JMH |
3 |
770 |
30.03.2010, 23:26
JMH
|
|
Вычислима ли функция?
|
Профессор Снэйп |
6 |
772 |
21.03.2010, 13:37
Xaositect
|
|
Колмогоровская сложность и число Пи
|
Lesobrod |
5 |
861 |
20.03.2010, 15:51
AD
|
|
Бесконечные кардинальные числа
|
vika1304 |
5 |
847 |
20.03.2010, 14:56
Профессор Снэйп
|
|
k-значная логика (литература)
|
BapuK |
1 |
1025 |
20.03.2010, 13:50
Xaositect
|
|
Мощность множества действительных функций
|
vika1304 |
5 |
1514 |
19.03.2010, 18:28
maxmatem
|
|
Мощность множества последовательностей
|
vika1304 |
7 |
1918 |
18.03.2010, 23:29
RIP
|
|
Рекурсивная функция
[ На страницу: 1, 2 ]
|
maxmatem |
15 |
1612 |
18.03.2010, 09:25
Профессор Снэйп
|
|
задача из теории линейных множеств
|
dzh0rdzh1 |
3 |
550 |
16.03.2010, 11:44
AGu
|
|
Примитивно рекурсивный предикат
|
maxmatem |
4 |
800 |
12.03.2010, 09:27
maxmatem
|
|
Про числовые множества
|
uslada |
8 |
1668 |
11.03.2010, 12:25
AD
|
|
Задача на предикаты
|
ivcliptika |
6 |
742 |
10.03.2010, 21:02
Maslov
|
|
Математическая логика
|
ivcliptika |
5 |
697 |
08.03.2010, 01:00
Maslov
|
|
примитивно рекурсивные функции
|
maxmatem |
4 |
1687 |
04.03.2010, 08:47
Профессор Снэйп
|
|
конечный автомат для проверки делимости на 5 в двоичном коде
[ На страницу: 1, 2 ]
|
Nerex |
20 |
11042 |
26.02.2010, 22:54
Профессор Снэйп
|
|
Теория автоматов. Рациональные отношения.
[ На страницу: 1, 2 ]
|
pincher |
18 |
2683 |
26.02.2010, 22:49
Профессор Снэйп
|
|
Математическая логика
|
caxap |
3 |
752 |
20.02.2010, 22:27
Padawan
|
|
Частично рекурсивные функции - задача
|
gron |
3 |
723 |
13.02.2010, 15:48
Профессор Снэйп
|
|
отображение (0,1) -> (0,1]
|
Archik |
6 |
705 |
10.02.2010, 15:19
gris
|
|
Лябда исчисление
|
nbyte |
4 |
515 |
09.02.2010, 01:01
Circiter
|
|
Частично рекурсивные функции
|
nbyte |
10 |
2246 |
08.02.2010, 05:28
Профессор Снэйп
|
|
преобразовать грамматику в МП-автомат
|
Grumzik |
9 |
925 |
05.02.2010, 12:25
Профессор Снэйп
|
|
Мощность интересного фактормножества действительных чисел
[ На страницу: 1, 2 ]
|
Lafa |
22 |
1825 |
02.02.2010, 09:45
Профессор Снэйп
|
|
Абстрактный автомат -- ДКА-распознователь
|
rederblack |
2 |
467 |
26.01.2010, 21:40
rederblack
|
|
Машина Тьюринга
|
kirka7 |
2 |
384 |
23.01.2010, 19:03
kirka7
|
|
множество всех подмножеств натуральных чисел
|
maxmatem |
3 |
1746 |
20.01.2010, 11:26
ewert
|
|
примитивно рекурсивные и разрешимые множества
[ На страницу: 1, 2 ]
|
T-Mac |
15 |
2000 |
20.01.2010, 10:38
Профессор Снэйп
|
|
Задачи по математической логике. Аксиоматизируемые классы.
|
Sou1Taker |
2 |
466 |
06.01.2010, 18:31
Профессор Снэйп
|
|
Теория формальных систем
|
djuuj |
2 |
641 |
06.01.2010, 16:17
djuuj
|
|
Мощность сем-ва всех РПМ, но не рек. подмножеств нат. ряда.
|
Lexivore |
5 |
634 |
28.12.2009, 23:50
Профессор Снэйп
|
|
Мощность множества непрерывных функций
|
IFRIT |
7 |
2479 |
27.12.2009, 13:17
id
|
|
матлогика, гильбертовское исчисление
|
nisir |
1 |
290 |
27.12.2009, 11:49
Профессор Снэйп
|
|
Помогите разобраться с некоторыми понятиями мат.логики
|
blumpkin |
1 |
526 |
26.12.2009, 23:22
Ираклий
|
|
Матлогика, вывод формулы из теории ZF
|
SDMF |
7 |
904 |
26.12.2009, 02:34
Ираклий
|
|
Посоветуйте книжку про всякие ординалы и кардиналы
|
Dims |
3 |
2795 |
26.12.2009, 01:56
Профессор Снэйп
|
|
матлогика, задача на теорему мальцева
|
nisir |
1 |
354 |
25.12.2009, 16:30
Ираклий
|
|
Помогите опровергнуть, Шуточную теорию
|
676 |
6 |
795 |
22.12.2009, 19:32
ozhigin
|
|
Частично упорядоченные множества
|
Ираклий |
1 |
343 |
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}
