алгорифм

  • 41АЛГОРИТМ — (алгорифм) (от algorithmi, algorismus, первоначально латинская транслитерация имени математика аль Хорезми), способ (программа) решения вычислительных и других задач, точно предписывающий, как и в какой последовательности получить результат,… …

    Современная энциклопедия

  • 42АЛГОРИТМ — (алгорифм) (от algorithmi algorismus, первоначально лат. транслитерация имени математика аль Хорезми), способ (программа) решения вычислительных и др. задач, точно предписывающий, как и в какой последовательности получить результат, однозначно… …

    Большой Энциклопедический словарь

  • 43Алгоритмов теория —         раздел математики, изучающий общие свойства Алгоритмов. Содержательные явления, приведшие к образованию понятия «алгоритм», прослеживаются в математике в течение всего времени её существования. Однако само это понятие сформировалось лишь… …

    Большая советская энциклопедия

  • 44Секвенций исчисление — (позднелатинское sequentia последовательность, следствие)         секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления (См. Исчисление), в которых основными объектами преобразования являются не… …

    Большая советская энциклопедия

  • 45Языкознание —         лингвистика, языковедение, наука о Языке. Объектом Я. является строение, функционирование и историческое развитие языка, язык во всём объёме его свойств и функций. Однако в качестве непосредственного предмета Я. в разные эпохи выдвигались …

    Большая советская энциклопедия

  • 46алгорифмический — прил. 1. соотн. с сущ. алгорифм, связанный с ним 2. Свойственный алгорифму, характерный для него. Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 …

    Современный толковый словарь русского языка Ефремовой

  • 47ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …

    Философская энциклопедия

  • 48АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …

    Философская энциклопедия

  • 49АКСИОМАТИЗИРУЕМЫЙ КЛАСС — класс однотипных моделей, определяемый системой аксиом. Класс Кмоделей формального языка Lназ. аксиоматизируемым (конечно аксиоматизируемым), если существует (конечная) система замкнутых формул языка Lтакая, что Ксодержит те и только те модели,… …

    Математическая энциклопедия

  • 50АССОЦИАТИВНОЕ ИСЧИСЛЕНИЕ — название, установившееся за исчислениями нек рого точно охарактеризованного типа, хорошо приспособленными для задания конечно определенных ассоциативных систем ( полугрупп). Термин А. и. введен А. А. Марковым. Им же было осуществлено построение… …

    Математическая энциклопедия