 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 9, 10, 11, 12, 13, 14, 15 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
11310 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Идиотский вопрос о полноте бесконечной решетки | 2 |
755 |
01.11.2010, 19:14 Circiter |
|||
|
Доказать выражение с помощью логических аксиом. | 6 |
1472 |
01.11.2010, 16:58 Maslov |
|||
|
Ретракция и сечение | 5 |
904 |
31.10.2010, 18:38 Joker_vD |
|||
 |
Множество и класс | 52 |
6805 |
23.10.2010, 13:11 bigarcus |
|||
|
Высказывания в логике | 22 |
3071 |
22.10.2010, 18:11 Виктор Викторов |
|||
|
Вопрос про парадокс Б. Рассела [аксиома фундирования] | 4 |
1097 |
14.10.2010, 23:01 Someone |
|||
|
Верещагин, Шень. Фундированные множества | 17 |
2683 |
13.10.2010, 20:13 caxap |
|||
|
Некоторые логические теоремы | 8 |
1601 |
04.10.2010, 18:27 arseniiv |
|||
|
Верещагин, Шень. Изоморфизмы. | 34 |
4454 |
03.10.2010, 18:33 caxap |
|||
|
Верещагин, Шень. Задачи 68, 71, 72. | 16 |
2745 |
28.09.2010, 22:09 caxap |
|||
|
Проверьте, пожалуйста, задачки по множествам | 38 |
7848 |
26.09.2010, 21:36 caxap |
|||
|
множества | 15 |
1870 |
26.09.2010, 10:03 ewert |
|||
|
Верещагин, Шень. Задача 54 (несчетные множества...) | 7 |
1158 |
24.09.2010, 21:14 caxap |
|||
|
Канторово множество. | 2 |
651 |
19.09.2010, 19:34 Виктор Викторов |
|||
|
Правило вывода Gen | 8 |
1515 |
16.09.2010, 08:02 Sonic86 |
|||
|
лемма Цорна | 15 |
2017 |
12.09.2010, 11:35 Null |
|||
|
Приведение КА к полному ДКА. | 13 |
2172 |
10.09.2010, 10:12 Профессор Снэйп |
|||
|
Бесконечное множество содержит счетное подмножество | 12 |
1694 |
08.09.2010, 09:09 Padawan |
|||
|
Помогите разобраться с примитивно рекурсивными функциями.. | 14 |
1934 |
02.09.2010, 20:09 Marischa |
|||
|
исчисление высказываний | 11 |
1711 |
26.08.2010, 20:59 chencho |
|||
|
Доказательство полноты класса в k-значной логике | 2 |
487 |
26.08.2010, 12:56 chencho |
|||
|
Счётное неперечислимое множество | 18 |
3602 |
24.08.2010, 15:10 Kenny2 |
|||
|
Мощность базиса Гамеля | 7 |
1481 |
22.08.2010, 15:55 Виктор Викторов |
|||
|
Базис Гамеля. | 2 |
485 |
22.08.2010, 14:11 Виктор Викторов |
|||
|
Задача на предикаты | 23 |
3661 |
16.08.2010, 19:12 Профессор Снэйп |
|||
|
Вопрос по аксиоматике математического анализа и вещ. чисел | 11 |
2236 |
13.08.2010, 19:19 astro_lib |
|||
|
Формальные языки, нужна помощь | 4 |
997 |
13.08.2010, 09:42 lightcaster |
|||
|
ZFC противоречива? | 11 |
1670 |
07.08.2010, 01:31 Профессор Снэйп |
|||
|
Пример использования трансфинитной рекурсии и ординалов | 5 |
1300 |
30.07.2010, 17:20 Профессор Снэйп |
|||
|
Равномощность отрезка и интервала | 16 |
8064 |
22.07.2010, 11:56 AD |
|||
|
Равномощность континуума булеану счётного множества | 8 |
1211 |
21.07.2010, 17:53 AD |
|||
|
Частично упорядоченное множество подпоследовательностей | 4 |
820 |
25.06.2010, 15:20 Xaositect |
|||
|
Предварённая нормальная форма | 10 |
1990 |
22.06.2010, 19:01 nbyte |
|||
|
Произведение мощностей множеств | 3 |
684 |
19.06.2010, 23:49 Cave |
|||
|
Вопрос о сложности подсчета прообраза | 6 |
973 |
18.06.2010, 11:02 Xaositect |
|||
|
Аналитическое доказательство законов де Моргана | 4 |
2286 |
16.06.2010, 16:05 cTarn |
|||
|
Импликация, инверсия, ИЛИ | 4 |
1208 |
14.06.2010, 11:19 cTarn |
|||
|
Аксиомы Пеано | 15 |
2550 |
13.06.2010, 22:59 maxmatem |
|||
|
Равномощность квадрата кругу | 19 |
4458 |
13.06.2010, 22:57 ewert |
|||
|
Декартово произведение множеств, мощности | 3 |
727 |
13.06.2010, 08:56 Mathusic |
|||
|
множества, логические задачки | 5 |
1032 |
12.06.2010, 19:58 Mathusic |
|||
|
Теорема Шредера (Кантора) Бернштейна | 11 |
5370 |
12.06.2010, 18:21 мат-ламер |
|||
|
Математическая логика, теорема Дедукции | 6 |
3237 |
07.06.2010, 14:32 Чудо-в-перьях |
|||
|
Логика вопросов и ответов | 14 |
2242 |
05.06.2010, 08:17 Chifu |
|||
|
Задача на разрешимость множества | 18 |
2062 |
31.05.2010, 15:40 Профессор Снэйп |
|||
|
Примитивная рекурсивность функции | 2 |
570 |
28.05.2010, 19:53 maxmatem |
|||
|
Примитивный рекурсивный алгоритм | 1 |
406 |
23.05.2010, 19:33 Xaositect |
|||
|
Почему п-докс Рассела нельзя считать док-вом от противного? | 64 |
31132 |
16.05.2010, 04:01 Nxx |
|||
|
Множество мощности континуум. | 12 |
2606 |
12.05.2010, 15:57 Профессор Снэйп |
|||
|
Мощность множества рациональных чисел | 7 |
1591 |
06.05.2010, 18:59 ewert |
|||
| Страница 12 из 17 |
[ Тем: 817 ] | На страницу Пред. 1 ... 9, 10, 11, 12, 13, 14, 15 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |