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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Часть 4: Восприятие внешнего мира коллективами носителей интеллекта

Часть 1: Сознание, мышление и эмоции.... (Подробнее)

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

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

1. Ткань космоса: Пространство, время и текстура реальности. Пер. с англ.. Мягкая обложка. 608 стр.

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

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

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

По первоначальному замыслу книга предназначалась в качестве учебного пособия к курсу «Введение в математику» для студентов отделений теоретической и прикладной лингвистики.

В книге систематически описываются начальные понятия математики «множество», «кортеж», «слово» (эти... (Подробнее)

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

Вниманию читателей предлагается книга выдающегося философа и логика XX века К.Р.Поппера, занимающая в ряду сочинений автора особое место: это — третья, после «Логики научного исследования» (1934, 1959) и «Предположений и опровержений» (1963), его классическая работа по философии, теории познания... (Подробнее)

Бертран Рассел (1872–1970), математик, общественный деятель, крупнейший философ ХХ века, внесший фунламентальный вклад в математическую логику и основания математики, один из основоположников аналитической философии, лауреат Нобелевской премии по литературе.

Г. Ландини представил «ревизионистскую... (Подробнее)