|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8706 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Регулярные языки и делимость
|
Xaositect |
2 |
902 |
21.05.2009, 10:08
Профессор Снэйп
|
|
Теория алгоритмов (обозначения)
|
Soundelly |
6 |
2583 |
21.05.2009, 08:52
AGu
|
|
примеры различных множеств (математическая логика)
|
gepa |
5 |
1116 |
07.05.2009, 13:16
gepa
|
|
Машина Тьюринга для заданной функции
|
NatNiM |
7 |
1761 |
05.05.2009, 14:36
Xaositect
|
|
Аксиома выбора
[ На страницу: 1, 2 ]
|
Арианна |
21 |
3300 |
02.05.2009, 11:12
AGu
|
|
Алгоритм Маркова для f(x)=x/2
|
Sergio471 |
2 |
642 |
01.05.2009, 20:54
Sergio471
|
|
Разрешимые/перечислимые множества
|
gepa |
3 |
939 |
01.05.2009, 04:23
Профессор Снэйп
|
|
единственность и кванторы
|
arseniiv |
6 |
1065 |
28.04.2009, 12:08
arseniiv
|
|
Пространства типов
|
mkot |
1 |
494 |
24.04.2009, 20:57
Профессор Снэйп
|
|
Представьте на языке предикатов следующее предложение
|
akyzina |
5 |
966 |
15.04.2009, 22:14
akyzina
|
|
Несколько задач по мат. логике (предикаты и мн-ва)
[ На страницу: 1, 2 ]
|
UAS |
15 |
3098 |
10.04.2009, 21:08
akyzina
|
|
Лексикографический порядок на комплексных числах
|
Егор |
6 |
1010 |
07.04.2009, 22:12
Егор
|
|
если утв. верно для любого квадрата, то верно ли для плоскос
|
Nerazumovskiy |
6 |
1267 |
05.04.2009, 22:38
Nerazumovskiy
|
 |
