 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1, 2, 3, 4, 5, 6, 7 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
10913 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
График отображения | 13 |
6113 |
17.06.2014, 23:43 Munin |
|||
|
конечные множества | 9 |
5034 |
04.06.2014, 17:52 Deggial |
|||
|
Вычислимая биекция простого множества | 0 |
1767 |
04.06.2014, 17:01 rkrkrk |
|||
|
исчисление высказываний | 3 |
2780 |
23.05.2014, 23:27 gefest_md |
|||
|
Задача Иосифа для шага выбывания > 2 | 4 |
3081 |
29.04.2014, 13:06 constantin |
|||
|
Мощность объединения двух равномощных множеств | 23 |
8546 |
10.04.2014, 01:02 Xaositect |
|||
|
Система уравнений, мат. логика | 6 |
3318 |
05.04.2014, 16:44 milky |
|||
|
Теория множеств. | 7 |
3814 |
30.03.2014, 17:34 provincialka |
|||
|
Счётность множества алгебраическиx иррациональныx чисел | 2 |
2397 |
30.03.2014, 13:22 reborn980 |
|||
|
теория множеств | 7 |
3911 |
16.03.2014, 01:14 ABViktor |
|||
|
Определение квантора? | 13 |
5749 |
10.03.2014, 16:15 arseniiv |
|||
|
Дискретная математика. Шефферова функция | 4 |
3314 |
02.03.2014, 14:19 usmanovamir |
|||
|
Составить рекуррентное выражение для вычисления функции | 6 |
3354 |
22.02.2014, 20:40 Kosat |
|||
|
Эквивалентность при решении методом резолюций | 3 |
2613 |
22.02.2014, 12:51 Deggial |
|||
|
Аксиоматика - нужен совет | 8 |
4561 |
20.02.2014, 00:48 Dan B-Yallay |
|||
|
Вероятность остановки программы | 17 |
6064 |
18.02.2014, 01:46 cscscs |
|||
|
Какова мощность множества всех множеств? | 8 |
4778 |
17.02.2014, 06:37 Deggial |
|||
|
Возведение мощностей в степень | 12 |
5564 |
11.02.2014, 15:57 Xaositect |
|||
|
Доказательство теоремы Гёделя о неполноте | 6 |
3438 |
10.02.2014, 18:24 Xaositect |
|||
|
Теории с очень длинным доказательством их противоречия | 5 |
2901 |
09.02.2014, 20:04 cscscs |
|||
|
Вопрос про машину Тьюринга | 14 |
4370 |
09.02.2014, 00:59 Xaositect |
|||
|
Существование биимунных множеств. | 2 |
2112 |
08.02.2014, 20:29 rkrkrk |
|||
|
Мат. логика. Свободные и связанные переменные | 21 |
6542 |
07.02.2014, 21:45 Sonic86 |
|||
|
Найти мощность множества | 7 |
3904 |
30.01.2014, 18:12 arseniiv |
|||
|
Одна теорема из логики | 3 |
2486 |
27.01.2014, 09:32 nikvic |
|||
|
лямбда-исчисление. комбинатор неподвижной точки. рекурсия | 3 |
2363 |
26.01.2014, 01:51 Xaositect |
|||
|
Матлогика - интерпретация языка | 7 |
3443 |
20.01.2014, 23:50 Maslov |
|||
|
Континуальная композиция | 18 |
5722 |
18.01.2014, 21:06 arseniiv |
|||
|
Аксиома выбора | 1 |
1968 |
05.01.2014, 22:44 Someone |
|||
|
Вопрос по теории множеств | 10 |
3951 |
05.01.2014, 13:35 Felt |
|||
|
Теорема Шредера (Кантора) Бернштейна | 3 |
2368 |
03.01.2014, 23:25 Xvovan3 |
|||
|
Выводимы ли в ZF аксиомы Пеано ? | 20 |
5998 |
31.12.2013, 17:31 Someone |
|||
|
Вычислимые перестановки целых чисел | 3 |
2167 |
31.12.2013, 11:28 nikvic |
|||
|
Мощность множества полных теорий | 1 |
1823 |
25.12.2013, 10:08 bot |
|||
|
Доказать неаксиоматизируемость класса | 14 |
4304 |
24.12.2013, 15:28 Flaminga |
|||
|
Конъюнкция через дизъюнкцию и импликацию | 4 |
2525 |
24.12.2013, 06:51 Deggial |
|||
|
Мат. Лог | 4 |
2438 |
23.12.2013, 19:19 capabilitier |
|||
|
Понижение мощности модели | 1 |
1779 |
23.12.2013, 17:38 TehNick |
|||
|
Логика. частично упорядоченное множество. | 1 |
1800 |
20.12.2013, 17:44 blade |
|||
|
Доказать не-общезначимость формулы | 12 |
4612 |
08.12.2013, 20:36 Sonic86 |
|||
|
Что за задача Пи против нПи? | 14 |
5034 |
06.12.2013, 20:25 VAL |
|||
|
Математическая индукция, два утверждения в базе | 18 |
5176 |
03.12.2013, 05:15 Otta |
|||
|
Основные сводимости в теории NP-полных задач | 2 |
2310 |
02.12.2013, 14:08 Xaositect |
|||
|
Построение вывода. | 23 |
5892 |
28.11.2013, 22:59 arseniiv |
|||
|
Задача на метод резолюции. | 1 |
1911 |
18.11.2013, 23:24 _Ivana |
|||
 |
Помогите разобраться. 2 задачи по мат. логике | 56 |
15600 |
18.11.2013, 17:43 antoniosm |
|||
|
Изоморфизм между полными упорядоченными полями | 8 |
3421 |
29.10.2013, 11:20 Someone |
|||
|
Задача о рюкзаке NP-трудна | 3 |
2342 |
26.10.2013, 22:18 _hum_ |
|||
|
Найти биективное отображение | 8 |
3540 |
25.10.2013, 13:57 gris |
|||
|
Мощность множества иррациональных чисел | 22 |
10949 |
21.10.2013, 23:14 Mopnex |
|||
| Страница 4 из 17 |
[ Тем: 820 ] | На страницу Пред. 1, 2, 3, 4, 5, 6, 7 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |