2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Теория схем программ, схематология - актуальность.
Сообщение17.12.2016, 22:58 
Здравствуйте. Существует-ли какая-то на сегодняшний день в работах Ершова, Янова, Котова и прочих теоретиков схем программ актуальность? И если существует, то очень хотелось бы увидеть конкретные примеры применимости, кроме вопросов, связанных с алгоритмической разрешимостью или неразрешимостью проблем существования алгоритмов (здесь их направленность более или менее мне ясна).

 
 
 [ 1 сообщение ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group