 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 9, 10, 11, 12, 13, 14, 15 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
10682 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Как выбрать элемент из бесконечного множества? | 15 |
1988 |
02.11.2010, 16:23 Виктор Викторов |
|||
|
записать предикат, показать примитивную рекурсивность | 17 |
1960 |
01.11.2010, 22:23 Marischa |
|||
|
Идиотский вопрос о полноте бесконечной решетки | 2 |
699 |
01.11.2010, 19:14 Circiter |
|||
|
Доказать выражение с помощью логических аксиом. | 6 |
1332 |
01.11.2010, 16:58 Maslov |
|||
|
Ретракция и сечение | 5 |
792 |
31.10.2010, 18:38 Joker_vD |
|||
 |
Множество и класс | 52 |
6071 |
23.10.2010, 13:11 bigarcus |
|||
|
Высказывания в логике | 22 |
2728 |
22.10.2010, 18:11 Виктор Викторов |
|||
|
Вопрос про парадокс Б. Рассела [аксиома фундирования] | 4 |
1014 |
14.10.2010, 23:01 Someone |
|||
|
Верещагин, Шень. Фундированные множества | 17 |
2444 |
13.10.2010, 20:13 caxap |
|||
|
Некоторые логические теоремы | 8 |
1461 |
04.10.2010, 18:27 arseniiv |
|||
|
Верещагин, Шень. Изоморфизмы. | 34 |
4044 |
03.10.2010, 18:33 caxap |
|||
|
Верещагин, Шень. Задачи 68, 71, 72. | 16 |
2439 |
28.09.2010, 22:09 caxap |
|||
|
Проверьте, пожалуйста, задачки по множествам | 38 |
7280 |
26.09.2010, 21:36 caxap |
|||
|
множества | 15 |
1763 |
26.09.2010, 10:03 ewert |
|||
|
Верещагин, Шень. Задача 54 (несчетные множества...) | 7 |
1069 |
24.09.2010, 21:14 caxap |
|||
|
Канторово множество. | 2 |
606 |
19.09.2010, 19:34 Виктор Викторов |
|||
|
Правило вывода Gen | 8 |
1393 |
16.09.2010, 08:02 Sonic86 |
|||
|
лемма Цорна | 15 |
1876 |
12.09.2010, 11:35 Null |
|||
|
Приведение КА к полному ДКА. | 13 |
2025 |
10.09.2010, 10:12 Профессор Снэйп |
|||
|
Бесконечное множество содержит счетное подмножество | 12 |
1519 |
08.09.2010, 09:09 Padawan |
|||
|
Помогите разобраться с примитивно рекурсивными функциями.. | 14 |
1745 |
02.09.2010, 20:09 Marischa |
|||
|
исчисление высказываний | 11 |
1563 |
26.08.2010, 20:59 chencho |
|||
|
Доказательство полноты класса в k-значной логике | 2 |
442 |
26.08.2010, 12:56 chencho |
|||
|
Счётное неперечислимое множество | 18 |
3352 |
24.08.2010, 15:10 Kenny2 |
|||
|
Мощность базиса Гамеля | 7 |
1366 |
22.08.2010, 15:55 Виктор Викторов |
|||
|
Базис Гамеля. | 2 |
442 |
22.08.2010, 14:11 Виктор Викторов |
|||
|
Задача на предикаты | 23 |
3393 |
16.08.2010, 19:12 Профессор Снэйп |
|||
|
Вопрос по аксиоматике математического анализа и вещ. чисел | 11 |
2089 |
13.08.2010, 19:19 astro_lib |
|||
|
Формальные языки, нужна помощь | 4 |
916 |
13.08.2010, 09:42 lightcaster |
|||
|
ZFC противоречива? | 11 |
1532 |
07.08.2010, 01:31 Профессор Снэйп |
|||
|
Пример использования трансфинитной рекурсии и ординалов | 5 |
1218 |
30.07.2010, 17:20 Профессор Снэйп |
|||
|
Равномощность отрезка и интервала | 16 |
7742 |
22.07.2010, 11:56 AD |
|||
|
Равномощность континуума булеану счётного множества | 8 |
1094 |
21.07.2010, 17:53 AD |
|||
|
Частично упорядоченное множество подпоследовательностей | 4 |
746 |
25.06.2010, 15:20 Xaositect |
|||
|
Предварённая нормальная форма | 10 |
1844 |
22.06.2010, 19:01 nbyte |
|||
|
Произведение мощностей множеств | 3 |
622 |
19.06.2010, 23:49 Cave |
|||
|
Вопрос о сложности подсчета прообраза | 6 |
858 |
18.06.2010, 11:02 Xaositect |
|||
|
Аналитическое доказательство законов де Моргана | 4 |
2181 |
16.06.2010, 16:05 cTarn |
|||
|
Импликация, инверсия, ИЛИ | 4 |
1094 |
14.06.2010, 11:19 cTarn |
|||
|
Аксиомы Пеано | 15 |
2264 |
13.06.2010, 22:59 maxmatem |
|||
|
Равномощность квадрата кругу | 19 |
4222 |
13.06.2010, 22:57 ewert |
|||
|
Декартово произведение множеств, мощности | 3 |
658 |
13.06.2010, 08:56 Mathusic |
|||
|
множества, логические задачки | 5 |
945 |
12.06.2010, 19:58 Mathusic |
|||
|
Теорема Шредера (Кантора) Бернштейна | 11 |
5136 |
12.06.2010, 18:21 мат-ламер |
|||
|
Математическая логика, теорема Дедукции | 6 |
3082 |
07.06.2010, 14:32 Чудо-в-перьях |
|||
|
Логика вопросов и ответов | 14 |
2083 |
05.06.2010, 08:17 Chifu |
|||
|
Задача на разрешимость множества | 18 |
1837 |
31.05.2010, 15:40 Профессор Снэйп |
|||
|
Примитивная рекурсивность функции | 2 |
531 |
28.05.2010, 19:53 maxmatem |
|||
|
Примитивный рекурсивный алгоритм | 1 |
369 |
23.05.2010, 19:33 Xaositect |
|||
|
Почему п-докс Рассела нельзя считать док-вом от противного? | 64 |
30595 |
16.05.2010, 04:01 Nxx |
|||
| Страница 12 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 9, 10, 11, 12, 13, 14, 15 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |