 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 3, 4, 5, 6, 7, 8, 9 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
9893 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Доказать тождество из теории множеств | 3 |
1404 |
03.05.2013, 23:26 romanb |
|||
|
Мощность континуума | 2 |
1037 |
01.05.2013, 22:12 Doil-byle |
|||
|
Язык, мат. логика и конечные множества | 6 |
1773 |
25.04.2013, 17:42 Asker Tasker |
|||
|
Вопрос по теории множеств | 21 |
4160 |
25.04.2013, 13:12 Doil-byle |
|||
|
Преобразование логической формулы | 3 |
1146 |
20.04.2013, 14:22 Sonic86 |
|||
|
следствия и посылки | 3 |
1526 |
20.04.2013, 14:03 Sonic86 |
|||
 |
Привести равносильным преобразование к СДНФ и СКНФ | 27 |
7151 |
18.04.2013, 15:03 nat87 |
|||
|
Возведение ординала в степень | 4 |
1259 |
16.04.2013, 19:37 AGu |
|||
|
Задачка из теории множеств | 6 |
1692 |
14.04.2013, 23:22 myjobisgop |
|||
|
Суть ординальных чисел | 18 |
5884 |
10.04.2013, 21:05 Deggial |
|||
|
Обобщение ординалов | 2 |
740 |
10.04.2013, 12:46 arseniiv |
|||
|
теория множеств | 3 |
1663 |
05.04.2013, 19:34 мат-ламер |
|||
|
Система аксиом Цермело-Френкеля | 25 |
5941 |
01.04.2013, 01:22 Someone |
|||
|
Биективность отображения X \ Y -> X | 13 |
3165 |
29.03.2013, 23:26 lyuk |
|||
|
Бурбаки - тау и надстрочные линии | 11 |
2062 |
29.03.2013, 20:37 arseniiv |
|||
|
Абстракция и декомпозиция в логике | 20 |
5941 |
27.03.2013, 14:09 es3000 |
|||
|
Доказать, что существует множество, не ПРМ | 3 |
912 |
21.03.2013, 22:37 nikvic |
|||
|
сюръекция | 6 |
1404 |
19.03.2013, 18:37 devgen |
|||
|
Полиномы Жегалкина | 1 |
686 |
18.03.2013, 02:29 Xaositect |
|||
|
Неформальные и формальные аксиоматические теории | 7 |
1810 |
15.03.2013, 17:22 Mr Alexey |
|||
|
Мощность всех рациональных функций одного переменного | 15 |
2352 |
04.03.2013, 19:47 gris |
|||
|
Какова аксиоматика без закона исключённого третьего? | 10 |
5275 |
03.03.2013, 17:30 Sonic86 |
|||
|
Разрешимость множества | 12 |
3225 |
03.03.2013, 14:27 nikvic |
|||
|
Бинарные операции | 3 |
1108 |
26.02.2013, 12:33 Xaositect |
|||
|
найти мощность множества | 36 |
5704 |
21.02.2013, 00:32 Oleg Zubelevich |
|||
|
Теория множеств | 3 |
868 |
17.02.2013, 22:52 xmaister |
|||
|
Построение множества натуральных чисел | 12 |
2826 |
09.02.2013, 23:07 arseniiv |
|||
|
Аксиоматическая теория | 1 |
1370 |
06.02.2013, 22:32 Xaositect |
|||
|
Чумы, лемма Цорна и попытки её обойти | 17 |
3562 |
04.02.2013, 10:13 muzeum |
|||
|
Помогите привести формулу к предваренной форме | 9 |
1966 |
02.02.2013, 22:35 Slow |
|||
|
Машина Тьюринга для f(x)=2x+1 | 2 |
979 |
23.01.2013, 19:06 Dosaev |
|||
|
Доказательство свойств вывода из гипотез. | 6 |
1468 |
23.01.2013, 00:57 sergeysleep |
|||
|
Пожалуйста научите строить рекурсивные функции | 1 |
715 |
21.01.2013, 22:17 _hum_ |
|||
|
Задача по дискретной математике [логика] | 5 |
1220 |
21.01.2013, 12:57 greg93 |
|||
|
Доказать что следующие формулы являются теоремами P. | 7 |
1678 |
20.01.2013, 12:38 ExploiT243 |
|||
|
Доказать элементарную эквивалентность двух моделей | 3 |
1048 |
19.01.2013, 09:55 AGu |
|||
|
доказать что функция примитивно рекурсивна | 6 |
2281 |
15.01.2013, 14:27 AKM |
|||
|
Декартово произведение множеств | 4 |
994 |
13.01.2013, 12:07 AGu |
|||
|
Про двойственные функции | 5 |
1122 |
12.01.2013, 08:18 Deggial |
|||
|
Эл-т док-ва т. Кантора-Бернштейна | 6 |
1441 |
08.01.2013, 17:27 noizy |
|||
|
Структуры, переносимость, универсальные отображения | 1 |
665 |
08.01.2013, 12:48 apriv |
|||
|
Неразрешимые проблемы, связанные с КА | 4 |
1207 |
07.01.2013, 21:56 Crystaly |
|||
|
Категорная логика - как вводится истинность? | 4 |
1027 |
07.01.2013, 10:44 jhanjaa |
|||
|
Внедрение Логики в строимую теории (на примере множеств) | 4 |
982 |
06.01.2013, 18:31 jhanjaa |
|||
|
Задача об универсальной функции. | 2 |
706 |
28.12.2012, 08:06 1doffys |
|||
|
Мощность двух отрезков. | 26 |
3955 |
27.12.2012, 00:20 NQD |
|||
|
Класс всех моделей Г | 5 |
1122 |
25.12.2012, 12:58 gefest_md |
|||
|
Построение вывода | 8 |
1536 |
24.12.2012, 11:16 Maslov |
|||
|
Метод двух включений | 11 |
3006 |
22.12.2012, 20:18 main.c |
|||
|
Установить биекцию в явном виде. | 9 |
2638 |
20.12.2012, 22:07 Law |
|||
| Страница 6 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 3, 4, 5, 6, 7, 8, 9 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |