 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1, 2, 3, 4, 5, 6, 7 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
10110 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
График отображения | 13 |
5927 |
17.06.2014, 23:43 Munin |
|||
|
конечные множества | 9 |
4886 |
04.06.2014, 17:52 Deggial |
|||
|
Вычислимая биекция простого множества | 0 |
1677 |
04.06.2014, 17:01 rkrkrk |
|||
|
исчисление высказываний | 3 |
2674 |
23.05.2014, 23:27 gefest_md |
|||
|
Задача Иосифа для шага выбывания > 2 | 4 |
2969 |
29.04.2014, 13:06 constantin |
|||
|
Мощность объединения двух равномощных множеств | 23 |
8284 |
10.04.2014, 01:02 Xaositect |
|||
|
Система уравнений, мат. логика | 6 |
3185 |
05.04.2014, 16:44 milky |
|||
|
Теория множеств. | 7 |
3700 |
30.03.2014, 17:34 provincialka |
|||
|
Счётность множества алгебраическиx иррациональныx чисел | 2 |
2298 |
30.03.2014, 13:22 reborn980 |
|||
|
теория множеств | 7 |
3794 |
16.03.2014, 01:14 ABViktor |
|||
|
Определение квантора? | 13 |
5592 |
10.03.2014, 16:15 arseniiv |
|||
|
Дискретная математика. Шефферова функция | 4 |
3207 |
02.03.2014, 14:19 usmanovamir |
|||
|
Составить рекуррентное выражение для вычисления функции | 6 |
3228 |
22.02.2014, 20:40 Kosat |
|||
|
Эквивалентность при решении методом резолюций | 3 |
2497 |
22.02.2014, 12:51 Deggial |
|||
|
Аксиоматика - нужен совет | 8 |
4414 |
20.02.2014, 00:48 Dan B-Yallay |
|||
|
Вероятность остановки программы | 17 |
5815 |
18.02.2014, 01:46 cscscs |
|||
|
Какова мощность множества всех множеств? | 8 |
4627 |
17.02.2014, 06:37 Deggial |
|||
|
Возведение мощностей в степень | 12 |
5391 |
11.02.2014, 15:57 Xaositect |
|||
|
Доказательство теоремы Гёделя о неполноте | 6 |
3314 |
10.02.2014, 18:24 Xaositect |
|||
|
Теории с очень длинным доказательством их противоречия | 5 |
2775 |
09.02.2014, 20:04 cscscs |
|||
|
Вопрос про машину Тьюринга | 14 |
4250 |
09.02.2014, 00:59 Xaositect |
|||
|
Существование биимунных множеств. | 2 |
2014 |
08.02.2014, 20:29 rkrkrk |
|||
|
Мат. логика. Свободные и связанные переменные | 21 |
6329 |
07.02.2014, 21:45 Sonic86 |
|||
|
Найти мощность множества | 7 |
3774 |
30.01.2014, 18:12 arseniiv |
|||
|
Одна теорема из логики | 3 |
2384 |
27.01.2014, 09:32 nikvic |
|||
|
лямбда-исчисление. комбинатор неподвижной точки. рекурсия | 3 |
2260 |
26.01.2014, 01:51 Xaositect |
|||
|
Матлогика - интерпретация языка | 7 |
3318 |
20.01.2014, 23:50 Maslov |
|||
|
Континуальная композиция | 18 |
5510 |
18.01.2014, 21:06 arseniiv |
|||
|
Аксиома выбора | 1 |
1879 |
05.01.2014, 22:44 Someone |
|||
|
Вопрос по теории множеств | 10 |
3831 |
05.01.2014, 13:35 Felt |
|||
|
Теорема Шредера (Кантора) Бернштейна | 3 |
2274 |
03.01.2014, 23:25 Xvovan3 |
|||
|
Выводимы ли в ZF аксиомы Пеано ? | 20 |
5803 |
31.12.2013, 17:31 Someone |
|||
|
Вычислимые перестановки целых чисел | 3 |
2070 |
31.12.2013, 11:28 nikvic |
|||
|
Мощность множества полных теорий | 1 |
1730 |
25.12.2013, 10:08 bot |
|||
|
Доказать неаксиоматизируемость класса | 14 |
4171 |
24.12.2013, 15:28 Flaminga |
|||
|
Конъюнкция через дизъюнкцию и импликацию | 4 |
2426 |
24.12.2013, 06:51 Deggial |
|||
|
Мат. Лог | 4 |
2338 |
23.12.2013, 19:19 capabilitier |
|||
|
Понижение мощности модели | 1 |
1688 |
23.12.2013, 17:38 TehNick |
|||
|
Логика. частично упорядоченное множество. | 1 |
1707 |
20.12.2013, 17:44 blade |
|||
|
Доказать не-общезначимость формулы | 12 |
4452 |
08.12.2013, 20:36 Sonic86 |
|||
|
Что за задача Пи против нПи? | 14 |
4872 |
06.12.2013, 20:25 VAL |
|||
|
Математическая индукция, два утверждения в базе | 18 |
4940 |
03.12.2013, 05:15 Otta |
|||
|
Основные сводимости в теории NP-полных задач | 2 |
2190 |
02.12.2013, 14:08 Xaositect |
|||
|
Построение вывода. | 23 |
5631 |
28.11.2013, 22:59 arseniiv |
|||
|
Задача на метод резолюции. | 1 |
1811 |
18.11.2013, 23:24 _Ivana |
|||
 |
Помогите разобраться. 2 задачи по мат. логике | 56 |
15058 |
18.11.2013, 17:43 antoniosm |
|||
|
Изоморфизм между полными упорядоченными полями | 8 |
3287 |
29.10.2013, 11:20 Someone |
|||
|
Задача о рюкзаке NP-трудна | 3 |
2226 |
26.10.2013, 22:18 _hum_ |
|||
|
Найти биективное отображение | 8 |
3415 |
25.10.2013, 13:57 gris |
|||
|
Мощность множества иррациональных чисел | 22 |
10728 |
21.10.2013, 23:14 Mopnex |
|||
| Страница 4 из 17 |
[ Тем: 820 ] | На страницу Пред. 1, 2, 3, 4, 5, 6, 7 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |