 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1, 2, 3, 4, 5, 6, 7, 8 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
10113 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Мощность подмножеств натурального ряда | 25 |
6998 |
20.10.2013, 00:22 Someone |
|||
 |
Определить функцию по методу примитивной рекурсии. | 2 |
2047 |
15.10.2013, 08:17 leo82 |
|||
|
Аксиома пустого множества | 24 |
6492 |
11.10.2013, 01:03 arseniiv |
|||
|
ЛУМ, изоморфизм и сумма | 54 |
12579 |
10.10.2013, 01:33 Manticore |
|||
|
Математическая логика, теория множеств. | 14 |
5365 |
09.10.2013, 17:19 Sonic86 |
|||
|
Эквивалентность несчётных множеств | 5 |
2297 |
07.10.2013, 22:58 lulbec |
|||
|
Функция. Отображение. | 32 |
7976 |
07.10.2013, 22:27 Otta |
|||
|
Равномощность семейств подмножеств | 2 |
1827 |
06.10.2013, 20:45 Manticore |
|||
|
Отношения вложения | 26 |
6160 |
06.10.2013, 18:39 provincialka |
|||
|
Счётность конечных подмножеств | 7 |
3915 |
06.10.2013, 12:18 Manticore |
|||
|
Помогите разобраться (несчетность по Кантору) | 14 |
7006 |
03.10.2013, 21:20 Joker_vD |
|||
|
Несчётное множество | 20 |
5773 |
29.09.2013, 22:56 Manticore |
|||
|
Корректна ли следующая запись доказательства? | 13 |
4005 |
27.09.2013, 00:25 Someone |
|||
|
Теория множеств | 2 |
1891 |
24.09.2013, 06:39 mihailm |
|||
|
Эквивалентность множеств функций | 31 |
6457 |
23.09.2013, 23:03 Manticore |
|||
|
Теория множеств | 15 |
5978 |
23.09.2013, 16:03 Whitaker |
|||
|
категорная семантика логики | 0 |
1350 |
19.09.2013, 14:00 jhanjaa |
|||
|
Множества (континуум) | 18 |
4634 |
15.09.2013, 21:14 Keter |
|||
|
Предикаты | 1 |
1796 |
13.09.2013, 06:50 angor6 |
|||
|
Почему гипотеза? | 2 |
1693 |
12.09.2013, 19:04 im_ieee |
|||
|
Бесплатные теоремы Рейнольдса | 3 |
2133 |
12.09.2013, 09:53 Xaositect |
|||
|
Книги по теории множеств | 3 |
3557 |
10.09.2013, 11:29 Xaositect |
|||
|
Мощность множества всех функций из R в N. | 3 |
2139 |
03.09.2013, 23:26 ИСН |
|||
|
Логика формальная и математическая. Предмет, основные части | 30 |
9363 |
28.08.2013, 07:56 iifat |
|||
|
вполне упорядоченное множество | 11 |
4072 |
25.08.2013, 14:03 Oleg Zubelevich |
|||
|
Что означает "состояние" для машины Тьюринга? | 7 |
4213 |
22.08.2013, 19:56 Xaositect |
|||
|
О действительных числах | 19 |
6485 |
06.08.2013, 02:07 Someone |
|||
|
Аксиоматическая арифметика без умножения | 2 |
1770 |
02.08.2013, 17:34 Xaositect |
|||
|
Оценка за полиномиальное время | 3 |
1958 |
23.07.2013, 20:34 alex_dorin |
|||
|
вопрос по генценовскому анализу | 7 |
2704 |
15.07.2013, 19:34 Deggial |
|||
|
Что такое кардинальное/ординальное число | 5 |
2702 |
11.07.2013, 00:44 Someone |
|||
|
Множества отображение и сравнение мощностей | 10 |
3359 |
26.06.2013, 00:37 Xaositect |
|||
|
Двойственность для счетного числа объединений и пересечений | 6 |
2481 |
25.06.2013, 17:54 Xaositect |
|||
|
математическая индукция и сигма-алгебра | 26 |
6380 |
20.06.2013, 01:50 Otta |
|||
|
Установить общезначимость или необщезначимость формулы в т.K | 21 |
5969 |
16.06.2013, 14:53 YgolovnicK |
|||
|
Доказать теорему в теории L4 | 12 |
3871 |
16.06.2013, 12:07 YgolovnicK |
|||
|
Пренексные нормальные формы исчисления предикатов. | 11 |
3728 |
12.06.2013, 21:19 Reef |
|||
|
Задача на Фильтры. | 2 |
1761 |
08.06.2013, 22:28 capabilitier |
|||
 |
Ошибка Timothy Y. Chow | 36 |
10919 |
05.06.2013, 22:50 GAA |
|||
|
Рекурсивное множество и функция | 4 |
2008 |
03.06.2013, 18:10 AGu |
|||
|
Элиминация кванторов Рамсея. Множество свидетелей. | 7 |
2604 |
03.06.2013, 08:55 Nikta |
|||
|
Как доказать выводимость формулы в Исчислении высказываний | 4 |
4227 |
29.05.2013, 18:53 Sonic86 |
|||
|
Задача на тему исчисление высказываний. | 17 |
6881 |
29.05.2013, 18:39 arseniiv |
|||
|
Фильтр, главный фильтр, ультрафильтр | 8 |
3122 |
28.05.2013, 17:43 TehNick |
|||
|
Собственные классы и ещё ординалы | 5 |
2464 |
22.05.2013, 16:20 Xaositect |
|||
|
Как в аксиом. подходе формализуются определения ? | 54 |
15693 |
17.05.2013, 18:45 mserg |
|||
|
Строгое определение нуль местной функции | 2 |
1929 |
13.05.2013, 19:40 Joker_vD |
|||
|
Категории не множеств | 17 |
4767 |
11.05.2013, 17:40 Niclax |
|||
|
Машины Тьюринга | 22 |
6944 |
10.05.2013, 19:45 Xaositect |
|||
|
Машина тьюринга, подскажите идеи построения | 1 |
1726 |
04.05.2013, 16:16 arseniiv |
|||
| Страница 5 из 17 |
[ Тем: 820 ] | На страницу Пред. 1, 2, 3, 4, 5, 6, 7, 8 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |