 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 9, 10, 11, 12, 13, 14, 15 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
10405 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Как выбрать элемент из бесконечного множества? | 15 |
1933 |
02.11.2010, 16:23 Виктор Викторов |
|||
|
записать предикат, показать примитивную рекурсивность | 17 |
1918 |
01.11.2010, 22:23 Marischa |
|||
|
Идиотский вопрос о полноте бесконечной решетки | 2 |
693 |
01.11.2010, 19:14 Circiter |
|||
|
Доказать выражение с помощью логических аксиом. | 6 |
1311 |
01.11.2010, 16:58 Maslov |
|||
|
Ретракция и сечение | 5 |
764 |
31.10.2010, 18:38 Joker_vD |
|||
 |
Множество и класс | 52 |
5949 |
23.10.2010, 13:11 bigarcus |
|||
|
Высказывания в логике | 22 |
2660 |
22.10.2010, 18:11 Виктор Викторов |
|||
|
Вопрос про парадокс Б. Рассела [аксиома фундирования] | 4 |
997 |
14.10.2010, 23:01 Someone |
|||
|
Верещагин, Шень. Фундированные множества | 17 |
2398 |
13.10.2010, 20:13 caxap |
|||
|
Некоторые логические теоремы | 8 |
1421 |
04.10.2010, 18:27 arseniiv |
|||
|
Верещагин, Шень. Изоморфизмы. | 34 |
3933 |
03.10.2010, 18:33 caxap |
|||
|
Верещагин, Шень. Задачи 68, 71, 72. | 16 |
2382 |
28.09.2010, 22:09 caxap |
|||
|
Проверьте, пожалуйста, задачки по множествам | 38 |
7123 |
26.09.2010, 21:36 caxap |
|||
|
множества | 15 |
1727 |
26.09.2010, 10:03 ewert |
|||
|
Верещагин, Шень. Задача 54 (несчетные множества...) | 7 |
1042 |
24.09.2010, 21:14 caxap |
|||
|
Канторово множество. | 2 |
594 |
19.09.2010, 19:34 Виктор Викторов |
|||
|
Правило вывода Gen | 8 |
1371 |
16.09.2010, 08:02 Sonic86 |
|||
|
лемма Цорна | 15 |
1820 |
12.09.2010, 11:35 Null |
|||
|
Приведение КА к полному ДКА. | 13 |
1985 |
10.09.2010, 10:12 Профессор Снэйп |
|||
|
Бесконечное множество содержит счетное подмножество | 12 |
1466 |
08.09.2010, 09:09 Padawan |
|||
|
Помогите разобраться с примитивно рекурсивными функциями.. | 14 |
1703 |
02.09.2010, 20:09 Marischa |
|||
|
исчисление высказываний | 11 |
1530 |
26.08.2010, 20:59 chencho |
|||
|
Доказательство полноты класса в k-значной логике | 2 |
428 |
26.08.2010, 12:56 chencho |
|||
|
Счётное неперечислимое множество | 18 |
3294 |
24.08.2010, 15:10 Kenny2 |
|||
|
Мощность базиса Гамеля | 7 |
1344 |
22.08.2010, 15:55 Виктор Викторов |
|||
|
Базис Гамеля. | 2 |
428 |
22.08.2010, 14:11 Виктор Викторов |
|||
|
Задача на предикаты | 23 |
3330 |
16.08.2010, 19:12 Профессор Снэйп |
|||
|
Вопрос по аксиоматике математического анализа и вещ. чисел | 11 |
2047 |
13.08.2010, 19:19 astro_lib |
|||
|
Формальные языки, нужна помощь | 4 |
895 |
13.08.2010, 09:42 lightcaster |
|||
|
ZFC противоречива? | 11 |
1496 |
07.08.2010, 01:31 Профессор Снэйп |
|||
|
Пример использования трансфинитной рекурсии и ординалов | 5 |
1200 |
30.07.2010, 17:20 Профессор Снэйп |
|||
|
Равномощность отрезка и интервала | 16 |
7602 |
22.07.2010, 11:56 AD |
|||
|
Равномощность континуума булеану счётного множества | 8 |
1064 |
21.07.2010, 17:53 AD |
|||
|
Частично упорядоченное множество подпоследовательностей | 4 |
732 |
25.06.2010, 15:20 Xaositect |
|||
|
Предварённая нормальная форма | 10 |
1805 |
22.06.2010, 19:01 nbyte |
|||
|
Произведение мощностей множеств | 3 |
607 |
19.06.2010, 23:49 Cave |
|||
|
Вопрос о сложности подсчета прообраза | 6 |
832 |
18.06.2010, 11:02 Xaositect |
|||
|
Аналитическое доказательство законов де Моргана | 4 |
2165 |
16.06.2010, 16:05 cTarn |
|||
|
Импликация, инверсия, ИЛИ | 4 |
1069 |
14.06.2010, 11:19 cTarn |
|||
|
Аксиомы Пеано | 15 |
2205 |
13.06.2010, 22:59 maxmatem |
|||
|
Равномощность квадрата кругу | 19 |
4142 |
13.06.2010, 22:57 ewert |
|||
|
Декартово произведение множеств, мощности | 3 |
643 |
13.06.2010, 08:56 Mathusic |
|||
|
множества, логические задачки | 5 |
917 |
12.06.2010, 19:58 Mathusic |
|||
|
Теорема Шредера (Кантора) Бернштейна | 11 |
5081 |
12.06.2010, 18:21 мат-ламер |
|||
|
Математическая логика, теорема Дедукции | 6 |
3058 |
07.06.2010, 14:32 Чудо-в-перьях |
|||
|
Логика вопросов и ответов | 14 |
2046 |
05.06.2010, 08:17 Chifu |
|||
|
Задача на разрешимость множества | 18 |
1774 |
31.05.2010, 15:40 Профессор Снэйп |
|||
|
Примитивная рекурсивность функции | 2 |
515 |
28.05.2010, 19:53 maxmatem |
|||
|
Примитивный рекурсивный алгоритм | 1 |
359 |
23.05.2010, 19:33 Xaositect |
|||
|
Почему п-докс Рассела нельзя считать док-вом от противного? | 64 |
30444 |
16.05.2010, 04:01 Nxx |
|||
| Страница 12 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 9, 10, 11, 12, 13, 14, 15 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |