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

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


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

© 2017 books.iqbuy.ru