Раздел «Естествознание, Математика»

• Словарь естествознания
  В закладки

  

  В закладки будет добавлено толкование к данному слову в данном словаре. Закладки сохраняются на Вашем компьютере в cookie. Если Ваш браузер не поддерживает cookie или такая возможность отключена, то сохранение закладок будет не возможно.

  Программирование

  процесс подготовки задач для решения их на ЭВМ, состоящий из след. этапов: составление "плана решения" задачи в виде набора операций (алгоритмич. описание задачи); описание "плана решения" на языке программирования (составление программы); трансляция программы с языка программирования на машинный язык (в виде последовательности команд, реализация к-рых техн. средствами ЭВМ и есть процесс решения задачи). П. наз. также раздел прикладной математики, изучающий и разрабатывающий методы и средства составления, проверки и улучшения программ для ЭВМ.

• Геологический словарь
  В закладки

  

  В закладки будет добавлено толкование к данному слову в данном словаре. Закладки сохраняются на Вашем компьютере в cookie. Если Ваш браузер не поддерживает cookie или такая возможность отключена, то сохранение закладок будет не возможно.

  Программирование

  Программирование — составление программы решения задач на ЭВМ по заранее составленному алгоритма . Для каждой машины существует определенная система команд .(операций) в соответствующем коде . П. для каждой типовой задачи выполняется отдельно. Существует универсальный метод П. для любой ЭВМ (см. Алгол ).
• Математический словарь
  В закладки

  

  В закладки будет добавлено толкование к данному слову в данном словаре. Закладки сохраняются на Вашем компьютере в cookie. Если Ваш браузер не поддерживает cookie или такая возможность отключена, то сохранение закладок будет не возможно.

  Программирование

  - 1) процесс составления программы, плана действий; 2) дисциплина, изучающая методы и приемы составления программ. С определенной долей условности П. как дисциплина делится на программирование теоретическое, изучающее математич. абстракции программ и способов их построения, системное программирование, имеющее дело с разработкой математического обеспечения ЭВМ, т. е. программных комплексов массового и длительного применения, и прикладное программирование, обслуживающее конкретные применения ЭВМ во всем их разнообразии.

  Составление программы является творч. задачей, т. к. поиски способа достижения даже четко сформулированной цели в общем случае требуют выработки или привлечения нового знан

  …
  Далее

  - 1) процесс составления программы, плана действий; 2) дисциплина, изучающая методы и приемы составления программ. С определенной долей условности П. как дисциплина делится на программирование теоретическое, изучающее математич. абстракции программ и способов их построения, системное программирование, имеющее дело с разработкой математического обеспечения ЭВМ, т. е. программных комплексов массового и длительного применения, и прикладное программирование, обслуживающее конкретные применения ЭВМ во всем их разнообразии.

  Составление программы является творч. задачей, т. к. поиски способа достижения даже четко сформулированной цели в общем случае требуют выработки или привлечения нового знания. В нек-рых частных случаях возможно нахождение более систематической и формальной процедуры П. Так, если задание на П. уже сформулировано в виде алгоритма, то П. сводится к переводу с языка записи алгоритма, или алгоритмического языка, к языку, непосредственно воспринимаемому исполнителем. В нек-рых математич. моделях задача перевода, решается исчерпывающе. Напр., если задача сформулирована в виде теоремы существования

  

  где Р( х, у) - нек-рая формула узкого исчисления предикатов, то из доказательства теоремы в конструктивной логике эффективно извлекается рекурсивное описание функции j(х), для к-рой (теорема Клини - Нельсона). Поиски систематич. процедур перевода записей алгоритма в программы и извлечения программы из условия задачи и дополнительной информации составляют предмет автоматизации программирования и ее частного случая - трансляции программ.

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

  Нек-рое представление о способе перехода от спецификации задачи к программе дает следующий пример П. задачи возведения хв натуральную степень п.

  Исходное знание: x¹=x, х ^п+т=х ^n. х ^т, х ^пт=( х ^п) ^т. Обнаруживая, что эти соотношения позволяют свести решение задачи х ⁿ к более простой (т. е. с меньшим n), пытаются придать исходному знанию простейшую форму (творч. шаг):

  х ⁰=1, xⁿ⁺¹= x^n.x, x²ⁿ=(xⁿ)².

  Содержательный анализ показывает, что третье соотношение эффективнее, нежели второе, но зато применимо не всегда. Второе соотношение переписывается в виде случая, дополнительного к третьему (творч. шаг):

  х ⁰=1, х ^2п+1= х ^2n. х, х ²ⁿ=( х ^п)².

  Используя обратимость функций 2n и n+1 и логич. несовместимость соотношений, получают рекурсивное соотношение методом

  …
  Перейти к полному виду статьи Свернуть