Висвітлено математичні основи теорії програмування, наведено загальну характеристику регулярних і контекстовільних мов, запропоновано методики синтаксичного аналізу, лямбда-вирахування та типізації. Наведено відомості про множини, відношення, регулярні вирази, недетермінований скінченний автомат, дерева розбору, предиктивний аналізатор, типи даних. Розглянуто особливості імперативного, об'єктно орієнтованого, функціонального та логічного програмування, а також способи верифікації програм та алгоритмічно нерозв'язні проблеми, описано схему машини Тьюрінга.

Освещены математические основы теории программирования, дана общая характеристика регулярных и контекстосвободных языков, приведены методики синтаксического анализа, лямбда-вычисления и типизации. Даны сведения о множествах, отношениях, регулярных выражениях, недетерминированном конечном автомате, деревьях разбора, предиктивном анализаторе, типах данных. Рассмотрены особенности императивного, объектно ориентированного, функционального и логического программирования, а также способы верификации программ и алгоритмически нерешаемые проблемы, описана схема машины Тьюринга.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"