Год выпуска: 2013 Автор: Руслана Дегтерева Издательство: LAP Lambert Academic Publishing Страниц: 140 ISBN: 9783659457654
Описание
В данной книге рассматриваются современные проблемы информатики и математической логики, связанные с обобщенными вычислениями на машинах с оракулами. В качестве оракулов берутся частичные числовые функции.Впервые вводятся допустимые отказы оракула и определяются вычисления с двуместными оракулами, ответы которых зависят от кода спрашивающей машины. Возникает особый язык программирования, напоминающий современные языки высокого уровня. Определяются такие новые алгоритмические понятия как воплощения машины, вычисления в заданном масштабе, команды-декларации, поисковые машины. При этом наблюдаются необычные программистские эффекты:остановка времени, нарушение суперпозиции, проблемы селекции.Книга содержит некоторые открытые вопросы и может служить хорошим пособием для разработки спецкурсов, дипломных работ и тем диссертаций в области информатики и математической логики.
Марина! Спасибо Вам большое! Работа мне понравилась, изложена простым языком и присутствует анализ основных моментов темы. Защитился на отлично, используя в докладе Ваш материал. Буду рекомендовать Вас студентам и коллегам.