 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 11, 12, 13, 14, 15, 16, 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
11281 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Непротиворечивость Арифметики Пеано | 2 |
801 |
15.12.2009, 17:12 Виктор Викторов |
|||
|
Помогите показать примитивную рекурсивность | 2 |
652 |
15.12.2009, 10:18 Dresk |
|||
|
Построить вывод в ИВ | 17 |
3938 |
15.12.2009, 07:03 Профессор Снэйп |
|||
|
Конечное множество может быть счётным? | 5 |
4225 |
10.12.2009, 14:29 Профессор Снэйп |
|||
|
МП-автомат для распознавания заданного языка | 4 |
990 |
09.12.2009, 22:53 MMM-2000 |
|||
|
Многочлен, для которого сущ. корней недоказуемо и неопроверж | 3 |
775 |
09.12.2009, 16:44 Профессор Снэйп |
|||
|
1-ленточная Тьюринг машина и ввод квадратной длинны | 10 |
2013 |
09.12.2009, 16:11 webaib |
|||
|
общезначимость формулы | 3 |
987 |
05.12.2009, 23:58 Виктор Викторов |
|||
|
Проверить правильность рассуждения в логике предикатов. | 8 |
1942 |
29.11.2009, 23:07 Maslov |
|||
|
NP-полнота задачи комивояжера | 3 |
1954 |
29.11.2009, 13:26 Профессор Снэйп |
|||
|
Трансфинитная индукция | 15 |
4247 |
22.11.2009, 18:11 Виктор Викторов |
|||
|
Несчетное семейство подмножеств N | 8 |
2049 |
17.11.2009, 11:08 Cave |
|||
|
Математическая логика, метод резолюций | 2 |
869 |
13.11.2009, 13:54 nbyte |
|||
|
Машина Тюринга | 11 |
2145 |
13.11.2009, 11:44 nbyte |
|||
|
Конечный автомат Тюринга | 7 |
1358 |
12.11.2009, 22:09 nbyte |
|||
|
Математическая логика, метод Резолюций | 4 |
2883 |
12.11.2009, 19:11 nbyte |
|||
|
Математическая логика | 11 |
2042 |
12.11.2009, 11:32 nbyte |
|||
|
Доказательство полноты логических теорем | 3 |
700 |
11.11.2009, 06:24 Профессор Снэйп |
|||
|
Вопрос по математической логике | 8 |
1279 |
31.10.2009, 23:10 maxmatem |
|||
|
Аксиоматика вещественных чисел | 8 |
1682 |
29.10.2009, 12:02 AGu |
|||
|
Инвариант. | 8 |
3023 |
26.10.2009, 10:57 ИС |
|||
|
вопрос о книгах по мат.логике(Игошин, Непейвода) | 2 |
847 |
14.10.2009, 08:30 Профессор Снэйп |
|||
|
доказательство NP-полноты задачи. | 9 |
2061 |
12.10.2009, 13:05 Чудо-в-перьях |
|||
|
Сравнение конечных автоматов: теория сложности | 3 |
810 |
08.10.2009, 22:06 Xaositect |
|||
|
Регулярные языки | 20 |
3850 |
08.10.2009, 12:07 Чудо-в-перьях |
|||
|
Автоморфизм моделей | 4 |
969 |
07.10.2009, 12:01 Профессор Снэйп |
|||
|
Счетность множества многочленов с рац. коэффициентами | 20 |
6228 |
06.10.2009, 20:40 Maslov |
|||
|
Алгоритмически неразрешимая задача | 15 |
3115 |
28.09.2009, 15:35 maxal |
|||
 |
Биекции между промежутками | 38 |
6977 |
27.09.2009, 09:58 rishelie |
|||
|
Счетность рациональных чисел. | 21 |
7376 |
18.09.2009, 20:42 Someone |
|||
|
не-NP | 8 |
1431 |
31.08.2009, 12:28 ShMaxG |
|||
|
Нумерация рациональных чисел | 8 |
1474 |
19.08.2009, 20:26 arseniiv |
|||
|
4-х значная комплементарная логика Лобанова и ее значения | 19 |
3162 |
18.08.2009, 17:54 AGu |
|||
|
Ищется доказательство для правила "навешивания доказуемости" | 5 |
1044 |
07.08.2009, 13:54 nikov |
|||
|
Ультрафильтры | 2 |
842 |
07.08.2009, 10:39 Профессор Снэйп |
|||
|
Обозначение для конструктивной арифметики | 2 |
679 |
07.08.2009, 10:09 nikov |
|||
|
О факторизации, диофантовых уравнениях и сведении задач | 4 |
1473 |
06.08.2009, 12:51 goldbash |
|||
|
мощность множества (количество множеств заданной мощности) | 35 |
9809 |
01.08.2009, 14:14 malin |
|||
|
Можно ли вычислить значения функции? | 11 |
2570 |
22.07.2009, 12:42 Профессор Снэйп |
|||
|
Пятёрки и восьмёрки на плоскости (счетность и континуальност | 12 |
3194 |
08.07.2009, 16:02 AGu |
|||
|
Как построить конечный автомат? | 11 |
2745 |
26.06.2009, 21:24 Gilb007 |
|||
|
помогите доказать тавтологию предикатов!!! | 15 |
3860 |
26.06.2009, 16:28 Val Crazy |
|||
|
полные решетки | 51 |
7861 |
24.06.2009, 12:17 bot |
|||
|
Доказать что функция F(x,y)=2x+y+7 частично рекурсивна | 6 |
1487 |
13.06.2009, 18:20 n45 |
|||
|
Вопрос про упорядоченные множества (терминология) | 5 |
1400 |
05.06.2009, 15:27 Виктор Викторов |
|||
|
Приведение предиката к предв. форме. | 5 |
906 |
04.06.2009, 11:37 mkot |
|||
|
Математическая логика и теория алгоритмов - литература | 3 |
756 |
28.05.2009, 11:11 Brukvalub |
|||
|
Регулярные языки и делимость | 2 |
1050 |
21.05.2009, 10:08 Профессор Снэйп |
|||
|
Теория алгоритмов (обозначения) | 6 |
3004 |
21.05.2009, 08:52 AGu |
|||
|
примеры различных множеств (математическая логика) | 5 |
1332 |
07.05.2009, 13:16 gepa |
|||
| Страница 14 из 17 |
[ Тем: 817 ] | На страницу Пред. 1 ... 11, 12, 13, 14, 15, 16, 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |