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

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

В данном издании представлены две работы Аристотеля — «Первая» и «Вторая аналитика» — в переводе Бориса Александровича Фохта. Они являются третьей и четвертой частями «Органона», корпуса сочинений Аристотеля по логике, составленного римским перипатетиком и комментатором Аристотеля Андроником Родосским... (Подробнее)

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

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

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

СОДЕРЖАНИЕ:

I. В чем сущность логических ошибок? II.... (Подробнее)

1. Челпанов Г.И. Учебник логики. Твердый переплет. 272 стр.

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

1. ЛОГИЧЕСКАЯ ИГРА. Пер. с англ. 200 стр. (ТВЁРДЫЙ ПЕРЕПЛЁТ)

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

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

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

УЧЕБНИК ЛОГИКИ. 272 стр.

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

1. УЧЕБНИК ЛОГИКИ. 272 стр. (ОЧЕНЬ ПРОЧНЫЙ МЯГКИЙ ПЕРЕПЛЁТ)

С обширной вступительной статьей Бирюкова Б. В. (45стр.) «О Г. И. Челпанове — выдающемся русском психологе, философе, логике: Жизненный и творческий путь. Проблема сознания. Философские взгляды. Психологический институт. Учебник логики.... (Подробнее)

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

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

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

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

Книга написана по материалам лекций и семинаров,

проводившихся авторами для студентов младших курсов мехмата МГУ. В ней

рассказывается об основных понятиях математической логики (логика

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

разрешимые теории, теорема о полноте,... (Подробнее)

Настоящий учебник, написанный в 1947 году известным российским специалистом в области истории философии, логики и литературоведения В.Ф.Асмусом, стал в свое время первой работой по формальной логике, вышедшей в СССР после долгого периода нигилистического отношения к этому научному... (Подробнее)

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

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

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

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

Текст брошюры является переводом статьи «Communication complexity», опубликованной в сборнике «An Invitation to Mathematics: From Competitions to Research», D. Schleicher, M. Lackmann (eds.), Springer, 2011, при написании которой использовались материалы курса, прочитанного автором в 2009 году... (Подробнее)

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

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

Рекомендовано УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям подготовки высшего профессионального образования 010100 «Математика», 010200 «Математика. Прикладная математика» и специальности 010101... (Подробнее)

Dynamic systems and ergodic theory. Function theory and functional analysis. Theory of Probability and Mathematical Statistics. Mathematical logic and complexity theory. Turbulence and hydrodynamics. Geometry and topology.

Тезисы докладов Международной конференции "Колмогоров и современная математика"... (Подробнее)

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

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

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

В 70-х годах XIX века немецкий математик Г. Кантор создал новую область математики — теорию бесконечных множеств. Через несколько десятилетий почти вся математика была перестроена на теоретико-множественной основе. Понятия теории множеств отражают наиболее общие свойства математических объектов.

Обычно... (Подробнее)

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

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

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