004(075)
Г 12


    Гавриков, М. М.
    Теоретические основы разработки и реализации языков программирования [Text] : учеб. пособие для вузов / Гавриков, М. М., Иванченко, А. Н., Гринченков, Д. В. - М. : Кнорус, 2010. - 177 с. : ил., табл. - Библиогр.: с. 178. - ISBN 978-5-406-001 21-9 : 94-00 р.
УДК
Рубрики: АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Кл.слова (ненормированные):
языки программирования -- формальные языки -- трансляторы -- компиляторы -- синтаксический анализ -- семантические анализ -- сканирование


Доп.точки доступа:
Иванченко, А. Н.; Гринченков, Д. В.
Экземпляры всего: 2
ОХФ (1), ООНЛ (1)
Свободны: ОХФ (1), ООНЛ (1)

510(075)
Г 85


    Гринченков, Д. В.
    Математическая логика и теория алгоритмов для программистов [Text] : учебное пособие для вузов / Гринченков, Д. В., Потоцкий, С. И. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - Библиогр.: с. 205-206. - ISBN 978-5-406-02434-8 (в пер.) : 252.00 р.
УДК
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--АЛГОРИТМЫ И ВЫЧИСЛИМЫЕ ФУНКЦИИ
Кл.слова (ненормированные):
теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования


Доп.точки доступа:
Потоцкий, С. И.
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)

   510(075)
   Г 85


    Гринченков, Д. В.
    Математическая логика и теория алгоритмов для программистов [Текст] : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - (Бакалавриат). - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 (в пер.) : 188.50 р.
ВПО
ГРНТИ
УДК
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--АЛГОРИТМЫ И ВЫЧИСЛИМЫЕ ФУНКЦИИ
Кл.слова (ненормированные):
теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования


Доп.точки доступа:
Потоцкий, С. И.
Экземпляры всего: 5
ОХиИФ (1), ООЛ (4)
Свободны: ОХиИФ (1), ООЛ (4)