510(075) Г 85 Гринченков, Д. В. Математическая логика и теория алгоритмов для программистов [Text] : учебное пособие для вузов / Гринченков, Д. В., Потоцкий, С. И. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - Библиогр.: с. 205-206. - ISBN 978-5-406-02434-8 (в пер.) : 252.00 р.
Кл.слова (ненормированные): теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования Доп.точки доступа: Потоцкий, С. И. Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |