Длина вычисления программ, Сергей Попов und Наталья Брошкова

Длина вычисления программ, Сергей Попов und Наталья Брошкова
Автор: Сергей Попов und Наталья Брошкова
Доступно в форматах: EPUB | PDF | FB2
Страниц: 168
Год издания: 2014
Язык: Русский
Вводится обобщение пропозиционального языка, позволяющее представлять все вычислимые функции и арифметические программы. Этот язык полезен при анализе вычислительных характеристик арифметических программ. В частности, показывается, что функции арифметики Пресбургера вычислимы за линейное время, а длина вычисления арифметической программы определяется мощностью фактор-множества отношения эквивалентности частичных означиваний входа программы. Тем самым удается связать сложность вычисления программы с видом вычисляемой ею функции.

Отзывы


Те, кто смотрел эту страницу, также интересовались:

Журналы Особого Совещания для обсуждения и объединения мероприятий по обороне государства. 1915-1918. В 3 томах (комплект)
Журналы Особого Совещания для обсуждения и объединения мероприятий по обороне государства. 1915-1918. В 3 томах (комплект)
Повышение эффективности энергетических установок плавучих кранов, Александр Яблоков und Анатолий Слюсарев
Повышение эффективности энергетических установок плавучих кранов, Александр Яблоков und Анатолий Слюсарев
Математика. 1 класс. Складываем и вычитаем в пределах 10
Математика. 1 класс. Складываем и вычитаем в пределах 10

Часто задаваемые вопросы

1. Какой формат книги выбрать: PDF, EPUB или FB2?
Тут все зависит от ваших личных предпочтений. На сегодняшний день, каждый из этих типов книг можно открыть как на компьютере, так и на смартфоне или планшете. Все скачанные с нашего сайта книги будут одинаково открываться и выглядеть в любом из этих форматов. Если не знаете что выбрать, то для чтения на компьютере выбирайте PDF, а для смартфона - EPUB.

2. Можно ли книги с вашего сайта читать на смартфоне?
Да. Как для iOS, так и для Android есть много удобных программ для чтения книг.

3. В какой программе открыть файл PDF?
Для открытия файла PDF Вы можете воспользоваться бесплатной программой Acrobat Reader. Она доступна для скачивания на сайте adobe.com