На страницу Пред. 1 ... 12, 13, 14, 15, 16, 17 След. |
|
|||||||
Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
---|---|---|---|---|---|---|---|
Объявления | |||||||
![]() |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
9895 |
12.02.2012, 16:29 PAV |
|||
Темы | |||||||
![]() |
Регулярные языки и делимость | 2 |
971 |
21.05.2009, 10:08 Профессор Снэйп |
|||
![]() |
Теория алгоритмов (обозначения) | 6 |
2810 |
21.05.2009, 08:52 AGu |
|||
![]() |
примеры различных множеств (математическая логика) | 5 |
1218 |
07.05.2009, 13:16 gepa |
|||
![]() |
Машина Тьюринга для заданной функции | 7 |
1926 |
05.05.2009, 14:36 Xaositect |
|||
![]() |
Аксиома выбора | 21 |
3806 |
02.05.2009, 11:12 AGu |
|||
![]() |
Алгоритм Маркова для f(x)=x/2 | 2 |
806 |
01.05.2009, 20:54 Sergio471 |
|||
![]() |
Разрешимые/перечислимые множества | 3 |
1116 |
01.05.2009, 04:23 Профессор Снэйп |
|||
![]() |
единственность и кванторы | 6 |
1215 |
28.04.2009, 12:08 arseniiv |
|||
![]() |
Пространства типов | 1 |
620 |
24.04.2009, 20:57 Профессор Снэйп |
|||
![]() |
Представьте на языке предикатов следующее предложение | 5 |
1170 |
15.04.2009, 22:14 akyzina |
|||
![]() |
Несколько задач по мат. логике (предикаты и мн-ва) | 15 |
3429 |
10.04.2009, 21:08 akyzina |
|||
![]() |
Лексикографический порядок на комплексных числах | 6 |
1134 |
07.04.2009, 22:12 Егор |
|||
![]() |
если утв. верно для любого квадрата, то верно ли для плоскос | 6 |
1530 |
05.04.2009, 22:38 Nerazumovskiy |
|||
![]() |
Вопросы по теории языков и МТ | 38 |
5245 |
24.03.2009, 04:16 Профессор Снэйп |
|||
![]() |
Является ли функция примитивно рекурсивной? | 106 |
13484 |
23.03.2009, 18:56 TypucT |
|||
![]() |
Мат.Логика - Логика высказываний | 2 |
872 |
19.03.2009, 21:52 Elizaveta |
|||
![]() |
система теоретико-множественных уравнений | 21 |
3030 |
18.03.2009, 14:38 ewert |
|||
![]() |
Деление шара на две части равного радиуса | 5 |
1301 |
16.03.2009, 18:44 Brukvalub |
|||
![]() |
Множество всех множеств (парадокс Рассела) | 11 |
2460 |
15.03.2009, 18:41 Утундрий |
|||
![]() |
Доказать формулу исчисления высказываний | 15 |
2755 |
10.03.2009, 19:40 kantrovik |
|||
![]() |
Множество из одного элемента | 19 |
3836 |
28.02.2009, 21:12 Someone |
|||
![]() |
Кардиналы, исчисление высказываний | 12 |
2201 |
26.02.2009, 13:17 Чудо-в-перьях |
|||
![]() |
Мощность множеств. Не могу разобраться (счетные, континуум) | 26 |
4215 |
26.02.2009, 12:42 Xaositect |
|||
![]() |
Частично упорядоченные множества | 8 |
1539 |
25.02.2009, 13:57 Чудо-в-перьях |
|||
![]() |
Изоморфизм между интервалами рациональных чисел | 3 |
955 |
10.02.2009, 11:50 Апофеоз Здравого Смысла |
|||
![]() |
Основы теории множеств (биекция между геометрич. объектами) | 12 |
2731 |
08.02.2009, 19:42 ewert |
|||
![]() |
Счетность отрезка [0;1] | 16 |
2254 |
08.02.2009, 17:26 gris |
|||
![]() |
Будет ли множество пустым? | 19 |
2481 |
05.02.2009, 19:54 Dialectic |
|||
![]() |
Транизитивность отношений | 2 |
755 |
04.02.2009, 16:01 gefest_md |
|||
![]() |
Несчетность | 48 |
6384 |
15.01.2009, 09:00 Brukvalub |
|||
![]() |
(Объяснения элементарных операций с множествами) | 4 |
1071 |
14.01.2009, 19:28 droni4 |
|||
![]() |
невыразимость предиката ("x и y - родные братья") | 5 |
1093 |
28.12.2008, 18:18 Профессор Снэйп |
|||
![]() |
Построение вывода в ИВ | 2 |
864 |
26.12.2008, 09:34 dimaudi |
|||
![]() |
Множество локальных максимумов функции не более чем счетно? | 12 |
2927 |
24.12.2008, 20:53 id |
|||
![]() |
Мат. логика, формальный вывод. | 15 |
2404 |
24.12.2008, 19:21 gefest_md |
|||
![]() |
Проверка на равенство детерминированных конечных автоматов | 10 |
1754 |
24.12.2008, 06:11 Профессор Снэйп |
|||
![]() |
Являются ли R^(n-1) и R^n элемент. экв. как частично упорядо | 2 |
685 |
23.12.2008, 23:13 Профессор Снэйп |
|||
![]() |
Рыцари и лжецы | 64 |
8579 |
23.12.2008, 09:28 TOTAL |
|||
![]() |
Доказательство ассоциативности в исчислении высказываний | 3 |
1001 |
20.12.2008, 03:42 gefest_md |
|||
![]() |
Busy beaver | 1 |
712 |
20.12.2008, 01:32 маткиб |
|||
![]() |
Сечение Дедикинда. Континуум. | 22 |
3448 |
05.12.2008, 12:01 Brukvalub |
|||
![]() |
мощность | 21 |
3034 |
02.12.2008, 18:50 Brukvalub |
|||
![]() |
Вполне упорядоченнные множества. Норма. | 8 |
1596 |
24.11.2008, 12:32 Профессор Снэйп |
|||
![]() |
Множество сходящихся последовательностей | 26 |
3829 |
05.11.2008, 11:07 AGu |
|||
![]() |
Полнота теорий высших порядков | 12 |
2086 |
03.11.2008, 10:44 AGu |
|||
![]() |
Построить таблицу истинности и структурную схему высказывани | 36 |
4737 |
29.10.2008, 22:07 Sakura |
|||
![]() |
теорема Цермело из леммы Цорна | 6 |
1357 |
27.09.2008, 19:07 bubu gaga |
|||
![]() |
Доказательство секвенции | 5 |
2372 |
24.09.2008, 19:44 Профессор Снэйп |
|||
![]() |
рекурсивные функции | 9 |
2090 |
22.09.2008, 03:10 Профессор Снэйп |
|||
![]() |
При каких событиях A и B будет следующее... | 10 |
1473 |
15.09.2008, 16:16 Moko |
Страница 15 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 12, 13, 14, 15, 16, 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |