 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1, 2, 3, 4, 5, 6, 7, 8 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
10664 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Мощность подмножеств натурального ряда | 25 |
7186 |
20.10.2013, 00:22 Someone |
|||
 |
Определить функцию по методу примитивной рекурсии. | 2 |
2123 |
15.10.2013, 08:17 leo82 |
|||
|
Аксиома пустого множества | 24 |
6681 |
11.10.2013, 01:03 arseniiv |
|||
|
ЛУМ, изоморфизм и сумма | 54 |
12916 |
10.10.2013, 01:33 Manticore |
|||
|
Математическая логика, теория множеств. | 14 |
5509 |
09.10.2013, 17:19 Sonic86 |
|||
|
Эквивалентность несчётных множеств | 5 |
2371 |
07.10.2013, 22:58 lulbec |
|||
|
Функция. Отображение. | 32 |
8193 |
07.10.2013, 22:27 Otta |
|||
|
Равномощность семейств подмножеств | 2 |
1889 |
06.10.2013, 20:45 Manticore |
|||
|
Отношения вложения | 26 |
6320 |
06.10.2013, 18:39 provincialka |
|||
|
Счётность конечных подмножеств | 7 |
4014 |
06.10.2013, 12:18 Manticore |
|||
|
Помогите разобраться (несчетность по Кантору) | 14 |
7151 |
03.10.2013, 21:20 Joker_vD |
|||
|
Несчётное множество | 20 |
5919 |
29.09.2013, 22:56 Manticore |
|||
|
Корректна ли следующая запись доказательства? | 13 |
4101 |
27.09.2013, 00:25 Someone |
|||
|
Теория множеств | 2 |
1950 |
24.09.2013, 06:39 mihailm |
|||
|
Эквивалентность множеств функций | 31 |
6641 |
23.09.2013, 23:03 Manticore |
|||
|
Теория множеств | 15 |
6126 |
23.09.2013, 16:03 Whitaker |
|||
|
категорная семантика логики | 0 |
1396 |
19.09.2013, 14:00 jhanjaa |
|||
|
Множества (континуум) | 18 |
4760 |
15.09.2013, 21:14 Keter |
|||
|
Предикаты | 1 |
1850 |
13.09.2013, 06:50 angor6 |
|||
|
Почему гипотеза? | 2 |
1749 |
12.09.2013, 19:04 im_ieee |
|||
|
Бесплатные теоремы Рейнольдса | 3 |
2189 |
12.09.2013, 09:53 Xaositect |
|||
|
Книги по теории множеств | 3 |
3634 |
10.09.2013, 11:29 Xaositect |
|||
|
Мощность множества всех функций из R в N. | 3 |
2197 |
03.09.2013, 23:26 ИСН |
|||
|
Логика формальная и математическая. Предмет, основные части | 30 |
9556 |
28.08.2013, 07:56 iifat |
|||
|
вполне упорядоченное множество | 11 |
4145 |
25.08.2013, 14:03 Oleg Zubelevich |
|||
|
Что означает "состояние" для машины Тьюринга? | 7 |
4284 |
22.08.2013, 19:56 Xaositect |
|||
|
О действительных числах | 19 |
6601 |
06.08.2013, 02:07 Someone |
|||
|
Аксиоматическая арифметика без умножения | 2 |
1825 |
02.08.2013, 17:34 Xaositect |
|||
|
Оценка за полиномиальное время | 3 |
2005 |
23.07.2013, 20:34 alex_dorin |
|||
|
вопрос по генценовскому анализу | 7 |
2789 |
15.07.2013, 19:34 Deggial |
|||
|
Что такое кардинальное/ординальное число | 5 |
2777 |
11.07.2013, 00:44 Someone |
|||
|
Множества отображение и сравнение мощностей | 10 |
3445 |
26.06.2013, 00:37 Xaositect |
|||
|
Двойственность для счетного числа объединений и пересечений | 6 |
2556 |
25.06.2013, 17:54 Xaositect |
|||
|
математическая индукция и сигма-алгебра | 26 |
6513 |
20.06.2013, 01:50 Otta |
|||
|
Установить общезначимость или необщезначимость формулы в т.K | 21 |
6124 |
16.06.2013, 14:53 YgolovnicK |
|||
|
Доказать теорему в теории L4 | 12 |
3966 |
16.06.2013, 12:07 YgolovnicK |
|||
|
Пренексные нормальные формы исчисления предикатов. | 11 |
3812 |
12.06.2013, 21:19 Reef |
|||
|
Задача на Фильтры. | 2 |
1818 |
08.06.2013, 22:28 capabilitier |
|||
 |
Ошибка Timothy Y. Chow | 36 |
11062 |
05.06.2013, 22:50 GAA |
|||
|
Рекурсивное множество и функция | 4 |
2069 |
03.06.2013, 18:10 AGu |
|||
|
Элиминация кванторов Рамсея. Множество свидетелей. | 7 |
2677 |
03.06.2013, 08:55 Nikta |
|||
|
Как доказать выводимость формулы в Исчислении высказываний | 4 |
4304 |
29.05.2013, 18:53 Sonic86 |
|||
|
Задача на тему исчисление высказываний. | 17 |
7026 |
29.05.2013, 18:39 arseniiv |
|||
|
Фильтр, главный фильтр, ультрафильтр | 8 |
3211 |
28.05.2013, 17:43 TehNick |
|||
|
Собственные классы и ещё ординалы | 5 |
2541 |
22.05.2013, 16:20 Xaositect |
|||
|
Как в аксиом. подходе формализуются определения ? | 54 |
15992 |
17.05.2013, 18:45 mserg |
|||
|
Строгое определение нуль местной функции | 2 |
1985 |
13.05.2013, 19:40 Joker_vD |
|||
|
Категории не множеств | 17 |
4872 |
11.05.2013, 17:40 Niclax |
|||
|
Машины Тьюринга | 22 |
7085 |
10.05.2013, 19:45 Xaositect |
|||
|
Машина тьюринга, подскажите идеи построения | 1 |
1781 |
04.05.2013, 16:16 arseniiv |
|||
| Страница 5 из 17 |
[ Тем: 820 ] | На страницу Пред. 1, 2, 3, 4, 5, 6, 7, 8 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |