Основания математики. Математическая логика

Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллюстративные и интересные математические результаты приведены с доказательствами и поясняющими примерами. Рассмотрен вклад в историю доказательства многих великих... (Подробнее)

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

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

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

Состоит из шести глав:

1. Логика ( исчисление высказываний, исчисление предикатов);

2.Аксиоматические системы ( аксиоматический подход к логике;... (Подробнее)

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

Пифагор (VI в. до н. э.) --- не только самый популярный ученый, но и самая загадочная личность, человек-символ и человек-фантом, философ и пророк; основоположник дедуктивного научного знания --- математики и родоначальник многих мистических учений, учредитель религиозно-этического братства и создатель... (Подробнее)

Stephen Cole Kleene. Mathematical Logic

Имя одного из крупнейших специалистов в области математической логики С.К.Клини знакомо читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (переиздание которого готовится нашим издательством), ставшего настольной книгой... (Подробнее)

Математическая логика: Введение в математическую логику. 240 стр.

Авторы настоящей книги --- А.Н.Колмогоров и А.Г.Драгалин --- выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую... (Подробнее)

1. НОВЫЙ УМ КОРОЛЯ: О компьютерах, мышлении и законах физики. Пер. с англ.. 416 стр. (ОЧЕНЬ ПРОЧНЫЙ МЯГКИЙ ПЕРЕПЛЁТ)

Roger Penrose. The Emperor's New Mind. Concerning Computers, Minds and The Laws of Physics. Перевод с английского под общей редакцией В.О. Малышенко. С предисловием... (Подробнее)

1. УЧЕБНИК ЛОГИКИ. (МЯГКИЙ ПЕРЕПЛЁТ)

Вниманию читателей предлагается знаменитый учебник логики, написанный выдающимся русским философом, логиком и психологом Г.И. Челпановым. Это было лучшее учебное пособие по нематематической логике, предназначенное для гимназического курса; учебник был отмечен... (Подробнее)

1. В «Гипотезе о логике движения» предположено существование новой формы диалектической логики, предсказанной К. Марксом, Ф. Энгельсом и В. Лениным. По гипотезе, новая форма диалектической логики становится единством логики Гераклита и формальной логики. Новая форма диалектики является неформальным... (Подробнее)

Книга посвящена логическим константам, набор которых определяет правильность логического следования, лежащего, в свою очередь, в основе рационального мышления. Понимание механизма необходимости следования важно как в когнитивных исследованиях, так и в конструировании искусственного... (Подробнее)

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

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

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

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

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

Книга рассчитана на широкий круг читателей, интересующихся аксиоматическими теориями. (Подробнее)

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

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

Предлагаемая читателю книга выдающегося английского философа, логика и экономиста Уильяма Стэнли Джевонса (1835–1882) представляет собой его главный труд по вопросам логики и методологии науки, в котором им фактически были заложены основы современной логики. Книга состоит из шести частей.... (Подробнее)

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

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

Это первое издание на русском языке, посвященное творчеству знаменитого британского философа, логика и математика Дж. Спенсера-Брауна и прежде всего — его главному труду «Законы формы». В его книге описывается подход к архетипическим основаниям человеческого опыта с помощью математической... (Подробнее)

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

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

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности,

упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических... (Подробнее)

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

Вниманию читателя предлагается классическое руководство по элементам математической логики, написанное известными немецкими математиками. Материал книги вырос из курса лекций выдающегося математика конца ХIX -- начала XX вв. Д.Гильберта и был в окончательном виде подготовлен его учеником В.Аккерманом.... (Подробнее)

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

В книге описываются события послесталинской эпохи, относящиеся к философии и логике. Автор подводит итог сталинскому периоду нашей истории, как он отразился в философско-логической сфере. Книга начинается с обращения к фигуре И.В.Сталина: дается опыт его психологической характеристики,... (Подробнее)