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

Теория игр – это строгое стратегическое мышление. Это искусство предугадывать следующий ход соперника с учетом того, что он занимается тем же самым. Её изучение может сформировать совсем новый вз…

Теория игр – это строгое стратегическое мышление. Это искусство предугадывать следующий ход соперника с учетом того, что он занимается тем же самым. Её изучение может сформировать совсем новый вз…

НЕЗАКОННОЕ ПОТРЕБЛЕНИЕ НАРКОТИЧЕСКИХ СРЕДСТВ, ПСИХОТРОПНЫХ ВЕЩЕСТВ, ИХ АНАЛОГОВ ПРИЧИНЯЕТ ВРЕД ЗДОРОВЬЮ, ИХ НЕЗАКОННЫЙ ОБОРОТ ЗАПРЕЩЕН И ВЛЕЧЕТ УСТАНОВЛЕННУЮ ЗАКОНОДАТЕЛЬСТВОМ ОТВЕТСТВЕННОСТЬ В ч…

В книге рассмотрены важнейшие разделы математики – введение в теорию множеств, математическую логику и алгебраические системы. Учебное пособие соответствует программам курсов высшей математики дл…

В доисторической Месопотамии происходят сумасшедшие вещи. Маленькие, враждующие царства, интриги, любовь и предательство. Всё это на фоне безумного стечения обстоятельств. Планы амбициозного нова…

В доисторической Месопотамии происходят сумасшедшие вещи. Маленькие, враждующие царства, интриги, любовь и предательство. Всё это на фоне безумного стечения обстоятельств. Планы амбициозного нова…

Что означает ускоренное или замедленное расширение Вселенной? Приведено определение понятия космологического ускорения и уравнение для его вычисления. What does the accelerated or slowed down exp…

Нечёткая логика – обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная «истинная или ложная» (…

Я рассказываю о неожиданных фактах, которые могут быть причиной раскола американского общества.

Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназначено для организации самостоятельной работы …

Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназначено для организации самостоятельной работы …

Знаменитый цикл «В царстве смекалки» вот уже около ста лет остается популярным и востребованным. Многие задачи из книг Игнатьева перекочевали в другие, более поздние популярные издания и широко и…

Книга призвана помочь читателю развить свои математические навыки, улучшить логическое мышление, освоить использование языка программирования Python для решения задач. Она подходит как для самос…

Дэвид Самптер, профессор прикладной математики в Университете Уппсалы, автор нескольких научно-популярных бестселлеров, предлагает читателям осмыслить окружающий мир, прибегнув к четырем различны…

Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide t…

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам п…

Лия — единственная в мире, кто видит Ткань Сновидений — изнанку реальности, где живут забытые сны богов. Чтобы спасти своего брата, который начал «выцветать» (терять цвет кожи и память), она долж…

Praise for the First Edition «. . . an enchanting book for those people in computer science or mathematics who are fascinated by the concept of infinity.»—Computing Reviews «. . . a very well wri…

В пособии изложены основы универсальной алгебры и теории квазимногообразий, разделов математики, находящихся на стыке алгебры и математической логики. От читателя требуется владение основами алге…

В пособии изложены основы универсальной алгебры и теории решеток, разделов математики, находящихся на стыке алгебры и математической логики. От читателя требуется владение основами алгебры в рамк…