 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 4, 5, 6, 7, 8, 9, 10 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
10669 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Диаграмма структуры | 0 |
363 |
19.12.2012, 18:18 gefest_md |
|||
|
задача по теории алгоритмов | 4 |
1059 |
19.12.2012, 17:34 Greenbear |
|||
|
Построить вывод | 1 |
619 |
18.12.2012, 15:02 gefest_md |
|||
|
Двойственная функция в k-значной логике. | 5 |
1355 |
17.12.2012, 21:17 Sonic86 |
|||
|
Альтернативное определение подструктуры | 3 |
905 |
17.12.2012, 17:33 gefest_md |
|||
|
Об алгоритме обр метода для поиска доказ в гегценовских сист | 1 |
475 |
11.12.2012, 14:30 alex_dorin |
|||
|
Доказать, построив вывод, не используя теорему дедукции | 0 |
416 |
11.12.2012, 14:22 kerage |
|||
 |
Как определить "не принадлежит"? | 75 |
19594 |
10.12.2012, 12:52 ИСН |
|||
|
Аксиомы NBG | 3 |
779 |
09.12.2012, 18:03 Xaositect |
|||
|
минимально невыполнимое множество | 0 |
358 |
08.12.2012, 14:20 gefest_md |
|||
|
Колмогоровская сложность | 18 |
3433 |
06.12.2012, 15:55 nikvic |
|||
|
логика высказываний. резолюция | 1 |
498 |
04.12.2012, 19:16 gefest_md |
|||
|
Сколько существует непрерывных функций | 8 |
1456 |
29.11.2012, 22:06 venco |
|||
|
мендельсон, мат. логика | 1 |
563 |
29.11.2012, 17:27 geoffrey |
|||
|
Упорядочить множество | 1 |
508 |
28.11.2012, 21:43 gris |
|||
|
Найти СДНФ путем эквивалентных преобразований | 4 |
870 |
28.11.2012, 16:47 kirflaer |
|||
|
Определение отображения | 19 |
3328 |
25.11.2012, 22:25 Утундрий |
|||
|
Эквивалентность множеств | 3 |
774 |
23.11.2012, 16:21 Deggial |
|||
|
Матлогика. Вывести формулу | 1 |
548 |
14.11.2012, 22:24 yoba |
|||
|
О множестве, которое содержит само себя в качестве элемента | 27 |
11415 |
06.11.2012, 21:17 маткиб |
|||
|
Вопрос касательно множеств. | 9 |
1787 |
31.10.2012, 20:12 Профессор Снэйп |
|||
|
Натуральный вывод. Контрапозиция | 1 |
574 |
25.10.2012, 16:00 whitefox |
|||
|
Мощность континуума | 15 |
2890 |
23.10.2012, 01:52 Munin |
|||
|
Вычислимость и сложность | 8 |
1634 |
22.10.2012, 21:51 alleut |
|||
|
квантор | 5 |
898 |
03.10.2012, 18:27 Padawan |
|||
|
Функии и формулы. Парадокс. | 17 |
3795 |
03.10.2012, 18:17 arseniiv |
|||
|
Помогите закончить приведение к ПНФ. Логика предикатов | 5 |
1446 |
25.09.2012, 03:27 jinma |
|||
|
Теорема о континууме | 7 |
1644 |
21.09.2012, 10:24 Padawan |
|||
|
Мощность множества монад | 10 |
1631 |
20.09.2012, 23:05 Someone |
|||
|
перечислимые мн-ва (Верещагин, Шень, ч. 3. Задачи 11, 12) | 10 |
1922 |
18.09.2012, 21:22 alleut |
|||
|
Бесконечные поля | 17 |
3476 |
17.09.2012, 12:31 vladb314 |
|||
|
графы, формула логики ПП. | 11 |
2170 |
25.08.2012, 22:24 Профессор Снэйп |
|||
|
structures of first-order logic (задачи) | 0 |
437 |
25.08.2012, 22:19 gefest_md |
|||
|
мощность множества всех сходящихся у нулю последовательносте | 25 |
3744 |
15.08.2012, 11:52 Профессор Снэйп |
|||
|
Звёздное небо (можно ли так решать?) | 4 |
1068 |
12.08.2012, 10:51 Профессор Снэйп |
|||
|
Мощность множеств | 8 |
1490 |
10.08.2012, 14:32 muzeum |
|||
|
Обобщенное прямое произведение | 10 |
1600 |
03.08.2012, 17:33 apriv |
|||
|
Как доказать, что множество Кантора имеет мощность континуум | 22 |
7028 |
03.08.2012, 00:51 taburet |
|||
|
forcing | 3 |
1782 |
24.07.2012, 22:45 muzeum |
|||
|
Размер множества | 14 |
2243 |
22.07.2012, 07:27 Профессор Снэйп |
|||
|
Рекурсивно перечислимое множество | 14 |
2337 |
07.07.2012, 04:52 JMH |
|||
|
Разобраться с формальными системами | 10 |
1411 |
04.07.2012, 12:11 AlexDem |
|||
|
Вес булевой функции по полиному Жегалкина. | 1 |
1212 |
03.07.2012, 22:19 chessar |
|||
|
Рациональные числа | 7 |
1498 |
02.07.2012, 08:24 Профессор Снэйп |
|||
|
Перечислимое множество | 13 |
2426 |
30.06.2012, 07:37 Профессор Снэйп |
|||
|
Сферы и окружности | 16 |
3343 |
27.06.2012, 08:01 Munin |
|||
|
Ещё немного биекций | 4 |
2117 |
27.06.2012, 03:10 Asker Tasker |
|||
|
Если буквы разбросать по плоскости | 8 |
4019 |
27.06.2012, 02:41 Asker Tasker |
|||
|
Немного биекций | 9 |
1760 |
26.06.2012, 21:20 Asker Tasker |
|||
|
Мощности и отображения | 4 |
1280 |
25.06.2012, 16:16 Asker Tasker |
|||
| Страница 7 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 4, 5, 6, 7, 8, 9, 10 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |