АЛГОРИТМ

программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного решения задач. При этом подразумевается, что исходные данные задач могут изменяться в определ. пределах (массовость А.); процесс применения правил к исходным данным (путь решения задачи) определён однозначно (детерминированность А.); на каждом шаге процесса (применения правила) известно, что считать его результатом (результативность А.). Свойство массовости А. означает, что А. связан с решением общей проблемы, в условия к-рой входят параметры; ответ «да» или «нет» па эту проблему даётся не прямо, а косвенно - в зависимости от значений параметров, в общем случае допускающих счётно-бесконечное множество значений. Поэтому точное описание А. предполагает указание на множество возможных значений параметров (т. е. частных вопросов) проблемы. Обычно (без ущерба для общности понятия А.) в качестве возможных значений параметров выбирают слова в нек-ром фиксированном алфавите, при этом А. сводится к процессу преобразования слов. Результативность процесса применения А. связывают с его остановкой (обрывом), что рассматривают как применимость А. к исходным данным задачи. Свойство детерминированности А. выражается в том, что когда заданы А. и значения параметров (т. е. выбран частный случай проблемы), процесс решения идёт чисто формально (механически), так что во всех деталях известны последовательность и содержание конкретных (дискретных) шагов работы А. Детерминированность исключает возможность произвольных решений, что достигается изоляцией алгоритмич. процесса от воздействий извне. Именно эта черта А. делает его одновременно и синонимом автоматически работающей машины, и основой автоматизации процессов преобразования информации.

Общая проблема совместно с требованием разыскания А. наз. алгоритмической. Если А. предложен, то спрашивается: всегда ли ответы по предложенному А. будут ответами на частные вопросы данной алгоритмич. проблемы? Это выясняют доказательством соответствия А. данной проблеме, после чего алгоритмич. проблему считают разрешимой А. (или алгоритмически разрешимой). Обычно задачи, решаемые А., сводятся к распознаванию свойств конструктивных объектов (см. Конструктивное направление). Напр., А. распознавания свойства общезначимости для формул логики высказываний даётся их табличной оценкой. Это же свойство характеризует и множество доказуемых формул исчисления высказываний, крос, т. о., алгоритмически разрешимо относительно истинности.

Вопрос о проблемах, разрешимых А., связан с вопросом об использовании машин вместо человека и пределах автоматизации процессов мышления. Вера в алгоритмич. разрешимость всех (по крайней мере, всех математич. и логич.) проблем имела значит, влияние в философии начиная с Декарта и Лейбница. В 1931 К. Гёдель доказал, что в системах аксиом определ. вида есть проблемы, неразрешимые А. этих систем, в связи с чем возник вопрос об описании класса всех возможных типов А. в рамках строгой (формальной) теории А. В 1936 появилось песк. вариантов стандартных систем уточнения понятия А. (формализации функций, вычислимых по Гёделю, Клини, Тьюрингу, Черчу) и была высказана эмпирически обоснованная гипотеза, что иных А., удовлетворяющих свойствам содержат. понятия А., но неэквивалентных стандартным формализациям, не существует. Эта гипотеза означала признание принципиальной завершённости поиска средств, привлекаемых для решения алгоритмич. проблем, и вместе с тем - признание существова

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

Просмотров: 631
Категория: Словари и энциклопедии » Философия » Советский философский словарь, 1974 г.




Другие новости по теме:

  • «ОБРАЗОВАНИЕ ДЛЯ ВСЕХ»
  • «ОБРАЗОВАНИЕ ДЛЯ ВСЕХ»
  • «ЧТО ДЕЛАТЬ?
  • «ЧТО ТАКОЕ ,,ДРУЗЬЯ НАРОДА И КАК ОНИ ВОЮЮТ ПРОТИВ СОЦИАЛ-ДЕМОКРАТОВ?
  • «ЧТО ТАКОЕ ФИЛОСОФИЯ?»
  • Автоматизация процессов информационно-методического обеспечения учебно-воспитательного процесса
  • ВАРИАТИВНОСТЬ ПОИСКА РЕШЕНИЯ
  • Война всех против всех
  • Государство и война всех против всех
  • Делать вид, что не понимаешь
  • Знание “что”
  • ЗНАНИЕ ЧТО
  • МЕТОДЫ ПОИСКА ОПТИМАЛЬНЫХ ПАРАМЕТРОВ
  • Мудролюбие, что и любомудрие
  • Обходные пути решения задачи
  • Основные понятия и проблемы античной философии. Обзор
  • Принцип комплексности, целостности, единства всех компонентов воспитательного процесса
  • ПРОБЛЕМНОЕ ИНФОРМИРОВАНИЕ КЛИЕНТА (О СУТИ ЕГО ПРОБЛЕМЫ)
  • ПРОЦЕДУРА ВЫРАБОТКИ У КЛИЕНТА УВЕРЕННОСТИ В ТОМ, ЧТО ЕГО ПРОБЛЕМА БУДЕТ УСПЕШНО РЕШЕНА
  • ПРОЦЕДУРА ПОИСКА ПСИХОЛОГОМ-КОНСУЛЬТАНТОМ И КЛИЕНТОМ ПРИЕМЛЕМОГО РЕШЕНИЯ ПРОБЛЕМЫ КЛИЕНТА
  • ПРОЦЕДУРА УТОЧНЕНИЯ ДЕТАЛЕЙ РЕШЕНИЯ, ПРИНЯТОГО (ПРИНИМАЕМОГО) ПСИХОЛОГОМ-КОНСУЛЬТАНТОМ СОВМЕСТНО С КЛИЕНТОМ
  • Рассмотрение проблемы в связи с конкретным клиентом или семьей.
  • Стадия принятия решения и его оценки
  • То, что неподвластно забвению, правда, истина, верность, искренность, правдивость, истинность
  • Упирать на что-л
  • ЧЕЛОВЕК ДЛЯ СЕБЯ. Исследование психологических проблем этики
  • ЧЕЛОВЕК ДЛЯ СЕБЯ. Исследование психологических проблем этики
  • Что такое русская идея?
  • ЧТО ТАКОЕ ФИЛОСОФИЯ?
  • Я знаю, что ничего не знаю



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь