Quick Facts
SagittariusBiography
Миха́йло Олекса́ндрович Гаври́лов (*24 листопада 1903—†1979) — радянський учений, який стояв біля витоків інформатики в СРСР, зокрема технічної кібернетики, теорії автоматів та теорії ЕОМ, член-кореспондент АН СРСР (1964).
Висунув ідею про те, що багато інженерні задачі проектування пристроїв релейного автоматики можна вирішувати формальними методами з використанням апарату математичної логіки. Розробив практичні методи синтезу схем і пристроїв, що використовують контакти, керовані за допомогою реле. Розвивав методи автоматичного проектування дискретних керувальних пристроїв.
Основні праці з телемеханіки, теорії релейних пристроїв і кінцевих автоматів. У 1950 році опублікував свою книгу «Теорія релейно-контактних схем», що стала першою в світі книжкою, присвяченою логічним методам аналізу та синтезу схем.
Премія АН СРСР ім. П. Н. Яблочкова (1958).
- Праці
- Гаврилов Μ. Α., Теория релейно-контактных схем, М.-Л., 1950
Джерела
- http://persona.rin.ru/view/f/0/35231/gavrilov-mihail-aleksandrovich
- http://persons-info.com/index.php?v_nav=Г&pid=2994
Кібернетика | |
|---|---|
Кібернетика | |
| Вчені | Радянські: Аксель Берг · Михайло Гаврилов · Віктор Глушков · Анатолій Китов · Олексій Ляпунов · Віктор Шестаков Іноземні: Норберт Вінер · Дональд Кнут · Джон фон Нейман · Гайнц фон Ферстер |
| Напрями | Біологічна кібернетика (психологічна) · Гуманітарна кібернетика · Економічна кібернетика · Екологічна кібернетика · Математична кібернетика · Медична кібернетика (фізіологічна)· Теоретична кібернетика · Технічна кібернетика · Прикладна кібернетика Дискретна математика: Теорія множин · Теорія графів · Булева алгебра Теорія систем Теорія інформації Методи програмування Алгоритмічні мови · Математичне програмування · Теорія автоматів Теорія програмування: Основи програмування · Математична логіка · Теорія алгоритмів · Теорія програмування · Формальні методи Мови програмування: Теорія автоматів · Формальні мови · Транслятор · Мова програмування Моделювання: Математичний аналіз · Диференціальні рівняння · Математичне моделювання · Аналіз даних · Чисельні методи Прийняття рішень: Дослідження операцій · Теорія рішень · Штучний інтелект |
| Суміжні дисципліни | Обчислювальна математика · Математична лінгвістика · Філософія · Програмування · Біологія |
| Об'єкти вивчення | Комп'ютер · Алгоритм · Система керування · Інформація |
| Техніка | Апаратне забезпечення · Синтез логіки · Мови опису апаратури |
| Кібернетика в Україні | Енциклопедія кібернетики · Інститут кібернетики · Факультет кібернетики · Історія електронної обчислювальної техніки в УРСР |
| Інше | Бібліографія у галузі кібернетики |
| Вчені | Радянські: Аксель Берг · Михайло Гаврилов · Віктор Глушков · Анатолій Китов · Олексій Ляпунов · Віктор Шестаков Іноземні: Норберт Вінер · Дональд Кнут · Джон фон Нейман · Гайнц фон Ферстер |
| Напрями | Біологічна кібернетика (психологічна) · Гуманітарна кібернетика · Економічна кібернетика · Екологічна кібернетика · Математична кібернетика · Медична кібернетика (фізіологічна)· Теоретична кібернетика · Технічна кібернетика · Прикладна кібернетика Дискретна математика: Теорія множин · Теорія графів · Булева алгебра Теорія систем Теорія інформації Методи програмування Алгоритмічні мови · Математичне програмування · Теорія автоматів Теорія програмування: Основи програмування · Математична логіка · Теорія алгоритмів · Теорія програмування · Формальні методи Мови програмування: Теорія автоматів · Формальні мови · Транслятор · Мова програмування Моделювання: Математичний аналіз · Диференціальні рівняння · Математичне моделювання · Аналіз даних · Чисельні методи Прийняття рішень: Дослідження операцій · Теорія рішень · Штучний інтелект |
| Суміжні дисципліни | Обчислювальна математика · Математична лінгвістика · Філософія · Програмування · Біологія |
| Об'єкти вивчення | Комп'ютер · Алгоритм · Система керування · Інформація |
| Техніка | Апаратне забезпечення · Синтез логіки · Мови опису апаратури |
| Кібернетика в Україні | Енциклопедія кібернетики · Інститут кібернетики · Факультет кібернетики · Історія електронної обчислювальної техніки в УРСР |
| Інше | Бібліографія у галузі кібернетики |
- ↑ https://viaf.org/viaf/176159477/
- ↑ NUKAT — 2002.
- ↑ CONOR.BG
- ↑ Гаврилов Михаил Александрович // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохоров — 3-е изд. — Москва: Советская энциклопедия, 1969.