 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 12, 13, 14, 15, 16, 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
11334 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Машина Тьюринга для заданной функции | 7 |
2123 |
05.05.2009, 14:36 Xaositect |
|||
|
Аксиома выбора | 21 |
4159 |
02.05.2009, 11:12 AGu |
|||
|
Алгоритм Маркова для f(x)=x/2 | 2 |
885 |
01.05.2009, 20:54 Sergio471 |
|||
|
Разрешимые/перечислимые множества | 3 |
1215 |
01.05.2009, 04:23 Профессор Снэйп |
|||
|
единственность и кванторы | 6 |
1371 |
28.04.2009, 12:08 arseniiv |
|||
|
Пространства типов | 1 |
702 |
24.04.2009, 20:57 Профессор Снэйп |
|||
|
Представьте на языке предикатов следующее предложение | 5 |
1307 |
15.04.2009, 22:14 akyzina |
|||
|
Несколько задач по мат. логике (предикаты и мн-ва) | 15 |
3742 |
10.04.2009, 21:08 akyzina |
|||
|
Лексикографический порядок на комплексных числах | 6 |
1311 |
07.04.2009, 22:12 Егор |
|||
|
если утв. верно для любого квадрата, то верно ли для плоскос | 6 |
1681 |
05.04.2009, 22:38 Nerazumovskiy |
|||
 |
Вопросы по теории языков и МТ | 38 |
5859 |
24.03.2009, 04:16 Профессор Снэйп |
|||
|
Является ли функция примитивно рекурсивной? | 106 |
15007 |
23.03.2009, 18:56 TypucT |
|||
|
Мат.Логика - Логика высказываний | 2 |
961 |
19.03.2009, 21:52 Elizaveta |
|||
|
система теоретико-множественных уравнений | 21 |
3349 |
18.03.2009, 14:38 ewert |
|||
|
Деление шара на две части равного радиуса | 5 |
1426 |
16.03.2009, 18:44 Brukvalub |
|||
|
Множество всех множеств (парадокс Рассела) | 11 |
2711 |
15.03.2009, 18:41 Утундрий |
|||
|
Доказать формулу исчисления высказываний | 15 |
3001 |
10.03.2009, 19:40 kantrovik |
|||
|
Множество из одного элемента | 19 |
4270 |
28.02.2009, 21:12 Someone |
|||
|
Кардиналы, исчисление высказываний | 12 |
2488 |
26.02.2009, 13:17 Чудо-в-перьях |
|||
|
Мощность множеств. Не могу разобраться (счетные, континуум) | 26 |
4680 |
26.02.2009, 12:42 Xaositect |
|||
|
Частично упорядоченные множества | 8 |
1758 |
25.02.2009, 13:57 Чудо-в-перьях |
|||
|
Изоморфизм между интервалами рациональных чисел | 3 |
1068 |
10.02.2009, 11:50 Апофеоз Здравого Смысла |
|||
|
Основы теории множеств (биекция между геометрич. объектами) | 12 |
2986 |
08.02.2009, 19:42 ewert |
|||
|
Счетность отрезка [0;1] | 16 |
2484 |
08.02.2009, 17:26 gris |
|||
|
Будет ли множество пустым? | 19 |
2798 |
05.02.2009, 19:54 Dialectic |
|||
|
Транизитивность отношений | 2 |
845 |
04.02.2009, 16:01 gefest_md |
|||
|
Несчетность | 48 |
7037 |
15.01.2009, 09:00 Brukvalub |
|||
|
(Объяснения элементарных операций с множествами) | 4 |
1167 |
14.01.2009, 19:28 droni4 |
|||
|
невыразимость предиката ("x и y - родные братья") | 5 |
1241 |
28.12.2008, 18:18 Профессор Снэйп |
|||
|
Построение вывода в ИВ | 2 |
950 |
26.12.2008, 09:34 dimaudi |
|||
|
Множество локальных максимумов функции не более чем счетно? | 12 |
3197 |
24.12.2008, 20:53 id |
|||
|
Мат. логика, формальный вывод. | 15 |
2643 |
24.12.2008, 19:21 gefest_md |
|||
|
Проверка на равенство детерминированных конечных автоматов | 10 |
1937 |
24.12.2008, 06:11 Профессор Снэйп |
|||
|
Являются ли R^(n-1) и R^n элемент. экв. как частично упорядо | 2 |
755 |
23.12.2008, 23:13 Профессор Снэйп |
|||
|
Рыцари и лжецы | 64 |
9554 |
23.12.2008, 09:28 TOTAL |
|||
|
Доказательство ассоциативности в исчислении высказываний | 3 |
1099 |
20.12.2008, 03:42 gefest_md |
|||
|
Busy beaver | 1 |
782 |
20.12.2008, 01:32 маткиб |
|||
|
Сечение Дедикинда. Континуум. | 22 |
3958 |
05.12.2008, 12:01 Brukvalub |
|||
|
мощность | 21 |
3437 |
02.12.2008, 18:50 Brukvalub |
|||
|
Вполне упорядоченнные множества. Норма. | 8 |
1826 |
24.11.2008, 12:32 Профессор Снэйп |
|||
|
Множество сходящихся последовательностей | 26 |
4345 |
05.11.2008, 11:07 AGu |
|||
|
Полнота теорий высших порядков | 12 |
2429 |
03.11.2008, 10:44 AGu |
|||
|
Построить таблицу истинности и структурную схему высказывани | 36 |
5476 |
29.10.2008, 22:07 Sakura |
|||
|
теорема Цермело из леммы Цорна | 6 |
1559 |
27.09.2008, 19:07 bubu gaga |
|||
|
Доказательство секвенции | 5 |
2566 |
24.09.2008, 19:44 Профессор Снэйп |
|||
|
рекурсивные функции | 9 |
2334 |
22.09.2008, 03:10 Профессор Снэйп |
|||
|
При каких событиях A и B будет следующее... | 10 |
1663 |
15.09.2008, 16:16 Moko |
|||
|
Счётность антицепи | 8 |
1655 |
25.08.2008, 17:29 bubu gaga |
|||
|
Несоразмерность показательного множества и аксиома выделения | 5 |
1138 |
18.08.2008, 13:10 AGu |
|||
|
пустое множество | 67 |
16590 |
15.06.2008, 21:25 Heathy |
|||
| Страница 15 из 17 |
[ Тем: 817 ] | На страницу Пред. 1 ... 12, 13, 14, 15, 16, 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |