В монографии приводится обзор различных концепций интуиционистской математики, обсуждаются приложения интуиционизма к проблемам оснований математики. Изложение характеризу...
- 81 книга
Логика и математика
Александр81 книга
АлександрЛогика и математика
Основания математики. Логические исчисления и формализация арифметики
Давид Гильберт, Пауль Исаак Бернайс
4,5
(1)Двухтомная монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Отличающаяся исключительной глубиной с...
Двухтомная монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Она отличается исключительной глубиной...
Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. После детального обсуждения общеметодологических воп...
Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понят...
Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (Издательство Московского университета, 1982 г.), но может изучаться и са...
В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены
первые пять глав книги, составляющие ее основ...
Москва - Ленинград, 1948 год, Государственное технико-теоретическое издательство.
Издательский переплет. Сохранность хорошая.
Перевод с 7-го немецкого издания И. С. Гр...
Предлагаемая читателям книга является частью многотомного сочинения "Элементы математики", выпускаемого группой крупных французских математиков, объединившихся под общим п...
Группа французских математиков, объединенная под псевдонимом "Бурбаки", поставила перед собой цель написать под общим заглавием "Элементы математики" полный трактат соврем...
В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости.
Книга...
Настоящая книга представляет собой перевод биографии выдающегося немецкого математика Давида Гильберта (1862 - 1943). Гильберт по праву относится к классикам науки, его ра...
Москва, 1960 год. Государственное издательство физико-математической литературы.
Издательский переплет. Сохранность хорошая.
Первые работы пo теории игр принадлежат Це...
На конкретном примере структуры (алгебры) Буля в книге излагается общая схема создания математических теорий и приложений этих теорий к явлениям реальной жизни. Главное ме...
Задачи по теории множеств, математической логике и теории алгоритмов
Игорь Лавров, Лариса Максимова
0
(1)В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической ...
Предлагаемая вниманию читателя книга известного английского математика И.Лакатоса посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в...
Математическая логика - своеобразная область науки, тесно связанная как с математикой, так и с философией, - выдвинулась на первый план в последние десятилетия, когда возн...
В книге излагается доказательство независимости гипотезы континуума от остальных аксиом теории множеств — один из самых интересных и ярких результатов, полученных в матема...
Книга принадлежит перу выдающегося советского историка философии. В основу ее положены многочисленные исследования автора, получившие высокую оценку в мировой историко-фил...
Группа французских математиков, объединенная под псевдонимом "Бурбаки", поставила перед собой целью написать под общим заглавием "Элементы математики" полный трактат совре...