 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1, 2, 3, 4, 5, 6, 7, 8 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
10913 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Мощность подмножеств натурального ряда | 25 |
7211 |
20.10.2013, 00:22 Someone |
|||
 |
Определить функцию по методу примитивной рекурсии. | 2 |
2143 |
15.10.2013, 08:17 leo82 |
|||
|
Аксиома пустого множества | 24 |
6736 |
11.10.2013, 01:03 arseniiv |
|||
|
ЛУМ, изоморфизм и сумма | 54 |
12967 |
10.10.2013, 01:33 Manticore |
|||
|
Математическая логика, теория множеств. | 14 |
5528 |
09.10.2013, 17:19 Sonic86 |
|||
|
Эквивалентность несчётных множеств | 5 |
2389 |
07.10.2013, 22:58 lulbec |
|||
|
Функция. Отображение. | 32 |
8228 |
07.10.2013, 22:27 Otta |
|||
|
Равномощность семейств подмножеств | 2 |
1908 |
06.10.2013, 20:45 Manticore |
|||
|
Отношения вложения | 26 |
6346 |
06.10.2013, 18:39 provincialka |
|||
|
Счётность конечных подмножеств | 7 |
4041 |
06.10.2013, 12:18 Manticore |
|||
|
Помогите разобраться (несчетность по Кантору) | 14 |
7189 |
03.10.2013, 21:20 Joker_vD |
|||
|
Несчётное множество | 20 |
5954 |
29.09.2013, 22:56 Manticore |
|||
|
Корректна ли следующая запись доказательства? | 13 |
4125 |
27.09.2013, 00:25 Someone |
|||
|
Теория множеств | 2 |
1973 |
24.09.2013, 06:39 mihailm |
|||
|
Эквивалентность множеств функций | 31 |
6677 |
23.09.2013, 23:03 Manticore |
|||
|
Теория множеств | 15 |
6156 |
23.09.2013, 16:03 Whitaker |
|||
|
категорная семантика логики | 0 |
1414 |
19.09.2013, 14:00 jhanjaa |
|||
|
Множества (континуум) | 18 |
4785 |
15.09.2013, 21:14 Keter |
|||
|
Предикаты | 1 |
1868 |
13.09.2013, 06:50 angor6 |
|||
|
Почему гипотеза? | 2 |
1767 |
12.09.2013, 19:04 im_ieee |
|||
|
Бесплатные теоремы Рейнольдса | 3 |
2207 |
12.09.2013, 09:53 Xaositect |
|||
|
Книги по теории множеств | 3 |
3660 |
10.09.2013, 11:29 Xaositect |
|||
|
Мощность множества всех функций из R в N. | 3 |
2215 |
03.09.2013, 23:26 ИСН |
|||
|
Логика формальная и математическая. Предмет, основные части | 30 |
9590 |
28.08.2013, 07:56 iifat |
|||
|
вполне упорядоченное множество | 11 |
4163 |
25.08.2013, 14:03 Oleg Zubelevich |
|||
|
Что означает "состояние" для машины Тьюринга? | 7 |
4308 |
22.08.2013, 19:56 Xaositect |
|||
|
О действительных числах | 19 |
6631 |
06.08.2013, 02:07 Someone |
|||
|
Аксиоматическая арифметика без умножения | 2 |
1843 |
02.08.2013, 17:34 Xaositect |
|||
|
Оценка за полиномиальное время | 3 |
2024 |
23.07.2013, 20:34 alex_dorin |
|||
|
вопрос по генценовскому анализу | 7 |
2807 |
15.07.2013, 19:34 Deggial |
|||
|
Что такое кардинальное/ординальное число | 5 |
2795 |
11.07.2013, 00:44 Someone |
|||
|
Множества отображение и сравнение мощностей | 10 |
3463 |
26.06.2013, 00:37 Xaositect |
|||
|
Двойственность для счетного числа объединений и пересечений | 6 |
2574 |
25.06.2013, 17:54 Xaositect |
|||
|
математическая индукция и сигма-алгебра | 26 |
6539 |
20.06.2013, 01:50 Otta |
|||
|
Установить общезначимость или необщезначимость формулы в т.K | 21 |
6154 |
16.06.2013, 14:53 YgolovnicK |
|||
|
Доказать теорему в теории L4 | 12 |
3984 |
16.06.2013, 12:07 YgolovnicK |
|||
|
Пренексные нормальные формы исчисления предикатов. | 11 |
3830 |
12.06.2013, 21:19 Reef |
|||
|
Задача на Фильтры. | 2 |
1836 |
08.06.2013, 22:28 capabilitier |
|||
 |
Ошибка Timothy Y. Chow | 36 |
11123 |
05.06.2013, 22:50 GAA |
|||
|
Рекурсивное множество и функция | 4 |
2087 |
03.06.2013, 18:10 AGu |
|||
|
Элиминация кванторов Рамсея. Множество свидетелей. | 7 |
2695 |
03.06.2013, 08:55 Nikta |
|||
|
Как доказать выводимость формулы в Исчислении высказываний | 4 |
4330 |
29.05.2013, 18:53 Sonic86 |
|||
|
Задача на тему исчисление высказываний. | 17 |
7069 |
29.05.2013, 18:39 arseniiv |
|||
|
Фильтр, главный фильтр, ультрафильтр | 8 |
3230 |
28.05.2013, 17:43 TehNick |
|||
|
Собственные классы и ещё ординалы | 5 |
2559 |
22.05.2013, 16:20 Xaositect |
|||
|
Как в аксиом. подходе формализуются определения ? | 54 |
16062 |
17.05.2013, 18:45 mserg |
|||
|
Строгое определение нуль местной функции | 2 |
2003 |
13.05.2013, 19:40 Joker_vD |
|||
|
Категории не множеств | 17 |
4902 |
11.05.2013, 17:40 Niclax |
|||
|
Машины Тьюринга | 22 |
7112 |
10.05.2013, 19:45 Xaositect |
|||
|
Машина тьюринга, подскажите идеи построения | 1 |
1799 |
04.05.2013, 16:16 arseniiv |
|||
| Страница 5 из 17 |
[ Тем: 820 ] | На страницу Пред. 1, 2, 3, 4, 5, 6, 7, 8 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |