• 81 книга
  • like3 понравилось
  • Логика
  • Общая топология. Основные структуры
  • История логики
vantz0vantz0

Логика и математика

Альберт Драгалин - Математический интуиционизм. Введение в теорию доказательств
В монографии приводится обзор различных концепций интуиционистской математики, обсуждаются приложения интуиционизма к проблемам оснований математики. Изложение характеризу...
Давид Гильберт, Пауль Исаак Бернайс - Основания математики. Логические исчисления и формализация арифметики
Двухтомная монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Отличающаяся исключительной глубиной с...
Давид Гильберт, Пауль Исаак Бернайс - Основания математики. Теория доказательств

Основания математики. Теория доказательств

Давид Гильберт, Пауль Исаак Бернайс

4,5

(1)Аватар пользователя4,5
Двухтомная монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Она отличается исключительной глубиной...
Хаскелл Брукс Карри - Основания математической логики

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

Хаскелл Брукс Карри

3,5

(1)Аватар пользователя3,5
Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. После детального обсуждения общеметодологических воп...
Андрей Колмогоров, Альберт Драгалин - Введение в математическую логику

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

Андрей Колмогоров, Альберт Драгалин

5

(1)Аватар пользователя5
Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понят...
Андрей Колмогоров, Альберт Драгалин - Математическая логика. Дополнительные главы. Учебное пособие
Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (Издательство Московского университета, 1982 г.), но может изучаться и са...
Петр Новиков - Элементы математической логики
В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие ее основ...
Давид Гильберт - Основания геометрии

Основания геометрии

Давид Гильберт

4,5

(1)Аватар пользователя4,5
Москва - Ленинград, 1948 год, Государственное технико-теоретическое издательство. Издательский переплет. Сохранность хорошая. Перевод с 7-го немецкого издания И. С. Гр...
Николя Бурбаки - Очерки по истории математики
Предлагаемая читателям книга является частью многотомного сочинения "Элементы математики", выпускаемого группой крупных французских математиков, объединившихся под общим п...
Абрахам Адольф Френкель, Йегошуа Бар-Хиллел - Основания теории множеств

Основания теории множеств

Абрахам Адольф Френкель, Йегошуа Бар-Хиллел

4

(1)Аватар пользователя4
В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга...
Констанс Рид - Гильберт

Гильберт

Констанс Рид

5

(3)
Настоящая книга представляет собой перевод биографии выдающегося немецкого математика Давида Гильберта (1862 - 1943). Гильберт по праву относится к классикам науки, его ра...
Дж. Мак Кинси - Введение в теорию игр

Введение в теорию игр

Дж. Мак Кинси

0

(0)
Москва, 1960 год. Государственное издательство физико-математической литературы. Издательский переплет. Сохранность хорошая. Первые работы пo теории игр принадлежат Це...
Исаак Яглом - Булева структура и ее модели
На конкретном примере структуры (алгебры) Буля в книге излагается общая схема создания математических теорий и приложений этих теорий к явлениям реальной жизни. Главное ме...
Игорь Лавров, Лариса Максимова - Задачи по теории множеств, математической логике и теории алгоритмов
В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической ...
Анджей Гжегорчик - Популярная логика

Популярная логика

Анджей Гжегорчик

4,7

(3)Аватар пользователя5
Математическая логика - своеобразная область науки, тесно связанная как с математикой, так и с философией, - выдвинулась на первый план в последние десятилетия, когда возн...
Пол Джозеф Коэн - Теория множеств и континуум-гипотеза
В книге излагается доказательство независимости гипотезы континуума от остальных аксиом теории множеств — один из самых интересных и ярких результатов, полученных в матема...
А. О. Маковельский - История логики

История логики

А. О. Маковельский

4,3

(4)Аватар пользователя4
Книга принадлежит перу выдающегося советского историка философии. В основу ее положены многочисленные исследования автора, получившие высокую оценку в мировой историко-фил...
Николя Бурбаки - Общая топология. Основные структуры
Группа французских математиков, объединенная под псевдонимом "Бурбаки", поставила перед собой целью написать под общим заглавием "Элементы математики" полный трактат совре...
Показаны книги 6180 из 81