def — теория программирования