Тезисы (черновик)

доклада :"Теория вычислимости и теория программ: взаимное обогащение"