В курсе рассматриваются введение в теорию метавычислений и их применения. Метавычисления — это раздел теории и практики программирования, связанный с разработкой и использованием метапрограмм — конструктивных метасистем над программами. 

В данном учебном курсе даётся начальное знакомство с метавычислениями, излагаются предпосылки возникновения данного раздела информатики, для простого (но полного) языка программирования TSG строятся система понятий и базовых алгоритмов метавычислений.

Изложение ориентировано на специалистов в области программирования.