Мат. логика, основания математики, теория алгоритмов

Вопросы по синтаксису Бурбаки

Sun, 27 Oct 2024 18:19:11 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 72 Ответы || 89939 Просмотры Last post by talash

Пустое множество - подмножество любого множества?

Fri, 01 Dec 2023 07:58:21 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 36 Ответы || 53445 Просмотры Last post by Ende

Континуум-гипотеза: как понять?

Wed, 12 Oct 2022 19:04:21 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 33 Ответы || 41249 Просмотры Last post by пианист

Задачки из книги Зорича

Thu, 11 Aug 2022 18:31:20 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 27 Ответы || 43944 Просмотры Last post by Lia

Импликация. Почему определяется именно так?

Mon, 01 Aug 2022 00:04:54 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 23 Ответы || 40215 Просмотры Last post by Konstantin Donskoy

Пробел в доказательстве у Ершова-Палютина?

Thu, 16 Dec 2021 05:46:26 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 3 Ответы || 8151 Просмотры Last post by pupugai

Множества vs Классы

Tue, 15 Dec 2020 20:28:53 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 24 Ответы || 35053 Просмотры Last post by Someone

Задача на применение аксиомы Цермело

Wed, 10 Jun 2020 19:43:08 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 11 Ответы || 27457 Просмотры Last post by parean

Почему из лжи следует истина в таблицах истинности?

Wed, 25 Mar 2020 13:45:53 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 42 Ответы || 93380 Просмотры Last post by george66

Теорема Гудстейна

Thu, 16 Jan 2020 08:55:34 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 6 Ответы || 14964 Просмотры Last post by rishelie

Рациональные ли числа pi-e,pi+e,pi*e...

Sat, 10 Aug 2019 18:13:00 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 24 Ответы || 45923 Просмотры Last post by mihaild

Помогите разобраться с P vs NP

Wed, 13 Mar 2019 22:58:38 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 4 Ответы || 15310 Просмотры Last post by ArshakA

Теорема Геделя о неполноте

Sat, 05 Jan 2019 19:57:43 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 25 Ответы || 50414 Просмотры Last post by Sycamore

Доказать в исчислении высказываний

Wed, 12 Sep 2018 14:49:44 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 17 Ответы || 29140 Просмотры Last post by damir_777

Зорич. Теорема Шредера-Бернштейна.

Wed, 20 Jun 2018 17:42:15 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 9 Ответы || 16804 Просмотры Last post by ewert

Случайность в арифметике

Tue, 20 Feb 2018 11:31:12 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 3 Ответы || 10800 Просмотры Last post by maximk

Верещагин, Шень. Эквивалентность и порядок

Fri, 27 Oct 2017 11:40:28 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 81 Ответы || 96637 Просмотры Last post by Sdy

Вычисление обратной к супертеплиецевой 3-диаг. матрице 25х25

Mon, 19 Dec 2016 21:18:30 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 1 Сообщение || 9529 Просмотры Post by alcoholist

Пустое множество является подмножеством любого множества

Sat, 03 Dec 2016 18:49:26 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 55 Ответы || 77741 Просмотры Last post by Aritaborian

Декартово произведение множеств

Mon, 14 Mar 2016 15:44:14 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 36 Ответы || 56077 Просмотры Last post by Karan

Теория множеств [Литература]

Sun, 28 Feb 2016 12:51:54 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 9 Ответы || 19161 Просмотры Last post by Anton_Peplov

Вывод теорем

Thu, 18 Feb 2016 14:06:31 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 7 Ответы || 16590 Просмотры Last post by arseniiv

Мощность множества функций и континуум-гипотеза

Wed, 17 Feb 2016 15:45:04 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 11 Ответы || 16249 Просмотры Last post by Mihr

Формализация логики высказываний

Mon, 15 Feb 2016 18:36:55 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 6 Ответы || 12760 Просмотры Last post by arseniiv

Помогите доказать, что A\(B\C) = (A\B) или (A и C).

Sun, 14 Feb 2016 19:08:07 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 10 Ответы || 28279 Просмотры Last post by arseniiv

Исчисление высказываний. Вывод формулы.

Mon, 08 Feb 2016 18:30:31 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 5 Ответы || 14236 Просмотры Last post by Korner

Частично упорядоченные множества

Sun, 07 Feb 2016 18:28:50 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 15 Ответы || 35202 Просмотры Last post by arseniiv

Невычислимые числа.

Wed, 03 Feb 2016 10:27:25 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 30 Ответы || 30442 Просмотры Last post by whitefox

Счетные и несчетные множества

Thu, 28 Jan 2016 22:30:46 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 23 Ответы || 26288 Просмотры Last post by Someone

Сходящаяся последовательность множеств

Sun, 24 Jan 2016 11:56:05 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 15 Ответы || 25389 Просмотры Last post by Anton_Peplov

