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

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


  • Томас Х. Кормен. Алгоритмы. Вводный курс
    Алгоритмы. Вводный курс
    Томас Х. Кормен
    Эта книга написана признанным авторитетом в области компьютерных алгоритмов - профессором информатики Томасом Корменом, чей труд "Алгоритмы. Построение и анализ", написанный в соавторстве с такими выдающимися учеными, как Чарльз Лейзерсон, Рональд Ривест и Клиффорд Штайн, выдержав три издания, давно стал общепризнанным классическим учебником по алгоритмам. Поскольку книга "Алгоритмы. Построение и анализ" предназначена в первую очередь для студентов и аспирантов, то есть подразумевает достаточно серьезную математическую подготовку, Т.Кормен написал книгу, предназначенную для всех, кого интересуют вопросы, связанные с компьютерными алгоритмами, но базовое образование, да и просто отсутствие времени не позволяют взяться за серьезный труд объемом более 1300 страниц. При всей простоте и легкости изложения эту книгу, как и все вышедшее из-под пера Т.Кормена, отличают точность, широкий спектр охватываемых вопросов, глубина изложения. Основной предполагаемый читатель этой книги - молодой человек, раздумывающий, стоит ли ему заниматься этой областью человеческой деятельности или нет. Но в любом случае, знания никогда не бывают лишними, так что даже если в конечном итоге вы поймете, что алгоритмы - не ваше предназначение, все равно ваше время не будет потрачено зря - ведь алгоритмы окружают нас всюду, а компьютерные алгоритмы - всего лишь их разновидность.
  • Ю. И. Манин, А. А. Панчишкин. Введение в современную теорию чисел
    Введение в современную теорию чисел
    Ю. И. Манин, А. А. Панчишкин
    Предлагаемая читателю книга - это переработанная и дополненная версия книги "Теория чисел I. Введение в теорию чисел" Ю.И.Манина и А.А.Панчишкина (М.: ВИНИТИ, 1989) и ее английского перевода (Encyclopaedia of Mathematical Sciences, v. 49, Springer-Verlag, 1995). Книга состоит из вводных глав к различным разделам теории чисел. Все главы объединены общей концепцией: вместе с читателем пройти от наглядных примеров теоретико-числовых объектов и задач, через общие понятия и теории, развитые на протяжении долгого времени, к некоторым новейшим достижениям и видениям современной математики и наброскам для дальнейших исследований. Новые разделы, написанные для данного издания, включают в себя сжатое изложение доказательства Уайлса великой теоремы Ферма, недавно открытый полиномиальный алгоритм проверки на простоту числа, обзор счета рациональных точек на многообразиях и другие сюжеты; заключительная часть книги посвящена арифметическим когомологиям и некоммутативной геометрии. Первое издание книги вышло в 2009 г.
  • В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. Вводный курс математической логики
    Вводный курс математической логики
    В. А. Успенский, Н. К. Верещагин, В. Е. Плиско
    В учебном пособии содержится материал основного курса `Введение в математическую логику`, читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
  • И. Лакатос. Доказательства и опровержения. Как доказываются теоремы
    Доказательства и опровержения. Как доказываются теоремы
    И. Лакатос
    Предлагаемая вниманию читателя книга известного английского математика И.Лакатоса посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающиеся при этом парадоксы. Ошибки, которые делают ученики, в действительности были допущены различными математиками XIX в., что раскрывается в подстрочных примечаниях, дающих полную историю вопроса. Рекомендуется студентам математических специальностей, а также учащимся старших классов, интересующимся математикой.
  • Д. М. Назаров, Л. К. Конышева. Интеллектуальные системы. Основы теории нечетких множеств. Учебное пособие
    Интеллектуальные системы. Основы теории нечетких множеств. Учебное пособие
    Д. М. Назаров, Л. К. Конышева
    В учебном пособии изложены основные постулаты теории нечетких множеств, а также описаны технологии их использования при формализации различных экономических и управленческих процессов. Рассмотрены нечеткие множества и числа, операции над ними, бинарные соответствия и отношения, понятия лингвистической переменной применительно к задачам менеджмента, финансов и маркетинга. Даны подробные решения задач, представлена их реализация в электронных таблицах, предложены варианты для самостоятельного решения. Для лучшего усвоения теоретических вопросов материал сопровождается контрольными вопросами, заданиями для самостоятельной работы и лабораторными работами.
  • Н. К. Верещагин, В. А. Успенский, А. Шень. Колмогоровская сложность и алгоритмическая случайность
    Колмогоровская сложность и алгоритмическая случайность
    Н. К. Верещагин, В. А. Успенский, А. Шень
    Классическая (шенноновская) теория информации измеряет количество информации, заключенной в случайных величинах. В середине 1960-х годов А.Н.Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы, порождающей этот объект. Это определение послужило основой для алгоритмической теории информации, а также для алгоритмической теории вероятностей: объект считается случайным, если его сложность близка к максимальной. Предлагаемая книга содержит подробное изложение основных понятий алгоритмической теории информации и теории вероятностей, а также наиболее важных работ, выполненных в рамках колмогоровского семинара по сложности определений и сложности вычислений, основанного А.Н.Колмогоровым в начале 1980-х годов. Книга рассчитана на студентов и аспирантов математических факультетов и факультетов теоретической информатики.
  • В. Босс. Лекции по математике. Теория множеств. От Кантора до Коэна
    Лекции по математике. Теория множеств. От Кантора до Коэна
    В. Босс
    Настоящий том "Лекций" посвящен теории множеств в диапазоне от наивной трактовки проблематики до ее современного (аксиоматического) состояния. Наряду с простейшими понятиями и результатами о манипулировании бесконечностями рассматриваются довольно тонкие феномены: парадокс Банаха-Тарского, кардинальная и ординальная арифметика, базисы Гамеля. Излагаются и обсуждаются также элементы матлогики, теории моделей и их связь с аксиоматическим подходом к теории множеств.Изложение отличается краткостью и прозрачностью. Для студентов, преподавателей, инженеров и научных работников.
  • Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
    Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
    Н. К. Верещагин, А. Шень
    Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности.
  • С. А. Абрамов. Лекции о сложности алгоритмов
    Лекции о сложности алгоритмов
    С. А. Абрамов
    В книге излагаются основные (начальные) разделы теории сложности алгоритмов. Различаются алгебраическая и битовая сложности, каждая из которых рассматривается в худшем случае и в среднем. Ряд основных понятий теории сложности, как-то: оценки снизу и сверху, нижняя граница сложности алгоритмов некоторого класса, оптимальный алгоритм и т.д., рассматривается не только в обычном функциональном, но и в асимптотическом смысле: асимптотические оценки, асимптотическая нижняя граница, оптимальность по порядку сложности и т. д. Показывается, что при исследовании существования алгоритма решения задачи, имеющего "не очень высокую" сложность, важную роль может играть сводимость одной задачи к другой. Изложение сопровождается анализом сложности большого числа алгоритмов арифметики, сортировки и поиска, вычислительной геометрии, теории графов и др. Для студентов, специализирующихся в области математики и информатики.
  • Н. К. Верещагин. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
    Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
    Н. К. Верещагин
    Книга написана по материалам лекций и семинаров,проводившихся авторами для студентов младших курсов мехмата МГУ. В нейрассказывается об основных понятиях математической логики (логикавысказываний, языки первого порядка, выразимость, исчисление высказываний,разрешимые теории, теорема о полноте, начала теории моделей). Изложениерассчитано на учеников математических школ, студентов-математиков и всехинтересующихся математической логикой. Книга содержит около 200 задачразличной трудности.Предыдущее издание книги вышло в 2012 г.
  • С. И. Гуров. Логика высказываний. Учебное пособие
    Логика высказываний. Учебное пособие
    С. И. Гуров
    Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э.Бета, семантика возможных миров С.Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
  • В. И. Игошин. Математическая логика и тория алгоритмов. Сборник задач. Учебное пособие
    Математическая логика и тория алгоритмов. Сборник задач. Учебное пособие
    В. И. Игошин
    Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграфе подробно рассматриваются разнообразные типовые примеры и даются многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал наложен в учебниках: Игошин В.И. Математическая логика: Учеб. пособие. М.: ИНФРА-М, 2012. 399 с. + CD-R. (Высшее образование); Игошин В.И. Теория алгоритмов: Учеб. пособие. М.: ИНФРА-М, 2012. 318 с. (Высшее образование).Для студентов университетов, технических и педагогических вузов, обучающихся как на уровне бакалавриата, так и на уровне магистратуры по направлениям "Математика", "Информатика", "Прикладная математика и информатика", "Математика и компьютерные науки", "Бизнес-информатика", "Математик-педагог", "Учитель математики".
  • А. Н. Колмогоров, А. Г. Драгалин. Математическая логика. Дополнительные главы. Учебное пособие
    Математическая логика. Дополнительные главы. Учебное пособие
    А. Н. Колмогоров, А. Г. Драгалин
    Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В. Ломоносова.Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
  • В. Н. Крупский, В. Е. Плиско. Математическая логика и теория алгоритмов
    Математическая логика и теория алгоритмов
    В. Н. Крупский, В. Е. Плиско
    Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии" (квалификация "бакалавр"). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений. Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.
  • А. Н. Колмогоров, А. Г. Драгалин. Математическая логика. Введение в математическую логику
    Математическая логика. Введение в математическую логику
    А. Н. Колмогоров, А. Г. Драгалин
    Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова, и содержит классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Изложение фундаментальных фактов современной логики (начальных понятий теории множеств, основ логики высказываний и логики предикатов) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
  • Пухначев Ю.В., Попов Ю.П.. Математика без формул. Книга 2. Функциональные ряды, линейное и метрическое пространства, аффинные преобразования, группы преобразований, исчисление высказываний и предикатов
    Математика без формул. Книга 2. Функциональные ряды, линейное и метрическое пространства, аффинные преобразования, группы преобразований, исчисление высказываний и предикатов
    Пухначев Ю.В., Попов Ю.П.
    Математические формулы - лишь удобный язык для изложения идей и методов математики. Сами же эти идеи можно описать, используя привычные и наглядные образы из окружающей жизни.Настоящая книга, авторы которой - замечательный популяризатор науки Ю.В.Пухначев и видный ученый-математик Ю.П.Попов, представляет собой своеобразный путеводитель по математике, состоящий из двух частей (книга первая и книга вторая). В первой книге в живой и доходчивой форме рассказывается о теоремах, аксиомах и определениях, множествах и отображениях, отношениях, последовательностях и рядах, функциях и их свойствах, дифференциальном и интегральном исчислении.Из второй книги читатель получит сведения о функциональных рядах, линейном и метрическом пространствах, аффинных преобразованиях и группах преобразований, а также об элементах математической логики.Книга будет интересна широкому кругу читателей - от школьников старших классов до математиков-профессионалов.
  • Вилем Новак, Ирина Перфильева, Иржи Мочкорж. Математические принципы нечеткой логики
    Математические принципы нечеткой логики
    Вилем Новак, Ирина Перфильева, Иржи Мочкорж
    Эта книга - первое российское издание, в котором нечеткая логика представлена с позиций формального дедуктивного исчисления. Специфика нечеткости отражена в выборе решеточной структуры истинностных значений, обогащенной алгебраическими операциями. Возникающая при этом логическая алгебра, называемая резидуальной решеткой, обобщает булеву алгебру. Процесс вывода в нечеткой логике сопровождается вычислением оценки истинности заключения, которая может быть выражена словесно ("истинно", "более или менее истинно" и т.п.) или числом в интервале [0,1]. Помимо логики в книге рассматриваются примеры формальных конструкций фраз естественного языка и неформальных схем построения умозаключений. В качестве нетрадиционного приложения рассмотрены методы приближенного представления функций обобщенными нормальными формами. Для студентов, аспирантов и научных сотрудников университетов, технических вузов, научных учреждений.
  • Ю. Л. Ершов, Е. А. Палютин. Математическая логика
    Математическая логика
    Ю. Л. Ершов, Е. А. Палютин
    В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
  • А. А. Глибичук, Д. Г.  Ильинский, Д. В. Мусатов, А. М. Райгородский, А. А. Чернов. Основы комбинаторики и теории чисел. Сборник задач. Учебное пособие
    Основы комбинаторики и теории чисел. Сборник задач. Учебное пособие
    А. А. Глибичук, Д. Г. Ильинский, Д. В. Мусатов, А. М. Райгородский, А. А. Чернов
    Этот задачник возник на основе курса "Основы комбинаторики и теории чисел", который А. М. Райгородский читает на факультете инноваций и высоких технологий МФТИ судентам-информатикам. Курс читается в первом же семестре и служит весьма основательным введением как в теорию множеств, так и в комбинаторику, и в теорию чисел. Таким образом, он создает почву и для математического анализа, и для математической логики, и для теории вероятностей, и для тех специфических алгоритмических курсов, в которых используются теоретико-числовые подходы. Задачи, собранные в этой книге, разрабатывались, соответственно, для ведения семинаров по курсу. Среди задач есть, конечно, много стандартных (в этом случае мы стараемся давать ссылку на известный нам источник, хотя зачастую идентифицировать такие источники весьма трудно). Но есть и весьма оригинальные задачи. Вообще, сам курс очень насыщенный, и в нём есть темы, которые довольно редко обсуждаются в литературе. Например, обобщённая формула обращения Мёбиуса - это одна из изюминок курса. Все задачи задачника снабжены ответами, а большинство задач - решениями. Мы надеемся, что эта книга окажется полезной не только студентам МФТИ, но и всем тем, кто интересуется основами современной комбинаторики и теории чисел - школьникам, студентам, преподавателям математических классов и ВУЗов.

© 2017 books.iqbuy.ru