Сергей Михайлович Крылов

Материал из свободной русской энциклопедии «Традиция». Вы можете дополнить или исправить его.
(перенаправлено с «Крылов, Сергей Михайлович»)
Перейти к навигации Перейти к поиску
Сергей
Ошибка Lua в Модуль:Wikidata на строке 1528: attempt to index field 'wikibase' (a nil value).
[[Файл:Ошибка Lua в Модуль:Wikidata на строке 1528: attempt to index field 'wikibase' (a nil value).|thumb||center|none|]]Ошибка Lua в Модуль:SummaryII/image на строке 57: attempt to index 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 в Модуль:Wikidata на строке 1528: attempt to index field 'wikibase' (a nil value).

Ошибка Lua в Модуль:Autosorting на строке 85: attempt to index field 'wikibase' (a nil value).

Сергей Михайлович Крылов — профессор кафедры «Вычислительная техника» факультета автоматики и информационных технологий Самарского государственного технологического университета.

Получил диплом инженера по специальности «Электронные вычислительные машины» в 1973 г., в 1983 г. окончил аспирантуру НИИМП (г. Зеленоград, Москва), в 1984 г. защитил кандидатскую диссертацию по дискретно-аналоговым системам, а в 2005 г. — докторскую диссертацию по теме «Теория и методы разработки многофункциональных программируемых технологических систем на основе формально-технологического анализа». В 1990 г. стал лауреатом Всесоюзного конкурса по микроэлектронике. Более тридцати лет интенсивно работает в области нового междисциплинарного научного направления — формальной технологии.

C помощью методов формальной технологии удалось впервые показать существование иерархии в классе универсальных по Тьюрингу дискретно-аналоговых вычислительных машин — то есть там, где такой иерархии — согласно тезису Тьюринга-Черча, вроде бы быть не должно, другими словами, показана ограниченность т. н. «физического тезиса Тьюринга-Чёрча».

Этот неординарный (и вместе с тем простой по технике доказательства) факт подтверждает, что формальная технология на самом деле потенциально богаче математики, поскольку позволяет вовлечь в формально-логические построения гораздо больший круг объектов, нежели это предполагают классические математические методы.

Область смежных научных интересов — дискретно-аналоговые системы, эволюция в природе и технике.

Ссылки[править | править код]