Поиск книг по лучшей цене!

Актуальная информация о наличии книг в крупных интернет-магазинах и сравнение цен.


  • Г. П. Мельников. Азбука математической логики
    Азбука математической логики
    Г. П. Мельников
    Настоящая книга знакомит читателя с сущностью и основными принципами математической логики. Для этого в первую очередь вводится и уточняется ряд несложных, но очень важных понятий (структура, система, модель и т. д.), а затем эти понятия связываются с некоторыми уже установившимися терминами математики (такими, например, как функция, аргумент). Это позволяет полнее сформулировать сущность математической логики и ее отличие от обычных разделов математики. На примере анализа поведения "черного ящика" показаны основные типы логических отношений и изложены важнейшие законы математической логики. Заключительная глава посвящается проблеме связи математической логики и математики с традиционной аристотелевской логикой, а также выяснению того, каковы объективные причины, препятствующие разрешению этой проблемы.Книга, в которой большое внимание уделено именно исходным понятиям и их увязыванию со здравым смыслом человека, опирающимся на жизненный опыт, будет доступна читателю, не имеющему никакой математической подготовки. Немало интересного в ней найдут и специалисты — математики, инженеры и вообще исследователи, применяющие в своей работе логико-математические методы.
  • Л. Кутюра. Алгебра логики
    Алгебра логики
    Л. Кутюра
    Вниманию читателей предлагается книга известного французского математика и философа Луи Кутюра, содержащая основы алгебры логики - раздела математической логики, в котором изучаются логические операции над высказываниями. Представлены две интерпретации логического исчисления. Излагаются принципы и законы алгебры логики, важнейшие теоремы; рассматриваются логические функции и основные формулы. Издание включает два приложения, добавленные при переводе книги на русский язык, в которых рассматривается вопрос о чисто формальном обосновании логики предложений. Книга рекомендуется математикам, философам, логикам, историкам и методологам науки, студентам и аспирантам соответствующих специальностей.
  • В. В. Целищев. Алгоритмизация мышления. Геделевский аргумент
    Алгоритмизация мышления. Геделевский аргумент
    В. В. Целищев
    Монография посвящена сопоставлению возможностей искусственного интеллекта и человеческих когнитивных способностей в области математического мышления. В центре внимания находится использование теорем Курта Геделя о неполноте формальных систем математики. Логико-математическая аргументация используется в разрешении споров двух философских направлений о природе человеческого мышления - "ментализма" и "механицизма". Книга предназначена для всех интересующихся применением математической логики к философии.
  • П. С. Александров. Введение в общую теорию множеств и функций. Учебное пособие
    Введение в общую теорию множеств и функций. Учебное пособие
    П. С. Александров
    Вниманию читателей предлагается классическое учебное пособие, написанное выдающимся советским математиком, академиком АН СССР П.С. Александровым и посвященное общим вопросам теории множеств и функций. Более элементарные главы (первая, вторая, четвертая и пятая) образуют сами по себе связное целое и могут служить курсом теории множеств и теории функций действительного переменного в высших педагогических учебных заведениях. В остальных главах можно найти богатый материал для факультативных занятий студентов вузов.Книга предназначена для студентов физико-математических и педагогических факультетов высших учебных заведений, преподавателей, аспирантов, научных работников.
  • А. Черч. Введение в математическую логику. Том 1
    Введение в математическую логику. Том 1
    А. Черч
    Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней материал представляет ценность для всякого математика, в том числе и для специалиста по математической логике. В качестве справочника ею могут пользоваться также и не математики. Данный первый том вполне может быть использован в качестве самостоятельного систематического курса математической логики; второй том предполагался к изданию, но еще не был переведен на русский язык. Содержащееся в этом томе Введение по существу представляет собой самостоятельное литературное произведение, которое с интересом и пользой может читаться самыми широкими кругами научных работников, интересующихся вопросами математической логики.
  • П. С. Александров. Введение в общую теорию множеств и функций
    Введение в общую теорию множеств и функций
    П. С. Александров
    Вниманию читателей предлагается классическое учебное пособие, написанное выдающимся советским математиком, академиком АН СССР П.С.Александровым и посвященное общим вопросам теории множеств и функций. Более элементарные главы (первая, вторая, четвертая и пятая) образуют сами по себе связное целое и могут служить курсом теории множеств и теории функций действительного переменного в высших педагогических учебных заведениях. В остальных главах можно найти богатый материал для факультативных занятий студентов вузов.Книга предназначена для студентов физико-математических и педагогических факультетов высших учебных заведений, преподавателей, аспирантов, научных работников.
  • С. К. Клини. Введение в метаматематику
    Введение в метаматематику
    С. К. Клини
    Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора --- дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории общерекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций. Книга не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Тем не менее, она предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и на лиц, желающих впервые, но серьезно, изучить эти науки.
  • Раймонд Смаллиан. Вовеки неразрешимое. Путь к Геделю через занимательные загадки
    Вовеки неразрешимое. Путь к Геделю через занимательные загадки
    Раймонд Смаллиан
    Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
  • Ю. А. Гастев. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
    Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
    Ю. А. Гастев
    Настоящая книга посвящена проблемам логики, семиотики, методологии науки. В ней говорится о структурных аспектах процесса познания в терминах математической логики и алгебры. Уточняется понятие модели и процедуры моделирования с помощью понятий изоморфизма, гомоморфизма и их обобщений. Рассматриваются возможности упрощения описываемой концептуальной схемы и условия ее применимости. Помимо материала, вошедшего в первое издание, в книгу включены три энциклопедические статьи автора по философии математики и логике, подготовленные редактором-составителем для настоящего издания. Книга адресована как математикам, так и философам, логикам и историкам науки, а также широкому кругу читателей, интересующихся математической логикой и философскими проблемами математики.
  • Лэнс Фортноу. Золотой билет. P, NP и границы возможного
    Золотой билет. P, NP и границы возможного
    Лэнс Фортноу
    "Золотой билет" - великолепное введение в P/NP-проблему, в котором описаны история этой задачи и ее влияние на нашу жизнь. В этой информативной и занимательной книге Лэнс Фортноу прослеживает работу, которая велась над задачей во времена холодной войны по обе стороны "железного занавеса", и приводит примеры ее возникновения во множестве дисциплин, включая экономику, физику и биологию.Для студентов и специалистов в области теории вычислений, всех, интересующихся современными проблемами в математике.
  • А. Гейтинг. Интуиционизм
    Интуиционизм
    А. Гейтинг
    Вниманию читателей предлагается книга голландского математика и логика А.Гейтинга, представляющая собой монографию по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма - философско-математического течения, считающего интуицию единственным источником математики и главным критерием строгости ее построений. Книга написана в форме живой беседы между представителями различных точек зрения на основания математики; в ходе обсуждения рассматриваются натуральные числа, действительные числовые генераторы, арифметика действительных чисел, алгебраические поля и линейные уравнения, дифференцирование и т.д., а также некоторые вопросы логики. Приводятся теоремы и их доказательства. Книга будет полезна не только математикам всех специальностей, но и широкому кругу читателей, интересующихся математической логикой и философскими проблемами естествознания.
  • В. В. Целищев. Интуиция, финитизм и рекурсивное мышление
    Интуиция, финитизм и рекурсивное мышление
    В. В. Целищев
    В монографии отражены исследования в области философии математики, важные для понимания математического мышления, в частности, элементарных структур. В центре внимания находятся понятия математической интуиции и формальных структур - примитивно рекурсивных функций. Оба понятия рассмотрены в контексте финитизма Д.Гильберта. Книга предназначена всем интересующимся философией математики.
  • Г. В. Кондратьев. Категории и некоторые их приложения
    Категории и некоторые их приложения
    Г. В. Кондратьев
    В монографии излагается теория категорий первого порядка и строгих высших категорий. Особое внимание уделено ситуациям конкретного сопряжения и конкретной двойственности высшего порядка. Вводятся новые примеры конкретной двойственности, такие как: двойственность A.M.Виноградова, 2-двойственность Гельфанда-Наймарка, двойственность Понтрягина-Лукаша и другие. В качестве внематематического приложения рассмотрено предсказание эмпирических данных, основанное на идее естественности.Монография может быть использована как учебное пособие по общей теории категорий и возможностям ее применения в математике и других науках.
  • С. С. Марченков. Классы элементарных рекурсивных функций
    Классы элементарных рекурсивных функций
    С. С. Марченков
    В книге представлены основные классы "элементарных" рекурсивных функций, изучаемых в теории рекурсивных функций. Приведены различные определения исследуемых классов, установлены соотношения включения между ними. В терминах сложности вычислений получено описание большого числа классов элементарных функций. Для ряда классов дано решение проблемы о существовании конечных базисов по суперпозиции.Книга ориентирована на широкий круг читателей: студентов и аспирантов математических факультетов, изучающих теорию алгоритмов, а также научных сотрудников и преподавателей высшей школы.
  • А. Г. Драгалин. Конструктивная теория доказательств и нестандартный анализ
    Конструктивная теория доказательств и нестандартный анализ
    А. Г. Драгалин
    А.Г.Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г.Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е.Минца. В издание вошли также воспоминания коллег, учеников и друзей А.Г.Драгалина - С.Н.Артемова, Э.Б.Баялинова, А.С.Бойцова, Б.А.Кушнера, Г.Е.Минца, Е.Ю.Ногиной, А.Трулстра, В.Б.Шехтмана. Аналитический обзор основных результатов А.Г.Драгалина представлен в предисловии Н.Н.Непейводы. Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
  • Б. В. Бирюков. Крушение метафизической концепции универсальности предметной области в логике. Контроверза Фреге-Шредер
    Крушение метафизической концепции универсальности предметной области в логике. Контроверза Фреге-Шредер
    Б. В. Бирюков
    В настоящей книге рассматривается драматическая история математической логики, связанная с понятием "универсума рассуждения" - предметной области в логике. Освещается коллизия взглядов двух выдающихся логиков конца XIX - начала XX в.: Г.Фреге и Э.Шредера. Логические построения Фреге, настаивавшего на всеобщем характере логического универсума, привели к противоречивости его системы ("парадокс Рассела"). Подход Шредера вылился в исторически первую логическую теорию типов предметов. Показано, что спор Фреге и Шредера отражал диалектическую природу логико-онтологического принципа тождества. Книга рассчитана на широкий круг читателей, интересующихся философскими проблемами современной науки, специалистов в области философии и логики, преподавателей высших учебных заведений, аспирантов и студентов - философов, историков математики и логиков.
  • Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств
    Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств
    Н. К. Верещагин, А. Шень
    Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150 задач различной трудности. Предыдущее издание книги вышло в 2008 г.
  • С. А. Яновская. Лекции по алгебре логики
    Лекции по алгебре логики
    С. А. Яновская
    Софья Александровна Яновская - советский математик, логик, философ, доктор физико-математических наук. Ее труды посвящены проблемам истории, методологии и философии математики. С.А.Яновская внесла большой вклад в развитие математической логики в нашей стране: читала курсы лекций, совместно с И.И.Жегалкиным организовала научно-исследовательский семинар по математической логике, содействовала созданию кафедры математической логики на механико-математическом факультете МГУ. В настоящем издании вниманию читателей предлагаются лекции С.А.Яновской по алгебре логики, которые читались ею в 1950-е годы на философском факультете МГУ. Эти лекции были записаны и обработаны Б.В.Бирюковым в те же годы. Лекции могут быть полезны студентам математических и философских факультетов и всем интересующимся логикой.
  • Н. Данфорд, Дж. Т. Шварц. Линейные операторы. Общая теория
    Линейные операторы. Общая теория
    Н. Данфорд, Дж. Т. Шварц
    В настоящем издании авторы дают исчерпывающий обзор общей теории линейных операторов. Книга содержит подготовительный материал: теоретико-множественные, топологические и алгебраические понятия, основные принципы линейного анализа, теорию интегрирования и функций множеств. Далее идут примеры специальных пространств, обзор слабых топологий, теория операторов и общая спектральная теория. Последняя глава посвящена некоторым приложениям (полугруппы и эргодическая теория). В издание включена обширная библиография. Книга написана четким языком и снабжена многочисленными упражнениями; она может поэтому служить учебником по теории линейных операторов. Текст доступен студентам старших курсов математических факультетов университетов и пединститутов; студенты и аспиранты, специализирующиеся по теоретической физике, найдут много полезного материала, поскольку теория линейных операторов является основным аппаратом современной физики (квантовая механика и квантовая теория поля). Для специалистов книга послужит исчерпывающим справочником.
  • П. С. Порецкий. Логические равенства
    Логические равенства
    П. С. Порецкий
    Вашему вниманию предлагается книга П.С.Порецкого "Логические равенства". Для широкого круга читателей.

© 2017 books.iqbuy.ru