 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 12, 13, 14, 15, 16, 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
10131 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Регулярные языки и делимость | 2 |
972 |
21.05.2009, 10:08 Профессор Снэйп |
|||
|
Теория алгоритмов (обозначения) | 6 |
2815 |
21.05.2009, 08:52 AGu |
|||
|
примеры различных множеств (математическая логика) | 5 |
1218 |
07.05.2009, 13:16 gepa |
|||
|
Машина Тьюринга для заданной функции | 7 |
1929 |
05.05.2009, 14:36 Xaositect |
|||
|
Аксиома выбора | 21 |
3808 |
02.05.2009, 11:12 AGu |
|||
|
Алгоритм Маркова для f(x)=x/2 | 2 |
806 |
01.05.2009, 20:54 Sergio471 |
|||
|
Разрешимые/перечислимые множества | 3 |
1119 |
01.05.2009, 04:23 Профессор Снэйп |
|||
|
единственность и кванторы | 6 |
1218 |
28.04.2009, 12:08 arseniiv |
|||
|
Пространства типов | 1 |
621 |
24.04.2009, 20:57 Профессор Снэйп |
|||
|
Представьте на языке предикатов следующее предложение | 5 |
1172 |
15.04.2009, 22:14 akyzina |
|||
|
Несколько задач по мат. логике (предикаты и мн-ва) | 15 |
3430 |
10.04.2009, 21:08 akyzina |
|||
|
Лексикографический порядок на комплексных числах | 6 |
1135 |
07.04.2009, 22:12 Егор |
|||
|
если утв. верно для любого квадрата, то верно ли для плоскос | 6 |
1534 |
05.04.2009, 22:38 Nerazumovskiy |
|||
 |
Вопросы по теории языков и МТ | 38 |
5252 |
24.03.2009, 04:16 Профессор Снэйп |
|||
|
Является ли функция примитивно рекурсивной? | 106 |
13500 |
23.03.2009, 18:56 TypucT |
|||
|
Мат.Логика - Логика высказываний | 2 |
872 |
19.03.2009, 21:52 Elizaveta |
|||
|
система теоретико-множественных уравнений | 21 |
3031 |
18.03.2009, 14:38 ewert |
|||
|
Деление шара на две части равного радиуса | 5 |
1301 |
16.03.2009, 18:44 Brukvalub |
|||
|
Множество всех множеств (парадокс Рассела) | 11 |
2462 |
15.03.2009, 18:41 Утундрий |
|||
|
Доказать формулу исчисления высказываний | 15 |
2755 |
10.03.2009, 19:40 kantrovik |
|||
|
Множество из одного элемента | 19 |
3840 |
28.02.2009, 21:12 Someone |
|||
|
Кардиналы, исчисление высказываний | 12 |
2229 |
26.02.2009, 13:17 Чудо-в-перьях |
|||
|
Мощность множеств. Не могу разобраться (счетные, континуум) | 26 |
4218 |
26.02.2009, 12:42 Xaositect |
|||
|
Частично упорядоченные множества | 8 |
1540 |
25.02.2009, 13:57 Чудо-в-перьях |
|||
|
Изоморфизм между интервалами рациональных чисел | 3 |
956 |
10.02.2009, 11:50 Апофеоз Здравого Смысла |
|||
|
Основы теории множеств (биекция между геометрич. объектами) | 12 |
2733 |
08.02.2009, 19:42 ewert |
|||
|
Счетность отрезка [0;1] | 16 |
2256 |
08.02.2009, 17:26 gris |
|||
|
Будет ли множество пустым? | 19 |
2485 |
05.02.2009, 19:54 Dialectic |
|||
|
Транизитивность отношений | 2 |
755 |
04.02.2009, 16:01 gefest_md |
|||
|
Несчетность | 48 |
6389 |
15.01.2009, 09:00 Brukvalub |
|||
|
(Объяснения элементарных операций с множествами) | 4 |
1075 |
14.01.2009, 19:28 droni4 |
|||
|
невыразимость предиката ("x и y - родные братья") | 5 |
1099 |
28.12.2008, 18:18 Профессор Снэйп |
|||
|
Построение вывода в ИВ | 2 |
868 |
26.12.2008, 09:34 dimaudi |
|||
|
Множество локальных максимумов функции не более чем счетно? | 12 |
2952 |
24.12.2008, 20:53 id |
|||
|
Мат. логика, формальный вывод. | 15 |
2404 |
24.12.2008, 19:21 gefest_md |
|||
|
Проверка на равенство детерминированных конечных автоматов | 10 |
1756 |
24.12.2008, 06:11 Профессор Снэйп |
|||
|
Являются ли R^(n-1) и R^n элемент. экв. как частично упорядо | 2 |
686 |
23.12.2008, 23:13 Профессор Снэйп |
|||
|
Рыцари и лжецы | 64 |
8583 |
23.12.2008, 09:28 TOTAL |
|||
|
Доказательство ассоциативности в исчислении высказываний | 3 |
1001 |
20.12.2008, 03:42 gefest_md |
|||
|
Busy beaver | 1 |
712 |
20.12.2008, 01:32 маткиб |
|||
|
Сечение Дедикинда. Континуум. | 22 |
3466 |
05.12.2008, 12:01 Brukvalub |
|||
|
мощность | 21 |
3037 |
02.12.2008, 18:50 Brukvalub |
|||
|
Вполне упорядоченнные множества. Норма. | 8 |
1596 |
24.11.2008, 12:32 Профессор Снэйп |
|||
|
Множество сходящихся последовательностей | 26 |
3832 |
05.11.2008, 11:07 AGu |
|||
|
Полнота теорий высших порядков | 12 |
2097 |
03.11.2008, 10:44 AGu |
|||
|
Построить таблицу истинности и структурную схему высказывани | 36 |
4738 |
29.10.2008, 22:07 Sakura |
|||
|
теорема Цермело из леммы Цорна | 6 |
1357 |
27.09.2008, 19:07 bubu gaga |
|||
|
Доказательство секвенции | 5 |
2373 |
24.09.2008, 19:44 Профессор Снэйп |
|||
|
рекурсивные функции | 9 |
2091 |
22.09.2008, 03:10 Профессор Снэйп |
|||
|
При каких событиях A и B будет следующее... | 10 |
1474 |
15.09.2008, 16:16 Moko |
|||
| Страница 15 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 12, 13, 14, 15, 16, 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |