Новые поступления (книга в стадии обработки) Серебрянников, О. Ф. Эвристические принципы и логические исчисления [Текст] : научное издание / О. Ф. Серебрянников ; отв. ред. Б. В. Бирюков ; Акад. наук СССР, Научный Совет по комплексной проблеме "Кибернетика". - М. : Изд-во "Наука", 1970. - Библиогр.: с. 280-282. - 0.81 р.
Кл.слова (ненормированные): ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ -- МЕТОДЫ ФОРМАЛЬНОЙ ДЕДУКЦИИ -- КРИТЕРИИ ВЫВОДИМОСТИ -- ЛОГИЧЕСКИЕ ЗНАКИ -- ЛОГИЧЕСКИЕ СИСТЕМЫ -- РЕГУЛЯРНОЕ ИСЧИСЛЕНИЕ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Бирюков, Б. В. |