|
Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
Объявления |
|
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
6397 |
12.02.2012, 16:29
PAV
|
Темы |
|
Счётность антицепи
|
bubu gaga |
8 |
1151 |
25.08.2008, 17:29
bubu gaga
|
|
Несоразмерность показательного множества и аксиома выделения
|
bubu gaga |
5 |
804 |
18.08.2008, 13:10
AGu
|
|
пустое множество
[ На страницу: 1, 2, 3, 4, 5 ]
|
Spook |
67 |
12547 |
15.06.2008, 21:25
Heathy
|
|
множество sin(n), n=1,2... всюду плотно в [-1,1]
|
MMyaf |
4 |
1217 |
06.06.2008, 14:48
Taras
|
|
Пустое множество --- это не "ничего".
[ На страницу: 1, 2 ]
|
Ирина1 |
20 |
2993 |
25.05.2008, 14:04
Ирина1
|
|
задача: множество Кантора гомеоморфно ожерелью Антуана
|
Marrow |
8 |
1652 |
24.05.2008, 13:19
Marrow
|
|
Сравнить мощности множеств (числовых последовательностей)
|
knkpro |
2 |
768 |
23.05.2008, 21:41
Echo-Off
|
|
Задача про порядковые типы
|
knkpro |
3 |
897 |
23.05.2008, 15:12
Профессор Снэйп
|
|
Найти длину совершенной ДНФ
|
kdm |
1 |
828 |
19.05.2008, 12:08
luitzen
|
|
Логика предикатов, проблема разрешимости
|
Йцуке |
8 |
2206 |
13.05.2008, 19:56
Профессор Снэйп
|
|
Машина Тьюринга, Нахождение модуля разности чисел
|
BpeDuHa |
3 |
1460 |
12.05.2008, 10:53
Профессор Снэйп
|
|
Мощность множества биекций интервала на себя
|
Mikhail Sokolov |
5 |
1382 |
24.04.2008, 15:55
ИСН
|
|
Ряд вопросов по формальным аксиоматическим системам
[ На страницу: 1, 2 ]
|
Amigo |
27 |
6732 |
08.04.2008, 17:36
маткиб
|
|
мощность декартова произведения бесконечных множеств
|
enko |
8 |
2562 |
20.02.2008, 20:53
Профессор Снэйп
|
|
Автомат
[ На страницу: 1, 2, 3 ]
|
mastedm |
35 |
8088 |
06.02.2008, 19:24
Профессор Снэйп
|
|
Математическая логика (сигнатуры...)
|
Vitamin |
7 |
2570 |
28.01.2008, 23:27
нг
|
|
Математическая логика (упорядоченные множества...)
|
spectre |
3 |
1264 |
28.01.2008, 16:24
Профессор Снэйп
|
|
Фильтрованное произведение
|
Spook |
4 |
1533 |
28.01.2008, 16:10
Spook
|
|
фильтры и ультрафильтры
|
Spook |
9 |
2258 |
27.01.2008, 20:45
Spook
|
|
Нумерация множеств
|
teor |
5 |
2166 |
25.01.2008, 14:18
PAV
|
|
мощность множества ультрафильтров на счетном множестве
|
Spook |
3 |
1361 |
24.01.2008, 23:20
Someone
|
|
Задача на полноту системы функций
|
mastedm |
5 |
1673 |
23.01.2008, 22:35
Профессор Снэйп
|
|
теорема Райса
[ На страницу: 1, 2 ]
|
Михаиль |
16 |
4803 |
23.01.2008, 00:29
Профессор Снэйп
|
|
Определить мощность: рациональные последовательности
|
Maviru |
11 |
2680 |
21.01.2008, 18:14
Профессор Снэйп
|
|
Интерпретация сигнатуры
|
Zlak |
5 |
1628 |
05.01.2008, 16:30
lofar
|
|
Мат. лог
[ На страницу: 1, 2 ]
|
Maximum |
15 |
5033 |
27.12.2007, 14:20
Профессор Снэйп
|
|
Разрешимые множества и машина Тьюринга
|
HacTeHkA |
1 |
1182 |
27.12.2007, 07:21
незваный гость
|
|
Математическая логика, рекурсивное определение функции f...
|
vadim55 |
4 |
1543 |
24.12.2007, 13:25
vadim55
|
|
дискретная математика (множества)
[ На страницу: 1 ... 8, 9, 10 ]
|
vadim55 |
143 |
47839 |
24.11.2007, 23:46
vadim55
|
|
Окружности: Выяснить мощность множеств
|
Di |
7 |
3883 |
22.10.2007, 09:42
Hymilev
|
|
Мощность множеств
[ На страницу: 1, 2 ]
|
Amigo |
18 |
8388 |
21.10.2007, 17:15
Di
|
|
Нарисовать цифровую микросхему на основе логики (палиндром)
|
SeverniyVeterok |
7 |
2854 |
19.10.2007, 23:33
photon
|
|
что такое "cut-free Gentzen ..." ?
|
Levon11 |
10 |
4042 |
15.10.2007, 23:34
luitzen
|
|
Помогите решить задачу по мат.логике.
|
diff |
10 |
4474 |
04.10.2007, 11:17
diff
|
|
Ещё раз про парадокс Сколема
|
epros |
1 |
2177 |
19.09.2007, 15:27
epros
|
|
Метод форсинга на пальцах можете объяснить?
|
Посторонний |
1 |
2052 |
15.09.2007, 02:50
Dan B-Yallay
|
|
Примитивно и частично рекурсивные функции (вопросы)
|
Rif |
2 |
2807 |
28.08.2007, 09:02
Rif
|
|
Симметричное транзитивное бинарное отношение
|
Mikhail Sokolov |
9 |
4781 |
22.08.2007, 05:25
bot
|
|
биекция R->R в заданными свойствами
|
АльфияР |
7 |
3918 |
09.07.2007, 13:40
Lyoha
|
|
Порядковые типы
|
Maximum |
11 |
4809 |
28.05.2007, 18:30
Maximum
|
|
Формула сигнатуры
|
Maximum |
5 |
2691 |
25.05.2007, 11:55
bot
|
|
Секвенция
|
Maximum |
5 |
2946 |
25.05.2007, 06:20
Maximum
|
|
Как логически записать, что можно и то и то?
[ На страницу: 1, 2 ]
|
Dims |
20 |
9740 |
25.05.2007, 02:20
Dims
|
|
порядковые (трансфинитные) числа
|
Таня Тайс |
11 |
5108 |
24.05.2007, 22:53
Someone
|
|
Доказательство "аксиомы Дедекинда"
|
wovas |
4 |
2522 |
20.05.2007, 23:31
Someone
|
|
Мощности множеств (9 класс)
|
Olympiya |
5 |
2905 |
13.05.2007, 08:22
Olympiya
|
|
Аксиомы Пеано и формальная логика.
|
Ruslan_Sharipov |
1 |
3059 |
12.05.2007, 12:31
Котофеич
|
|
"рекурсивно счетная функция"
|
elle |
5 |
2661 |
19.04.2007, 19:54
elle
|
|
утверждения об истинности самих себя (задача)
|
<Viking> |
11 |
4698 |
03.04.2007, 21:30
PAV
|
|
как в аксиоматич. теории множеств выводится a \notin a
|
epros |
7 |
3669 |
02.04.2007, 18:39
Someone
|
|