Математическая логика
Математика
  • формат pdf
  • размер 10.14 МБ
  • добавлен 23 февраля 2011 г.
Клини С. Введение в метаматематику
М.: Издательство иностранной литературы, 1957. - 526 с.

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

Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными, функциями и основаниями математики.
Похожие разделы
Смотрите также

Батыршин И.З. Основные операции нечеткой логики и их обобщения

  • формат djvu
  • размер 661.95 КБ
  • добавлен 21 августа 2010 г.
Казань: Отечество, 2001. - 100 с. В книге рассматриваются свойства операций конъюнкции, дизъюнкции и отрицания нечеткой логики и определяемых ими опереций пересечения, объединения и дополнения нечетких множеств. В первой главе рассматриваются классические опереации нечеткой логики, введенные Заде, и используются свойства алгебры Клини. Во второй главе изучаются инволютивные и неинволютивные операции отрицания и методы их генерации. В третьей гла...

Букур И., Деляну А. Введение в теорию категорий и функторов

  • формат djvu
  • размер 2.15 МБ
  • добавлен 03 марта 2010 г.
Книга румынских математиков представляет собой введение в теорию категорий, методы и язык которой применяются почти во всей современной математике. Приводятся многочисленные примеры ситуаций из различных разделов математики, которые иллюстрируют универсальность рассматриваемых понятий. Книга может служить учебным пособием для изучающих современную алгебру и топологию. Она доступна студентам-математикам старших курсов университетов.

Гамова А.Н. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 761.91 КБ
  • добавлен 21 января 2011 г.
Саратов: Изд-во СГУ, 1999. - 76 с. Данное учебное пособие представляет собой курс лекций, которые автор читает на механико-математическом факультете Саратовского государственного университета, начиная с 1993 года. Содержание курса составили два раздела математической логики: исчисления и алгоритмы. Подбор материала лекций определялся задачей развития у слушателей навыков использования методов математической логики для изучения других математическ...

Клини С. Введение в метаматематику

  • формат djvu
  • размер 9.32 МБ
  • добавлен 22 апреля 2010 г.
М.: Издательство иностранной литературы, 1957. - 526 с. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и н...

Клини С. Математическая логика

  • формат djvu
  • размер 6.09 МБ
  • добавлен 23 июня 2011 г.
М.: Мир, 1973, - 480 с. Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах: таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Она привлечет также внимание всех занимающихся или интересующихся математической логикой.

Клини С.К. Математическая логика

  • формат pdf
  • размер 19.53 МБ
  • добавлен 02 июня 2009 г.
1973 г. Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах: таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Она привлечет также внимание всех занимающихся или интересующихся математической логикой.

Клини С.К., Весли Р.Е. Основания интуиционистской математики

  • формат djvu
  • размер 2.3 МБ
  • добавлен 06 июня 2009 г.
М., Наука, 1978. - 272 с. ОГЛАВЛЕНИЕ. От переводчиков. Предисловие. Формальная система интуиционистского анализа. Введение в монографию. Статус формальной системы. Правила образования. Постулаты исчисления предикатов, арифметики и касающиеся функций (постулаты групп А — С). Постулаты для некоторых примитивно рекурсивных функций и их следствия (постулаты группы D). Постулаты для потоков (бар-теорема). Постулаты, касающиеся сопоставления функций...

Математическая логика и основания математики (23 выпуска)

  • формат djvu
  • размер 105.57 МБ
  • добавлен 05 ноября 2010 г.
М., Физматгиз, Наука, 1959-1984. В 1959 году Физматгиз (впоследствии - издательство Наука) приступил к реализации беспрецедентного проекта по изданию серии Математическая логика и основания математики. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты. Список книг, представленных в серии: Гильберт Д.,...

Робинсон А. Введение в теорию моделей и метаматематику алгебры

  • формат djvu
  • размер 3.08 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1967. - 376 с. Серия "Математическая логика и основания математики". Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символически...

Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики

  • формат djvu
  • размер 862.87 КБ
  • добавлен 01 ноября 2009 г.
М.: Физматлит,2004г. — 128 с. В уч. пособии содержится материал осн. курса «Введение в мат. логику», читаемого на мех. -мат. фак. МГУ. Излагаются элементы теории множеств, осн. понятия, относящиеся к семантике формализованных логико-матем. языков 1-го порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов матем. факультетов университетов, пед. институтов, а также др. вузов...