 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 4, 5, 6, 7, 8, 9, 10 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
11281 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
задача по теории алгоритмов | 4 |
1135 |
19.12.2012, 17:34 Greenbear |
|||
|
Построить вывод | 1 |
660 |
18.12.2012, 15:02 gefest_md |
|||
|
Двойственная функция в k-значной логике. | 5 |
1440 |
17.12.2012, 21:17 Sonic86 |
|||
|
Альтернативное определение подструктуры | 3 |
967 |
17.12.2012, 17:33 gefest_md |
|||
|
Об алгоритме обр метода для поиска доказ в гегценовских сист | 1 |
534 |
11.12.2012, 14:30 alex_dorin |
|||
|
Доказать, построив вывод, не используя теорему дедукции | 0 |
470 |
11.12.2012, 14:22 kerage |
|||
 |
Как определить "не принадлежит"? | 75 |
20995 |
10.12.2012, 12:52 ИСН |
|||
|
Аксиомы NBG | 3 |
860 |
09.12.2012, 18:03 Xaositect |
|||
|
минимально невыполнимое множество | 0 |
385 |
08.12.2012, 14:20 gefest_md |
|||
|
Колмогоровская сложность | 18 |
3619 |
06.12.2012, 15:55 nikvic |
|||
|
логика высказываний. резолюция | 1 |
536 |
04.12.2012, 19:16 gefest_md |
|||
|
Сколько существует непрерывных функций | 8 |
1573 |
29.11.2012, 22:06 venco |
|||
|
мендельсон, мат. логика | 1 |
605 |
29.11.2012, 17:27 geoffrey |
|||
|
Упорядочить множество | 1 |
546 |
28.11.2012, 21:43 gris |
|||
|
Найти СДНФ путем эквивалентных преобразований | 4 |
940 |
28.11.2012, 16:47 kirflaer |
|||
|
Определение отображения | 19 |
3533 |
25.11.2012, 22:25 Утундрий |
|||
|
Эквивалентность множеств | 3 |
826 |
23.11.2012, 16:21 Deggial |
|||
|
Матлогика. Вывести формулу | 1 |
587 |
14.11.2012, 22:24 yoba |
|||
|
О множестве, которое содержит само себя в качестве элемента | 27 |
11850 |
06.11.2012, 21:17 маткиб |
|||
|
Вопрос касательно множеств. | 9 |
1980 |
31.10.2012, 20:12 Профессор Снэйп |
|||
|
Натуральный вывод. Контрапозиция | 1 |
616 |
25.10.2012, 16:00 whitefox |
|||
|
Мощность континуума | 15 |
3101 |
23.10.2012, 01:52 Munin |
|||
|
Вычислимость и сложность | 8 |
1766 |
22.10.2012, 21:51 alleut |
|||
|
квантор | 5 |
973 |
03.10.2012, 18:27 Padawan |
|||
|
Функии и формулы. Парадокс. | 17 |
4082 |
03.10.2012, 18:17 arseniiv |
|||
|
Помогите закончить приведение к ПНФ. Логика предикатов | 5 |
1557 |
25.09.2012, 03:27 jinma |
|||
|
Теорема о континууме | 7 |
1751 |
21.09.2012, 10:24 Padawan |
|||
|
Мощность множества монад | 10 |
1755 |
20.09.2012, 23:05 Someone |
|||
|
перечислимые мн-ва (Верещагин, Шень, ч. 3. Задачи 11, 12) | 10 |
2043 |
18.09.2012, 21:22 alleut |
|||
|
Бесконечные поля | 17 |
3699 |
17.09.2012, 12:31 vladb314 |
|||
|
графы, формула логики ПП. | 11 |
2297 |
25.08.2012, 22:24 Профессор Снэйп |
|||
|
structures of first-order logic (задачи) | 0 |
465 |
25.08.2012, 22:19 gefest_md |
|||
|
мощность множества всех сходящихся у нулю последовательносте | 25 |
4027 |
15.08.2012, 11:52 Профессор Снэйп |
|||
|
Звёздное небо (можно ли так решать?) | 4 |
1156 |
12.08.2012, 10:51 Профессор Снэйп |
|||
|
Мощность множеств | 8 |
1601 |
10.08.2012, 14:32 muzeum |
|||
|
Обобщенное прямое произведение | 10 |
1738 |
03.08.2012, 17:33 apriv |
|||
|
Как доказать, что множество Кантора имеет мощность континуум | 22 |
7543 |
03.08.2012, 00:51 taburet |
|||
|
forcing | 3 |
1918 |
24.07.2012, 22:45 muzeum |
|||
|
Размер множества | 14 |
2461 |
22.07.2012, 07:27 Профессор Снэйп |
|||
|
Рекурсивно перечислимое множество | 14 |
2534 |
07.07.2012, 04:52 JMH |
|||
|
Разобраться с формальными системами | 10 |
1534 |
04.07.2012, 12:11 AlexDem |
|||
|
Вес булевой функции по полиному Жегалкина. | 1 |
1277 |
03.07.2012, 22:19 chessar |
|||
|
Рациональные числа | 7 |
1576 |
02.07.2012, 08:24 Профессор Снэйп |
|||
|
Перечислимое множество | 13 |
2612 |
30.06.2012, 07:37 Профессор Снэйп |
|||
|
Сферы и окружности | 16 |
3784 |
27.06.2012, 08:01 Munin |
|||
|
Ещё немного биекций | 4 |
2236 |
27.06.2012, 03:10 Asker Tasker |
|||
|
Если буквы разбросать по плоскости | 8 |
4235 |
27.06.2012, 02:41 Asker Tasker |
|||
|
Немного биекций | 9 |
1937 |
26.06.2012, 21:20 Asker Tasker |
|||
|
Мощности и отображения | 4 |
1354 |
25.06.2012, 16:16 Asker Tasker |
|||
|
Множества. Доказать тождество | 14 |
3006 |
25.06.2012, 00:09 Asker Tasker |
|||
| Страница 7 из 17 |
[ Тем: 817 ] | На страницу Пред. 1 ... 4, 5, 6, 7, 8, 9, 10 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |