|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8615 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Доказать примитивную рекурсивность функции
|
Sverest |
8 |
1026 |
16.01.2012, 11:06
Sverest
|
|
Формальная логика - Вывод правила исключения коньюнкции
|
quuxity |
3 |
619 |
14.01.2012, 20:05
quuxity
|
|
несущее множество в аксиоматике теории множеств
|
FeelUs |
4 |
704 |
09.01.2012, 20:00
AGu
|
|
Биекция между 2^R и N^R в явном виде
|
reestr |
7 |
1019 |
29.12.2011, 13:23
svv
|
|
Доказать, что множество A\B - перечислимое
|
Julia93 |
6 |
844 |
25.12.2011, 13:39
Julia93
|
|
Придумать теорию с заданным спектром
|
shkololo |
4 |
631 |
22.12.2011, 13:36
bot
|
|
Разрешимость множества
|
ugo |
1 |
380 |
16.12.2011, 04:06
Профессор Снэйп
|
|
Скулемизация
|
nbyte |
13 |
2552 |
16.12.2011, 04:00
Профессор Снэйп
|
|
Разрешима ли эта задача (про перезапись слов)?
|
AGu |
0 |
293 |
11.12.2011, 18:16
AGu
|
|
Алгоритм установления разрешимости полинома в радикалах.
|
Legioner93 |
4 |
668 |
08.12.2011, 01:31
Legioner93
|
|
Нормальный алгоритм
|
Sverest |
1 |
350 |
01.12.2011, 14:44
_hum_
|
 |
