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

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


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

© 2017 books.iqbuy.ru