АБСТРАКТНІ ТИПИ ДАНИХ ЯК МНОГООСНОВНІ АЛГЕБРАЇЧНІ СИСТЕМИ I

Автор(и)

  • Сергій Лук'янович Кривий Національний університету ім. Т.Шевченко

Ключові слова:

Абстрактні типи даних, многоосновні алгебри, алгебраїчні системи, повнота.

Анотація

Досліджуються властивості абстрактних типів даних, зображених у вигляді многоосновних алгебраїчних систем. Детально розглядаються такі абстрактні типи даних: стеки, черги, черги з пріоритетами, бінарні дерева та множини.

Біографія автора

Сергій Лук'янович Кривий, Національний університету ім. Т.Шевченко

Д. ф.-м. н., професор кафедри інформаційних систем Національного університету ім. Т.Шевченко. Наукові інтереси: дискретна математика, теорія автоматів, мережі Петрі, методи розробки та верифікація програмного забезпечення.

Посилання

Кривий С. Л. Абстрактні типи даних як многоосновні алгебраїчні системи. ж. Інженерія програмного забезпечення. - 2010. - N 3. - C. 5-18.

Кривий С.Л. Дискретна математика: вибрані питання. Київ : Видавничий дім "Києво-Могилянська академія. - 2007. - 570 с.

Фостер Дж. Обработка списков. - М. : Мир. - 1979. - 535 с.

Hein J.L. Discrete Mathematics - Sudbury, Massachusetts: Jones and Bartlett Publishers: -1995. -656 p.

Ахо А., Хопкрофт Дж., Ульман Дж. Построение и

анализ вычислительных алгоритмов - М. : Мир. - 1979. - 535 с.

Ахо А., Хопкрофт Дж., Ульман Дж. Структуры данных и алгоритмы - М.: Издат. дом «Вильямс» - 2000. - 382 с.

Седжвик Р. Фундаментальные алгоритмы на C++ Части 1--4. - M.: DiaSoft, 2002. – 687 с.

##submission.downloads##

Номер

Том 4 № 4 (2010)

Розділ

ТЕОРЕТИЧНІ ОСНОВИ ІНЖЕНЕРІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