Вопросы по теории языков и МТ
[ На страницу: 1, 2, 3 ]
|
ShMaxG |
38 |
4705 |
24.03.2009, 04:16
Профессор Снэйп
|
|
Является ли функция примитивно рекурсивной?
[ На страницу: 1 ... 6, 7, 8 ]
|
TypucT |
106 |
12043 |
23.03.2009, 18:56
TypucT
|
|
Мат.Логика - Логика высказываний
|
Elizaveta |
2 |
713 |
19.03.2009, 21:52
Elizaveta
|
|
система теоретико-множественных уравнений
[ На страницу: 1, 2 ]
|
Евгеша |
21 |
2685 |
18.03.2009, 14:38
ewert
|
|
Деление шара на две части равного радиуса
|
Stolen |
5 |
1131 |
16.03.2009, 18:44
Brukvalub
|
|
Множество всех множеств (парадокс Рассела)
|
Кудеяр |
11 |
2171 |
15.03.2009, 18:41
Утундрий
|
|
Доказать формулу исчисления высказываний
[ На страницу: 1, 2 ]
|
kantrovik |
15 |
2513 |
10.03.2009, 19:40
kantrovik
|
|
Множество из одного элемента
[ На страницу: 1, 2 ]
|
AndreyXYZ |
19 |
3340 |
28.02.2009, 21:12
Someone
|
|
Кардиналы, исчисление высказываний
|
Spook |
12 |
1960 |
26.02.2009, 13:17
Чудо-в-перьях
|
|
Мощность множеств. Не могу разобраться (счетные, континуум)
[ На страницу: 1, 2 ]
|
Апофеоз Здравого Смысла |
26 |
3684 |
26.02.2009, 12:42
Xaositect
|
|
Частично упорядоченные множества
|
Spook |
8 |
1370 |
25.02.2009, 13:57
Чудо-в-перьях
|
|
Изоморфизм между интервалами рациональных чисел
|
Апофеоз Здравого Смысла |
3 |
789 |
10.02.2009, 11:50
Апофеоз Здравого Смысла
|
|
Основы теории множеств (биекция между геометрич. объектами)
|
PHT |
12 |
2402 |
08.02.2009, 19:42
ewert
|
|
Счетность отрезка [0;1]
[ На страницу: 1, 2 ]
|
mortid0 |
16 |
1905 |
08.02.2009, 17:26
gris
|
|
Будет ли множество пустым?
[ На страницу: 1, 2 ]
|
Dialectic |
19 |
2169 |
05.02.2009, 19:54
Dialectic
|
|
Транизитивность отношений
|
gefest_md |
2 |
592 |
04.02.2009, 16:01
gefest_md
|
|
Несчетность
[ На страницу: 1, 2, 3, 4 ]
|
daogiauvang |
48 |
5734 |
15.01.2009, 09:00
Brukvalub
|
|
(Объяснения элементарных операций с множествами)
|
droni4 |
4 |
985 |
14.01.2009, 19:28
droni4
|
|
невыразимость предиката ("x и y - родные братья")
|
malykh89 |
5 |
995 |
28.12.2008, 18:18
Профессор Снэйп
|
|
Построение вывода в ИВ
|
dimaudi |
2 |
805 |
26.12.2008, 09:34
dimaudi
|
|
Множество локальных максимумов функции не более чем счетно?
|
Апофеоз Здравого Смысла |
12 |
2621 |
24.12.2008, 20:53
id
|
|
Мат. логика, формальный вывод.
[ На страницу: 1, 2 ]
|
1stpm90 |
15 |
2106 |
24.12.2008, 19:21
gefest_md
|
|
Проверка на равенство детерминированных конечных автоматов
|
Tik-tak |
10 |
1512 |
24.12.2008, 06:11
Профессор Снэйп
|
|
Являются ли R^(n-1) и R^n элемент. экв. как частично упорядо
|
malykh89 |
2 |
572 |
23.12.2008, 23:13
Профессор Снэйп
|
|
Рыцари и лжецы
[ На страницу: 1, 2, 3, 4, 5 ]
|
nikov |
64 |
7587 |
23.12.2008, 09:28
TOTAL
|
|
Доказательство ассоциативности в исчислении высказываний
|
yapopovko |
3 |
817 |
20.12.2008, 03:42
gefest_md
|
|
Busy beaver
|
nikov |
1 |
569 |
20.12.2008, 01:32
маткиб
|
|
Сечение Дедикинда. Континуум.
[ На страницу: 1, 2 ]
|
Amigo |
22 |
2901 |
05.12.2008, 12:01
Brukvalub
|
|
мощность
[ На страницу: 1, 2 ]
|
Зося |
21 |
2577 |
02.12.2008, 18:50
Brukvalub
|
|
Вполне упорядоченнные множества. Норма.
|
Amigo |
8 |
1424 |
24.11.2008, 12:32
Профессор Снэйп
|
|
Множество сходящихся последовательностей
[ На страницу: 1, 2 ]
|
mvb13 |
26 |
3446 |
05.11.2008, 11:07
AGu
|
|
Полнота теорий высших порядков
|
enko |
12 |
1871 |
03.11.2008, 10:44
AGu
|
|
Построить таблицу истинности и структурную схему высказывани
[ На страницу: 1, 2, 3 ]
|
Sakura |
36 |
4264 |
29.10.2008, 22:07
Sakura
|
|
теорема Цермело из леммы Цорна
|
bubu gaga |
6 |
1135 |
27.09.2008, 19:07
bubu gaga
|
|
Доказательство секвенции
|
mvb13 |
5 |
2254 |
24.09.2008, 19:44
Профессор Снэйп
|
|
рекурсивные функции
|
nell |
9 |
1946 |
22.09.2008, 03:10
Профессор Снэйп
|
|
При каких событиях A и B будет следующее...
|
Moko |
10 |
1236 |
15.09.2008, 16:16
Moko
|
|
|
![Новые сообщения [ Популярная тема ]](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}
