Редактирование: Парадигмы программирования, 09 лекция (от 19 ноября)

Материал из eSyr's wiki.

Перейти к: навигация, поиск

Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.

Текущая версия Ваш текст
Строка 3: Строка 3:
Рефал.
Рефал.
-
НАМ. Там вообще нет никаких библиотечных функций, однако они алгоритмически полны. Все эти изыски теории алгоритмов обычно не учитывают тот факт, что выходное слово зависит от входного --- программы бывают интерактивными. Тогда надо учитывать, что входные данные --- это поток событий, выходные --- тоже, появляется понятие времени, и тут всё не так просто. Это ... функция в алгоритмическом смысле --- это отображение, но их континуум, а алгоритмов счётное множество. Отсюда вытекает алгоритмическая неразрешимость.
+
НАМ. Там вообще нет никаких библ. функций, однако они алг. полны. Все эти изыски теории алг. обычно не учитывают тот факт, что вых. слово зависит от входного --- прогр. бывают интерактивны. Тогда надо уч. что вх. данные это поток событий, вых. --- тоже, появляется понятие времени, и тут всё не так просто. Это ... функция в алг. смысле это отображение, но их континуум, а алг. счётное множество. Отсюда вытекает алг. неразрешимость.
-
Все подобные вещи, такие как алгоритмическая неразрешимость, теория самоприменимости, взаимоотношение мощности множества подмножеств и множества, они доказываются канторовским диаграммным методом. Доказывается так: предположим, что такой объект есть, а потом покажем такой элемент, на котором отображение заведомо сломается, что приводится к противоречию.
+
Все подобные вещи, такие как алг. неразреш., теор. самоприменимости, взаимоотн мощн. мно. подмн-в. и множества, они доках. канторовским диаг. методом. Доказывается оно тем, что предп., что такой объект есть, а потом показать такой элемент, на котором отобр. заведомо сломается, что приводится к противоречию.
-
Чем важно доказательство: в глубине души мы верим, что все задачи алгоритмически разрешимы.
+
Чем важно доказ.: в глубине души мы верим, что все задачи алг. разрешимы.
-
Вернемся к теории алгоритмов. Для интерактивности нужен более сложный формализм, но тем не менее. В 60-е годы в ИСП РАН, который возглавлял тогда М. Р. Шура-Бура, ныне покойный, В. Ф. Турчин
+
Возвр. к теории алг.. Для интер. нужен более сложный формализм, но тем неменее. В 60-е годы в ИСП РАН, который возг. тогда М. Р. Шура-Бура, ныне покойный, В. Ф. Турчин
М. Р. был одним из последних в той плеяде программистов. Напр., он возг. проект по проекту Буран.
М. Р. был одним из последних в той плеяде программистов. Напр., он возг. проект по проекту Буран.

Пожалуйста, обратите внимание, что все ваши добавления могут быть отредактированы или удалены другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. eSyr's_wiki:Авторское право).
НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!


Отменить | Справка по редактированию (в новом окне)

Шаблоны, использованные на этой странице:

Получено с http://esyr.org/wiki/%D0%9F%D0%B0%D1%80%D0%B0%D0%B4%D0%B8%D0%B3%D0%BC%D1%8B_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F%2C_09_%D0%BB%D0%B5%D0%BA%D1%86%D0%B8%D1%8F_%28%D0%BE%D1%82_19_%D0%BD%D0%BE%D1%8F%D0%B1%D1%80%D1%8F%29
Личные инструменты
Разделы