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