На страницу Пред. 1, 2, 3, 4, 5, 6, 7 ... 17 След. |
|
|||||||
Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
---|---|---|---|---|---|---|---|
Объявления | |||||||
![]() |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
10470 |
12.02.2012, 16:29 PAV |
|||
Темы | |||||||
![]() |
График отображения | 13 |
6039 |
17.06.2014, 23:43 Munin |
|||
![]() |
конечные множества | 9 |
4970 |
04.06.2014, 17:52 Deggial |
|||
![]() |
Вычислимая биекция простого множества | 0 |
1725 |
04.06.2014, 17:01 rkrkrk |
|||
![]() |
исчисление высказываний | 3 |
2735 |
23.05.2014, 23:27 gefest_md |
|||
![]() |
Задача Иосифа для шага выбывания > 2 | 4 |
3030 |
29.04.2014, 13:06 constantin |
|||
![]() |
Мощность объединения двух равномощных множеств | 23 |
8428 |
10.04.2014, 01:02 Xaositect |
|||
![]() |
Система уравнений, мат. логика | 6 |
3254 |
05.04.2014, 16:44 milky |
|||
![]() |
Теория множеств. | 7 |
3764 |
30.03.2014, 17:34 provincialka |
|||
![]() |
Счётность множества алгебраическиx иррациональныx чисел | 2 |
2353 |
30.03.2014, 13:22 reborn980 |
|||
![]() |
теория множеств | 7 |
3864 |
16.03.2014, 01:14 ABViktor |
|||
![]() |
Определение квантора? | 13 |
5680 |
10.03.2014, 16:15 arseniiv |
|||
![]() |
Дискретная математика. Шефферова функция | 4 |
3269 |
02.03.2014, 14:19 usmanovamir |
|||
![]() |
Составить рекуррентное выражение для вычисления функции | 6 |
3301 |
22.02.2014, 20:40 Kosat |
|||
![]() |
Эквивалентность при решении методом резолюций | 3 |
2562 |
22.02.2014, 12:51 Deggial |
|||
![]() |
Аксиоматика - нужен совет | 8 |
4499 |
20.02.2014, 00:48 Dan B-Yallay |
|||
![]() |
Вероятность остановки программы | 17 |
5986 |
18.02.2014, 01:46 cscscs |
|||
![]() |
Какова мощность множества всех множеств? | 8 |
4722 |
17.02.2014, 06:37 Deggial |
|||
![]() |
Возведение мощностей в степень | 12 |
5485 |
11.02.2014, 15:57 Xaositect |
|||
![]() |
Доказательство теоремы Гёделя о неполноте | 6 |
3389 |
10.02.2014, 18:24 Xaositect |
|||
![]() |
Теории с очень длинным доказательством их противоречия | 5 |
2850 |
09.02.2014, 20:04 cscscs |
|||
![]() |
Вопрос про машину Тьюринга | 14 |
4316 |
09.02.2014, 00:59 Xaositect |
|||
![]() |
Существование биимунных множеств. | 2 |
2069 |
08.02.2014, 20:29 rkrkrk |
|||
![]() |
Мат. логика. Свободные и связанные переменные | 21 |
6464 |
07.02.2014, 21:45 Sonic86 |
|||
![]() |
Найти мощность множества | 7 |
3851 |
30.01.2014, 18:12 arseniiv |
|||
![]() |
Одна теорема из логики | 3 |
2443 |
27.01.2014, 09:32 nikvic |
|||
![]() |
лямбда-исчисление. комбинатор неподвижной точки. рекурсия | 3 |
2318 |
26.01.2014, 01:51 Xaositect |
|||
![]() |
Матлогика - интерпретация языка | 7 |
3398 |
20.01.2014, 23:50 Maslov |
|||
![]() |
Континуальная композиция | 18 |
5638 |
18.01.2014, 21:06 arseniiv |
|||
![]() |
Аксиома выбора | 1 |
1929 |
05.01.2014, 22:44 Someone |
|||
![]() |
Вопрос по теории множеств | 10 |
3900 |
05.01.2014, 13:35 Felt |
|||
![]() |
Теорема Шредера (Кантора) Бернштейна | 3 |
2327 |
03.01.2014, 23:25 Xvovan3 |
|||
![]() |
Выводимы ли в ZF аксиомы Пеано ? | 20 |
5926 |
31.12.2013, 17:31 Someone |
|||
![]() |
Вычислимые перестановки целых чисел | 3 |
2125 |
31.12.2013, 11:28 nikvic |
|||
![]() |
Мощность множества полных теорий | 1 |
1783 |
25.12.2013, 10:08 bot |
|||
![]() |
Доказать неаксиоматизируемость класса | 14 |
4251 |
24.12.2013, 15:28 Flaminga |
|||
![]() |
Конъюнкция через дизъюнкцию и импликацию | 4 |
2482 |
24.12.2013, 06:51 Deggial |
|||
![]() |
Мат. Лог | 4 |
2396 |
23.12.2013, 19:19 capabilitier |
|||
![]() |
Понижение мощности модели | 1 |
1740 |
23.12.2013, 17:38 TehNick |
|||
![]() |
Логика. частично упорядоченное множество. | 1 |
1758 |
20.12.2013, 17:44 blade |
|||
![]() |
Доказать не-общезначимость формулы | 12 |
4543 |
08.12.2013, 20:36 Sonic86 |
|||
![]() |
Что за задача Пи против нПи? | 14 |
4975 |
06.12.2013, 20:25 VAL |
|||
![]() |
Математическая индукция, два утверждения в базе | 18 |
5080 |
03.12.2013, 05:15 Otta |
|||
![]() |
Основные сводимости в теории NP-полных задач | 2 |
2254 |
02.12.2013, 14:08 Xaositect |
|||
![]() |
Построение вывода. | 23 |
5809 |
28.11.2013, 22:59 arseniiv |
|||
![]() |
Задача на метод резолюции. | 1 |
1870 |
18.11.2013, 23:24 _Ivana |
|||
![]() |
Помогите разобраться. 2 задачи по мат. логике | 56 |
15345 |
18.11.2013, 17:43 antoniosm |
|||
![]() |
Изоморфизм между полными упорядоченными полями | 8 |
3361 |
29.10.2013, 11:20 Someone |
|||
![]() |
Задача о рюкзаке NP-трудна | 3 |
2288 |
26.10.2013, 22:18 _hum_ |
|||
![]() |
Найти биективное отображение | 8 |
3487 |
25.10.2013, 13:57 gris |
|||
![]() |
Мощность множества иррациональных чисел | 22 |
10862 |
21.10.2013, 23:14 Mopnex |
Страница 4 из 17 |
[ Тем: 820 ] | На страницу Пред. 1, 2, 3, 4, 5, 6, 7 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |