Сергей Михайлович Крылов
| Сергей Ошибка Lua в Модуль:Wikidata на строке 1528: attempt to index field 'wikibase' (a nil value).
|
- Дата рождения:
- Ошибка Lua в Модуль:Wikidata на строке 1528: attempt to index field 'wikibase' (a nil value).
- Дата смерти:
- Ошибка Lua в Модуль:Wikidata на строке 1528: attempt to index field 'wikibase' (a nil value).
- Страна:
Россия
- Научная сфера:
- информационные технологии
- Известен как:
- создатель формальной технологии
- Награды и премии:
- лауреат Всесоюзного конкурса по микроэлектронике
- Автограф:
- Ошибка Lua в Модуль:Wikidata на строке 1528: attempt to index field 'wikibase' (a nil value).
[[Ошибка Lua в Модуль:Wikidata/Interproject на строке 38: attempt to index field 'wikibase' (a nil value).|Цитаты в Викицитатнике]]
[[Ошибка Lua в Модуль:Wikidata/Interproject на строке 38: attempt to index field 'wikibase' (a nil value).|Шаблон:Удалить теги в Викитеке]]Ошибка Lua в Модуль:Autosorting на строке 85: attempt to index field 'wikibase' (a nil value).
Сергей Михайлович Крылов (1948-2020) — профессор кафедры «Вычислительная техника» факультета автоматики и информационных технологий Самарского государственного технологического университета.
Получил диплом инженера по специальности «Электронные вычислительные машины» в 1973 г., в 1983 г. окончил аспирантуру НИИМП (г. Зеленоград, Москва), в 1984 г. защитил кандидатскую диссертацию по дискретно-аналоговым системам, а в 2005 г. — докторскую диссертацию по теме «Теория и методы разработки многофункциональных программируемых технологических систем на основе формально-технологического анализа». В 1990 г. стал лауреатом Всесоюзного конкурса по микроэлектронике. Более тридцати лет интенсивно работает в области нового междисциплинарного научного направления — формальной технологии.
C помощью методов формальной технологии удалось впервые показать существование иерархии в классе универсальных по Тьюрингу дискретно-аналоговых вычислительных машин — то есть там, где такой иерархии — согласно тезису Тьюринга-Черча, вроде бы быть не должно, другими словами, показана ограниченность т. н. «физического тезиса Тьюринга-Чёрча».
Этот неординарный (и вместе с тем простой по технике доказательства) факт подтверждает, что формальная технология на самом деле потенциально богаче математики, поскольку позволяет вовлечь в формально-логические построения гораздо больший круг объектов, нежели это предполагают классические математические методы.
Область смежных научных интересов — дискретно-аналоговые системы, эволюция в природе и технике.
Фото разных летПравить
СсылкиПравить
БиблиографияПравить
- Крылов С.М. Формально-технологические модели в общей теории систем. Известия Самарского научного центра Российской академии наук. 2003;5(1):83−90.
- Крылов С.М. Теория и методы разработки многофункциональных программируемых технологических систем на основе формально-технологического ана-лиза: дис. ... докт. техн. наук. Самара; 2005. 451 c.
- Крылов С.М. Формальная технология и эволюция. Самара: Самарский гос. технический ун-т; 2012. 325 с. ISBN 978-5-7964-1547-4
- Крылов С.М. Неокибернетика: алгоритмы, математика эволюции и технологии будущего. M.: URSS; 2008. 288 с. ISBN 978-5-382-00651-2
- Крылов С.М. Метаматематические основы науки будущего: монография. Самара: Самарский гос. тех-нический ун-т; 2014. 247 с. ISBN 978-5-7964-1686-0