Нормальный алгоритм для вычисления функции f(x) = 2x
[ На страницу: 1, 2, 3 ]
|
Sverest |
36 |
3277 |
30.11.2011, 21:51
Nemiroff
|
|
Нормальные алгоритмы Маркова
|
Sverest |
3 |
534 |
30.11.2011, 16:24
Zipfolder
|
|
Рекурсивность нескончаемой суммы
|
demeter |
5 |
869 |
30.11.2011, 06:49
demeter
|
|
Класс булевых функций
|
ksp4 |
1 |
378 |
30.11.2011, 01:23
cyb12
|
|
выводимые формулы
|
dr.Know |
3 |
512 |
28.11.2011, 09:25
arseniiv
|
|
Логика (p↔q)↔┐q
[ На страницу: 1, 2 ]
|
Paula |
22 |
2063 |
23.11.2011, 17:08
Maslov
|
|
Преобразование предикатов
|
Joker_vD |
2 |
487 |
21.11.2011, 22:52
Joker_vD
|
|
Исчисление выссказываний, как избавляться от отрицания
|
shkololo |
8 |
960 |
21.11.2011, 00:52
Maslov
|
|
Конечный автомат для поиска определенных бинарных чисел
|
mikemike |
2 |
409 |
10.11.2011, 19:29
mikemike
|
|
Доказать, что $Y=A(\mathfrak{n})$
|
xmaister |
5 |
610 |
08.11.2011, 23:36
Someone
|
|
Машина Тьюринга
|
Sverest |
5 |
751 |
08.11.2011, 15:50
Sonic86
|
|
Математическая логика
[ На страницу: 1, 2, 3 ]
|
cati |
31 |
3724 |
07.11.2011, 08:18
cati
|
|
Теорема Лёвенгейма - Сколема для NBG
|
alex_dorin |
7 |
846 |
02.11.2011, 17:30
Someone
|
|
Логика. Запись в символьной форме
|
bonika |
1 |
438 |
24.10.2011, 00:54
svv
|
|
Мат. логика. Формальное доказательство
|
Evgeni2011 |
11 |
1310 |
23.10.2011, 11:41
Joker_vD
|
|
Проверить примитивную рекурсивность функции
|
irino4ka |
7 |
2044 |
21.10.2011, 18:13
PAV
|
|
Axiom of Global Choice
|
alex_dorin |
1 |
279 |
16.10.2011, 10:21
gris
|
|
Мощности вложенных множеств
|
SpBTimes |
1 |
286 |
13.10.2011, 10:00
PAV
|
|
Логика. 2 вопроса
|
samuil |
14 |
1069 |
10.10.2011, 01:55
samuil
|
|
Машина Тьюринга: какую функцию вычисляет?
|
Anexroid |
5 |
857 |
04.10.2011, 21:08
Maslov
|
|
найти примитивно-рекурсивную характеристическую функцию
|
Dilettante |
2 |
439 |
03.10.2011, 17:39
Dilettante
|
|
Теорема Гёделя о полноте
[ На страницу: 1, 2 ]
|
epros |
27 |
5124 |
03.10.2011, 16:24
molokowoz
|
|
типизация λ-исчисления (Барендрегт)
|
Mysterious Light |
10 |
1034 |
01.10.2011, 21:29
Xaositect
|
|
Есть ли пример множества больше счетно но меньше несчетного?
[ На страницу: 1, 2, 3 ]
|
erwins |
33 |
5606 |
27.09.2011, 10:21
Jnrty
|
|
Проверка свойств языков
|
NiGHTeR |
3 |
416 |
22.09.2011, 12:11
NiGHTeR
|
|
множество мощности большее чем N и меньшее чем P(N)
[ На страницу: 1, 2 ]
|
alex_dorin |
15 |
1035 |
21.09.2011, 10:14
alex_dorin
|
|
Примитивная рекурсивность функции
|
Dremuk |
1 |
439 |
17.09.2011, 00:55
Maslov
|
|
Проверить регулярность языка
|
NiGHTeR |
13 |
1837 |
10.09.2011, 18:53
_hum_
|
|
Из леммы о предельной точке лемма о вложенных отрезках
|
ean |
2 |
521 |
22.08.2011, 12:27
ean
|
|
Доказать свойство натуральных чисел
[ На страницу: 1, 2 ]
|
ellipse |
20 |
2273 |
14.08.2011, 22:12
Someone
|
|
Ищу два доказательства (по конечным автоматам)
|
nbyte |
9 |
1638 |
08.08.2011, 08:45
wolf.ram
|
|
Упорядоченость множеств порядковых чисел
|
alien308 |
2 |
411 |
01.08.2011, 14:47
alien308
|
|
Конечные и бесконечные списки. Определения
|
Mysterious Light |
14 |
1122 |
29.07.2011, 08:35
epros
|
|
Задача о конечных множествах - элементарное рассмотрение
[ На страницу: 1, 2 ]
|
gefest_md |
17 |
1311 |
22.07.2011, 19:28
gefest_md
|
|
Мощности множеств
|
EvilPhysicist |
8 |
854 |
22.07.2011, 02:56
Someone
|
|
Лемма Цорна - не могу включить мозг((
[ На страницу: 1, 2 ]
|
lekma_axioma |
15 |
2354 |
21.07.2011, 20:52
lekma_axioma
|
|
Посоветуйте книги
[ На страницу: 1, 2 ]
|
Профессор Снэйп |
17 |
8900 |
20.07.2011, 21:53
bovril
|
|
Уважаемые, помогите разобраться с невыводимостью формулы.
|
Nastenka90 |
1 |
404 |
18.07.2011, 16:38
gefest_md
|
|
чего-то не хватает для равенсва множеств в ZF(C)
|
alex_dorin |
2 |
330 |
14.07.2011, 03:34
JMH
|
|
|
![Новые сообщения [ Популярная тема ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_unread_hot.gif "Новые сообщения [ Популярная тема ]"){kind=small}
![Новые сообщения [ Тема закрыта ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_unread_locked.gif "Новые сообщения [ Тема закрыта ]"){kind=small}
![Нет новых сообщений [ Тема закрыта ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_locked.gif "Нет новых сообщений [ Тема закрыта ]"){kind=small}
