Итоги и выводы по теории информатики