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

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

-

(10.06.1939 г. - 29.07.1982)

  ◄  СМЕНИТЬ  ►  |▼ О СТРАНИЦЕ ▼
▼ ОЦИФРОВЩИКИ ▼|  ◄  СМЕНИТЬ  ►  
В 1956 году он поступил на математико-механический факультет Ленинградского университета, и со второго курса стал заниматься математической логикой, не изменив ей до конца дней своих. Был блестящим математиком, рано защитил кандидатскую, а затем и докторскую диссертации. Сергей Юрьевич сформулировал на год раньше американцев фундаментальный метод поиска доказательств, являющийся основой исследований по искусственному интеллекту, и развил теорию дедуктивных систем...
:
...




.