Аннотация:В статье рассматриваются идеи Г. Лейбница, оказавшие влияние на
развитие современных компьютерных наук, в частности на исследования
в области искусственного интеллекта. В качестве таких идей выделены
проект создания универсального языка науки, система логического ис-
числения и арифмометр Лейбница. Эти идеи оказали влияние на разви-
тие таких значимых для компьютерных наук сфер теории и практики, как
математическая логика и вычислительная техника.