Магазин

Основания математики. Математическая логика. Теория чисел

Введение В Теорию Игр: Учебное Пособие

Романьков В А

Введение В Теорию Игр: Учебное Пособие

Год выпуска: 2005

Включены материалы шести лекций, отражающих основные разделы дисциплины "Теория игр". Содержатся интересные иллстративные материалы и задачи, решение которых будет способствовать усвоению теории.

Цена: 50 руб.

Купить


Введение В Теорию Комбинаторных Игр

Фролов Илья Сергеевич

Введение В Теорию Комбинаторных Игр

Год выпуска: 2012

Книга посвящена теории комбинаторных игр ? активно развивающейся в настоящее время области математики на стыке теории графов, математической логики и теории чисел, которая лежит в основе...

Цена: 120 руб.

Купить


Вводный курс математической логики

В. А. Успенский, Н. К. Верещагин, В. Е. Плиско

Вводный курс математической логики

Год выпуска: 2002

Издательство: ФИЗМАТЛИТ

В учебном пособии содержится материал основного курса `Введение в математическую логику`, читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия,...

Цена: 340 руб.

Купить


Высшая арифметика. Введение в теорию чисел

Г. Дэвенпорт

Высшая арифметика. Введение в теорию чисел

Год выпуска: 2010

Издательство: Либроком

В книге известного английского математика Г.Дэвенпорта в доступной форме дается введение в теорию чисел. Рассмотрены разложение числа на множители и простые числа, сравнения, квадратичные вычеты,...

Цена: 327 руб.

Купить


Дзета-функция Римана

Э. Ч. Титчмарш

Дзета-функция Римана

Год выпуска: 2010

Издательство: Едиториал УРСС

В настоящей книге известного английского математика Э.Ч.Титчмарша систематически излагаются основные свойства дзета-функции, играющей исключительно большую роль в теории чисел. Ряд проблем о...

Цена: 302 руб.

Купить


Диофантовы уравнения и доказуемость в математике

Б. З. Мороз

Диофантовы уравнения и доказуемость в математике

Год выпуска: 2008

Издательство: МЦНМО

В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 года) о том, что всякое перечислимое множество является диофантовым.

Цена: 134 руб.

Купить


Дискретная математика и математическая логика для информатиков, экономистов и менеджеров

М. В. Триумфгородских

Дискретная математика и математическая логика для информатиков, экономистов и менеджеров

Год выпуска: 2011

Издательство: Диалог-МИФИ

В книге изложен ряд разделов и вопросов дискретной математики и математической логики, изучаемых главным образом на младших курсах вузов. В данное издание включены не только основные понятия и...

Цена: 203 руб.

Купить


Доказательства и опровержения. Как доказываются теоремы

И. Лакатос

Доказательства и опровержения. Как доказываются теоремы

Год выпуска: 2010

Издательство: ЛКИ

Предлагаемая вниманию читателя книга известного английского математика И.Лакатоса посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с...

Цена: 242 руб.

Купить


Задачи по теории множеств, математической логике и теории алгоритмов

И. А. Лавров, Л. Л. Максимова

Задачи по теории множеств, математической логике и теории алгоритмов

Год выпуска: 2004

Издательство: ФИЗМАТЛИТ

В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней...

Цена: 454 руб.

Купить


Лекции по математике. Том 14. Теория чисел

В. Босс

Лекции по математике. Том 14. Теория чисел

Год выпуска: 2010

Издательство: Либроком

Излагаются основы теории чисел (теория делимости, сравнения, вычеты, диофантовы уравнения). Коротко затрагиваются новые веяния и взаимосвязи со смежными дисциплинами (алгебраический ракурс,...

Цена: 339 руб.

Купить


Математическая логика

И. А. Лавров

Математическая логика

Год выпуска: 2006

Издательство: Академия

В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д.Гильберта о построении...

Цена: 552 руб.

Купить


Математическая логика

Л. М. Лихтарников, Т. Г. Сукачева

Математическая логика

Год выпуска: 2008

Издательство: Лань

Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов,...

Цена: 838 руб.

Купить


Математическая логика

Ю. Л. Ершов, Е. А. Палютин

Математическая логика

Год выпуска: 2011

Издательство: ФИЗМАТЛИТ

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории...

Цена: 905 руб.

Купить


Математическая логика (+ CD-ROM)

В. И. Игошин

Математическая логика (+ CD-ROM)

Год выпуска: 2012

Издательство: Инфра-М

Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и...

Цена: 383 руб.

Купить


Математическая логика и теория алгоритмов

А. А. Набебин, Ю. П. Кораблин

Математическая логика и теория алгоритмов

Год выпуска: 2008

Издательство: Научный мир

Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и...

Цена: 695 руб.

Купить


Математическая логика и теория алгоритмов

В. М. Зюзьков, А. А. Шелупанов

Математическая логика и теория алгоритмов

Год выпуска: 2007

Издательство: Горячая Линия - Телеком

Изложены базовые понятия и принципы математической логики и теории алгоритмов. Рассмотрен ряд распространенных логических парадоксов, на примере которых показаны трудности, возникающие в логике....

Цена: 243 руб.

Купить


Математическая логика и теория алгоритмов

А. К. Гуц

Математическая логика и теория алгоритмов

Год выпуска: 2009

Издательство: Либроком

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук...

Цена: 242 руб.

Купить


Математическая логика и теория алгоритмов для программистов

Д. В. Гринченков,С. И. Потоцкий

Математическая логика и теория алгоритмов для программистов

Год выпуска: 2010

Издательство: КноРус

Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с...

Цена: 287 руб.

Купить


Математическая логика и теория алгоритмов. Вычислимые функции

Н. К. Верещагин, А. Шень

Математическая логика и теория алгоритмов. Вычислимые функции

Год выпуска: 2008

Издательство: МЦНМО

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций...

Цена: 216 руб.

Купить


Математическая логика. Курс лекций

И. Л. Тимофеева

Математическая логика. Курс лекций

Год выпуска: 2007

Издательство: КДУ

Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык...

Цена: 460 руб.

Купить


1   2