Необычные эффекты алгоритмизации. Программирование в языках высокого уровня

      Аннотация: В данной книге рассматриваются современные проблемы информатики и математической логики, связанные с обобщенными вычислениями на машинах с оракулами. В качестве оракулов берутся частичные числовые функции.Впервые вводятся допустимые отказы оракула и определяются вычисления с двуместными оракулами, ответы которых зависят от кода спрашивающей машины. Возникает особый язык программирования, напоминающий современные языки высокого уровня. Определяются такие новые алгоритмические понятия как воплощения машины, вычисления в заданном масштабе, команды-декларации, поисковые машины. При этом наблюдаются необычные программистские эффекты:остановка времени, нарушение суперпозиции, проблемы селекции.Книга содержит некоторые открытые вопросы и может служить хорошим пособием для разработки спецкурсов, дипломных работ и тем диссертаций в области информатики и математической логики.

Ключевые слова: математическая логика, вычисления с оракулом, языки программирования высокого уровня, трансфинитные конструкции