|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
 |
конечный автомат для проверки делимости на 5 в двоичном коде
[  На страницу: 1, 2 ]
|
Nerex |
20 |
3179 |
Пт фев 26, 2010 22:54:39
Профессор Снэйп 
|
|
Посоветуйте книги
|
Профессор Снэйп |
13 |
555 |
Ср фев 24, 2010 13:33:48
VAL
|
 |
Почему п-докс Рассела нельзя считать док-вом от противного?
[ На страницу: 1, 2, 3, 4, 5 ]
|
Dims |
63 |
23242 |
Ср янв 06, 2010 14:02:59
AD
|
|
Посоветуйте книжку про всякие ординалы и кардиналы
|
Dims |
3 |
1991 |
Сб дек 26, 2009 01:56:14
Профессор Снэйп
|
|
Мощность множества иррациональных чисел
[ На страницу: 1, 2 ]
|
Vikulyarus |
19 |
2358 |
Чт дек 24, 2009 23:32:19
AD
|
|
Конечное множество может быть счётным?
|
Killer |
5 |
2400 |
Чт дек 10, 2009 14:29:07
Профессор Снэйп
|
|
Аксиома подстановки (по Френкелю).
|
Виктор Викторов |
13 |
343 |
Пт окт 30, 2009 02:41:18
Виктор Викторов
|
|
Инвариант.
|
ИС |
8 |
195 |
Пн окт 26, 2009 10:57:00
ИС
|
|
Биекции между промежутками
[ На страницу: 1, 2, 3 ]
|
maxmatem |
38 |
498 |
Вс сен 27, 2009 09:58:45
rishelie
|
|
Счетность рациональных чисел.
[ На страницу: 1, 2 ]
|
ИС |
21 |
501 |
Пт сен 18, 2009 20:42:48
Someone
|
|
мощность множества (количество множеств заданной мощности)
[ На страницу: 1, 2, 3 ]
|
malin |
35 |
989 |
Сб авг 01, 2009 14:14:13
malin
|
|
Деление шара на две части равного радиуса
|
Stolen |
5 |
284 |
Пн мар 16, 2009 18:44:23
Brukvalub
|
|
Мощность множеств. Не могу разобраться (счетные, континуум)
[ На страницу: 1, 2 ]
|
Апофеоз Здравого Смысла |
26 |
624 |
Чт фев 26, 2009 12:42:43
Xaositect
|
|
Подскажите как определить мощность множества
|
Dialectic |
8 |
384 |
Пн янв 19, 2009 21:15:51
Really
|
|
Несчетность
[ На страницу: 1, 2, 3, 4 ]
|
daogiauvang |
48 |
984 |
Чт янв 15, 2009 09:00:19
Brukvalub
|
|
(Объяснения элементарных операций с множествами)
|
droni4 |
4 |
234 |
Ср янв 14, 2009 19:28:57
droni4
|
|
мощность
[ На страницу: 1, 2 ]
|
Зося |
21 |
388 |
Вт дек 02, 2008 18:50:23
Brukvalub
|
|
Вполне упорядоченнные множества. Норма.
|
Amigo |
8 |
324 |
Пн ноя 24, 2008 12:32:32
Профессор Снэйп
|
|
Множество сходящихся последовательностей
[ На страницу: 1, 2 ]
|
mvb13 |
26 |
841 |
Ср ноя 05, 2008 11:07:04
AGu
|
|
Книга по математической логике
|
jms |
10 |
575 |
Вс окт 26, 2008 14:58:39
luitzen
|
|
теорема Цермело из леммы Цорна
|
bubu gaga |
6 |
268 |
Сб сен 27, 2008 19:07:53
bubu gaga
|
|
Пустое множество --- это не "ничего".
[ На страницу: 1, 2 ]
|
Ирина1 |
20 |
1018 |
Вс май 25, 2008 14:04:24
Ирина1
|
|
Мощность множества биекций интервала на себя
|
Mikhail Sokolov |
5 |
726 |
Чт апр 24, 2008 15:55:49
ИСН
|
|
Задача на предикаты (привести к предваренной нормальн форме)
[ На страницу: 1, 2, 3, 4 ]
|
Виктория123 |
59 |
5939 |
Пт апр 11, 2008 13:03:39
Виктория123
|
|
Ряд вопросов по формальным аксиоматическим системам
[ На страницу: 1, 2 ]
|
Amigo |
27 |
3804 |
Вт апр 08, 2008 17:36:29
маткиб
|
|
мощность декартова произведения бесконечных множеств
|
enko |
8 |
1102 |
Ср фев 20, 2008 20:53:29
Профессор Снэйп
|
|
Определить мощность: рациональные последовательности
|
Maviru |
11 |
1831 |
Пн янв 21, 2008 18:14:56
Профессор Снэйп
|
|
Разрешимые множества и машина Тьюринга
|
HacTeHkA |
1 |
786 |
Чт дек 27, 2007 07:21:40
незваный гость
|
|
дискретная математика (множества)
[ На страницу: 1 ... 8, 9, 10 ]
|
vadim55 |
143 |
36563 |
Сб ноя 24, 2007 23:46:45
vadim55
|
|
Окружности: Выяснить мощность множеств
|
Di |
7 |
2281 |
Пн окт 22, 2007 09:42:30
Hymilev
|
|
Импликация. Почему определяется именно так?
[ На страницу: 1, 2 ]
|
Amigo |
17 |
6017 |
Вс окт 21, 2007 23:44:08
luitzen
|
|
Мощность множеств
[ На страницу: 1, 2 ]
|
Amigo |
18 |
6366 |
Вс окт 21, 2007 17:15:46
Di
|
|
Нарисовать цифровую микросхему на основе логики (палиндром)
|
SeverniyVeterok |
7 |
2145 |
Пт окт 19, 2007 23:33:36
photon
|
|
что такое "cut-free Gentzen ..." ?
|
Levon11 |
10 |
3121 |
Пн окт 15, 2007 23:34:08
luitzen
|
|
Помогите решить задачу по мат.логике.
|
diff |
10 |
3085 |
Чт окт 04, 2007 11:17:59
diff
|
|
Ещё раз про парадокс Сколема
|
epros |
1 |
1719 |
Ср сен 19, 2007 15:27:18
epros
|
|
Метод форсинга на пальцах можете объяснить?
|
Посторонний |
1 |
1562 |
Сб сен 15, 2007 02:50:17
Dan B-Yallay
|
|
Примитивно и частично рекурсивные функции (вопросы)
|
Rif |
2 |
2179 |
Вт авг 28, 2007 09:02:01
Rif
|
|
Симметричное транзитивное бинарное отношение
|
Mikhail Sokolov |
9 |
3475 |
Ср авг 22, 2007 05:25:50
bot
|
|
биекция R->R в заданными свойствами
|
АльфияР |
7 |
3226 |
Пн июл 09, 2007 13:40:20
Lyoha
|
|
Порядковые типы
|
Maximum |
11 |
3650 |
Пн май 28, 2007 18:30:51
Maximum
|
|
Формула сигнатуры
|
Maximum |
5 |
1887 |
Пт май 25, 2007 11:55:31
bot
|
|
Секвенция
|
Maximum |
5 |
2199 |
Пт май 25, 2007 06:20:01
Maximum
|
|
Как логически записать, что можно и то и то?
[ На страницу: 1, 2 ]
|
Dims |
20 |
8139 |
Пт май 25, 2007 02:20:38
Dims
|
|
порядковые (трансфинитные) числа
|
Таня Тайс |
11 |
3738 |
Чт май 24, 2007 22:53:06
Someone
|
|
Доказательство "аксиомы Дедекинда"
|
wovas |
4 |
1568 |
Вс май 20, 2007 23:31:59
Someone
|
|
Мощности множеств (9 класс)
|
Olympiya |
5 |
2081 |
Вс май 13, 2007 08:22:24
Olympiya
|
|
"рекурсивно счетная функция"
|
elle |
5 |
2048 |
Чт апр 19, 2007 19:54:48
elle
|
|
Какова аксиоматика без закона исключённого третьего?
|
Dims |
8 |
2625 |
Вс апр 15, 2007 00:47:36
Someone
|
|
утверждения об истинности самих себя (задача)
|
<Viking> |
11 |
3788 |
Вт апр 03, 2007 21:30:02
PAV
|
|
|
Вход
Регистрация
FAQ
Поиск
RSS Feed
![Новые сообщения [ Популярная тема ]](./styles/subsilver2/imageset/topic_unread_hot.gif "Новые сообщения [ Популярная тема ]"){kind=small}
![Новые сообщения [ Тема закрыта ]](./styles/subsilver2/imageset/topic_unread_locked.gif "Новые сообщения [ Тема закрыта ]"){kind=small}
![Нет новых сообщений [ Тема закрыта ]](./styles/subsilver2/imageset/topic_read_locked.gif "Нет новых сообщений [ Тема закрыта ]"){kind=small}
