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)

51(075)
В41


    Вивальнюк, Лука Миколайович.
    Числові системи [] : навч. посібник для студ. фіз.-мат. ф-тів пед. ін-тів / Л. М. Вивальнюк, В. К. Григоренко, С. С. Левіщенко. - К. : Вища школа, 1988. - 272 с. : іл. - Л-ра: с. 267-268. - ISBN 5-11-000106-5 : 0.75 р.
УДК
ББК 22.1я73
Рубрики: Числа--Математика--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
алгебраїчні системи -- алгебраические системы -- натуральні числа -- натуральные числа -- цілі числа -- целые числа -- раціональні числа -- рациональные числа -- дійсні числа -- действительные числа -- комплексні числа -- комплексные числа -- аксіоми Пеано -- аксиомы Пеано -- упорядковані алгебри -- упорядоченные алгебры -- теорема Фробеніуса -- теорема Фробениуса
Анотація: Аксіоматична теорія всіх числових систем, деякі питання основ математики, короткий огляд розвитку числових систем та їх логічне обгрунтування.

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

Дод.точки доступу:
Григоренко, Василь Костянтинович; Левіщенко, Сергій Сергійович
Примірників всього: 3
ФОНД (1), ЧЗ (1), ВВ (1)
Свободны: ФОНД (1), ЧЗ (1), ВВ (1)

510.5
Ц32


    Цейтлин, Георгий Евсеевич.
    Введение в алгоритмику [] / Г. Е. Цейтлин ; [ред.: М. И. Белецкий, Г. В. Юсим] ; Междунар. Соломонов ун-т. - Киев : Сфера, 1998. - 310 с. : рис., табл. - Лит.: с. 300-307. - ISBN 960-7267-14-8 : 8.00 грн
УДК
ББК 22.127 + 32.97
Рубрики: Алгоритми--Наукові видання
   Інформатика--Наукові видання

   
Кл.слова (ненормовані):
елементи теорії множин -- элементы теории множеств -- граф-схеми алгоритмів -- граф-схемы алгоритмов -- алгебраїчні ситеми -- алгебраические системы -- проектування алгоритмів -- проектирование алгоритмов -- алгебра Дейкстри -- алгебра Дейкстры -- алгебра схем Янова -- алгебраїчні системи -- алгебраические системы
Анотація: Рассматриваются алгебраические представления алгоритмических систем, разработки и моделирование новых средств записи алгоритмов, конструирование специализированных экспертных систем и др.

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

Дод.точки доступу:
Белецкий, М. И. \ред.\; Юсим, Г. В. \ред.\; Международный Соломонов университет
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)