~~~~~~~~~~~~~~~~~~~~ Arc.Ask3.Ru ~~~~~~~~~~~~~~~~~~~~~ 
Номер скриншота №:
✰ 77E8AF5B5C782BDA2C886E6CF2CFDA2E__1685735100 ✰
Заголовок документа оригинал.:
✰ Category:Mathematical logic - Wikipedia ✰
Заголовок документа перевод.:
✰ Категория:Математическая логика — Википедия ✰
Снимок документа находящегося по адресу (URL):
✰ https://en.wikipedia.org/wiki/Category:Mathematical_logic ✰
Адрес хранения снимка оригинал (URL):
✰ https://arc.ask3.ru/arc/aa/77/2e/77e8af5b5c782bda2c886e6cf2cfda2e.html ✰
Адрес хранения снимка перевод (URL):
✰ https://arc.ask3.ru/arc/aa/77/2e/77e8af5b5c782bda2c886e6cf2cfda2e__translat.html ✰
Дата и время сохранения документа:
✰ 11.06.2024 10:12:04 (GMT+3, MSK) ✰
Дата и время изменения документа (по данным источника):
✰ 2 June 2023, at 22:45 (UTC). ✰ 

~~~~~~~~~~~~~~~~~~~~~~ Ask3.Ru ~~~~~~~~~~~~~~~~~~~~~~ 
Сервисы Ask3.ru: 
 Архив документов (Снимки документов, в формате HTML, PDF, PNG - подписанные ЭЦП, доказывающие существование документа в момент подписи. Перевод сохраненных документов на русский язык.) 
✰ https://arc.ask3.ru ✰
 Ответы на вопросы (Сервис ответов на вопросы, в основном, научной направленности) 
✰ https://ask3.ru/answer2question ✰
 Товарный сопоставитель (Сервис сравнения и выбора товаров) ✰✰
✰ https://ask3.ru/product2collation ✰
 Партнеры 
✰ https://comrades.ask3.ru ✰

Совет. Чтобы искать на странице, нажмите Ctrl+F или ⌘-F (для MacOS) и введите запрос в поле поиска.

Arc.Ask3.ru: далее начало оригинального документа

Категория:Математическая логика — Википедия Jump to content

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

Из Википедии, бесплатной энциклопедии

Викискладе есть медиафайлы, связанные с математической логикой .

Математическая логика — это изучение формальной логики в математике. Исследования в области математической логики обычно обращаются к математическим свойствам формальных систем логики, таким как их выразительная или дедуктивная сила.

Математическая логика делится на четыре части:

Теория моделей
Теория доказательств
Теория рекурсии , также известная как теория вычислимости.
Теория множеств

Разделения между этими областями, а также различия между математической логикой и остальной математикой не совсем резкие: многие области исследований и методов частично перекрываются и усиливают друг друга.

Подкатегории

Эта категория имеет следующие 34 подкатегории из 34.

*

А

Алгебраическая логика ‎ ( 1 С, 23 Б)
Алгоритмы ‎ ( 59 С, 135 П)
Автоматическое доказательство теорем ‎ ( 3 C, 39 P)
Математические аксиомы ‎ ( 2 C, 22 P)

Б

Булева алгебра ‎ ( 2 C, 98 P)

С

Логические исчисления ‎ ( 4 С, 35 П)
Категориальная логика ‎ ( 1 C, 7 P)
Логика в информатике ‎ ( 20 С, 101 Б)
Конструктивизм (математика) ‎ ( 2 С, 40 Б)

Ф

ЧАС

Математически-логические иерархии ‎ ( 1 C, 10 P)

я

Результаты Независимости ‎ ( 21 П)

л

Масштабные проекты математической формализации ‎ ( 7 Б)
Логические выражения ‎ ( 1 С, 21 П)
Логический позитивизм ‎ ( 1 С, 20 П)
Логическая истина ‎ ( 24 П)
Математические логики ‎ ( 4 С, 121 П)

М

Журналы математической логики ‎ ( 6 П)
Модальная логика ‎ ( 6 C, 50 P)

О

Математически-логические организации ‎ ( 5 Б)

п

Логика предикатов ‎ ( 2 C, 36 P)

вопрос

Квантор (логика) ‎ ( 20 П)

р

Рекурсия ‎ ( 5 С, 45 П)

С

Замена (логика) ‎ ( 3 П)

Т

Теоремы в основах математики ‎ ( 1 С, 54 Б)
Теория типов ‎ ( 4 C, 113 P)

С

Корешки математической логики ‎ ( 2 С, 105 Б)

Страницы в категории «Математическая логика»

Следующие 197 страниц относятся к этой категории из 197 страниц. Этот список может не отражать последние изменения .

А

Б

С

Д

И

Ф

г

ЧАС

я

К

л

М

Н

О

п

вопрос

Квантовая логика

р

С

Т

В

V

В

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Mathematical_logic&oldid=1158256249"

Категории :

Скрытые категории:

Arc.Ask3.Ru: конец оригинального документа.

Arc.Ask3.Ru
Номер скриншота №: 77E8AF5B5C782BDA2C886E6CF2CFDA2E__1685735100
URL1:https://en.wikipedia.org/wiki/Category:Mathematical_logic
Заголовок, (Title) документа по адресу, URL1:
Category:Mathematical logic - Wikipedia

Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть, любые претензии не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, денежную единицу можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)