научные достижения


Основные научные направления и важнейшие результаты школы:


Главным направлением научных исследований школы является експликативне программирование – теория дескриптивных и декларативных программных алгеброидив (алгебраических структур, выступающих формальными и адекватными моделями структур данных, программ и средств конструирования программ). Для этих структур решены проблемы существования, однозначности и эффективного задачи, закладывает основу нового направления информатики – програмологии – науки о программах и логику программирования. В рамках этого направления удалось дать полное решение совокупности проблем, которые имеют фундаментальное значение для путей дальнейшего развития информатики, а именно:

  • проблема Клини о аксиоматизации регулярных и квазирегулярных алгебр;
  • проблема Черча-Катленда о полноте целочисленных исчисляемых функций и аналогичные проблемы Тарского и Мальцева для функций рационального, словарного аргумента и значения;
  • проблема полноты для классов исчисляемых функций и композиций;
  • проблемы уточнения манипуляционных действий в базах данных и полноты соответствующего класса функций – функций, которые хранят денотаты;
  • проблема построения и исследования семантически ориентированных композиционных логик первого порядка частичных функций;
  • проблема полного и естественного задания SQL-подобных языков.
Новини
Дошка оголошень
Цікаві факти