|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
11419 |
12.02.2012, 16:29
PAV
|
| Темы |
 |
Формальная логика - Вывод правила исключения коньюнкции
|
quuxity |
3 |
885 |
14.01.2012, 20:05
quuxity
|
|
несущее множество в аксиоматике теории множеств
|
FeelUs |
4 |
1035 |
09.01.2012, 20:00
AGu
|
|
Биекция между 2^R и N^R в явном виде
|
reestr |
7 |
1488 |
29.12.2011, 13:23
svv
|
|
Доказать, что множество A\B - перечислимое
|
Julia93 |
6 |
1216 |
25.12.2011, 13:39
Julia93
|
|
Придумать теорию с заданным спектром
|
shkololo |
4 |
1018 |
22.12.2011, 13:36
bot
|
|
Разрешимость множества
|
ugo |
1 |
558 |
16.12.2011, 04:06
Профессор Снэйп
|
|
Скулемизация
|
nbyte |
13 |
3530 |
16.12.2011, 04:00
Профессор Снэйп
|
|
Разрешима ли эта задача (про перезапись слов)?
|
AGu |
0 |
421 |
11.12.2011, 18:16
AGu
|
|
Алгоритм установления разрешимости полинома в радикалах.
|
Legioner93 |
4 |
967 |
08.12.2011, 01:31
Legioner93
|
|
Нормальный алгоритм
|
Sverest |
1 |
557 |
01.12.2011, 14:44
_hum_
|
 |
Нормальный алгоритм для вычисления функции f(x) = 2x
[ На страницу: 1, 2, 3 ]
|
Sverest |
36 |
5253 |
30.11.2011, 21:51
Nemiroff
|
|
Нормальные алгоритмы Маркова
|
Sverest |
3 |
791 |
30.11.2011, 16:24
Zipfolder
|
|
Рекурсивность нескончаемой суммы
|
demeter |
5 |
1377 |
30.11.2011, 06:49
demeter
|
|
Класс булевых функций
|
ksp4 |
1 |
516 |
30.11.2011, 01:23
cyb12
|
|
выводимые формулы
|
dr.Know |
3 |
716 |
28.11.2011, 09:25
arseniiv
|
|
Логика (p↔q)↔┐q
[ На страницу: 1, 2 ]
|
Paula |
22 |
3315 |
23.11.2011, 17:08
Maslov
|
|
Преобразование предикатов
|
Joker_vD |
2 |
697 |
21.11.2011, 22:52
Joker_vD
|
|
Исчисление выссказываний, как избавляться от отрицания
|
shkololo |
8 |
1447 |
21.11.2011, 00:52
Maslov
|
|
Конечный автомат для поиска определенных бинарных чисел
|
mikemike |
2 |
600 |
10.11.2011, 19:29
mikemike
|
|
Доказать, что $Y=A(\mathfrak{n})$
|
xmaister |
5 |
959 |
08.11.2011, 23:36
Someone
|
|
Машина Тьюринга
|
Sverest |
5 |
1077 |
08.11.2011, 15:50
Sonic86
|
|
Математическая логика
[ На страницу: 1, 2, 3 ]
|
cati |
31 |
5458 |
07.11.2011, 08:18
cati
|
|
Теорема Лёвенгейма - Сколема для NBG
|
alex_dorin |
7 |
1278 |
02.11.2011, 17:30
Someone
|
|
Логика. Запись в символьной форме
|
bonika |
1 |
658 |
24.10.2011, 00:54
svv
|
|
Мат. логика. Формальное доказательство
|
Evgeni2011 |
11 |
1967 |
23.10.2011, 11:41
Joker_vD
|
|
Проверить примитивную рекурсивность функции
|
irino4ka |
7 |
2451 |
21.10.2011, 18:13
PAV
|
|
Axiom of Global Choice
|
alex_dorin |
1 |
425 |
16.10.2011, 10:21
gris
|
|
Мощности вложенных множеств
|
SpBTimes |
1 |
435 |
13.10.2011, 10:00
PAV
|
|
Логика. 2 вопроса
|
samuil |
14 |
1792 |
10.10.2011, 01:55
samuil
|
|
Машина Тьюринга: какую функцию вычисляет?
|
Anexroid |
5 |
1228 |
04.10.2011, 21:08
Maslov
|
|
найти примитивно-рекурсивную характеристическую функцию
|
Dilettante |
2 |
691 |
03.10.2011, 17:39
Dilettante
|
|
Теорема Гёделя о полноте
[ На страницу: 1, 2 ]
|
epros |
27 |
6996 |
03.10.2011, 16:24
molokowoz
|
|
типизация λ-исчисления (Барендрегт)
|
Mysterious Light |
10 |
1769 |
01.10.2011, 21:29
Xaositect
|
|
Есть ли пример множества больше счетно но меньше несчетного?
[ На страницу: 1, 2, 3 ]
|
erwins |
33 |
7811 |
27.09.2011, 10:21
Jnrty
|
|
Проверка свойств языков
|
NiGHTeR |
3 |
733 |
22.09.2011, 12:11
NiGHTeR
|
|
множество мощности большее чем N и меньшее чем P(N)
[ На страницу: 1, 2 ]
|
alex_dorin |
15 |
1821 |
21.09.2011, 10:14
alex_dorin
|
|
Примитивная рекурсивность функции
|
Dremuk |
1 |
626 |
17.09.2011, 00:55
Maslov
|
|
Проверить регулярность языка
|
NiGHTeR |
13 |
2499 |
10.09.2011, 18:53
_hum_
|
|
Из леммы о предельной точке лемма о вложенных отрезках
|
ean |
2 |
770 |
22.08.2011, 12:27
ean
|
|
Доказать свойство натуральных чисел
[ На страницу: 1, 2 ]
|
ellipse |
20 |
3397 |
14.08.2011, 22:12
Someone
|
|
Ищу два доказательства (по конечным автоматам)
|
nbyte |
9 |
2229 |
08.08.2011, 08:45
wolf.ram
|
|
Упорядоченость множеств порядковых чисел
|
alien308 |
2 |
630 |
01.08.2011, 14:47
alien308
|
|
Конечные и бесконечные списки. Определения
|
Mysterious Light |
14 |
1945 |
29.07.2011, 08:35
epros
|
|
Задача о конечных множествах - элементарное рассмотрение
[ На страницу: 1, 2 ]
|
gefest_md |
17 |
2143 |
22.07.2011, 19:28
gefest_md
|
|
Мощности множеств
|
EvilPhysicist |
8 |
1381 |
22.07.2011, 02:56
Someone
|
|
Лемма Цорна - не могу включить мозг((
[ На страницу: 1, 2 ]
|
lekma_axioma |
15 |
3456 |
21.07.2011, 20:52
lekma_axioma
|
|
Посоветуйте книги
[ На страницу: 1, 2 ]
|
Профессор Снэйп |
17 |
10822 |
20.07.2011, 21:53
bovril
|
|
Уважаемые, помогите разобраться с невыводимостью формулы.
|
Nastenka90 |
1 |
694 |
18.07.2011, 16:38
gefest_md
|
|
чего-то не хватает для равенсва множеств в ZF(C)
|
alex_dorin |
2 |
592 |
14.07.2011, 03:34
JMH
|
|
Упорядоченные пары по Куратовскому и Винеру и пустое множ.
|
olenellus |
8 |
3262 |
03.07.2011, 05:48
olenellus
|
