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

Сергей Юрьевич Маслов 42k

-

(10.06.1939 г. - 29.07.1982)

В 1956 году он поступил на математико-механический факультет Ленинградского университета, и со второго курса стал заниматься математической логикой, не изменив ей до конца дней своих. Был блестящим математиком, рано защитил кандидатскую, а затем и докторскую диссертации. Сергей Юрьевич сформулировал на год раньше американцев фундаментальный метод поиска доказательств, являющийся основой исследований по искусственному интеллекту, и развил теорию дедуктивных систем...
.
сергей юрьевич маслов на страницах библиотеки упоминается 2 раза:
* «Кибернетика»
* Маслов Сергей Юрьевич
  • Маслов С.Ю. Теория дедуктивных систем и ее применения. [Djv- 9.0M] .
    (Москва: Издательство «Радио и связь». Редакция литературы по кибернетике и вычислительной технике, 1986. - Серия «Кибернетика»)
    Скан, обработка, формат Djv: ???, предоставил: Dmitry7, 2011
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие (3).
      Предисловие научного редактора (5).
      Глава 1. О правилах игры (7).
      Часть I. Математика исчислений (20).
      Глава 2. Канонические исчисления Поста (20).
      Глава 3. Исчисления и алгоритмы (41).
      Глава 4. Вероятностные исчисления и дедуктивная информация (47).
      Часть II. Горизонтальное моделирование (56).
      Глава 5. Игрушечная экономика (56).
      Глава 6. Исчисления технологических возможностей (67).
      Глава 7. Развитие по правилам (80).
      Часть III. Вертикальное моделирование (90).
      Глава 8. Бороться и искать (О теории поиска вывода) (90).
      Глава 9. Асимметрия познавательных механизмов и ее следствия (113).
      Список литературы (129).
Аннотация издательства: Книга посвящена молодой, активно развивающейся области математической логики и кибернетики - теории исчислений. Излагается математический аппарат теории и новейшие ее обобщения применительно к моделированию различных технологических, биологических и экономических процессов. Рассмотрена связь теории с проблематикой искусственного интеллекта и конструктирования ЭВМ.
Для инженерно-технических работников, специализирующихся в области кибернетики, особенно в области искусственного интеллекта, а также для специалистов смежных наук, интересующихся логическими возможностями ЭВМ.
.