Символический анализ релейных и коммутационных схем — название магистерской диссертации, написаннойпионером компьютерной науки Клодом Э. Шенноном во время учебы в Массачусетском технологическом институте (MIT) в 1937 году [1] [2] и затем опубликованной в 1938 году. В своей диссертации Шеннон, выпускник Мичиганского университета с двойной степенью, доказал, что булеву алгебру [3] можно использовать для упрощения расположения реле , которые были строительными блоками электромеханических автоматических телефонных станций того времени. Он продолжил доказывать, что также должно быть возможно использовать расположения реле для решения задач булевой алгебры. Его диссертация заложила основы для всех цифровых вычислений и цифровых схем . [4] [5]
Использование двоичных свойств электрических переключателей для выполнения логических функций является базовой концепцией, лежащей в основе всех электронных цифровых компьютерных разработок. Диссертация Шеннона стала основой практического проектирования цифровых схем , когда она стала широко известна в сообществе электротехников во время и после Второй мировой войны . В то время методы, используемые для проектирования логических схем (например, Z1 Конрада Цузе ) были по своей природе ad hoc и не имели теоретической дисциплины, которую статья Шеннона привнесла в более поздние проекты.
Работа Шеннона также существенно отличалась по своему подходу и теоретической основе от работы Акиры Накашимы . В то время как подход и структура Шеннона были абстрактными и основанными на математике, Накашима пытался расширить существующую теорию цепей того времени, чтобы иметь дело с релейными цепями, и не хотел принимать математическую и абстрактную модель, отдавая предпочтение обоснованному подходу. [6] Идеи Шеннона проложили новые пути, а его абстрактный и современный подход доминировал в современной электротехнике. [6]
Эта работа обычно считается самой важной магистерской диссертацией из всех, благодаря ее проницательности и влиянию. [7] [8] [9] [10] Пионер в области компьютерных наук Герман Голдстайн описал диссертацию Шеннона как «несомненно ... одну из самых важных магистерских диссертаций, когда-либо написанных ... Она помогла превратить проектирование цифровых схем из искусства в науку». [11] В 1985 году психолог Говард Гарднер назвал его диссертацию «возможно, самой важной, а также самой известной магистерской диссертацией века». [12] Работа получила премию Альфреда Нобеля 1939 года .
Версия статьи была опубликована в выпуске «Трудов Американского института инженеров-электриков» за 1938 год . [13]
[Шеннон] построил исчисление, основанное на наборе постулатов, которые описывали основные идеи переключения; например, открытая цепь последовательно с открытой цепью является открытой цепью. Затем он показал, что его исчисление эквивалентно некоторым элементарным частям исчисления предложений, которое, в свою очередь, было получено из алгебры логики, разработанной Джорджем Булем.