 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 12, 13, 14, 15, 16, 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
10669 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Регулярные языки и делимость | 2 |
984 |
21.05.2009, 10:08 Профессор Снэйп |
|||
|
Теория алгоритмов (обозначения) | 6 |
2863 |
21.05.2009, 08:52 AGu |
|||
|
примеры различных множеств (математическая логика) | 5 |
1241 |
07.05.2009, 13:16 gepa |
|||
|
Машина Тьюринга для заданной функции | 7 |
1966 |
05.05.2009, 14:36 Xaositect |
|||
|
Аксиома выбора | 21 |
3889 |
02.05.2009, 11:12 AGu |
|||
|
Алгоритм Маркова для f(x)=x/2 | 2 |
818 |
01.05.2009, 20:54 Sergio471 |
|||
|
Разрешимые/перечислимые множества | 3 |
1136 |
01.05.2009, 04:23 Профессор Снэйп |
|||
|
единственность и кванторы | 6 |
1248 |
28.04.2009, 12:08 arseniiv |
|||
|
Пространства типов | 1 |
630 |
24.04.2009, 20:57 Профессор Снэйп |
|||
|
Представьте на языке предикатов следующее предложение | 5 |
1193 |
15.04.2009, 22:14 akyzina |
|||
|
Несколько задач по мат. логике (предикаты и мн-ва) | 15 |
3486 |
10.04.2009, 21:08 akyzina |
|||
|
Лексикографический порядок на комплексных числах | 6 |
1170 |
07.04.2009, 22:12 Егор |
|||
|
если утв. верно для любого квадрата, то верно ли для плоскос | 6 |
1565 |
05.04.2009, 22:38 Nerazumovskiy |
|||
 |
Вопросы по теории языков и МТ | 38 |
5381 |
24.03.2009, 04:16 Профессор Снэйп |
|||
|
Является ли функция примитивно рекурсивной? | 106 |
13929 |
23.03.2009, 18:56 TypucT |
|||
|
Мат.Логика - Логика высказываний | 2 |
888 |
19.03.2009, 21:52 Elizaveta |
|||
|
система теоретико-множественных уравнений | 21 |
3102 |
18.03.2009, 14:38 ewert |
|||
|
Деление шара на две части равного радиуса | 5 |
1330 |
16.03.2009, 18:44 Brukvalub |
|||
|
Множество всех множеств (парадокс Рассела) | 11 |
2512 |
15.03.2009, 18:41 Утундрий |
|||
|
Доказать формулу исчисления высказываний | 15 |
2832 |
10.03.2009, 19:40 kantrovik |
|||
|
Множество из одного элемента | 19 |
3933 |
28.02.2009, 21:12 Someone |
|||
|
Кардиналы, исчисление высказываний | 12 |
2281 |
26.02.2009, 13:17 Чудо-в-перьях |
|||
|
Мощность множеств. Не могу разобраться (счетные, континуум) | 26 |
4327 |
26.02.2009, 12:42 Xaositect |
|||
|
Частично упорядоченные множества | 8 |
1583 |
25.02.2009, 13:57 Чудо-в-перьях |
|||
|
Изоморфизм между интервалами рациональных чисел | 3 |
976 |
10.02.2009, 11:50 Апофеоз Здравого Смысла |
|||
|
Основы теории множеств (биекция между геометрич. объектами) | 12 |
2785 |
08.02.2009, 19:42 ewert |
|||
|
Счетность отрезка [0;1] | 16 |
2331 |
08.02.2009, 17:26 gris |
|||
|
Будет ли множество пустым? | 19 |
2558 |
05.02.2009, 19:54 Dialectic |
|||
|
Транизитивность отношений | 2 |
771 |
04.02.2009, 16:01 gefest_md |
|||
|
Несчетность | 48 |
6531 |
15.01.2009, 09:00 Brukvalub |
|||
|
(Объяснения элементарных операций с множествами) | 4 |
1096 |
14.01.2009, 19:28 droni4 |
|||
|
невыразимость предиката ("x и y - родные братья") | 5 |
1118 |
28.12.2008, 18:18 Профессор Снэйп |
|||
|
Построение вывода в ИВ | 2 |
879 |
26.12.2008, 09:34 dimaudi |
|||
|
Множество локальных максимумов функции не более чем счетно? | 12 |
2996 |
24.12.2008, 20:53 id |
|||
|
Мат. логика, формальный вывод. | 15 |
2458 |
24.12.2008, 19:21 gefest_md |
|||
|
Проверка на равенство детерминированных конечных автоматов | 10 |
1795 |
24.12.2008, 06:11 Профессор Снэйп |
|||
|
Являются ли R^(n-1) и R^n элемент. экв. как частично упорядо | 2 |
698 |
23.12.2008, 23:13 Профессор Снэйп |
|||
|
Рыцари и лжецы | 64 |
8774 |
23.12.2008, 09:28 TOTAL |
|||
|
Доказательство ассоциативности в исчислении высказываний | 3 |
1017 |
20.12.2008, 03:42 gefest_md |
|||
|
Busy beaver | 1 |
722 |
20.12.2008, 01:32 маткиб |
|||
|
Сечение Дедикинда. Континуум. | 22 |
3584 |
05.12.2008, 12:01 Brukvalub |
|||
|
мощность | 21 |
3137 |
02.12.2008, 18:50 Brukvalub |
|||
|
Вполне упорядоченнные множества. Норма. | 8 |
1647 |
24.11.2008, 12:32 Профессор Снэйп |
|||
|
Множество сходящихся последовательностей | 26 |
3925 |
05.11.2008, 11:07 AGu |
|||
|
Полнота теорий высших порядков | 12 |
2143 |
03.11.2008, 10:44 AGu |
|||
|
Построить таблицу истинности и структурную схему высказывани | 36 |
4847 |
29.10.2008, 22:07 Sakura |
|||
|
теорема Цермело из леммы Цорна | 6 |
1386 |
27.09.2008, 19:07 bubu gaga |
|||
|
Доказательство секвенции | 5 |
2403 |
24.09.2008, 19:44 Профессор Снэйп |
|||
|
рекурсивные функции | 9 |
2136 |
22.09.2008, 03:10 Профессор Снэйп |
|||
|
При каких событиях A и B будет следующее... | 10 |
1511 |
15.09.2008, 16:16 Moko |
|||
| Страница 15 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 12, 13, 14, 15, 16, 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |