 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 4, 5, 6, 7, 8, 9, 10 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
9895 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Диаграмма структуры | 0 |
357 |
19.12.2012, 18:18 gefest_md |
|||
|
задача по теории алгоритмов | 4 |
1042 |
19.12.2012, 17:34 Greenbear |
|||
|
Построить вывод | 1 |
603 |
18.12.2012, 15:02 gefest_md |
|||
|
Двойственная функция в k-значной логике. | 5 |
1321 |
17.12.2012, 21:17 Sonic86 |
|||
|
Альтернативное определение подструктуры | 3 |
887 |
17.12.2012, 17:33 gefest_md |
|||
|
Об алгоритме обр метода для поиска доказ в гегценовских сист | 1 |
464 |
11.12.2012, 14:30 alex_dorin |
|||
|
Доказать, построив вывод, не используя теорему дедукции | 0 |
407 |
11.12.2012, 14:22 kerage |
|||
 |
Как определить "не принадлежит"? | 75 |
19229 |
10.12.2012, 12:52 ИСН |
|||
|
Аксиомы NBG | 3 |
759 |
09.12.2012, 18:03 Xaositect |
|||
|
минимально невыполнимое множество | 0 |
349 |
08.12.2012, 14:20 gefest_md |
|||
|
Колмогоровская сложность | 18 |
3354 |
06.12.2012, 15:55 nikvic |
|||
|
логика высказываний. резолюция | 1 |
483 |
04.12.2012, 19:16 gefest_md |
|||
|
Сколько существует непрерывных функций | 8 |
1416 |
29.11.2012, 22:06 venco |
|||
|
мендельсон, мат. логика | 1 |
546 |
29.11.2012, 17:27 geoffrey |
|||
|
Упорядочить множество | 1 |
494 |
28.11.2012, 21:43 gris |
|||
|
Найти СДНФ путем эквивалентных преобразований | 4 |
845 |
28.11.2012, 16:47 kirflaer |
|||
|
Определение отображения | 19 |
3248 |
25.11.2012, 22:25 Утундрий |
|||
|
Эквивалентность множеств | 3 |
756 |
23.11.2012, 16:21 Deggial |
|||
|
Матлогика. Вывести формулу | 1 |
533 |
14.11.2012, 22:24 yoba |
|||
|
О множестве, которое содержит само себя в качестве элемента | 27 |
11225 |
06.11.2012, 21:17 маткиб |
|||
|
Вопрос касательно множеств. | 9 |
1731 |
31.10.2012, 20:12 Профессор Снэйп |
|||
|
Натуральный вывод. Контрапозиция | 1 |
563 |
25.10.2012, 16:00 whitefox |
|||
|
Мощность континуума | 15 |
2815 |
23.10.2012, 01:52 Munin |
|||
|
Вычислимость и сложность | 8 |
1591 |
22.10.2012, 21:51 alleut |
|||
|
квантор | 5 |
870 |
03.10.2012, 18:27 Padawan |
|||
|
Функии и формулы. Парадокс. | 17 |
3686 |
03.10.2012, 18:17 arseniiv |
|||
|
Помогите закончить приведение к ПНФ. Логика предикатов | 5 |
1413 |
25.09.2012, 03:27 jinma |
|||
|
Теорема о континууме | 7 |
1597 |
21.09.2012, 10:24 Padawan |
|||
|
Мощность множества монад | 10 |
1581 |
20.09.2012, 23:05 Someone |
|||
|
перечислимые мн-ва (Верещагин, Шень, ч. 3. Задачи 11, 12) | 10 |
1895 |
18.09.2012, 21:22 alleut |
|||
|
Бесконечные поля | 17 |
3416 |
17.09.2012, 12:31 vladb314 |
|||
|
графы, формула логики ПП. | 11 |
2128 |
25.08.2012, 22:24 Профессор Снэйп |
|||
|
structures of first-order logic (задачи) | 0 |
431 |
25.08.2012, 22:19 gefest_md |
|||
|
мощность множества всех сходящихся у нулю последовательносте | 25 |
3671 |
15.08.2012, 11:52 Профессор Снэйп |
|||
|
Звёздное небо (можно ли так решать?) | 4 |
1049 |
12.08.2012, 10:51 Профессор Снэйп |
|||
|
Мощность множеств | 8 |
1459 |
10.08.2012, 14:32 muzeum |
|||
|
Обобщенное прямое произведение | 10 |
1536 |
03.08.2012, 17:33 apriv |
|||
|
Как доказать, что множество Кантора имеет мощность континуум | 22 |
6896 |
03.08.2012, 00:51 taburet |
|||
|
forcing | 3 |
1736 |
24.07.2012, 22:45 muzeum |
|||
|
Размер множества | 14 |
2173 |
22.07.2012, 07:27 Профессор Снэйп |
|||
|
Рекурсивно перечислимое множество | 14 |
2294 |
07.07.2012, 04:52 JMH |
|||
|
Разобраться с формальными системами | 10 |
1373 |
04.07.2012, 12:11 AlexDem |
|||
|
Вес булевой функции по полиному Жегалкина. | 1 |
1178 |
03.07.2012, 22:19 chessar |
|||
|
Рациональные числа | 7 |
1470 |
02.07.2012, 08:24 Профессор Снэйп |
|||
|
Перечислимое множество | 13 |
2366 |
30.06.2012, 07:37 Профессор Снэйп |
|||
|
Сферы и окружности | 16 |
3265 |
27.06.2012, 08:01 Munin |
|||
|
Ещё немного биекций | 4 |
2095 |
27.06.2012, 03:10 Asker Tasker |
|||
|
Если буквы разбросать по плоскости | 8 |
3958 |
27.06.2012, 02:41 Asker Tasker |
|||
|
Немного биекций | 9 |
1726 |
26.06.2012, 21:20 Asker Tasker |
|||
|
Мощности и отображения | 4 |
1266 |
25.06.2012, 16:16 Asker Tasker |
|||
| Страница 7 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 4, 5, 6, 7, 8, 9, 10 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |