 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 13, 14, 15, 16, 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
9895 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Счётность антицепи | 8 |
1443 |
25.08.2008, 17:29 bubu gaga |
|||
|
Несоразмерность показательного множества и аксиома выделения | 5 |
972 |
18.08.2008, 13:10 AGu |
|||
 |
пустое множество | 67 |
15244 |
15.06.2008, 21:25 Heathy |
|||
|
множество sin(n), n=1,2... всюду плотно в [-1,1] | 4 |
1384 |
06.06.2008, 14:48 Taras |
|||
|
Пустое множество --- это не "ничего". | 20 |
3627 |
25.05.2008, 14:04 Ирина1 |
|||
|
задача: множество Кантора гомеоморфно ожерелью Антуана | 8 |
1961 |
24.05.2008, 13:19 Marrow |
|||
|
Сравнить мощности множеств (числовых последовательностей) | 2 |
928 |
23.05.2008, 21:41 Echo-Off |
|||
|
Задача про порядковые типы | 3 |
1056 |
23.05.2008, 15:12 Профессор Снэйп |
|||
|
Найти длину совершенной ДНФ | 1 |
923 |
19.05.2008, 12:08 luitzen |
|||
|
Логика предикатов, проблема разрешимости | 8 |
2476 |
13.05.2008, 19:56 Профессор Снэйп |
|||
|
Машина Тьюринга, Нахождение модуля разности чисел | 3 |
1613 |
12.05.2008, 10:53 Профессор Снэйп |
|||
|
Мощность множества биекций интервала на себя | 5 |
1550 |
24.04.2008, 15:55 ИСН |
|||
|
Ряд вопросов по формальным аксиоматическим системам | 27 |
8318 |
08.04.2008, 17:36 маткиб |
|||
|
мощность декартова произведения бесконечных множеств | 8 |
2916 |
20.02.2008, 20:53 Профессор Снэйп |
|||
|
Автомат | 35 |
9074 |
06.02.2008, 19:24 Профессор Снэйп |
|||
|
Математическая логика (сигнатуры...) | 7 |
2776 |
28.01.2008, 23:27 нг |
|||
|
Математическая логика (упорядоченные множества...) | 3 |
1363 |
28.01.2008, 16:24 Профессор Снэйп |
|||
|
Фильтрованное произведение | 4 |
1652 |
28.01.2008, 16:10 Spook |
|||
|
фильтры и ультрафильтры | 9 |
2493 |
27.01.2008, 20:45 Spook |
|||
|
Нумерация множеств | 5 |
2315 |
25.01.2008, 14:18 PAV |
|||
|
мощность множества ультрафильтров на счетном множестве | 3 |
1461 |
24.01.2008, 23:20 Someone |
|||
|
Задача на полноту системы функций | 5 |
1808 |
23.01.2008, 22:35 Профессор Снэйп |
|||
|
теорема Райса | 16 |
5282 |
23.01.2008, 00:29 Профессор Снэйп |
|||
|
Определить мощность: рациональные последовательности | 11 |
2953 |
21.01.2008, 18:14 Профессор Снэйп |
|||
|
Интерпретация сигнатуры | 5 |
1781 |
05.01.2008, 16:30 lofar |
|||
|
Мат. лог | 15 |
5441 |
27.12.2007, 14:20 Профессор Снэйп |
|||
|
Разрешимые множества и машина Тьюринга | 1 |
1243 |
27.12.2007, 07:21 незваный гость |
|||
|
Математическая логика, рекурсивное определение функции f... | 4 |
1681 |
24.12.2007, 13:25 vadim55 |
|||
|
дискретная математика (множества) | 143 |
51701 |
24.11.2007, 23:46 vadim55 |
|||
|
Окружности: Выяснить мощность множеств | 7 |
4142 |
22.10.2007, 09:42 Hymilev |
|||
|
Мощность множеств | 18 |
8835 |
21.10.2007, 17:15 Di |
|||
|
Нарисовать цифровую микросхему на основе логики (палиндром) | 7 |
3037 |
19.10.2007, 23:33 photon |
|||
|
что такое "cut-free Gentzen ..." ? | 10 |
4306 |
15.10.2007, 23:34 luitzen |
|||
|
Помогите решить задачу по мат.логике. | 10 |
4735 |
04.10.2007, 11:17 diff |
|||
|
Ещё раз про парадокс Сколема | 1 |
2248 |
19.09.2007, 15:27 epros |
|||
|
Метод форсинга на пальцах можете объяснить? | 1 |
2120 |
15.09.2007, 02:50 Dan B-Yallay |
|||
|
Примитивно и частично рекурсивные функции (вопросы) | 2 |
2883 |
28.08.2007, 09:02 Rif |
|||
|
Симметричное транзитивное бинарное отношение | 9 |
5114 |
22.08.2007, 05:25 bot |
|||
|
биекция R->R в заданными свойствами | 7 |
4107 |
09.07.2007, 13:40 Lyoha |
|||
|
Порядковые типы | 11 |
5172 |
28.05.2007, 18:30 Maximum |
|||
|
Формула сигнатуры | 5 |
2830 |
25.05.2007, 11:55 bot |
|||
|
Секвенция | 5 |
3083 |
25.05.2007, 06:20 Maximum |
|||
|
Как логически записать, что можно и то и то? | 20 |
10193 |
25.05.2007, 02:20 Dims |
|||
|
порядковые (трансфинитные) числа | 11 |
5385 |
24.05.2007, 22:53 Someone |
|||
|
Доказательство "аксиомы Дедекинда" | 4 |
2706 |
20.05.2007, 23:31 Someone |
|||
|
Мощности множеств (9 класс) | 5 |
3048 |
13.05.2007, 08:22 Olympiya |
|||
|
Аксиомы Пеано и формальная логика. | 1 |
3124 |
12.05.2007, 12:31 Котофеич |
|||
|
"рекурсивно счетная функция" | 5 |
2794 |
19.04.2007, 19:54 elle |
|||
|
утверждения об истинности самих себя (задача) | 11 |
4970 |
03.04.2007, 21:30 PAV |
|||
|
как в аксиоматич. теории множеств выводится a \notin a | 7 |
3866 |
02.04.2007, 18:39 Someone |
|||
| Страница 16 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 13, 14, 15, 16, 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |