|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8706 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Диаграмма структуры
|
gefest_md |
0 |
329 |
19.12.2012, 18:18
gefest_md
|
|
задача по теории алгоритмов
|
Greenbear |
4 |
939 |
19.12.2012, 17:34
Greenbear
|
|
Построить вывод
|
lovelyBunny |
1 |
543 |
18.12.2012, 15:02
gefest_md
|
|
Двойственная функция в k-значной логике.
|
ogcjm |
5 |
1088 |
17.12.2012, 21:17
Sonic86
|
|
Альтернативное определение подструктуры
|
gefest_md |
3 |
805 |
17.12.2012, 17:33
gefest_md
|
|
Об алгоритме обр метода для поиска доказ в гегценовских сист
|
alex_dorin |
1 |
423 |
11.12.2012, 14:30
alex_dorin
|
|
Доказать, построив вывод, не используя теорему дедукции
|
kerage |
0 |
379 |
11.12.2012, 14:22
kerage
|
 |
Как определить "не принадлежит"?
[ На страницу: 1 ... 4, 5, 6 ]
|
Побережный Александр |
75 |
17392 |
10.12.2012, 12:52
ИСН
|
|
Аксиомы NBG
|
arseniiv |
3 |
690 |
09.12.2012, 18:03
Xaositect
|
|
минимально невыполнимое множество
|
gefest_md |
0 |
317 |
08.12.2012, 14:20
gefest_md
|
|
Колмогоровская сложность
[ На страницу: 1, 2 ]
|
max(Im) |
18 |
2766 |
06.12.2012, 15:55
nikvic
|
|
логика высказываний. резолюция
|
gefest_md |
1 |
445 |
04.12.2012, 19:16
gefest_md
|
|
Сколько существует непрерывных функций
|
Sul |
8 |
1243 |
29.11.2012, 22:06
venco
|
|
мендельсон, мат. логика
|
geoffrey |
1 |
507 |
29.11.2012, 17:27
geoffrey
|
|
Упорядочить множество
|
tarasinho_318 |
1 |
439 |
28.11.2012, 21:43
gris
|
|
Найти СДНФ путем эквивалентных преобразований
|
kirflaer |
4 |
757 |
28.11.2012, 16:47
kirflaer
|
|
Определение отображения
[ На страницу: 1, 2 ]
|
Mitrius_Math |
19 |
2885 |
25.11.2012, 22:25
Утундрий
|
|
Эквивалентность множеств
|
Mitrius_Math |
3 |
691 |
23.11.2012, 16:21
Deggial
|
|
Матлогика. Вывести формулу
|
yoba |
1 |
497 |
14.11.2012, 22:24
yoba
|
|
О множестве, которое содержит само себя в качестве элемента
[ На страницу: 1, 2 ]
|
Dialectic |
27 |
10329 |
06.11.2012, 21:17
маткиб
|
|
Вопрос касательно множеств.
|
reie |
9 |
1479 |
31.10.2012, 20:12
Профессор Снэйп
|
|
Натуральный вывод. Контрапозиция
|
geoffrey |
1 |
515 |
25.10.2012, 16:00
whitefox
|
|
Мощность континуума
[ На страницу: 1, 2 ]
|
Snejka |
15 |
2441 |
23.10.2012, 01:52
Munin
|
|
Вычислимость и сложность
|
alleut |
8 |
1425 |
22.10.2012, 21:51
alleut
|
|
квантор
|
gefest_md |
5 |
778 |
03.10.2012, 18:27
Padawan
|
|
Функии и формулы. Парадокс.
[ На страницу: 1, 2 ]
|
ogcjm |
17 |
3377 |
03.10.2012, 18:17
arseniiv
|
|
Помогите закончить приведение к ПНФ. Логика предикатов
|
kirflaer |
5 |
1305 |
25.09.2012, 03:27
jinma
|
|
Теорема о континууме
|
se0808 |
7 |
1440 |
21.09.2012, 10:24
Padawan
|
|
Мощность множества монад
|
Iby |
10 |
1409 |
20.09.2012, 23:05
Someone
|
|
перечислимые мн-ва (Верещагин, Шень, ч. 3. Задачи 11, 12)
|
alleut |
10 |
1628 |
18.09.2012, 21:22
alleut
|
|
Бесконечные поля
[ На страницу: 1, 2 ]
|
vladb314 |
17 |
2927 |
17.09.2012, 12:31
vladb314
|
|
графы, формула логики ПП.
|
gefest_md |
11 |
1885 |
25.08.2012, 22:24
Профессор Снэйп
|
|
structures of first-order logic (задачи)
|
gefest_md |
0 |
402 |
25.08.2012, 22:19
gefest_md
|
|
мощность множества всех сходящихся у нулю последовательносте
[ На страницу: 1, 2 ]
|
theambient |
25 |
3199 |
15.08.2012, 11:52
Профессор Снэйп
|
|
Звёздное небо (можно ли так решать?)
|
Ktina |
4 |
858 |
12.08.2012, 10:51
Профессор Снэйп
|
|
Мощность множеств
|
Estimate |
8 |
1287 |
10.08.2012, 14:32
muzeum
|
|
Обобщенное прямое произведение
|
AlexeyM |
10 |
1296 |
03.08.2012, 17:33
apriv
|
|
Как доказать, что множество Кантора имеет мощность континуум
[ На страницу: 1, 2 ]
|
Vladimir Gorlin |
22 |
6444 |
03.08.2012, 00:51
taburet
|
|
forcing
|
busty lady |
3 |
1616 |
24.07.2012, 22:45
muzeum
|
|
Размер множества
|
gefest_md |
14 |
1909 |
22.07.2012, 07:27
Профессор Снэйп
|
|
Рекурсивно перечислимое множество
|
gurukamu |
14 |
2000 |
07.07.2012, 04:52
JMH
|
|
Разобраться с формальными системами
|
AlexDem |
10 |
1178 |
04.07.2012, 12:11
AlexDem
|
|
Вес булевой функции по полиному Жегалкина.
|
Spinner |
1 |
1105 |
03.07.2012, 22:19
chessar
|
|
Рациональные числа
|
Asker Tasker |
7 |
1310 |
02.07.2012, 08:24
Профессор Снэйп
|
|
Перечислимое множество
|
werd |
13 |
2114 |
30.06.2012, 07:37
Профессор Снэйп
|
|
Сферы и окружности
[ На страницу: 1, 2 ]
|
Asker Tasker |
16 |
2811 |
27.06.2012, 08:01
Munin
|
|
Ещё немного биекций
|
Asker Tasker |
4 |
1906 |
27.06.2012, 03:10
Asker Tasker
|
|
Если буквы разбросать по плоскости
|
Asker Tasker |
8 |
3697 |
27.06.2012, 02:41
Asker Tasker
|
|
Немного биекций
|
Asker Tasker |
9 |
1524 |
26.06.2012, 21:20
Asker Tasker
|
|
Мощности и отображения
|
Asker Tasker |
4 |
1059 |
25.06.2012, 16:16
Asker Tasker
|
|
|
![Новые сообщения [ Популярная тема ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_unread_hot.gif "Новые сообщения [ Популярная тема ]"){kind=small}
![Новые сообщения [ Тема закрыта ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_unread_locked.gif "Новые сообщения [ Тема закрыта ]"){kind=small}
![Нет новых сообщений [ Тема закрыта ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_locked.gif "Нет новых сообщений [ Тема закрыта ]"){kind=small}
