 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 4, 5, 6, 7, 8, 9, 10 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
11114 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Диаграмма структуры | 0 |
370 |
19.12.2012, 18:18 gefest_md |
|||
|
задача по теории алгоритмов | 4 |
1084 |
19.12.2012, 17:34 Greenbear |
|||
|
Построить вывод | 1 |
631 |
18.12.2012, 15:02 gefest_md |
|||
|
Двойственная функция в k-значной логике. | 5 |
1376 |
17.12.2012, 21:17 Sonic86 |
|||
|
Альтернативное определение подструктуры | 3 |
924 |
17.12.2012, 17:33 gefest_md |
|||
|
Об алгоритме обр метода для поиска доказ в гегценовских сист | 1 |
491 |
11.12.2012, 14:30 alex_dorin |
|||
|
Доказать, построив вывод, не используя теорему дедукции | 0 |
429 |
11.12.2012, 14:22 kerage |
|||
 |
Как определить "не принадлежит"? | 75 |
20159 |
10.12.2012, 12:52 ИСН |
|||
|
Аксиомы NBG | 3 |
813 |
09.12.2012, 18:03 Xaositect |
|||
|
минимально невыполнимое множество | 0 |
368 |
08.12.2012, 14:20 gefest_md |
|||
|
Колмогоровская сложность | 18 |
3498 |
06.12.2012, 15:55 nikvic |
|||
|
логика высказываний. резолюция | 1 |
506 |
04.12.2012, 19:16 gefest_md |
|||
|
Сколько существует непрерывных функций | 8 |
1484 |
29.11.2012, 22:06 venco |
|||
|
мендельсон, мат. логика | 1 |
578 |
29.11.2012, 17:27 geoffrey |
|||
|
Упорядочить множество | 1 |
515 |
28.11.2012, 21:43 gris |
|||
|
Найти СДНФ путем эквивалентных преобразований | 4 |
892 |
28.11.2012, 16:47 kirflaer |
|||
|
Определение отображения | 19 |
3380 |
25.11.2012, 22:25 Утундрий |
|||
|
Эквивалентность множеств | 3 |
789 |
23.11.2012, 16:21 Deggial |
|||
|
Матлогика. Вывести формулу | 1 |
557 |
14.11.2012, 22:24 yoba |
|||
|
О множестве, которое содержит само себя в качестве элемента | 27 |
11596 |
06.11.2012, 21:17 маткиб |
|||
|
Вопрос касательно множеств. | 9 |
1813 |
31.10.2012, 20:12 Профессор Снэйп |
|||
|
Натуральный вывод. Контрапозиция | 1 |
586 |
25.10.2012, 16:00 whitefox |
|||
|
Мощность континуума | 15 |
2931 |
23.10.2012, 01:52 Munin |
|||
|
Вычислимость и сложность | 8 |
1656 |
22.10.2012, 21:51 alleut |
|||
|
квантор | 5 |
914 |
03.10.2012, 18:27 Padawan |
|||
|
Функии и формулы. Парадокс. | 17 |
3882 |
03.10.2012, 18:17 arseniiv |
|||
|
Помогите закончить приведение к ПНФ. Логика предикатов | 5 |
1470 |
25.09.2012, 03:27 jinma |
|||
|
Теорема о континууме | 7 |
1681 |
21.09.2012, 10:24 Padawan |
|||
|
Мощность множества монад | 10 |
1668 |
20.09.2012, 23:05 Someone |
|||
|
перечислимые мн-ва (Верещагин, Шень, ч. 3. Задачи 11, 12) | 10 |
1943 |
18.09.2012, 21:22 alleut |
|||
|
Бесконечные поля | 17 |
3553 |
17.09.2012, 12:31 vladb314 |
|||
|
графы, формула логики ПП. | 11 |
2212 |
25.08.2012, 22:24 Профессор Снэйп |
|||
|
structures of first-order logic (задачи) | 0 |
441 |
25.08.2012, 22:19 gefest_md |
|||
|
мощность множества всех сходящихся у нулю последовательносте | 25 |
3842 |
15.08.2012, 11:52 Профессор Снэйп |
|||
|
Звёздное небо (можно ли так решать?) | 4 |
1097 |
12.08.2012, 10:51 Профессор Снэйп |
|||
|
Мощность множеств | 8 |
1521 |
10.08.2012, 14:32 muzeum |
|||
|
Обобщенное прямое произведение | 10 |
1640 |
03.08.2012, 17:33 apriv |
|||
|
Как доказать, что множество Кантора имеет мощность континуум | 22 |
7189 |
03.08.2012, 00:51 taburet |
|||
|
forcing | 3 |
1825 |
24.07.2012, 22:45 muzeum |
|||
|
Размер множества | 14 |
2309 |
22.07.2012, 07:27 Профессор Снэйп |
|||
|
Рекурсивно перечислимое множество | 14 |
2414 |
07.07.2012, 04:52 JMH |
|||
|
Разобраться с формальными системами | 10 |
1445 |
04.07.2012, 12:11 AlexDem |
|||
|
Вес булевой функции по полиному Жегалкина. | 1 |
1239 |
03.07.2012, 22:19 chessar |
|||
|
Рациональные числа | 7 |
1526 |
02.07.2012, 08:24 Профессор Снэйп |
|||
|
Перечислимое множество | 13 |
2477 |
30.06.2012, 07:37 Профессор Снэйп |
|||
|
Сферы и окружности | 16 |
3460 |
27.06.2012, 08:01 Munin |
|||
|
Ещё немного биекций | 4 |
2138 |
27.06.2012, 03:10 Asker Tasker |
|||
|
Если буквы разбросать по плоскости | 8 |
4091 |
27.06.2012, 02:41 Asker Tasker |
|||
|
Немного биекций | 9 |
1824 |
26.06.2012, 21:20 Asker Tasker |
|||
|
Мощности и отображения | 4 |
1303 |
25.06.2012, 16:16 Asker Tasker |
|||
| Страница 7 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 4, 5, 6, 7, 8, 9, 10 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |