М 31 Маслов, Сергей Юрьевич. Теория дедуктивных систем и ее применение [Текст] : учебное пособие / С. Ю. Маслов. - Москва : Радио и связь, 1986. - 136 с. : рис. ; 21см. - (Кибернетика). - Лит.: с. 129-131. - 8800 экз.. - 0.45 р.
Кл.слова (ненормированные): дедуктивна система -- математическая логика -- математична логіка -- канонічні обчислення -- канонические исчисления -- алгоритми -- алгоритмы -- горизонтальне моделювання -- горизонтальное моделирование -- принципы моделирования -- принципи моделювання -- вертикальне моделювання -- вертикальное моделирование Аннотация: Излагается математический аппарат теории исчислений. ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |