|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
11281 |
12.02.2012, 16:29
PAV
|
| Темы |
 |
множество sin(n), n=1,2... всюду плотно в [-1,1]
|
MMyaf |
4 |
1516 |
06.06.2008, 14:48
Taras
|
|
Пустое множество --- это не "ничего".
[ На страницу: 1, 2 ]
|
Ирина1 |
20 |
3961 |
25.05.2008, 14:04
Ирина1
|
|
задача: множество Кантора гомеоморфно ожерелью Антуана
|
Marrow |
8 |
2144 |
24.05.2008, 13:19
Marrow
|
|
Сравнить мощности множеств (числовых последовательностей)
|
knkpro |
2 |
1020 |
23.05.2008, 21:41
Echo-Off
|
|
Задача про порядковые типы
|
knkpro |
3 |
1153 |
23.05.2008, 15:12
Профессор Снэйп
|
|
Найти длину совершенной ДНФ
|
kdm |
1 |
979 |
19.05.2008, 12:08
luitzen
|
|
Логика предикатов, проблема разрешимости
|
Йцуке |
8 |
2647 |
13.05.2008, 19:56
Профессор Снэйп
|
|
Машина Тьюринга, Нахождение модуля разности чисел
|
BpeDuHa |
3 |
1724 |
12.05.2008, 10:53
Профессор Снэйп
|
|
Мощность множества биекций интервала на себя
|
Mikhail Sokolov |
5 |
1684 |
24.04.2008, 15:55
ИСН
|
 |
Ряд вопросов по формальным аксиоматическим системам
[ На страницу: 1, 2 ]
|
Amigo |
27 |
8932 |
08.04.2008, 17:36
маткиб
|
|
мощность декартова произведения бесконечных множеств
|
enko |
8 |
3114 |
20.02.2008, 20:53
Профессор Снэйп
|
|
Автомат
[ На страницу: 1, 2, 3 ]
|
mastedm |
35 |
9555 |
06.02.2008, 19:24
Профессор Снэйп
|
|
Математическая логика (сигнатуры...)
|
Vitamin |
7 |
2902 |
28.01.2008, 23:27
нг
|
|
Математическая логика (упорядоченные множества...)
|
spectre |
3 |
1437 |
28.01.2008, 16:24
Профессор Снэйп
|
|
Фильтрованное произведение
|
Spook |
4 |
1761 |
28.01.2008, 16:10
Spook
|
|
фильтры и ультрафильтры
|
Spook |
9 |
2634 |
27.01.2008, 20:45
Spook
|
|
Нумерация множеств
|
teor |
5 |
2449 |
25.01.2008, 14:18
PAV
|
|
мощность множества ультрафильтров на счетном множестве
|
Spook |
3 |
1540 |
24.01.2008, 23:20
Someone
|
|
Задача на полноту системы функций
|
mastedm |
5 |
1920 |
23.01.2008, 22:35
Профессор Снэйп
|
|
теорема Райса
[ На страницу: 1, 2 ]
|
Михаиль |
16 |
5687 |
23.01.2008, 00:29
Профессор Снэйп
|
|
Определить мощность: рациональные последовательности
|
Maviru |
11 |
3138 |
21.01.2008, 18:14
Профессор Снэйп
|
|
Интерпретация сигнатуры
|
Zlak |
5 |
1924 |
05.01.2008, 16:30
lofar
|
|
Мат. лог
[ На страницу: 1, 2 ]
|
Maximum |
15 |
5746 |
27.12.2007, 14:20
Профессор Снэйп
|
|
Разрешимые множества и машина Тьюринга
|
HacTeHkA |
1 |
1304 |
27.12.2007, 07:21
незваный гость
|
|
Математическая логика, рекурсивное определение функции f...
|
vadim55 |
4 |
1784 |
24.12.2007, 13:25
vadim55
|
|
дискретная математика (множества)
[ На страницу: 1 ... 8, 9, 10 ]
|
vadim55 |
143 |
53137 |
24.11.2007, 23:46
vadim55
|
|
Окружности: Выяснить мощность множеств
|
Di |
7 |
4284 |
22.10.2007, 09:42
Hymilev
|
|
Мощность множеств
[ На страницу: 1, 2 ]
|
Amigo |
18 |
9083 |
21.10.2007, 17:15
Di
|
|
Нарисовать цифровую микросхему на основе логики (палиндром)
|
SeverniyVeterok |
7 |
3201 |
19.10.2007, 23:33
photon
|
|
что такое "cut-free Gentzen ..." ?
|
Levon11 |
10 |
4517 |
15.10.2007, 23:34
luitzen
|
|
Помогите решить задачу по мат.логике.
|
diff |
10 |
4920 |
04.10.2007, 11:17
diff
|
|
Ещё раз про парадокс Сколема
|
epros |
1 |
2306 |
19.09.2007, 15:27
epros
|
|
Метод форсинга на пальцах можете объяснить?
|
Посторонний |
1 |
2178 |
15.09.2007, 02:50
Dan B-Yallay
|
|
Примитивно и частично рекурсивные функции (вопросы)
|
Rif |
2 |
2964 |
28.08.2007, 09:02
Rif
|
|
Симметричное транзитивное бинарное отношение
|
Mikhail Sokolov |
9 |
5286 |
22.08.2007, 05:25
bot
|
|
биекция R->R в заданными свойствами
|
АльфияР |
7 |
4242 |
09.07.2007, 13:40
Lyoha
|
|
Порядковые типы
|
Maximum |
11 |
5371 |
28.05.2007, 18:30
Maximum
|
|
Формула сигнатуры
|
Maximum |
5 |
2934 |
25.05.2007, 11:55
bot
|
|
Секвенция
|
Maximum |
5 |
3175 |
25.05.2007, 06:20
Maximum
|
|
Как логически записать, что можно и то и то?
[ На страницу: 1, 2 ]
|
Dims |
20 |
10468 |
25.05.2007, 02:20
Dims
|
|
порядковые (трансфинитные) числа
|
Таня Тайс |
11 |
5592 |
24.05.2007, 22:53
Someone
|
|
Доказательство "аксиомы Дедекинда"
|
wovas |
4 |
2820 |
20.05.2007, 23:31
Someone
|
|
Мощности множеств (9 класс)
|
Olympiya |
5 |
3143 |
13.05.2007, 08:22
Olympiya
|
|
Аксиомы Пеано и формальная логика.
|
Ruslan_Sharipov |
1 |
3178 |
12.05.2007, 12:31
Котофеич
|
|
"рекурсивно счетная функция"
|
elle |
5 |
2893 |
19.04.2007, 19:54
elle
|
|
утверждения об истинности самих себя (задача)
|
<Viking> |
11 |
5121 |
03.04.2007, 21:30
PAV
|
|
как в аксиоматич. теории множеств выводится a \notin a
|
epros |
7 |
3963 |
02.04.2007, 18:39
Someone
|
|
Вопрос о порядковых числах (выбор нумерации счетного множ-ва
|
Bod |
8 |
5878 |
02.04.2007, 01:09
Bod
|
|
Трансфинитная индукция и непротиворечивость теории множеств
[ На страницу: 1, 2, 3 ]
|
epros |
33 |
20251 |
30.03.2007, 14:45
Macavity
|
|
Вопрос об эквивалентности множеств
[ На страницу: 1, 2 ]
|
Bod |
20 |
14409 |
28.02.2007, 16:42
Bod
|
