 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1, 2, 3, 4, 5, 6 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
9890 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Логика второго порядка | 4 |
2541 |
11.03.2015, 23:13 Mitrius_Math |
|||
 |
Азы теории категорий | 24 |
6273 |
05.03.2015, 03:57 _Ivana |
|||
|
Мат. логика: импликация | 15 |
6389 |
24.02.2015, 22:14 arseniiv |
|||
|
Покрытие плоскости замкнутыми кругами... | 38 |
9539 |
18.02.2015, 15:34 Cash |
|||
|
Парадокс Банаха — Тарского | 26 |
7624 |
11.02.2015, 07:12 NSKuber |
|||
|
Примитивная рекурсивность функции | 1 |
1212 |
10.02.2015, 02:02 3D Homer |
|||
|
Как правильно доказывать равенства в теории множеств? | 11 |
4580 |
09.02.2015, 02:13 Henrylee |
|||
|
Множества | 11 |
3255 |
29.01.2015, 19:01 Kras |
|||
|
Упорядоченные множества | 19 |
5222 |
28.01.2015, 16:36 kojirh |
|||
|
Произведение отображений, обратное отображение | 16 |
4258 |
24.01.2015, 23:09 Kras |
|||
|
Третья проблема Гильерта | 6 |
2399 |
17.01.2015, 20:23 deep down |
|||
|
Пустое отношение | 23 |
7044 |
13.01.2015, 02:32 arseniiv |
|||
|
Мощность множества всех фигур на плоскости | 35 |
8791 |
11.01.2015, 07:09 bot |
|||
|
Поиск мощности множества функций | 23 |
6698 |
08.01.2015, 00:26 Bacon |
|||
|
Доказательство алгебраичности числа | 54 |
13024 |
07.01.2015, 10:57 nnosipov |
|||
|
Упрощение логических выражений | 16 |
4758 |
05.01.2015, 22:03 Limit79 |
|||
|
что такое модель действительных чисел? | 3 |
1900 |
03.01.2015, 22:17 provincialka |
|||
|
Композитные монады | 2 |
1640 |
01.01.2015, 23:44 Mysterious Light |
|||
|
Зорич, задача 22 с) | 17 |
5013 |
29.12.2014, 02:24 ИСН |
|||
|
Рекурсия | 43 |
15009 |
19.12.2014, 20:48 Lia |
|||
|
теорема Шрёдера-Бернштейна | 1 |
1266 |
16.12.2014, 10:46 mishafromusa |
|||
|
Логика высказываний | 8 |
3145 |
15.12.2014, 20:00 arseniiv |
|||
|
Элементарная задача на мощность множества | 2 |
1644 |
09.12.2014, 09:29 grizzly |
|||
|
Направленность | 6 |
2551 |
17.11.2014, 15:16 provincialka |
|||
|
Трансфинитный ряд подгрупп | 5 |
2459 |
11.11.2014, 01:15 arseniiv |
|||
|
Элементарная эквивалентность | 0 |
1113 |
09.11.2014, 16:10 Geros |
|||
|
имитация, симуляция | 2 |
2054 |
03.11.2014, 13:42 alcoholist |
|||
|
Сужение сигма-алгебры. | 3 |
1712 |
29.10.2014, 01:00 RIP |
|||
|
Теория сложности: P vs NP. Основные достижения на 2014 год. | 7 |
2951 |
26.10.2014, 14:40 Vieux |
|||
|
кардинальные исчисления | 4 |
2751 |
23.10.2014, 16:09 Deggial |
|||
|
формулы логики предикатов | 6 |
2594 |
18.10.2014, 12:42 popolznev |
|||
|
Теория алгоритмов: "аксиома протокола" | 30 |
9879 |
17.10.2014, 21:43 Anton_Peplov |
|||
|
Независимость аксиом | 4 |
2521 |
08.10.2014, 23:02 van81 |
|||
|
[теория категорий] Морфизм между экспоненциалами | 7 |
2998 |
05.10.2014, 19:28 Mysterious Light |
|||
|
Помогите разобраться чего от меня хотят! | 6 |
2780 |
03.10.2014, 18:22 Gertiy |
|||
|
Из каких задач состоит класс NPI (NP-Intermediate) | 4 |
2168 |
28.09.2014, 17:53 veg_nw |
|||
|
Аксиома выбора образует замкнутый круг? | 12 |
3953 |
26.09.2014, 21:49 Someone |
|||
|
Множество всех функций | 8 |
3231 |
26.09.2014, 20:25 arseniiv |
|||
|
Схемы аксиом и Теоремы Гёделя | 4 |
2202 |
10.09.2014, 08:15 grizzly |
|||
|
МТ с Оракулом остановки (почему не противоречива) ? | 5 |
2314 |
05.09.2014, 17:37 shkolnik |
|||
|
Арифметика типов | 10 |
3865 |
26.08.2014, 23:23 Mysterious Light |
|||
|
Про множества (всех множеств) | 25 |
9252 |
26.08.2014, 01:54 Lia |
|||
|
Объясните пожалуйста таблицу истинности импликации | 10 |
4200 |
24.08.2014, 18:18 arseniiv |
|||
|
Помогите оценить сложность решения | 6 |
2616 |
12.08.2014, 13:39 Алекс77 |
|||
|
Трехзначная логика с измененной импликацией | 2 |
1765 |
17.07.2014, 19:22 cscscs |
|||
|
Сложение в системе Пеано | 11 |
3865 |
15.07.2014, 16:01 tsverg |
|||
|
"Теория множеств" Бурбаки | 11 |
5277 |
09.07.2014, 22:09 absque |
|||
|
классы задач по сложности | 1 |
1385 |
05.07.2014, 01:36 patzer2097 |
|||
|
Счетность множеств | 20 |
6536 |
03.07.2014, 04:22 iifat |
|||
|
Линейность порядка | 4 |
2121 |
22.06.2014, 23:39 ewert |
|||
| Страница 3 из 17 |
[ Тем: 820 ] | На страницу Пред. 1, 2, 3, 4, 5, 6 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |