 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 11, 12, 13, 14, 15, 16, 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
11419 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Непротиворечивость Арифметики Пеано | 2 |
873 |
15.12.2009, 17:12 Виктор Викторов |
|||
|
Помогите показать примитивную рекурсивность | 2 |
724 |
15.12.2009, 10:18 Dresk |
|||
|
Построить вывод в ИВ | 17 |
4187 |
15.12.2009, 07:03 Профессор Снэйп |
|||
|
Конечное множество может быть счётным? | 5 |
4325 |
10.12.2009, 14:29 Профессор Снэйп |
|||
|
МП-автомат для распознавания заданного языка | 4 |
1081 |
09.12.2009, 22:53 MMM-2000 |
|||
|
Многочлен, для которого сущ. корней недоказуемо и неопроверж | 3 |
853 |
09.12.2009, 16:44 Профессор Снэйп |
|||
|
1-ленточная Тьюринг машина и ввод квадратной длинны | 10 |
2202 |
09.12.2009, 16:11 webaib |
|||
|
общезначимость формулы | 3 |
1098 |
05.12.2009, 23:58 Виктор Викторов |
|||
|
Проверить правильность рассуждения в логике предикатов. | 8 |
2118 |
29.11.2009, 23:07 Maslov |
|||
|
NP-полнота задачи комивояжера | 3 |
2098 |
29.11.2009, 13:26 Профессор Снэйп |
|||
|
Трансфинитная индукция | 15 |
4560 |
22.11.2009, 18:11 Виктор Викторов |
|||
|
Несчетное семейство подмножеств N | 8 |
2242 |
17.11.2009, 11:08 Cave |
|||
|
Математическая логика, метод резолюций | 2 |
961 |
13.11.2009, 13:54 nbyte |
|||
|
Машина Тюринга | 11 |
2350 |
13.11.2009, 11:44 nbyte |
|||
|
Конечный автомат Тюринга | 7 |
1513 |
12.11.2009, 22:09 nbyte |
|||
|
Математическая логика, метод Резолюций | 4 |
2967 |
12.11.2009, 19:11 nbyte |
|||
|
Математическая логика | 11 |
2200 |
12.11.2009, 11:32 nbyte |
|||
|
Доказательство полноты логических теорем | 3 |
781 |
11.11.2009, 06:24 Профессор Снэйп |
|||
|
Вопрос по математической логике | 8 |
1410 |
31.10.2009, 23:10 maxmatem |
|||
|
Аксиоматика вещественных чисел | 8 |
1848 |
29.10.2009, 12:02 AGu |
|||
|
Инвариант. | 8 |
3148 |
26.10.2009, 10:57 ИС |
|||
|
вопрос о книгах по мат.логике(Игошин, Непейвода) | 2 |
907 |
14.10.2009, 08:30 Профессор Снэйп |
|||
|
доказательство NP-полноты задачи. | 9 |
2202 |
12.10.2009, 13:05 Чудо-в-перьях |
|||
|
Сравнение конечных автоматов: теория сложности | 3 |
890 |
08.10.2009, 22:06 Xaositect |
|||
|
Регулярные языки | 20 |
4140 |
08.10.2009, 12:07 Чудо-в-перьях |
|||
|
Автоморфизм моделей | 4 |
1066 |
07.10.2009, 12:01 Профессор Снэйп |
|||
|
Счетность множества многочленов с рац. коэффициентами | 20 |
6530 |
06.10.2009, 20:40 Maslov |
|||
|
Алгоритмически неразрешимая задача | 15 |
3390 |
28.09.2009, 15:35 maxal |
|||
 |
Биекции между промежутками | 38 |
7476 |
27.09.2009, 09:58 rishelie |
|||
|
Счетность рациональных чисел. | 21 |
7757 |
18.09.2009, 20:42 Someone |
|||
|
не-NP | 8 |
1603 |
31.08.2009, 12:28 ShMaxG |
|||
|
Нумерация рациональных чисел | 8 |
1613 |
19.08.2009, 20:26 arseniiv |
|||
|
4-х значная комплементарная логика Лобанова и ее значения | 19 |
3458 |
18.08.2009, 17:54 AGu |
|||
|
Ищется доказательство для правила "навешивания доказуемости" | 5 |
1140 |
07.08.2009, 13:54 nikov |
|||
|
Ультрафильтры | 2 |
911 |
07.08.2009, 10:39 Профессор Снэйп |
|||
|
Обозначение для конструктивной арифметики | 2 |
753 |
07.08.2009, 10:09 nikov |
|||
|
О факторизации, диофантовых уравнениях и сведении задач | 4 |
1600 |
06.08.2009, 12:51 goldbash |
|||
|
мощность множества (количество множеств заданной мощности) | 35 |
10402 |
01.08.2009, 14:14 malin |
|||
|
Можно ли вычислить значения функции? | 11 |
2818 |
22.07.2009, 12:42 Профессор Снэйп |
|||
|
Пятёрки и восьмёрки на плоскости (счетность и континуальност | 12 |
3376 |
08.07.2009, 16:02 AGu |
|||
|
Как построить конечный автомат? | 11 |
2953 |
26.06.2009, 21:24 Gilb007 |
|||
|
помогите доказать тавтологию предикатов!!! | 15 |
4119 |
26.06.2009, 16:28 Val Crazy |
|||
|
полные решетки | 51 |
8631 |
24.06.2009, 12:17 bot |
|||
|
Доказать что функция F(x,y)=2x+y+7 частично рекурсивна | 6 |
1608 |
13.06.2009, 18:20 n45 |
|||
|
Вопрос про упорядоченные множества (терминология) | 5 |
1512 |
05.06.2009, 15:27 Виктор Викторов |
|||
|
Приведение предиката к предв. форме. | 5 |
1019 |
04.06.2009, 11:37 mkot |
|||
|
Математическая логика и теория алгоритмов - литература | 3 |
835 |
28.05.2009, 11:11 Brukvalub |
|||
|
Регулярные языки и делимость | 2 |
1123 |
21.05.2009, 10:08 Профессор Снэйп |
|||
|
Теория алгоритмов (обозначения) | 6 |
3148 |
21.05.2009, 08:52 AGu |
|||
|
примеры различных множеств (математическая логика) | 5 |
1444 |
07.05.2009, 13:16 gepa |
|||
| Страница 14 из 17 |
[ Тем: 817 ] | На страницу Пред. 1 ... 11, 12, 13, 14, 15, 16, 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |