Конструктивная теория доказательств и нестандартный анализ
 |
|
Содержание:
Мир по Стасюку, Середина лета, Погуже, Дукля, Василь Падва, Воскресенье, Праздник весны, Комната, в которую заглядывают редко, Званый прием, Раки, Птицы, Аисты, Златоокий, Ласточки, Река, Дождь, Конец сентября, Мороз, Дождь в декабре, Ночь, За порогом, Небо
Описание:
А.Г.Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г.Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е.Минца. В издание вошли также воспоминания коллег, учеников и друзей А.Г.Драгалина - С.Н.Артемова, Э.Б.Баялинова, А.С.Бойцова, Б.А.Кушнера, Г.Е.Минца, Е.Ю.Ногиной, А.Трулстра, В.Б.Шехтмана. Аналитический обзор основных результатов А.Г.Драгалина...Похожие книги
 | Относительность и кванты Автор: А. Эддингтон Год: 2004 |
 | Фейнмановские лекции по физике. Выпуск 3. Излучение. Волны. Кванты Автор: Р. Фейнман, Р. Лейтон, М. Сэндс Год: 2004 |
 | Впервые в мире… Единственное, невероятное Автор: Степанян В.Н. Год: 2004 |
 | Технология и технические средства ведения поисково-спасательных и аварийно-спасательных работ Автор: Л. Г. Одинцов, В. В. Парамонов Год: 2004 |
 | Безопасность в чрезвычайных ситуациях. Учебник Автор: Б. С. Мастрюков Год: 2004 |
 | Неоновый дождь Автор: Джеймс Ли Берк Год: 2005 |