Пошук академічних текстів

Інформація × Реєстраційний номер 0405U004569, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 28-11-2005 Статус Запланована Назва роботи Класи функцій та чисел, що визначаються трансформаційними та генеруючими моделями обчислень Здобувач Карнаух Тетяна Олександрівна, Керівник Лісовик Леонід Петрович Опонент Капітонова Юлія Володимирівна Опонент Ганюшкін Олександр Григорович Опис Розглядаються можливості моделей обчислень з різними обмеженнями (на тип пам'яті та/або на подання результату обчислень) щодо задання арифметичних функцій, дійсних чисел та дійсних функцій, а також зв'язки між класами дійсних функцій, обчислюваних строгими реалами, та класами функцій, описуваних методами класичного аналізу. Досліджено властивості граматик з пам'яттю, зокрема з нестираючою стековою пам'яттю; побудовано гніздові стекові генератори, що обчислюють трансцендентні числа; для неперервної всюди визначеної дійсної функції в термінах класичного аналізу отримано необхідні і достатні умови того, що її можна задати строгим реалом. Дата реєстрації 2005-11-28 Додано в НРАТ 2020-04-04 Закрити