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

Penrose R., Shadows of the Mind: A Search for the Missing Science of Consciousness

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

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

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

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

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

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

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

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

Книга выдающегося английского мыслителя Джона Стюарта Милля (1806–1873) является одним из известнейших классических произведений философии. В этой работе, впервые вышедшей в свет в середине XIX века, рассматриваются проблемы, решение которых актуально и в наше время. Таковыми... (Подробнее)

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

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

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

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

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

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

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

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

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

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

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

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

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

Ч. 1: Сознание, мышление и эмоции.

Ч. 2: Модели сознания. Может ли робот любить, страдать и иметь другие эмоции?

Ч. 3: Восприятие внешнего мира индивидуальными носителями интеллекта.

Ч. 4: Восприятие внешнего мира коллективами носителей интеллекта (Подробнее)

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

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

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

Рожденный в 1872 году, третий ребенок виконта Эмберли, наследник графского титула, Бертран Рассел стал самым влиятельным философом XX века. Его первый шедевр Principia Mathematica, написанный вместе с Альфредом Нортом Уайтхедом, определил курс на модернистское и постмодернистское внимание к языку.... (Подробнее)

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

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

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

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

Таким образом, в этой книге, имеющей решающее значение для логической теории и философии... (Подробнее)

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