 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 13, 14, 15, 16, 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
10405 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Счётность антицепи | 8 |
1467 |
25.08.2008, 17:29 bubu gaga |
|||
|
Несоразмерность показательного множества и аксиома выделения | 5 |
985 |
18.08.2008, 13:10 AGu |
|||
 |
пустое множество | 67 |
15403 |
15.06.2008, 21:25 Heathy |
|||
|
множество sin(n), n=1,2... всюду плотно в [-1,1] | 4 |
1401 |
06.06.2008, 14:48 Taras |
|||
|
Пустое множество --- это не "ничего". | 20 |
3673 |
25.05.2008, 14:04 Ирина1 |
|||
|
задача: множество Кантора гомеоморфно ожерелью Антуана | 8 |
1978 |
24.05.2008, 13:19 Marrow |
|||
|
Сравнить мощности множеств (числовых последовательностей) | 2 |
937 |
23.05.2008, 21:41 Echo-Off |
|||
|
Задача про порядковые типы | 3 |
1062 |
23.05.2008, 15:12 Профессор Снэйп |
|||
|
Найти длину совершенной ДНФ | 1 |
929 |
19.05.2008, 12:08 luitzen |
|||
|
Логика предикатов, проблема разрешимости | 8 |
2499 |
13.05.2008, 19:56 Профессор Снэйп |
|||
|
Машина Тьюринга, Нахождение модуля разности чисел | 3 |
1618 |
12.05.2008, 10:53 Профессор Снэйп |
|||
|
Мощность множества биекций интервала на себя | 5 |
1563 |
24.04.2008, 15:55 ИСН |
|||
|
Ряд вопросов по формальным аксиоматическим системам | 27 |
8393 |
08.04.2008, 17:36 маткиб |
|||
|
мощность декартова произведения бесконечных множеств | 8 |
2952 |
20.02.2008, 20:53 Профессор Снэйп |
|||
|
Автомат | 35 |
9162 |
06.02.2008, 19:24 Профессор Снэйп |
|||
|
Математическая логика (сигнатуры...) | 7 |
2796 |
28.01.2008, 23:27 нг |
|||
|
Математическая логика (упорядоченные множества...) | 3 |
1371 |
28.01.2008, 16:24 Профессор Снэйп |
|||
|
Фильтрованное произведение | 4 |
1665 |
28.01.2008, 16:10 Spook |
|||
|
фильтры и ультрафильтры | 9 |
2518 |
27.01.2008, 20:45 Spook |
|||
|
Нумерация множеств | 5 |
2330 |
25.01.2008, 14:18 PAV |
|||
|
мощность множества ультрафильтров на счетном множестве | 3 |
1468 |
24.01.2008, 23:20 Someone |
|||
|
Задача на полноту системы функций | 5 |
1822 |
23.01.2008, 22:35 Профессор Снэйп |
|||
|
теорема Райса | 16 |
5362 |
23.01.2008, 00:29 Профессор Снэйп |
|||
|
Определить мощность: рациональные последовательности | 11 |
2972 |
21.01.2008, 18:14 Профессор Снэйп |
|||
|
Интерпретация сигнатуры | 5 |
1796 |
05.01.2008, 16:30 lofar |
|||
|
Мат. лог | 15 |
5463 |
27.12.2007, 14:20 Профессор Снэйп |
|||
|
Разрешимые множества и машина Тьюринга | 1 |
1248 |
27.12.2007, 07:21 незваный гость |
|||
|
Математическая логика, рекурсивное определение функции f... | 4 |
1697 |
24.12.2007, 13:25 vadim55 |
|||
|
дискретная математика (множества) | 143 |
51980 |
24.11.2007, 23:46 vadim55 |
|||
|
Окружности: Выяснить мощность множеств | 7 |
4162 |
22.10.2007, 09:42 Hymilev |
|||
|
Мощность множеств | 18 |
8860 |
21.10.2007, 17:15 Di |
|||
|
Нарисовать цифровую микросхему на основе логики (палиндром) | 7 |
3054 |
19.10.2007, 23:33 photon |
|||
|
что такое "cut-free Gentzen ..." ? | 10 |
4333 |
15.10.2007, 23:34 luitzen |
|||
|
Помогите решить задачу по мат.логике. | 10 |
4758 |
04.10.2007, 11:17 diff |
|||
|
Ещё раз про парадокс Сколема | 1 |
2255 |
19.09.2007, 15:27 epros |
|||
|
Метод форсинга на пальцах можете объяснить? | 1 |
2126 |
15.09.2007, 02:50 Dan B-Yallay |
|||
|
Примитивно и частично рекурсивные функции (вопросы) | 2 |
2891 |
28.08.2007, 09:02 Rif |
|||
|
Симметричное транзитивное бинарное отношение | 9 |
5130 |
22.08.2007, 05:25 bot |
|||
|
биекция R->R в заданными свойствами | 7 |
4127 |
09.07.2007, 13:40 Lyoha |
|||
|
Порядковые типы | 11 |
5201 |
28.05.2007, 18:30 Maximum |
|||
|
Формула сигнатуры | 5 |
2840 |
25.05.2007, 11:55 bot |
|||
|
Секвенция | 5 |
3094 |
25.05.2007, 06:20 Maximum |
|||
|
Как логически записать, что можно и то и то? | 20 |
10246 |
25.05.2007, 02:20 Dims |
|||
|
порядковые (трансфинитные) числа | 11 |
5412 |
24.05.2007, 22:53 Someone |
|||
|
Доказательство "аксиомы Дедекинда" | 4 |
2716 |
20.05.2007, 23:31 Someone |
|||
|
Мощности множеств (9 класс) | 5 |
3064 |
13.05.2007, 08:22 Olympiya |
|||
|
Аксиомы Пеано и формальная логика. | 1 |
3129 |
12.05.2007, 12:31 Котофеич |
|||
|
"рекурсивно счетная функция" | 5 |
2809 |
19.04.2007, 19:54 elle |
|||
|
утверждения об истинности самих себя (задача) | 11 |
4998 |
03.04.2007, 21:30 PAV |
|||
|
как в аксиоматич. теории множеств выводится a \notin a | 7 |
3884 |
02.04.2007, 18:39 Someone |
|||
| Страница 16 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 13, 14, 15, 16, 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |