Каталог

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




Фото Наименование- Цена
Азбука математической логики

Азбука математической логики

Настоящая книга знакомит читателя с сущностью и основными принципами математической логики. Для этого в первую очередь вводится и...
195p.

Добавить:

Алгебра логики. Пер. с фр.

Алгебра логики. Пер. с фр.

Вниманию читателей предлагается книга известного французского математика и философа Луи Кутюра, содержащая основы алгебры логики -...
280p.

Добавить:

Алгоритмическая теория обратимости операторов

Алгоритмическая теория обратимости операторов

Теория алгоритмов, создававшаяся первоначально как раздел математической логики, находит применение и в других областях математики; в...
220p.

Добавить:

Вовеки неразрешимое.Путь к Геделю через занимательные загадки

Вовеки неразрешимое.Путь к Геделю через занимательные загадки

Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической...
250p.

Добавить:

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

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

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

Добавить:

Интуиционизм

Интуиционизм

Вниманию читателей предлагается книга голландского математика и логика А.Гейтинга, представляющая собой монографию по основаниям...
325p.

Добавить:

Конспект по Русской вероятностной логике

Конспект по Русской вероятностной логике

Данная брошюра в популярной форме знакомит читателей с наиболее значимыми разделами Русской логики, которая опровергает многие...
155p.

Добавить:

Конструктивные процессы в математике: Философский аспект

Конструктивные процессы в математике: Философский аспект

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

Добавить:

Логика и логическая семантика. Пер. с нем.

Логика и логическая семантика. Пер. с нем.

Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и...
840p.

Добавить:

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

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

Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все...
280p.

Добавить:

Обращающие и удваивающие самопополняемые алгорифмы

Обращающие и удваивающие самопополняемые алгорифмы

Решается задача получения обращений и удвоений слов с использованием различных самопополняемых алгорифмов --- предложенных автором...
495p.

Добавить:

Обращающие и удваивающие самопополняемые алгорифмы

Обращающие и удваивающие самопополняемые алгорифмы

Решается задача получения обращений и удвоений слов с использованием различных самопополняемых алгорифмов --- предложенных автором...
815p.

Добавить: