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

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


  • В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. Вводный курс математической логики
    Вводный курс математической логики
    В. А. Успенский, Н. К. Верещагин, В. Е. Плиско
    В учебном пособии содержится материал основного курса `Введение в математическую логику`, читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
  • Э. Ч. Титчмарш. Дзета-функция Римана
    Дзета-функция Римана
    Э. Ч. Титчмарш
    В настоящей книге известного английского математика Э.Ч.Титчмарша систематически излагаются основные свойства дзета-функции, играющей исключительно большую роль в теории чисел. Ряд проблем о распределении простых чисел, остающихся десятилетиями и даже веками неразрешенными, целиком сводятся к проблемам о свойствах дзета-функции, в частности к вопросу о распределении ее нулей. Настоящая работа относится лишь собственно к теории дзета-функции, не рассматривая приложений последней к теории простых чисел. Предполагается, что читатель уже имеет некоторые сведения о дзета-функции и ее роли в аналитической теории чисел. Книга рекомендуется аспирантам и студентам старших курсов математических факультетов, специализирующимся по теории чисел.
  • И. Лакатос. Доказательства и опровержения. Как доказываются теоремы
    Доказательства и опровержения. Как доказываются теоремы
    И. Лакатос
    Предлагаемая вниманию читателя книга известного английского математика И.Лакатоса посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающиеся при этом парадоксы. Ошибки, которые делают ученики, в действительности были допущены различными математиками XIX в., что раскрывается в подстрочных примечаниях, дающих полную историю вопроса. Рекомендуется студентам математических специальностей, а также учащимся старших классов, интересующимся математикой.
  • И. А. Лавров, Л. Л. Максимова. Задачи по теории множеств, математической логике и теории алгоритмов
    Задачи по теории множеств, математической логике и теории алгоритмов
    И. А. Лавров, Л. Л. Максимова
    В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов, логиков и кибернетиков.
  • Ю. Л. Ершов, Е. А. Палютин. Математическая логика
    Математическая логика
    Ю. Л. Ершов, Е. А. Палютин
    В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
  • С. В. Попов, Н. Л. Брошкова. Прикладная логика
    Прикладная логика
    С. В. Попов, Н. Л. Брошкова
    Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
  • А. А. Бухштаб. Теория чисел
    Теория чисел
    А. А. Бухштаб
    Учебное пособие полностью охватывает программу по теории чисел, а также содержит дополнительный материал, который может быть использован при организации работы спецсеминаров и в качестве основы для курсовых работ по теории чисел. Учебное пособие предназначено для студентов университетов и педагогических вузов.
  • Ю. Н. Смолин. Числовые системы
    Числовые системы
    Ю. Н. Смолин
    Учебное пособие написано в соответствии с программой курса "Числовые системы" для студентов математических специальностей университетов. Изложены основные вопросы аксиоматического построения систем натуральных, целых, рациональных, действительных и комплексных чисел.
  • Е. П. Ожигова. Что такое теория чисел
    Что такое теория чисел
    Е. П. Ожигова
    Настоящая книга знакомит читателей с вопросами, которые решает теория чисел, с некоторыми примерами их решения и основными понятиями. В ней говорится о предмете, методах и приложениях теории чисел, даются краткие исторические сведения, излагаются отдельные вопросы теории чисел, представляющие самостоятельный интерес. Книга будет интересна специалистам-математикам, студентам и аспирантам математических вузов, а также всем любителям математики.

© 2017 books.iqbuy.ru