Новосибирский государственный университет

Факультет информационных технологий

ICT SBRAS
А.М.Федотов

Словарь-справочник по информатике (онтология информатики)

Виктор Иванович Шестаков

1907—1987

[Шестаков]

Основные достижения:

Виктор Иванович Шестаков — советский логик и электротехник, который в середине 1930-х годов предложил интерпретацию логики булевой алгебры на релейно-контактных схемах.

В. И. Шестаков высказал идею и сформулировал теорию релейно-контактных схем в 1934—35 годах, раньше Шеннона , хотя диссертации (соответственно, кандидатскую и PhD) оба защитили в 1938 году. В.И. Шестаков опубликовал статьи, излагавшие его идею, только в 1941 году.

В начале XX века релейно-контактные схемы начинают все шире и шире применяться в системах автоматики, защиты электротехнических систем, в связи. Каждая релейно-контактная схема, предназначенная для практических целей, являлась отдельным изобретением, поскольку не имелось общей теоретической концепции и принципа соответствующего моделирования. Заслуга В. И. Шестакова состоит в том, что он (и чуть позже К. Шеннон, который использовал идеи Чарлза Пирса ) предложил концепцию логического моделирования.

Эта идея была связана с проблемой синтеза управляющих систем. Техническая сторона этой проблемы (конструирование тех или иных устройств) требовала серьёзных математических оснований. Этой математической стороне проблемы собственно и посвятил свои работы В. И. Шестаков.

В. И. Шестаков открыл логико-алгебраическую модель электрических двухполюсников (позже и трех- и четырехполюсников) с последовательно-параллельными соединениями двухполюсных схемных элементов (резисторов, конденсаторов, катушек индуктивности и др.), сопротивления которых могут принимать любые положительные значения на оси действительных чисел и которая на двухэлементном множестве {0, бесконечность} вырождается в двузначную булеву алгебру логики.

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

Публикации o жизни и деятельности персоны:

  1. Бажанов В. А., В.И. Шестаков и К. Шеннон. Разные судьбы творцов одной красивой идеи // Вопросы истории естествознания и техники. - 2005. - Выпуск № 2. - С. 112-121.
  2. Левин В. И., Виктор Иванович Шестаков и логическое моделирование // Логическое моделирование. - 2010. - Выпуск № 16. - С. 67-95.
Ключевые слова:  логическое моделирование;   релейно-контактные схемы;   история ИТ;
Контекстный поиск: Задайте образец для поиска:
    

|А.М.Федотов| |Преподавание| |Современные проблемы информатики| |Информатика| |Ключевые термины| |Персоны|

Федотов Анатолий Михайлович
[SBRAS]
НГУ
ФИТ НГУ
ИВТ СО РАН
© 2007-2018, Новосибирский государственный университет, Новосибирск
© 1998-2018, Институт вычислительных технологий СО РАН, Новосибирск
© 1998-2018, Федотов А.М.
    Дата последней модификации: 06.11.2013