 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 3, 4, 5, 6, 7, 8, 9 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
11114 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Доказать тождество из теории множеств | 3 |
1439 |
03.05.2013, 23:26 romanb |
|||
|
Мощность континуума | 2 |
1061 |
01.05.2013, 22:12 Doil-byle |
|||
|
Язык, мат. логика и конечные множества | 6 |
1832 |
25.04.2013, 17:42 Asker Tasker |
|||
|
Вопрос по теории множеств | 21 |
4352 |
25.04.2013, 13:12 Doil-byle |
|||
|
Преобразование логической формулы | 3 |
1180 |
20.04.2013, 14:22 Sonic86 |
|||
|
следствия и посылки | 3 |
1577 |
20.04.2013, 14:03 Sonic86 |
|||
 |
Привести равносильным преобразование к СДНФ и СКНФ | 27 |
7494 |
18.04.2013, 15:03 nat87 |
|||
|
Возведение ординала в степень | 4 |
1309 |
16.04.2013, 19:37 AGu |
|||
|
Задачка из теории множеств | 6 |
1754 |
14.04.2013, 23:22 myjobisgop |
|||
|
Суть ординальных чисел | 18 |
6345 |
10.04.2013, 21:05 Deggial |
|||
|
Обобщение ординалов | 2 |
763 |
10.04.2013, 12:46 arseniiv |
|||
|
теория множеств | 3 |
1727 |
05.04.2013, 19:34 мат-ламер |
|||
|
Система аксиом Цермело-Френкеля | 25 |
6290 |
01.04.2013, 01:22 Someone |
|||
|
Биективность отображения X \ Y -> X | 13 |
3334 |
29.03.2013, 23:26 lyuk |
|||
|
Бурбаки - тау и надстрочные линии | 11 |
2156 |
29.03.2013, 20:37 arseniiv |
|||
|
Абстракция и декомпозиция в логике | 20 |
6226 |
27.03.2013, 14:09 es3000 |
|||
|
Доказать, что существует множество, не ПРМ | 3 |
939 |
21.03.2013, 22:37 nikvic |
|||
|
сюръекция | 6 |
1461 |
19.03.2013, 18:37 devgen |
|||
|
Полиномы Жегалкина | 1 |
714 |
18.03.2013, 02:29 Xaositect |
|||
|
Неформальные и формальные аксиоматические теории | 7 |
1888 |
15.03.2013, 17:22 Mr Alexey |
|||
|
Мощность всех рациональных функций одного переменного | 15 |
2468 |
04.03.2013, 19:47 gris |
|||
|
Какова аксиоматика без закона исключённого третьего? | 10 |
5357 |
03.03.2013, 17:30 Sonic86 |
|||
|
Разрешимость множества | 12 |
3291 |
03.03.2013, 14:27 nikvic |
|||
|
Бинарные операции | 3 |
1149 |
26.02.2013, 12:33 Xaositect |
|||
|
найти мощность множества | 36 |
5968 |
21.02.2013, 00:32 Oleg Zubelevich |
|||
|
Теория множеств | 3 |
901 |
17.02.2013, 22:52 xmaister |
|||
|
Построение множества натуральных чисел | 12 |
2947 |
09.02.2013, 23:07 arseniiv |
|||
|
Аксиоматическая теория | 1 |
1438 |
06.02.2013, 22:32 Xaositect |
|||
|
Чумы, лемма Цорна и попытки её обойти | 17 |
3745 |
04.02.2013, 10:13 muzeum |
|||
|
Помогите привести формулу к предваренной форме | 9 |
2026 |
02.02.2013, 22:35 Slow |
|||
|
Машина Тьюринга для f(x)=2x+1 | 2 |
1001 |
23.01.2013, 19:06 Dosaev |
|||
|
Доказательство свойств вывода из гипотез. | 6 |
1515 |
23.01.2013, 00:57 sergeysleep |
|||
|
Пожалуйста научите строить рекурсивные функции | 1 |
735 |
21.01.2013, 22:17 _hum_ |
|||
|
Задача по дискретной математике [логика] | 5 |
1271 |
21.01.2013, 12:57 greg93 |
|||
|
Доказать что следующие формулы являются теоремами P. | 7 |
1756 |
20.01.2013, 12:38 ExploiT243 |
|||
|
Доказать элементарную эквивалентность двух моделей | 3 |
1090 |
19.01.2013, 09:55 AGu |
|||
|
доказать что функция примитивно рекурсивна | 6 |
2346 |
15.01.2013, 14:27 AKM |
|||
|
Декартово произведение множеств | 4 |
1033 |
13.01.2013, 12:07 AGu |
|||
|
Про двойственные функции | 5 |
1168 |
12.01.2013, 08:18 Deggial |
|||
|
Эл-т док-ва т. Кантора-Бернштейна | 6 |
1485 |
08.01.2013, 17:27 noizy |
|||
|
Структуры, переносимость, универсальные отображения | 1 |
678 |
08.01.2013, 12:48 apriv |
|||
|
Неразрешимые проблемы, связанные с КА | 4 |
1248 |
07.01.2013, 21:56 Crystaly |
|||
|
Категорная логика - как вводится истинность? | 4 |
1057 |
07.01.2013, 10:44 jhanjaa |
|||
|
Внедрение Логики в строимую теории (на примере множеств) | 4 |
1022 |
06.01.2013, 18:31 jhanjaa |
|||
|
Задача об универсальной функции. | 2 |
734 |
28.12.2012, 08:06 1doffys |
|||
|
Мощность двух отрезков. | 26 |
4094 |
27.12.2012, 00:20 NQD |
|||
|
Класс всех моделей Г | 5 |
1167 |
25.12.2012, 12:58 gefest_md |
|||
|
Построение вывода | 8 |
1592 |
24.12.2012, 11:16 Maslov |
|||
|
Метод двух включений | 11 |
3084 |
22.12.2012, 20:18 main.c |
|||
|
Установить биекцию в явном виде. | 9 |
2743 |
20.12.2012, 22:07 Law |
|||
| Страница 6 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 3, 4, 5, 6, 7, 8, 9 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |