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

Автор(и)

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

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

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

Анотація

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

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

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

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

Посилання

Кривий С. Л. Курс дискретної математики. Київ : В-во національного авіаційного університету, 2007. - 430 с.

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

Черемушкин А. В. Лекции по арифметическим алгоритмам в криптографии. М.: МЦНМО, 2002. - 103 с.

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

Мальцев А.И. Алгебраические системы. - М.: Наука, 1970. - 392 с.

##submission.downloads##

Номер

Том 3 № 3 (2010)

Розділ

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