 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 10, 11, 12, 13, 14, 15, 16, 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
9895 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Множество мощности континуум. | 12 |
2294 |
12.05.2010, 15:57 Профессор Снэйп |
|||
|
Мощность множества рациональных чисел | 7 |
1400 |
06.05.2010, 18:59 ewert |
|||
|
Теорема Кантора | 5 |
1270 |
05.05.2010, 20:48 caxap |
|||
|
Транзитивное отношение, найти ошибку | 6 |
1073 |
05.05.2010, 10:07 Профессор Снэйп |
|||
|
Высказывание: ложно что, существует нечто, а не ничто | 8 |
1375 |
30.04.2010, 15:38 creative |
|||
|
Помогите разобраться с машиной Тьюринга: | 13 |
2127 |
25.04.2010, 08:38 Mariya233 |
|||
|
Рекурсивные функции | 5 |
927 |
22.04.2010, 19:04 Maslov |
|||
 |
Бесконечные кардинальные числа: n = n^2 | 52 |
7765 |
20.04.2010, 21:05 rishelie |
|||
|
О неполных логических высказываниях (ни ложные, ни истинные) | 16 |
2597 |
12.04.2010, 10:43 creative |
|||
|
Ещё раз про мощность P(N) | 8 |
1209 |
02.04.2010, 01:35 Interceptor |
|||
|
Машина Тьюринга | 14 |
1861 |
01.04.2010, 22:47 Maslov |
|||
|
как доказать, что язык не регулярен? | 3 |
599 |
01.04.2010, 21:32 Maslov |
|||
|
Одно доказательство несчетности R. | 3 |
864 |
30.03.2010, 23:26 JMH |
|||
|
Вычислима ли функция? | 6 |
908 |
21.03.2010, 13:37 Xaositect |
|||
|
Колмогоровская сложность и число Пи | 5 |
1003 |
20.03.2010, 15:51 AD |
|||
|
Бесконечные кардинальные числа | 5 |
967 |
20.03.2010, 14:56 Профессор Снэйп |
|||
|
k-значная логика (литература) | 1 |
1105 |
20.03.2010, 13:50 Xaositect |
|||
|
Мощность множества действительных функций | 5 |
1640 |
19.03.2010, 18:28 maxmatem |
|||
|
Мощность множества последовательностей | 7 |
2083 |
18.03.2010, 23:29 RIP |
|||
|
Рекурсивная функция | 15 |
1949 |
18.03.2010, 09:25 Профессор Снэйп |
|||
|
задача из теории линейных множеств | 3 |
628 |
16.03.2010, 11:44 AGu |
|||
|
Примитивно рекурсивный предикат | 4 |
890 |
12.03.2010, 09:27 maxmatem |
|||
|
Про числовые множества | 8 |
1858 |
11.03.2010, 12:25 AD |
|||
|
Задача на предикаты | 6 |
912 |
10.03.2010, 21:02 Maslov |
|||
|
Математическая логика | 5 |
810 |
08.03.2010, 01:00 Maslov |
|||
|
примитивно рекурсивные функции | 4 |
1806 |
04.03.2010, 08:47 Профессор Снэйп |
|||
|
конечный автомат для проверки делимости на 5 в двоичном коде | 20 |
11511 |
26.02.2010, 22:54 Профессор Снэйп |
|||
|
Теория автоматов. Рациональные отношения. | 18 |
3087 |
26.02.2010, 22:49 Профессор Снэйп |
|||
|
Математическая логика | 3 |
845 |
20.02.2010, 22:27 Padawan |
|||
|
Частично рекурсивные функции - задача | 3 |
815 |
13.02.2010, 15:48 Профессор Снэйп |
|||
|
отображение (0,1) -> (0,1] | 6 |
835 |
10.02.2010, 15:19 gris |
|||
|
Лябда исчисление | 4 |
605 |
09.02.2010, 01:01 Circiter |
|||
|
Частично рекурсивные функции | 10 |
2497 |
08.02.2010, 05:28 Профессор Снэйп |
|||
|
преобразовать грамматику в МП-автомат | 9 |
1071 |
05.02.2010, 12:25 Профессор Снэйп |
|||
|
Мощность интересного фактормножества действительных чисел | 22 |
2340 |
02.02.2010, 09:45 Профессор Снэйп |
|||
|
Абстрактный автомат -- ДКА-распознователь | 2 |
529 |
26.01.2010, 21:40 rederblack |
|||
|
Машина Тьюринга | 2 |
442 |
23.01.2010, 19:03 kirka7 |
|||
|
множество всех подмножеств натуральных чисел | 3 |
1854 |
20.01.2010, 11:26 ewert |
|||
|
примитивно рекурсивные и разрешимые множества | 15 |
2336 |
20.01.2010, 10:38 Профессор Снэйп |
|||
|
Задачи по математической логике. Аксиоматизируемые классы. | 2 |
528 |
06.01.2010, 18:31 Профессор Снэйп |
|||
|
Теория формальных систем | 2 |
737 |
06.01.2010, 16:17 djuuj |
|||
|
Мощность сем-ва всех РПМ, но не рек. подмножеств нат. ряда. | 5 |
774 |
28.12.2009, 23:50 Профессор Снэйп |
|||
|
Мощность множества непрерывных функций | 7 |
2653 |
27.12.2009, 13:17 id |
|||
|
матлогика, гильбертовское исчисление | 1 |
336 |
27.12.2009, 11:49 Профессор Снэйп |
|||
|
Помогите разобраться с некоторыми понятиями мат.логики | 1 |
568 |
26.12.2009, 23:22 Ираклий |
|||
|
Матлогика, вывод формулы из теории ZF | 7 |
1065 |
26.12.2009, 02:34 Ираклий |
|||
|
Посоветуйте книжку про всякие ординалы и кардиналы | 3 |
2872 |
26.12.2009, 01:56 Профессор Снэйп |
|||
|
матлогика, задача на теорему мальцева | 1 |
394 |
25.12.2009, 16:30 Ираклий |
|||
|
Помогите опровергнуть, Шуточную теорию | 6 |
912 |
22.12.2009, 19:32 ozhigin |
|||
|
Частично упорядоченные множества | 1 |
388 |
22.12.2009, 16:08 AGu |
|||
| Страница 13 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 10, 11, 12, 13, 14, 15, 16, 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |