|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
9150 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Регулярные языки и делимость
|
Xaositect |
2 |
921 |
21.05.2009, 10:08
Профессор Снэйп
|
|
Теория алгоритмов (обозначения)
|
Soundelly |
6 |
2644 |
21.05.2009, 08:52
AGu
|
|
примеры различных множеств (математическая логика)
|
gepa |
5 |
1142 |
07.05.2009, 13:16
gepa
|
|
Машина Тьюринга для заданной функции
|
NatNiM |
7 |
1828 |
05.05.2009, 14:36
Xaositect
|
|
Аксиома выбора
[ На страницу: 1, 2 ]
|
Арианна |
21 |
3415 |
02.05.2009, 11:12
AGu
|
|
Алгоритм Маркова для f(x)=x/2
|
Sergio471 |
2 |
662 |
01.05.2009, 20:54
Sergio471
|
|
Разрешимые/перечислимые множества
|
gepa |
3 |
964 |
01.05.2009, 04:23
Профессор Снэйп
|
|
единственность и кванторы
|
arseniiv |
6 |
1101 |
28.04.2009, 12:08
arseniiv
|
|
Пространства типов
|
mkot |
1 |
511 |
24.04.2009, 20:57
Профессор Снэйп
|
|
Представьте на языке предикатов следующее предложение
|
akyzina |
5 |
1001 |
15.04.2009, 22:14
akyzina
|
|
Несколько задач по мат. логике (предикаты и мн-ва)
[ На страницу: 1, 2 ]
|
UAS |
15 |
3169 |
10.04.2009, 21:08
akyzina
|
|
Лексикографический порядок на комплексных числах
|
Егор |
6 |
1050 |
07.04.2009, 22:12
Егор
|
|
если утв. верно для любого квадрата, то верно ли для плоскос
|
Nerazumovskiy |
6 |
1318 |
05.04.2009, 22:38
Nerazumovskiy
|
 |
