| На страницу Пред. 1, 2, 3, 4, 5, 6, 7 ... 17 След. | 
|  | |||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
|  | ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 | 10664 | 12.02.2012, 16:29 PAV | |||
| Темы | |||||||
|  | График отображения | 13 | 6082 | 17.06.2014, 23:43 Munin | |||
|  | конечные множества | 9 | 5010 | 04.06.2014, 17:52 Deggial | |||
|  | Вычислимая биекция простого множества | 0 | 1744 | 04.06.2014, 17:01 rkrkrk | |||
|  | исчисление высказываний | 3 | 2760 | 23.05.2014, 23:27 gefest_md | |||
|  | Задача Иосифа для шага выбывания > 2 | 4 | 3059 | 29.04.2014, 13:06 constantin | |||
|  | Мощность объединения двух равномощных множеств | 23 | 8509 | 10.04.2014, 01:02 Xaositect | |||
|  | Система уравнений, мат. логика | 6 | 3285 | 05.04.2014, 16:44 milky | |||
|  | Теория множеств. | 7 | 3791 | 30.03.2014, 17:34 provincialka | |||
|  | Счётность множества алгебраическиx иррациональныx чисел | 2 | 2375 | 30.03.2014, 13:22 reborn980 | |||
|  | теория множеств | 7 | 3890 | 16.03.2014, 01:14 ABViktor | |||
|  | Определение квантора? | 13 | 5722 | 10.03.2014, 16:15 arseniiv | |||
|  | Дискретная математика. Шефферова функция | 4 | 3293 | 02.03.2014, 14:19 usmanovamir | |||
|  | Составить рекуррентное выражение для вычисления функции | 6 | 3333 | 22.02.2014, 20:40 Kosat | |||
|  | Эквивалентность при решении методом резолюций | 3 | 2591 | 22.02.2014, 12:51 Deggial | |||
|  | Аксиоматика - нужен совет | 8 | 4526 | 20.02.2014, 00:48 Dan B-Yallay | |||
|  | Вероятность остановки программы | 17 | 6031 | 18.02.2014, 01:46 cscscs | |||
|  | Какова мощность множества всех множеств? | 8 | 4748 | 17.02.2014, 06:37 Deggial | |||
|  | Возведение мощностей в степень | 12 | 5543 | 11.02.2014, 15:57 Xaositect | |||
|  | Доказательство теоремы Гёделя о неполноте | 6 | 3417 | 10.02.2014, 18:24 Xaositect | |||
|  | Теории с очень длинным доказательством их противоречия | 5 | 2880 | 09.02.2014, 20:04 cscscs | |||
|  | Вопрос про машину Тьюринга | 14 | 4349 | 09.02.2014, 00:59 Xaositect | |||
|  | Существование биимунных множеств. | 2 | 2091 | 08.02.2014, 20:29 rkrkrk | |||
|  | Мат. логика. Свободные и связанные переменные | 21 | 6506 | 07.02.2014, 21:45 Sonic86 | |||
|  | Найти мощность множества | 7 | 3875 | 30.01.2014, 18:12 arseniiv | |||
|  | Одна теорема из логики | 3 | 2466 | 27.01.2014, 09:32 nikvic | |||
|  | лямбда-исчисление. комбинатор неподвижной точки. рекурсия | 3 | 2341 | 26.01.2014, 01:51 Xaositect | |||
|  | Матлогика - интерпретация языка | 7 | 3422 | 20.01.2014, 23:50 Maslov | |||
|  | Континуальная композиция | 18 | 5681 | 18.01.2014, 21:06 arseniiv | |||
|  | Аксиома выбора | 1 | 1947 | 05.01.2014, 22:44 Someone | |||
|  | Вопрос по теории множеств | 10 | 3929 | 05.01.2014, 13:35 Felt | |||
|  | Теорема Шредера (Кантора) Бернштейна | 3 | 2347 | 03.01.2014, 23:25 Xvovan3 | |||
|  | Выводимы ли в ZF аксиомы Пеано ? | 20 | 5967 | 31.12.2013, 17:31 Someone | |||
|  | Вычислимые перестановки целых чисел | 3 | 2147 | 31.12.2013, 11:28 nikvic | |||
|  | Мощность множества полных теорий | 1 | 1802 | 25.12.2013, 10:08 bot | |||
|  | Доказать неаксиоматизируемость класса | 14 | 4282 | 24.12.2013, 15:28 Flaminga | |||
|  | Конъюнкция через дизъюнкцию и импликацию | 4 | 2504 | 24.12.2013, 06:51 Deggial | |||
|  | Мат. Лог | 4 | 2417 | 23.12.2013, 19:19 capabilitier | |||
|  | Понижение мощности модели | 1 | 1758 | 23.12.2013, 17:38 TehNick | |||
|  | Логика. частично упорядоченное множество. | 1 | 1779 | 20.12.2013, 17:44 blade | |||
|  | Доказать не-общезначимость формулы | 12 | 4580 | 08.12.2013, 20:36 Sonic86 | |||
|  | Что за задача Пи против нПи? | 14 | 5007 | 06.12.2013, 20:25 VAL | |||
|  | Математическая индукция, два утверждения в базе | 18 | 5122 | 03.12.2013, 05:15 Otta | |||
|  | Основные сводимости в теории NP-полных задач | 2 | 2280 | 02.12.2013, 14:08 Xaositect | |||
|  | Построение вывода. | 23 | 5850 | 28.11.2013, 22:59 arseniiv | |||
|  | Задача на метод резолюции. | 1 | 1890 | 18.11.2013, 23:24 _Ivana | |||
|  | Помогите разобраться. 2 задачи по мат. логике | 56 | 15501 | 18.11.2013, 17:43 antoniosm | |||
|  | Изоморфизм между полными упорядоченными полями | 8 | 3398 | 29.10.2013, 11:20 Someone | |||
|  | Задача о рюкзаке NP-трудна | 3 | 2314 | 26.10.2013, 22:18 _hum_ | |||
|  | Найти биективное отображение | 8 | 3519 | 25.10.2013, 13:57 gris | |||
|  | Мощность множества иррациональных чисел | 22 | 10917 | 21.10.2013, 23:14 Mopnex | |||
| Страница 4 из 17 | [ Тем: 820 ] | На страницу Пред. 1, 2, 3, 4, 5, 6, 7 ... 17 След. | 
Модераторы: Модераторы Математики, Супермодераторы
| Кто сейчас на конференции | 
| Сейчас этот форум просматривают: ClaudeBot |