|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
9150 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Транзитивный коллапс vs. Нестандартная арифметика
|
Ираклий |
8 |
1338 |
19.12.2009, 19:31
Ираклий
|
|
Почти универсальные классы
|
Ираклий |
2 |
763 |
17.12.2009, 20:27
Ираклий
|
|
Счетность множества всех убывающих функций.
|
webaib |
13 |
1682 |
17.12.2009, 01:50
ewert
|
|
Непротиворечивость Арифметики Пеано
|
belochka1234 |
2 |
668 |
15.12.2009, 17:12
Виктор Викторов
|
|
Помогите показать примитивную рекурсивность
|
Dresk |
2 |
536 |
15.12.2009, 10:18
Dresk
|
|
Построить вывод в ИВ
[ На страницу: 1, 2 ]
|
AloneIn |
17 |
3305 |
15.12.2009, 07:03
Профессор Снэйп
|
|
Конечное множество может быть счётным?
|
Killer |
5 |
3957 |
10.12.2009, 14:29
Профессор Снэйп
|
|
МП-автомат для распознавания заданного языка
|
MMM-2000 |
4 |
776 |
09.12.2009, 22:53
MMM-2000
|
|
Многочлен, для которого сущ. корней недоказуемо и неопроверж
|
AGu |
3 |
635 |
09.12.2009, 16:44
Профессор Снэйп
|
|
1-ленточная Тьюринг машина и ввод квадратной длинны
|
webaib |
10 |
1649 |
09.12.2009, 16:11
webaib
|
|
общезначимость формулы
|
maxmatem |
3 |
838 |
05.12.2009, 23:58
Виктор Викторов
|
|
Проверить правильность рассуждения в логике предикатов.
|
Artemij1 |
8 |
1674 |
29.11.2009, 23:07
Maslov
|
|
NP-полнота задачи комивояжера
|
ifoxy |
3 |
1728 |
29.11.2009, 13:26
Профессор Снэйп
|
|
Трансфинитная индукция
[ На страницу: 1, 2 ]
|
bubu gaga |
15 |
3459 |
22.11.2009, 18:11
Виктор Викторов
|
|
Несчетное семейство подмножеств N
|
Юстас |
8 |
1670 |
17.11.2009, 11:08
Cave
|
|
Математическая логика, метод резолюций
|
nbyte |
2 |
735 |
13.11.2009, 13:54
nbyte
|
|
Машина Тюринга
|
nbyte |
11 |
1756 |
13.11.2009, 11:44
nbyte
|
|
Конечный автомат Тюринга
|
nbyte |
7 |
996 |
12.11.2009, 22:09
nbyte
|
|
Математическая логика, метод Резолюций
|
nbyte |
4 |
2717 |
12.11.2009, 19:11
nbyte
|
|
Математическая логика
|
nbyte |
11 |
1647 |
12.11.2009, 11:32
nbyte
|
|
Доказательство полноты логических теорем
|
Sergey_Zzz |
3 |
576 |
11.11.2009, 06:24
Профессор Снэйп
|
|
Вопрос по математической логике
|
maxmatem |
8 |
1039 |
31.10.2009, 23:10
maxmatem
|
|
Аксиоматика вещественных чисел
|
Mathusic |
8 |
1382 |
29.10.2009, 12:02
AGu
|
|
Инвариант.
|
ИС |
8 |
2552 |
26.10.2009, 10:57
ИС
|
|
вопрос о книгах по мат.логике(Игошин, Непейвода)
|
blumpkin |
2 |
704 |
14.10.2009, 08:30
Профессор Снэйп
|
|
доказательство NP-полноты задачи.
|
Чудо-в-перьях |
9 |
1694 |
12.10.2009, 13:05
Чудо-в-перьях
|
|
Сравнение конечных автоматов: теория сложности
|
Профессор Снэйп |
3 |
653 |
08.10.2009, 22:06
Xaositect
|
|
Регулярные языки
[ На страницу: 1, 2 ]
|
INDIGO1991 |
20 |
3140 |
08.10.2009, 12:07
Чудо-в-перьях
|
|
Автоморфизм моделей
|
Bec0o1 |
4 |
787 |
07.10.2009, 12:01
Профессор Снэйп
|
|
Счетность множества многочленов с рац. коэффициентами
[ На страницу: 1, 2 ]
|
fraktal |
20 |
5532 |
06.10.2009, 20:40
Maslov
|
|
Алгоритмически неразрешимая задача
[ На страницу: 1, 2 ]
|
AndreyXYZ |
15 |
2681 |
28.09.2009, 15:35
maxal
|
 |
Биекции между промежутками
[ На страницу: 1, 2, 3 ]
|
maxmatem |
38 |
5906 |
27.09.2009, 09:58
rishelie
|
|
Счетность рациональных чисел.
[ На страницу: 1, 2 ]
|
ИС |
21 |
6524 |
18.09.2009, 20:42
Someone
|
|
не-NP
|
ShMaxG |
8 |
1156 |
31.08.2009, 12:28
ShMaxG
|
|
Нумерация рациональных чисел
|
arseniiv |
8 |
1216 |
19.08.2009, 20:26
arseniiv
|
|
4-х значная комплементарная логика Лобанова и ее значения
[ На страницу: 1, 2 ]
|
Zuborg |
19 |
2507 |
18.08.2009, 17:54
AGu
|
|
Ищется доказательство для правила "навешивания доказуемости"
|
nikov |
5 |
813 |
07.08.2009, 13:54
nikov
|
|
Ультрафильтры
|
Профессор Снэйп |
2 |
631 |
07.08.2009, 10:39
Профессор Снэйп
|
|
Обозначение для конструктивной арифметики
|
nikov |
2 |
578 |
07.08.2009, 10:09
nikov
|
|
О факторизации, диофантовых уравнениях и сведении задач
|
dmd |
4 |
1282 |
06.08.2009, 12:51
goldbash
|
|
мощность множества (количество множеств заданной мощности)
[ На страницу: 1, 2, 3 ]
|
malin |
35 |
7976 |
01.08.2009, 14:14
malin
|
|
Можно ли вычислить значения функции?
|
Dialectic |
11 |
2127 |
22.07.2009, 12:42
Профессор Снэйп
|
|
Пятёрки и восьмёрки на плоскости (счетность и континуальност
|
Бабай |
12 |
2818 |
08.07.2009, 16:02
AGu
|
|
Как построить конечный автомат?
|
Gilb007 |
11 |
2331 |
26.06.2009, 21:24
Gilb007
|
|
помогите доказать тавтологию предикатов!!!
[ На страницу: 1, 2 ]
|
Val Crazy |
15 |
3150 |
26.06.2009, 16:28
Val Crazy
|
|
полные решетки
[ На страницу: 1, 2, 3, 4 ]
|
terminator-II |
51 |
6188 |
24.06.2009, 12:17
bot
|
|
Доказать что функция F(x,y)=2x+y+7 частично рекурсивна
|
n45 |
6 |
1268 |
13.06.2009, 18:20
n45
|
|
Вопрос про упорядоченные множества (терминология)
|
nikov |
5 |
1184 |
05.06.2009, 15:27
Виктор Викторов
|
|
Приведение предиката к предв. форме.
|
ariant |
5 |
721 |
04.06.2009, 11:37
mkot
|
|
Математическая логика и теория алгоритмов - литература
|
paul_simon |
3 |
600 |
28.05.2009, 11:11
Brukvalub
|
|
|
![Новые сообщения [ Популярная тема ]](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}
