Книги

Одиннадцатая книжка из серии «Школьные математические кружки» посвящена логическим задачам для начинающих: о знаменитом острове рыцарей и лжецов, о ситуациях с запутанными показаниями свидетелей, поиске виновника и выяснении кто есть кто. Специальных ...

Книга посвящена впечатляющим результатам в алгебраической геометрии, полученным на основе применения современных достижений теории моделей (доказательство гипотезы Морделла-Ленга для полей функций, доказательство гипотезы Манина-Мамфорда, эффективная ...

Изложены базовые понятия и принципы математической логики и теории алгоритмов. Рассмотрен ряд распространенных логических парадоксов, на примере которых показаны трудности, возникающие в логике. Книга содержит разнообразные логические задачи, упражнения, ...

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

Вниманию читателей предлагается книга известного французского математика и философа Луи Кутюра, содержащая основы алгебры логики - раздела математической логики, в котором изучаются логические операции над высказываниями. Представлены две интерпретации ...

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

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

Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р.Л....

При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи оптимального представления булевых функций и систем полиномами Жегалкина и Рида-Маллера. Эта комбинаторная задача существенно усложняется в случае не ...

Настоящая книга содержит лекции по истории логики Нового времени, читанные профессором Валентином Фердинандовичем Асмусом (1894-1947) на философском факультете МГУ им М.В.Ломоносова в 1952-1953 учебном году и тогда же застенографированные. В них слышится ...

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

Критическому разбору идей «логицизма» -- направления, ставящего целью обосновать математику сведением ее исходных понятий к понятиям логики, -- выдающийся французский математик и философ А.Пуанкаре (1854-1912) посвятил работу «Математика и логика», ...

В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-мате...

Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении...

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

В настоящей книге, написанной выдающимся отечественным философом и логиком А.А.Зиновьевым, дается систематическое изложение формального аппарата разработанной автором комплексной логики. Рассматривается общая теория дедукции и ее расширения, включая теорию...

В настоящей книге, написанной выдающимся отечественным философом и логиком А.А.Зиновьевым, под логической физикой понимается раздел логики, в котором исследуется терминология, относящаяся к пространству, времени, движению, причинности и т.д. В отличие от ...

Исследования научных знаний в рамках понятий и методов логики образуют логическую теорию научных знаний. В книге выдающегося отечественного мыслителя А.А.Зиновьева дается систематизированное построение той концепции логической теории научных знаний, ...

Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта --- вот рассматриваемый круг вопросов....

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