 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 3, 4, 5, 6, 7, 8, 9 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
11066 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Доказать тождество из теории множеств | 3 |
1434 |
03.05.2013, 23:26 romanb |
|||
|
Мощность континуума | 2 |
1059 |
01.05.2013, 22:12 Doil-byle |
|||
|
Язык, мат. логика и конечные множества | 6 |
1830 |
25.04.2013, 17:42 Asker Tasker |
|||
|
Вопрос по теории множеств | 21 |
4328 |
25.04.2013, 13:12 Doil-byle |
|||
|
Преобразование логической формулы | 3 |
1178 |
20.04.2013, 14:22 Sonic86 |
|||
|
следствия и посылки | 3 |
1572 |
20.04.2013, 14:03 Sonic86 |
|||
 |
Привести равносильным преобразование к СДНФ и СКНФ | 27 |
7471 |
18.04.2013, 15:03 nat87 |
|||
|
Возведение ординала в степень | 4 |
1302 |
16.04.2013, 19:37 AGu |
|||
|
Задачка из теории множеств | 6 |
1752 |
14.04.2013, 23:22 myjobisgop |
|||
|
Суть ординальных чисел | 18 |
6294 |
10.04.2013, 21:05 Deggial |
|||
|
Обобщение ординалов | 2 |
761 |
10.04.2013, 12:46 arseniiv |
|||
|
теория множеств | 3 |
1720 |
05.04.2013, 19:34 мат-ламер |
|||
|
Система аксиом Цермело-Френкеля | 25 |
6217 |
01.04.2013, 01:22 Someone |
|||
|
Биективность отображения X \ Y -> X | 13 |
3318 |
29.03.2013, 23:26 lyuk |
|||
|
Бурбаки - тау и надстрочные линии | 11 |
2154 |
29.03.2013, 20:37 arseniiv |
|||
|
Абстракция и декомпозиция в логике | 20 |
6202 |
27.03.2013, 14:09 es3000 |
|||
|
Доказать, что существует множество, не ПРМ | 3 |
936 |
21.03.2013, 22:37 nikvic |
|||
|
сюръекция | 6 |
1452 |
19.03.2013, 18:37 devgen |
|||
|
Полиномы Жегалкина | 1 |
709 |
18.03.2013, 02:29 Xaositect |
|||
|
Неформальные и формальные аксиоматические теории | 7 |
1876 |
15.03.2013, 17:22 Mr Alexey |
|||
|
Мощность всех рациональных функций одного переменного | 15 |
2451 |
04.03.2013, 19:47 gris |
|||
|
Какова аксиоматика без закона исключённого третьего? | 10 |
5349 |
03.03.2013, 17:30 Sonic86 |
|||
|
Разрешимость множества | 12 |
3289 |
03.03.2013, 14:27 nikvic |
|||
|
Бинарные операции | 3 |
1142 |
26.02.2013, 12:33 Xaositect |
|||
|
найти мощность множества | 36 |
5934 |
21.02.2013, 00:32 Oleg Zubelevich |
|||
|
Теория множеств | 3 |
899 |
17.02.2013, 22:52 xmaister |
|||
|
Построение множества натуральных чисел | 12 |
2933 |
09.02.2013, 23:07 arseniiv |
|||
|
Аксиоматическая теория | 1 |
1430 |
06.02.2013, 22:32 Xaositect |
|||
|
Чумы, лемма Цорна и попытки её обойти | 17 |
3721 |
04.02.2013, 10:13 muzeum |
|||
|
Помогите привести формулу к предваренной форме | 9 |
2024 |
02.02.2013, 22:35 Slow |
|||
|
Машина Тьюринга для f(x)=2x+1 | 2 |
999 |
23.01.2013, 19:06 Dosaev |
|||
|
Доказательство свойств вывода из гипотез. | 6 |
1512 |
23.01.2013, 00:57 sergeysleep |
|||
|
Пожалуйста научите строить рекурсивные функции | 1 |
731 |
21.01.2013, 22:17 _hum_ |
|||
|
Задача по дискретной математике [логика] | 5 |
1263 |
21.01.2013, 12:57 greg93 |
|||
|
Доказать что следующие формулы являются теоремами P. | 7 |
1746 |
20.01.2013, 12:38 ExploiT243 |
|||
|
Доказать элементарную эквивалентность двух моделей | 3 |
1084 |
19.01.2013, 09:55 AGu |
|||
|
доказать что функция примитивно рекурсивна | 6 |
2337 |
15.01.2013, 14:27 AKM |
|||
|
Декартово произведение множеств | 4 |
1028 |
13.01.2013, 12:07 AGu |
|||
|
Про двойственные функции | 5 |
1160 |
12.01.2013, 08:18 Deggial |
|||
|
Эл-т док-ва т. Кантора-Бернштейна | 6 |
1483 |
08.01.2013, 17:27 noizy |
|||
|
Структуры, переносимость, универсальные отображения | 1 |
676 |
08.01.2013, 12:48 apriv |
|||
|
Неразрешимые проблемы, связанные с КА | 4 |
1245 |
07.01.2013, 21:56 Crystaly |
|||
|
Категорная логика - как вводится истинность? | 4 |
1055 |
07.01.2013, 10:44 jhanjaa |
|||
|
Внедрение Логики в строимую теории (на примере множеств) | 4 |
1016 |
06.01.2013, 18:31 jhanjaa |
|||
|
Задача об универсальной функции. | 2 |
729 |
28.12.2012, 08:06 1doffys |
|||
|
Мощность двух отрезков. | 26 |
4089 |
27.12.2012, 00:20 NQD |
|||
|
Класс всех моделей Г | 5 |
1165 |
25.12.2012, 12:58 gefest_md |
|||
|
Построение вывода | 8 |
1590 |
24.12.2012, 11:16 Maslov |
|||
|
Метод двух включений | 11 |
3079 |
22.12.2012, 20:18 main.c |
|||
|
Установить биекцию в явном виде. | 9 |
2714 |
20.12.2012, 22:07 Law |
|||
| Страница 6 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 3, 4, 5, 6, 7, 8, 9 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |