519.854(075.8)
Б24


    Бардачов, Юрій Миколайович.
    Дискретна математика [] : підручник / Ю. М. Бардачов, Н. А. Соколова, В. Є. Ходаков ; ред. В. Є. Ходаков. - Київ : Вища школа, 2002. - 288 с. : рис., табл. - Бібліогр. в кінці глав. - ISBN 966-642-090-2 : 18.70 грн, 20.50 грн, 20.00 грн
УДК
ББК 22.174я73
Рубрики: Дискретна математика--Навчальні видання для вищої школи
   
фывфывфыв:
математична логіка -- математическая логика -- алгоритми -- алгоритмы -- алгебричні системи -- алгебраические системы -- теорія множин -- теория множеств -- формальні системи -- формальные системы -- комбінаторика -- комбинаторика -- булеві функції -- булевые функции -- відношення еквівалентності -- отношния эквивалентности -- відношення порядку -- отношения порядка -- алгебри -- алгебры -- теорія графів -- теория графов -- графи -- графы -- рекурсивні функції -- рекурсивные функции
Аннотация: Поняття і наукові результати теорій множин, математичної логіки, відношень, алгоритмів, алгебр, комбінаторики, графів. Матеріал ілюстровано численними прикладами.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Соколова, Надія Андріївна; Ходаков, Віктор Єгорович; Ходаков, В.Є. \ред.\
Экземпляры всего: 5
ВВ (1), ФОНД (2), ЧЗ (2)
Свободны: ВВ (1), ФОНД (2), ЧЗ (2)

519.85
А 45


   
    Алгебра. Языки. Программирование. [] / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. - 3-е изд. перераб. и доп. - К. : Наук. думка, 1989. - 376 с. : рис., табл. - Лит.: с. 363-368. - Предм. указ.: с. 369-378. - ISBN 5-12-000499-7 : 3.90 р.
УДК
ББК 22.14 + 22.183.4
Рубрики: Алгебра--Наукові видання
   Мови програмування--Наукові видання

   
фывфывфыв:
множества -- множини -- кардинальные числа -- кардинальні числа -- отношния эквивалентности -- відношення еквівалентності -- универсальные алгебры -- універсальні алгебри -- изолированные множества -- ізольовані множини -- теория программирования -- теорія програмування -- системы алгоритмических алгебр -- системи алгоритмічних алгебр -- адресные программы -- адресні програми -- тождественные преобразования -- тотожні перетворення -- формальные языки -- формальні мови -- линейные грамматики -- лінійні граматики -- контекстно-свободные языки -- контекстно-вільні мови -- языки программирования -- мови програмування -- параметрические грамматики -- параметричні граматики -- проэктирование программ -- проектування програм -- системы программирования -- системи програмування -- структуры -- структури
Аннотация: Монография посвящена изучению алгебраических методов с учётом их применения в теоретическом и системном программировании, прикладной теории алгоритмов, теории формальных языков и систем программирования.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Глушков, В. М.; Цейтлин, Г. Е.; Ющенко, Е. Л.
Экземпляры всего: 3
ФОНД (3)
Свободны: ФОНД (3)