Основы теоретической логики (Гилберт Д., Аккерман В.)
Из предисловия Д.Гилберта
Настоящая книга излагает теоретическую логику (называемую также математической логикой, логическим исчислением или алгеброй логики) в той форме, которую она приобрела в моих университетских лекциях по принципиальным вопросам математики. («Принципы математики»—зимний семестр 1917/18 гг.; «Логическое исчисление»—зимний семестр 1920 г.; «Основания математики»—зимний семестр 1921/22 гг.). При подготовке этих лекций я пользовался существенной помощью и советами моего коллеги Бернайса; он же самым тщательным образом обработал лекции. Использовав и дополнив возникший таким образом материал, мой ученик Аккерман, выдвинувшийся тем временем благодаря значительным самостоятельным работам в области оснований математики, дал приводимое ниже расчленение и окончательное изложение всего материала.
Другие книги Д.Гилберта:
Гилберт Д., Бернайс П. Основания математики
Другие книги по данной тематике на сайте:
Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики
Пойа Дж. Математика и правдоподобные рассуждения
Мацнев А.П. Математическая логика и теория алгоритмов
Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики
Кнут Д., Грин Д. Математические методы анализа алгоритмов
Кнут Д. Искусство программирования
Издатель: Иностранной литературы
Год издания: 1949
Страниц: 154
Качество: среднее
log-in.ru
комментариев нет