A882053-ОХФ Мансуров, Владимир Николаевич. Конструктивные и развивающиеся формальные системы [Текст] / В. Н. Мансуров ; . - Саратов : Издательство Саратовского университета, 1989. - 192, [4] c. - ISBN 5-292-00519-3 : 14.00 р.
Рубрики: математика--математическая логика--математическая кибернетика Кл.слова (ненормированные): формальные системы -- конструктивные формальные системы -- ЭПИ-системы -- бинарные системы -- Тьюринга машина -- алгоритмические языки Экземпляры всего: 1 ОХФ (1) |
Учебная литература, A979733-ОХФ-ЧЗ-3, A979734-ОХФ-ЧЗ-4, A979735-ОХФ-ЧЗ-4, Кузнецов, Олег Петрович. Дискретная математика для инженера [Текст] / О. П. Кузнецов. - 5-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2007. - 394, [6] с. : рис., табл. - (Учебник для вузов. Специальная литература). - Библиогр.: с. 388-389. - Предм. указ.: с. 390-393. - ISBN 978-5-8114-0570-1 (в пер.) : 360.00 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- множества -- алгебра логики -- графы -- алгоритмов теория -- формальные системы -- автоматы Экземпляры всего: 8 ОХФ-ЧЗ-3 (1), ОХФ-ЧЗ-4 (2), ОУОЕН (5) |