|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
9897 |
12.02.2012, 16:29
PAV
|
| Темы |
 |
Транзитивный коллапс vs. Нестандартная арифметика
|
Ираклий |
8 |
1491 |
19.12.2009, 19:31
Ираклий
|
|
Почти универсальные классы
|
Ираклий |
2 |
807 |
17.12.2009, 20:27
Ираклий
|
|
Счетность множества всех убывающих функций.
|
webaib |
13 |
2003 |
17.12.2009, 01:50
ewert
|
|
Непротиворечивость Арифметики Пеано
|
belochka1234 |
2 |
723 |
15.12.2009, 17:12
Виктор Викторов
|
|
Помогите показать примитивную рекурсивность
|
Dresk |
2 |
579 |
15.12.2009, 10:18
Dresk
|
|
Построить вывод в ИВ
[ На страницу: 1, 2 ]
|
AloneIn |
17 |
3605 |
15.12.2009, 07:03
Профессор Снэйп
|
|
Конечное множество может быть счётным?
|
Killer |
5 |
4038 |
10.12.2009, 14:29
Профессор Снэйп
|
|
МП-автомат для распознавания заданного языка
|
MMM-2000 |
4 |
854 |
09.12.2009, 22:53
MMM-2000
|
|
Многочлен, для которого сущ. корней недоказуемо и неопроверж
|
AGu |
3 |
700 |
09.12.2009, 16:44
Профессор Снэйп
|
|
1-ленточная Тьюринг машина и ввод квадратной длинны
|
webaib |
10 |
1794 |
09.12.2009, 16:11
webaib
|
|
общезначимость формулы
|
maxmatem |
3 |
906 |
05.12.2009, 23:58
Виктор Викторов
|
|
Проверить правильность рассуждения в логике предикатов.
|
Artemij1 |
8 |
1777 |
29.11.2009, 23:07
Maslov
|
|
NP-полнота задачи комивояжера
|
ifoxy |
3 |
1806 |
29.11.2009, 13:26
Профессор Снэйп
|
|
Трансфинитная индукция
[ На страницу: 1, 2 ]
|
bubu gaga |
15 |
3797 |
22.11.2009, 18:11
Виктор Викторов
|
|
Несчетное семейство подмножеств N
|
Юстас |
8 |
1825 |
17.11.2009, 11:08
Cave
|
|
Математическая логика, метод резолюций
|
nbyte |
2 |
777 |
13.11.2009, 13:54
nbyte
|
|
Машина Тюринга
|
nbyte |
11 |
1923 |
13.11.2009, 11:44
nbyte
|
|
Конечный автомат Тюринга
|
nbyte |
7 |
1187 |
12.11.2009, 22:09
nbyte
|
|
Математическая логика, метод Резолюций
|
nbyte |
4 |
2780 |
12.11.2009, 19:11
nbyte
|
|
Математическая логика
|
nbyte |
11 |
1782 |
12.11.2009, 11:32
nbyte
|
|
Доказательство полноты логических теорем
|
Sergey_Zzz |
3 |
627 |
11.11.2009, 06:24
Профессор Снэйп
|
|
Вопрос по математической логике
|
maxmatem |
8 |
1143 |
31.10.2009, 23:10
maxmatem
|
|
Аксиоматика вещественных чисел
|
Mathusic |
8 |
1508 |
29.10.2009, 12:02
AGu
|
|
Инвариант.
|
ИС |
8 |
2696 |
26.10.2009, 10:57
ИС
|
|
вопрос о книгах по мат.логике(Игошин, Непейвода)
|
blumpkin |
2 |
743 |
14.10.2009, 08:30
Профессор Снэйп
|
|
доказательство NP-полноты задачи.
|
Чудо-в-перьях |
9 |
1830 |
12.10.2009, 13:05
Чудо-в-перьях
|
|
Сравнение конечных автоматов: теория сложности
|
Профессор Снэйп |
3 |
713 |
08.10.2009, 22:06
Xaositect
|
|
Регулярные языки
[ На страницу: 1, 2 ]
|
INDIGO1991 |
20 |
3468 |
08.10.2009, 12:07
Чудо-в-перьях
|
|
Автоморфизм моделей
|
Bec0o1 |
4 |
859 |
07.10.2009, 12:01
Профессор Снэйп
|
|
Счетность множества многочленов с рац. коэффициентами
[ На страницу: 1, 2 ]
|
fraktal |
20 |
5765 |
06.10.2009, 20:40
Maslov
|
|
Алгоритмически неразрешимая задача
[ На страницу: 1, 2 ]
|
AndreyXYZ |
15 |
2841 |
28.09.2009, 15:35
maxal
|
 |
Биекции между промежутками
[ На страницу: 1, 2, 3 ]
|
maxmatem |
38 |
6299 |
27.09.2009, 09:58
rishelie
|
|
Счетность рациональных чисел.
[ На страницу: 1, 2 ]
|
ИС |
21 |
6819 |
18.09.2009, 20:42
Someone
|
|
не-NP
|
ShMaxG |
8 |
1261 |
31.08.2009, 12:28
ShMaxG
|
|
Нумерация рациональных чисел
|
arseniiv |
8 |
1315 |
19.08.2009, 20:26
arseniiv
|
|
4-х значная комплементарная логика Лобанова и ее значения
[ На страницу: 1, 2 ]
|
Zuborg |
19 |
2804 |
18.08.2009, 17:54
AGu
|
|
Ищется доказательство для правила "навешивания доказуемости"
|
nikov |
5 |
930 |
07.08.2009, 13:54
nikov
|
|
Ультрафильтры
|
Профессор Снэйп |
2 |
778 |
07.08.2009, 10:39
Профессор Снэйп
|
|
Обозначение для конструктивной арифметики
|
nikov |
2 |
617 |
07.08.2009, 10:09
nikov
|
|
О факторизации, диофантовых уравнениях и сведении задач
|
dmd |
4 |
1359 |
06.08.2009, 12:51
goldbash
|
|
мощность множества (количество множеств заданной мощности)
[ На страницу: 1, 2, 3 ]
|
malin |
35 |
8972 |
01.08.2009, 14:14
malin
|
|
Можно ли вычислить значения функции?
|
Dialectic |
11 |
2313 |
22.07.2009, 12:42
Профессор Снэйп
|
|
Пятёрки и восьмёрки на плоскости (счетность и континуальност
|
Бабай |
12 |
2974 |
08.07.2009, 16:02
AGu
|
|
Как построить конечный автомат?
|
Gilb007 |
11 |
2480 |
26.06.2009, 21:24
Gilb007
|
|
помогите доказать тавтологию предикатов!!!
[ На страницу: 1, 2 ]
|
Val Crazy |
15 |
3343 |
26.06.2009, 16:28
Val Crazy
|
|
полные решетки
[ На страницу: 1, 2, 3, 4 ]
|
terminator-II |
51 |
6962 |
24.06.2009, 12:17
bot
|
|
Доказать что функция F(x,y)=2x+y+7 частично рекурсивна
|
n45 |
6 |
1353 |
13.06.2009, 18:20
n45
|
|
Вопрос про упорядоченные множества (терминология)
|
nikov |
5 |
1272 |
05.06.2009, 15:27
Виктор Викторов
|
|
Приведение предиката к предв. форме.
|
ariant |
5 |
791 |
04.06.2009, 11:37
mkot
|
|
Математическая логика и теория алгоритмов - литература
|
paul_simon |
3 |
648 |
28.05.2009, 11:11
Brukvalub
|
