«И» «ИЛИ»  
© Публичная Библиотека
 -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
Манин Юрий Иванович

Юрий Иванович Манин 140k

-

(16.02.1937)

...советский математик. Родился в Симферополе. Окончил МГУ (1958). Доктор физико-математических наук (1963), профессор (1967). С 1961 работает в Математическом институте АН СССР, с 1965 - также в МГУ. Основные труды по алгебраической геометрии, теории алгебраических групп и алгебраической теории чисел. Опираясь на свой новый метод дифференциальных операторов, М. доказал функциональный аналог одной из важнейших теорем теории чисел, согласно которой достаточно общее уравнение с двумя неизвестными (неопределенное уравнение) имеет конечное число рациональных решений. В работах М. содержится ряд интересных применений полученных результатов к различным разделам математики. Ленинская премия (1967).
.
юрий иванович манин на страницах библиотеки упоминается 3 раза:
* «Кибернетика»
* «Новое в жизни, науке, технике: Математика, кибернетика»
* Манин Юрий Иванович
  • Манин Ю.И. Вычислимое и невычислимое. [Djv- 2.7M] [Djv- 3.9M] .
    (Москва: Издательство «Советское радио». Редакция кибернетической литературы, 1980. - Серия «Кибернетика»)
    Скан: ???, обработка, формат Djv: pohorsky, 2011; Скан, обработка, формат Djv 002: nau, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие (3).
      Введение (5).
      Глава I. Рекурсивные функции и алгоритмы (16).
      Глава II. Диофантовы множества и алгоритмическая неразрешимость (46).
      Глава III. Сложность и случайность (65).
      Глава IV. Формальные языки и вычислимость (74).
      Глава V. Теорема Геделя (87).
      Глава VI. Рекурсивные группы (101).
      Список литературы (123).
      Именной указатель (125).
      Предметный указатель (125).
Аннотация издательства: Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешимых задач. Обсуждаются проблемы оценки сложности вычислений и алгоритмов.
Книга будет полезна широкому кругу специалистов, занимающихся проблемами машинного перевода, искусственного интеллекта, общего использования ЭВМ.
.
  • Манин Ю.И. Доказуемое и недоказуемое. [Djv- 2.4M] .
    (Москва: Издательство «Советское радио». Редакция кибернетической литературы, 1979. - Серия «Кибернетика»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие (3).
      Глава I. Введение в формальные языки (8).
      Глава II. Истинность и выводимость (25).
      Глава III. Проблема континуума и форсинг (108).
      Заключение. О смысле математического текста (150).
      Список литературы (161).
      Именной указатель (163).
      Предметный указатель (165).
Аннотация издательства: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения я природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить этот интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение сопровождается экскурсами в физику, психологию и семиотику.
Книга предназначена для молодых ученых и всех, кто интересуется проблемами современной математики.
.