Cтраница 4
Если Р сходится на всех интерпретациях, этот процесс будет конечным ( можно просматривать конечные пути, начинающиеся во входе схемы Р, отбрасывая те из них, которые, каждый в отдельности, являются несогласованными в смысле, определенном в разд. Кенига, можно утверждать, что существует бесконечный согласованный путь, и, следовательно, по результатам разд. Свойство ( с), таким образом, установлено. [46]
Теория графов, развитая в трудах А. А. Зыкова [68], О. Кенига [192] и многих других как абстрактная математическая наука, оперирует с точечными моделями объектов, имеет дело со свойствами самих графов независимо от того, какова природа объектов, отображающих тот или иной граф. Применение аппарата теории графов к проектированию топологии модульных схем цифровых вычислительных машин ( автоматов) приводит нас к введению лишь некоторых определений, правил и теорем из общей теории графов, которые будут представлять интерес в дальнейшем изложении. [47]
Термин граф прочно вошел в математич. Кенига ( 1936), в к-рой были систематизированы накопившиеся к тому времени факты. ЭВМ позволили решать задачи таких размеров, к-рые не поддавались ручной обработке. [48]
Алгоритм быстрого преобразования Фурье по существу принадлежит К. Кенигу ( 1924 г.); он был обобщен Дж. Интересная история этого алгоритма прослежена в работе Дж. [49]
В 1906 г. появилась сразу целая серия доказательств теоремы эквивалентности: Цермело ( см. работу Пуанкаре [ 2, с. Пеано [7], Кенига [3], Бернштейна [5] и Гессенберга [ 1, с. Два первых из них опираются на дедекиндовское понятие цепи множества. [50]
Но посмотрим, что же говорили Энгельгард и Гравезанд: ведь необходимо, чтобы оба они установили то же, что знам. Однако открытие Гравезанда в изложении самого Кенига состоит в следующем: если два тела, лишенные упругости, встречаются друг с другом так, что после столкновения каждое из них остается в состоянии покоя, то тогда сумма живых сил до столкновения была наименьшей, ибо представляется, что относительная скорость остается той же самой. [51]