исчисление

  • 11исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об …

    Словарь терминов логики

  • 12Исчисление — некоторая знаковая, символьная система. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам… …

    Начала современного естествознания

  • 13ИСЧИСЛЕНИЕ — 1) Составная часть названия нек рых разделов математики, трактующих правила вычислений и оперирования с объектами того или иного типа; напр., дифференциальное И., вариационное И. 2) Дедуктивная система, т. е. способ задания множества путем… …

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

  • 14исчисление — ▲ система ↑ вычисление исчисление, дедуктивная система система вычисления; совокупность правил оперирования с к л. символами; математическая модель процесса перехода от посылок к следствию, проводимого по некоторым правилам вывода (матем.… …

    Идеографический словарь русского языка

  • 15исчисление — ИСЧИСЛЕНИЕ, я, ср Определение величины кого, чего л. в каком л. числе, количестве; то же, что вычисление. Исчисление расстояния и времени пути важно для начинающих туристов …

    Толковый словарь русских существительных

  • 16исчисление — skaičiavimas statusas T sritis automatika atitikmenys: angl. calculation; calculus; computation vok. Berechnung, f; Kalkulation, f; Rechnung, f; Zählung, f rus. вычисление, n; исчисление, n; расчёт, m; счёт, m pranc. calcul, m; compte, m …

    Automatikos terminų žodynas

  • 17исчисление — apskaičiavimas statusas T sritis chemija apibrėžtis Matematinio uždavinio sprendimas remiantis kiekybiniais duomenimis. atitikmenys: angl. calculation; computation rus. вычисление; исчисление; расчет …

    Chemijos terminų aiškinamasis žodynas

  • 18исчисление — skaičiuotė statusas T sritis fizika atitikmenys: angl. calculus vok. Rechnung, f rus. исчисление, n pranc. calcul, m …

    Fizikos terminų žodynas

  • 19Исчисление взаимодействующих систем — (англ. Calculus of Communicating Systems, CCS, исчисление общающихся систем) в информатике  исчисление процессов, разработанное Робином Милнером в 1980 году. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя… …

    Википедия

  • 20Исчисление общающихся систем — Исчисление взаимодействующих систем (англ. Calculus of Communicating Systems, CCS)  это исчисление процессов, введённое Робином Милнером около 1980, и название его книги, описывающей это исчисление. Исчисление работает с моделью… …

    Википедия