Теория множеств. Построить взаимно-однозначное соответствие

Sun, 24 Jan 2016 08:35:19 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 4 Ответы || 12194 Просмотры Last post by OneMore

Круги Эйлера и диаграммы Венна

Fri, 22 Jan 2016 12:15:53 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 3 Ответы || 10499 Просмотры Last post by Someone

Глупый вопрос по теории множеств, A^0

Tue, 05 Jan 2016 08:03:40 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 43 Ответы || 77256 Просмотры Last post by Mikhail_K

Истинные утверждения

Wed, 30 Dec 2015 13:12:43 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 13 Ответы || 30478 Просмотры Last post by Sicker

Задача про бесов

Mon, 28 Dec 2015 14:54:39 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 18 Ответы || 27636 Просмотры Last post by Someone

Математическая логика

Mon, 28 Dec 2015 11:01:54 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 7 Ответы || 18297 Просмотры Last post by gefest_md

Независимость и невыводимость

Mon, 21 Dec 2015 05:58:54 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 5 Ответы || 14991 Просмотры Last post by Sonic86

Большие кардиналы: за и против

Sun, 06 Dec 2015 14:28:10 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 15 Ответы || 19174 Просмотры Last post by Deggial

Может ли ZFC быть непротиворечивой и неверной?

Sun, 06 Dec 2015 11:47:26 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 7 Ответы || 16245 Просмотры Last post by Someone

Множество упорядоченных пар натуральных чисел счётно

Mon, 30 Nov 2015 11:09:36 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 8 Ответы || 13223 Просмотры Last post by Someone

Переглянувшиеся марсианки

Sat, 28 Nov 2015 16:59:00 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 9 Ответы || 13441 Просмотры Last post by Aritaborian

Примеры истинных импликаций с ложной посылкой

Sat, 28 Nov 2015 08:58:08 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 31 Ответы || 48682 Просмотры Last post by Sinoid

Кардинал больше соответствующего ординала?

Sun, 22 Nov 2015 12:25:45 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 3 Ответы || 12018 Просмотры Last post by revenalp

Моноид в аппликативном функторе - моноид?

Sun, 15 Nov 2015 19:26:49 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 19 Ответы || 26619 Просмотры Last post by beroal

Доказательство тождества (вопросы из учебника)

Wed, 11 Nov 2015 14:20:03 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 13 Ответы || 33106 Просмотры Last post by Sonic86

Доказать что формула тождественно-истинная

Wed, 11 Nov 2015 08:51:48 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 18 Ответы || 23747 Просмотры Last post by whitefox

Вопрос по диагональному методу Кантора

Tue, 10 Nov 2015 16:22:30 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 59 Ответы || 128540 Просмотры Last post by Someone

Зеркальность “∪” и “∩”.

Sun, 01 Nov 2015 09:13:58 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 6 Ответы || 19103 Просмотры Last post by nou

Алгебра логики

Mon, 26 Oct 2015 07:34:47 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 13 Ответы || 29617 Просмотры Last post by provincialka

Мощности в ZFC

Thu, 22 Oct 2015 20:37:07 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 7 Ответы || 17817 Просмотры Last post by Someone

Существование биекции RxR в R вида f(x,y) = g(x) + h(y)

Wed, 21 Oct 2015 17:01:02 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 7 Ответы || 5758 Просмотры Last post by ISBA

n-оценка

Wed, 21 Oct 2015 11:32:20 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 4 Ответы || 2948 Просмотры Last post by Xaositect

конгруэнция

Thu, 15 Oct 2015 11:36:19 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 8 Ответы || 4084 Просмотры Last post by Xaositect

Доказательства по кардиналам

Sun, 11 Oct 2015 19:19:50 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 18 Ответы || 6725 Просмотры Last post by ervadi

Примитивная рекурсивность целой части суммы корней

Fri, 09 Oct 2015 16:14:21 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 6 Ответы || 3007 Просмотры Last post by sofochchka94

Непротиворечивость теории категорий

Tue, 06 Oct 2015 18:42:25 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 21 Ответы || 7526 Просмотры Last post by arseniiv

3072 трёхзначные логики

Wed, 23 Sep 2015 22:11:15 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 28 Ответы || 13510 Просмотры Last post by Ktina

Как дать определение множ действ чисел средствами ZF(C) ?

Mon, 21 Sep 2015 15:02:52 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 10 Ответы || 4858 Просмотры Last post by arseniiv

Эффективно нулевые множества по Мартин-Лёфу

Sun, 20 Sep 2015 18:04:54 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 3 Ответы || 1914 Просмотры Last post by Anton_Peplov

Мощность множества всех последовательностей

Thu, 17 Sep 2015 11:10:10 GMT

Мат. логика, основания математики, теория алгоритмов

Статистика : 16 Ответы || 7825 Просмотры Last post by ewert