|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
10405 |
12.02.2012, 16:29
PAV
|
| Темы |
 |
Доказать примитивную рекурсивность функции
|
Sverest |
8 |
1206 |
16.01.2012, 11:06
Sverest
|
|
Формальная логика - Вывод правила исключения коньюнкции
|
quuxity |
3 |
723 |
14.01.2012, 20:05
quuxity
|
|
несущее множество в аксиоматике теории множеств
|
FeelUs |
4 |
835 |
09.01.2012, 20:00
AGu
|
|
Биекция между 2^R и N^R в явном виде
|
reestr |
7 |
1219 |
29.12.2011, 13:23
svv
|
|
Доказать, что множество A\B - перечислимое
|
Julia93 |
6 |
998 |
25.12.2011, 13:39
Julia93
|
|
Придумать теорию с заданным спектром
|
shkololo |
4 |
851 |
22.12.2011, 13:36
bot
|
|
Разрешимость множества
|
ugo |
1 |
438 |
16.12.2011, 04:06
Профессор Снэйп
|
|
Скулемизация
|
nbyte |
13 |
2953 |
16.12.2011, 04:00
Профессор Снэйп
|
|
Разрешима ли эта задача (про перезапись слов)?
|
AGu |
0 |
322 |
11.12.2011, 18:16
AGu
|
|
Алгоритм установления разрешимости полинома в радикалах.
|
Legioner93 |
4 |
801 |
08.12.2011, 01:31
Legioner93
|
|
Нормальный алгоритм
|
Sverest |
1 |
396 |
01.12.2011, 14:44
_hum_
|
 |
Нормальный алгоритм для вычисления функции f(x) = 2x
[ На страницу: 1, 2, 3 ]
|
Sverest |
36 |
4109 |
30.11.2011, 21:51
Nemiroff
|
|
Нормальные алгоритмы Маркова
|
Sverest |
3 |
602 |
30.11.2011, 16:24
Zipfolder
|
|
Рекурсивность нескончаемой суммы
|
demeter |
5 |
1127 |
30.11.2011, 06:49
demeter
|
|
Класс булевых функций
|
ksp4 |
1 |
418 |
30.11.2011, 01:23
cyb12
|
|
выводимые формулы
|
dr.Know |
3 |
572 |
28.11.2011, 09:25
arseniiv
|
|
Логика (p↔q)↔┐q
[ На страницу: 1, 2 ]
|
Paula |
22 |
2720 |
23.11.2011, 17:08
Maslov
|
|
Преобразование предикатов
|
Joker_vD |
2 |
568 |
21.11.2011, 22:52
Joker_vD
|
|
Исчисление выссказываний, как избавляться от отрицания
|
shkololo |
8 |
1160 |
21.11.2011, 00:52
Maslov
|
|
Конечный автомат для поиска определенных бинарных чисел
|
mikemike |
2 |
476 |
10.11.2011, 19:29
mikemike
|
|
Доказать, что $Y=A(\mathfrak{n})$
|
xmaister |
5 |
736 |
08.11.2011, 23:36
Someone
|
|
Машина Тьюринга
|
Sverest |
5 |
865 |
08.11.2011, 15:50
Sonic86
|
|
Математическая логика
[ На страницу: 1, 2, 3 ]
|
cati |
31 |
4522 |
07.11.2011, 08:18
cati
|
|
Теорема Лёвенгейма - Сколема для NBG
|
alex_dorin |
7 |
1016 |
02.11.2011, 17:30
Someone
|
|
Логика. Запись в символьной форме
|
bonika |
1 |
488 |
24.10.2011, 00:54
svv
|
|
Мат. логика. Формальное доказательство
|
Evgeni2011 |
11 |
1610 |
23.10.2011, 11:41
Joker_vD
|
|
Проверить примитивную рекурсивность функции
|
irino4ka |
7 |
2203 |
21.10.2011, 18:13
PAV
|
|
Axiom of Global Choice
|
alex_dorin |
1 |
323 |
16.10.2011, 10:21
gris
|
|
Мощности вложенных множеств
|
SpBTimes |
1 |
332 |
13.10.2011, 10:00
PAV
|
|
Логика. 2 вопроса
|
samuil |
14 |
1349 |
10.10.2011, 01:55
samuil
|
|
Машина Тьюринга: какую функцию вычисляет?
|
Anexroid |
5 |
986 |
04.10.2011, 21:08
Maslov
|
|
найти примитивно-рекурсивную характеристическую функцию
|
Dilettante |
2 |
521 |
03.10.2011, 17:39
Dilettante
|
|
Теорема Гёделя о полноте
[ На страницу: 1, 2 ]
|
epros |
27 |
5898 |
03.10.2011, 16:24
molokowoz
|
|
типизация λ-исчисления (Барендрегт)
|
Mysterious Light |
10 |
1366 |
01.10.2011, 21:29
Xaositect
|
|
Есть ли пример множества больше счетно но меньше несчетного?
[ На страницу: 1, 2, 3 ]
|
erwins |
33 |
6658 |
27.09.2011, 10:21
Jnrty
|
|
Проверка свойств языков
|
NiGHTeR |
3 |
529 |
22.09.2011, 12:11
NiGHTeR
|
|
множество мощности большее чем N и меньшее чем P(N)
[ На страницу: 1, 2 ]
|
alex_dorin |
15 |
1359 |
21.09.2011, 10:14
alex_dorin
|
|
Примитивная рекурсивность функции
|
Dremuk |
1 |
491 |
17.09.2011, 00:55
Maslov
|
|
Проверить регулярность языка
|
NiGHTeR |
13 |
2096 |
10.09.2011, 18:53
_hum_
|
|
Из леммы о предельной точке лемма о вложенных отрезках
|
ean |
2 |
617 |
22.08.2011, 12:27
ean
|
|
Доказать свойство натуральных чисел
[ На страницу: 1, 2 ]
|
ellipse |
20 |
2729 |
14.08.2011, 22:12
Someone
|
|
Ищу два доказательства (по конечным автоматам)
|
nbyte |
9 |
1883 |
08.08.2011, 08:45
wolf.ram
|
|
Упорядоченость множеств порядковых чисел
|
alien308 |
2 |
477 |
01.08.2011, 14:47
alien308
|
|
Конечные и бесконечные списки. Определения
|
Mysterious Light |
14 |
1471 |
29.07.2011, 08:35
epros
|
|
Задача о конечных множествах - элементарное рассмотрение
[ На страницу: 1, 2 ]
|
gefest_md |
17 |
1611 |
22.07.2011, 19:28
gefest_md
|
|
Мощности множеств
|
EvilPhysicist |
8 |
1024 |
22.07.2011, 02:56
Someone
|
|
Лемма Цорна - не могу включить мозг((
[ На страницу: 1, 2 ]
|
lekma_axioma |
15 |
2790 |
21.07.2011, 20:52
lekma_axioma
|
|
Посоветуйте книги
[ На страницу: 1, 2 ]
|
Профессор Снэйп |
17 |
9838 |
20.07.2011, 21:53
bovril
|
|
Уважаемые, помогите разобраться с невыводимостью формулы.
|
Nastenka90 |
1 |
464 |
18.07.2011, 16:38
gefest_md
|
|
чего-то не хватает для равенсва множеств в ZF(C)
|
alex_dorin |
2 |
385 |
14.07.2011, 03:34
JMH
|
