На страницу Пред. 1, 2, 3, 4, 5, 6, 7 ... 17 След. |
|
|||||||
Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
---|---|---|---|---|---|---|---|
Объявления | |||||||
![]() |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
9893 |
12.02.2012, 16:29 PAV |
|||
Темы | |||||||
![]() |
График отображения | 13 |
5883 |
17.06.2014, 23:43 Munin |
|||
![]() |
конечные множества | 9 |
4834 |
04.06.2014, 17:52 Deggial |
|||
![]() |
Вычислимая биекция простого множества | 0 |
1634 |
04.06.2014, 17:01 rkrkrk |
|||
![]() |
исчисление высказываний | 3 |
2624 |
23.05.2014, 23:27 gefest_md |
|||
![]() |
Задача Иосифа для шага выбывания > 2 | 4 |
2926 |
29.04.2014, 13:06 constantin |
|||
![]() |
Мощность объединения двух равномощных множеств | 23 |
8215 |
10.04.2014, 01:02 Xaositect |
|||
![]() |
Система уравнений, мат. логика | 6 |
3142 |
05.04.2014, 16:44 milky |
|||
![]() |
Теория множеств. | 7 |
3654 |
30.03.2014, 17:34 provincialka |
|||
![]() |
Счётность множества алгебраическиx иррациональныx чисел | 2 |
2256 |
30.03.2014, 13:22 reborn980 |
|||
![]() |
теория множеств | 7 |
3752 |
16.03.2014, 01:14 ABViktor |
|||
![]() |
Определение квантора? | 13 |
5545 |
10.03.2014, 16:15 arseniiv |
|||
![]() |
Дискретная математика. Шефферова функция | 4 |
3162 |
02.03.2014, 14:19 usmanovamir |
|||
![]() |
Составить рекуррентное выражение для вычисления функции | 6 |
3185 |
22.02.2014, 20:40 Kosat |
|||
![]() |
Эквивалентность при решении методом резолюций | 3 |
2453 |
22.02.2014, 12:51 Deggial |
|||
![]() |
Аксиоматика - нужен совет | 8 |
4365 |
20.02.2014, 00:48 Dan B-Yallay |
|||
![]() |
Вероятность остановки программы | 17 |
5748 |
18.02.2014, 01:46 cscscs |
|||
![]() |
Какова мощность множества всех множеств? | 8 |
4584 |
17.02.2014, 06:37 Deggial |
|||
![]() |
Возведение мощностей в степень | 12 |
5347 |
11.02.2014, 15:57 Xaositect |
|||
![]() |
Доказательство теоремы Гёделя о неполноте | 6 |
3272 |
10.02.2014, 18:24 Xaositect |
|||
![]() |
Теории с очень длинным доказательством их противоречия | 5 |
2733 |
09.02.2014, 20:04 cscscs |
|||
![]() |
Вопрос про машину Тьюринга | 14 |
4200 |
09.02.2014, 00:59 Xaositect |
|||
![]() |
Существование биимунных множеств. | 2 |
1972 |
08.02.2014, 20:29 rkrkrk |
|||
![]() |
Мат. логика. Свободные и связанные переменные | 21 |
6263 |
07.02.2014, 21:45 Sonic86 |
|||
![]() |
Найти мощность множества | 7 |
3724 |
30.01.2014, 18:12 arseniiv |
|||
![]() |
Одна теорема из логики | 3 |
2341 |
27.01.2014, 09:32 nikvic |
|||
![]() |
лямбда-исчисление. комбинатор неподвижной точки. рекурсия | 3 |
2218 |
26.01.2014, 01:51 Xaositect |
|||
![]() |
Матлогика - интерпретация языка | 7 |
3276 |
20.01.2014, 23:50 Maslov |
|||
![]() |
Континуальная композиция | 18 |
5444 |
18.01.2014, 21:06 arseniiv |
|||
![]() |
Аксиома выбора | 1 |
1836 |
05.01.2014, 22:44 Someone |
|||
![]() |
Вопрос по теории множеств | 10 |
3775 |
05.01.2014, 13:35 Felt |
|||
![]() |
Теорема Шредера (Кантора) Бернштейна | 3 |
2232 |
03.01.2014, 23:25 Xvovan3 |
|||
![]() |
Выводимы ли в ZF аксиомы Пеано ? | 20 |
5739 |
31.12.2013, 17:31 Someone |
|||
![]() |
Вычислимые перестановки целых чисел | 3 |
2027 |
31.12.2013, 11:28 nikvic |
|||
![]() |
Мощность множества полных теорий | 1 |
1687 |
25.12.2013, 10:08 bot |
|||
![]() |
Доказать неаксиоматизируемость класса | 14 |
4128 |
24.12.2013, 15:28 Flaminga |
|||
![]() |
Конъюнкция через дизъюнкцию и импликацию | 4 |
2384 |
24.12.2013, 06:51 Deggial |
|||
![]() |
Мат. Лог | 4 |
2295 |
23.12.2013, 19:19 capabilitier |
|||
![]() |
Понижение мощности модели | 1 |
1646 |
23.12.2013, 17:38 TehNick |
|||
![]() |
Логика. частично упорядоченное множество. | 1 |
1665 |
20.12.2013, 17:44 blade |
|||
![]() |
Доказать не-общезначимость формулы | 12 |
4404 |
08.12.2013, 20:36 Sonic86 |
|||
![]() |
Что за задача Пи против нПи? | 14 |
4829 |
06.12.2013, 20:25 VAL |
|||
![]() |
Математическая индукция, два утверждения в базе | 18 |
4875 |
03.12.2013, 05:15 Otta |
|||
![]() |
Основные сводимости в теории NP-полных задач | 2 |
2146 |
02.12.2013, 14:08 Xaositect |
|||
![]() |
Построение вывода. | 23 |
5567 |
28.11.2013, 22:59 arseniiv |
|||
![]() |
Задача на метод резолюции. | 1 |
1769 |
18.11.2013, 23:24 _Ivana |
|||
![]() |
Помогите разобраться. 2 задачи по мат. логике | 56 |
14948 |
18.11.2013, 17:43 antoniosm |
|||
![]() |
Изоморфизм между полными упорядоченными полями | 8 |
3244 |
29.10.2013, 11:20 Someone |
|||
![]() |
Задача о рюкзаке NP-трудна | 3 |
2184 |
26.10.2013, 22:18 _hum_ |
|||
![]() |
Найти биективное отображение | 8 |
3371 |
25.10.2013, 13:57 gris |
|||
![]() |
Мощность множества иррациональных чисел | 22 |
10665 |
21.10.2013, 23:14 Mopnex |
Страница 4 из 17 |
[ Тем: 820 ] | На страницу Пред. 1, 2, 3, 4, 5, 6, 7 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |