Влияние идей Лейбница на развитие дискретной математики

Лейбниц сформулировал идею построения специальной геометрии - geometria situs, в которой основным отношением является взаимное расположение фигур. Соответствующее исчисление он назвал analysis situs. В XIX веке идеи analysis situs нашли воплощение в теории графов, комбинаторике, проективной геометрии, теории конечных групп. Вторая идея Лейбница относится к построению символической логики. Обе идеи получили развитие в XIX и XX вв. Эйлер был первым, кто сослался на analysis situs в своей статье о кёнигсбергских мостах (1736). Эйлер считается основателем теории графов. Идеи Лейбница нашли воплощение в XIX в. в проективной геометрии. Л.Карно назвал проективную геометрию «Géométrie de position» (1803). К.Г.Х фон Штаудт в «Geometrie der Lage» (1847) показал, что суть проективной геометрии - изучение взаимного расположения точек, линий и плоскостей. Луи Пуансо построил новые звёздчатые многогранники, ссылаясь на идеи Лейбница. Идея Лейбница об analysis situs явилась общим истоком теории геометрических и комбинаторных конфигураций. В своей магистерской диссертации 1666 г. (Dissertatio de arte combinatoria) Лейбниц изложил идею комбинаторного метода исследования. Взгляды Лейбница на высокую значимость комбинаторного искусства разделяли Дж. Сильвестр и А. Кэли. Сильвестр ввёл термин "Тактика" для раздела математики, изучающего порядок. К этому разделу он относил комбинаторику, теорию групп, синтаксис. В 1896 г. американский математик Э.Х. Мур статье «Tactical memoranda» ввёл термин "тактическая конфигурация". Мур рассматривал многочисленные примеры тактических систем и исследовал их свойства. Обобщением понятия «тактическая конфигурация» в XX в. было понятие блок-схемы.