2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Теория схем программ, схематология - актуальность.
Сообщение17.12.2016, 22:58 


17/12/16
5
Здравствуйте. Существует-ли какая-то на сегодняшний день в работах Ершова, Янова, Котова и прочих теоретиков схем программ актуальность? И если существует, то очень хотелось бы увидеть конкретные примеры применимости, кроме вопросов, связанных с алгоритмической разрешимостью или неразрешимостью проблем существования алгоритмов (здесь их направленность более или менее мне ясна).

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Модераторы: Karan, Toucan, PAV, maxal, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group