Вопросы по теории языков и МТ
[ На страницу: 1, 2, 3 ]
|
ShMaxG |
38 |
4882 |
24.03.2009, 04:16
Профессор Снэйп
|
|
Является ли функция примитивно рекурсивной?
[ На страницу: 1 ... 6, 7, 8 ]
|
TypucT |
106 |
12458 |
23.03.2009, 18:56
TypucT
|
|
Мат.Логика - Логика высказываний
|
Elizaveta |
2 |
727 |
19.03.2009, 21:52
Elizaveta
|
|
система теоретико-множественных уравнений
[ На страницу: 1, 2 ]
|
Евгеша |
21 |
2774 |
18.03.2009, 14:38
ewert
|
|
Деление шара на две части равного радиуса
|
Stolen |
5 |
1159 |
16.03.2009, 18:44
Brukvalub
|
|
Множество всех множеств (парадокс Рассела)
|
Кудеяр |
11 |
2234 |
15.03.2009, 18:41
Утундрий
|
|
Доказать формулу исчисления высказываний
[ На страницу: 1, 2 ]
|
kantrovik |
15 |
2556 |
10.03.2009, 19:40
kantrovik
|
|
Множество из одного элемента
[ На страницу: 1, 2 ]
|
AndreyXYZ |
19 |
3450 |
28.02.2009, 21:12
Someone
|
|
Кардиналы, исчисление высказываний
|
Spook |
12 |
2041 |
26.02.2009, 13:17
Чудо-в-перьях
|
|
Мощность множеств. Не могу разобраться (счетные, континуум)
[ На страницу: 1, 2 ]
|
Апофеоз Здравого Смысла |
26 |
3869 |
26.02.2009, 12:42
Xaositect
|
|
Частично упорядоченные множества
|
Spook |
8 |
1418 |
25.02.2009, 13:57
Чудо-в-перьях
|
|
Изоморфизм между интервалами рациональных чисел
|
Апофеоз Здравого Смысла |
3 |
809 |
10.02.2009, 11:50
Апофеоз Здравого Смысла
|
|
Основы теории множеств (биекция между геометрич. объектами)
|
PHT |
12 |
2469 |
08.02.2009, 19:42
ewert
|
|
Счетность отрезка [0;1]
[ На страницу: 1, 2 ]
|
mortid0 |
16 |
1986 |
08.02.2009, 17:26
gris
|
|
Будет ли множество пустым?
[ На страницу: 1, 2 ]
|
Dialectic |
19 |
2248 |
05.02.2009, 19:54
Dialectic
|
|
Транизитивность отношений
|
gefest_md |
2 |
605 |
04.02.2009, 16:01
gefest_md
|
|
Несчетность
[ На страницу: 1, 2, 3, 4 ]
|
daogiauvang |
48 |
5963 |
15.01.2009, 09:00
Brukvalub
|
|
(Объяснения элементарных операций с множествами)
|
droni4 |
4 |
1009 |
14.01.2009, 19:28
droni4
|
|
невыразимость предиката ("x и y - родные братья")
|
malykh89 |
5 |
1021 |
28.12.2008, 18:18
Профессор Снэйп
|
|
Построение вывода в ИВ
|
dimaudi |
2 |
821 |
26.12.2008, 09:34
dimaudi
|
|
Множество локальных максимумов функции не более чем счетно?
|
Апофеоз Здравого Смысла |
12 |
2728 |
24.12.2008, 20:53
id
|
|
Мат. логика, формальный вывод.
[ На страницу: 1, 2 ]
|
1stpm90 |
15 |
2161 |
24.12.2008, 19:21
gefest_md
|
|
Проверка на равенство детерминированных конечных автоматов
|
Tik-tak |
10 |
1565 |
24.12.2008, 06:11
Профессор Снэйп
|
|
Являются ли R^(n-1) и R^n элемент. экв. как частично упорядо
|
malykh89 |
2 |
589 |
23.12.2008, 23:13
Профессор Снэйп
|
|
Рыцари и лжецы
[ На страницу: 1, 2, 3, 4, 5 ]
|
nikov |
64 |
7867 |
23.12.2008, 09:28
TOTAL
|
|
Доказательство ассоциативности в исчислении высказываний
|
yapopovko |
3 |
839 |
20.12.2008, 03:42
gefest_md
|
|
Busy beaver
|
nikov |
1 |
579 |
20.12.2008, 01:32
маткиб
|
|
Сечение Дедикинда. Континуум.
[ На страницу: 1, 2 ]
|
Amigo |
22 |
3009 |
05.12.2008, 12:01
Brukvalub
|
|
мощность
[ На страницу: 1, 2 ]
|
Зося |
21 |
2666 |
02.12.2008, 18:50
Brukvalub
|
|
Вполне упорядоченнные множества. Норма.
|
Amigo |
8 |
1466 |
24.11.2008, 12:32
Профессор Снэйп
|
|
Множество сходящихся последовательностей
[ На страницу: 1, 2 ]
|
mvb13 |
26 |
3546 |
05.11.2008, 11:07
AGu
|
|
Полнота теорий высших порядков
|
enko |
12 |
1930 |
03.11.2008, 10:44
AGu
|
|
Построить таблицу истинности и структурную схему высказывани
[ На страницу: 1, 2, 3 ]
|
Sakura |
36 |
4401 |
29.10.2008, 22:07
Sakura
|
|
теорема Цермело из леммы Цорна
|
bubu gaga |
6 |
1171 |
27.09.2008, 19:07
bubu gaga
|
|
Доказательство секвенции
|
mvb13 |
5 |
2290 |
24.09.2008, 19:44
Профессор Снэйп
|
|
рекурсивные функции
|
nell |
9 |
1985 |
22.09.2008, 03:10
Профессор Снэйп
|
|
При каких событиях A и B будет следующее...
|
Moko |
10 |
1289 |
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}
