ABSTRACT DATA TYPES AS MANYSORTED ALGEBRAIC SYSTEMS

Authors

  • Сергій Лук'янович Крививй Kyiv National University of Taras Shevchenko

Keywords:

Abstract data types, manysorted algebras, algebraic systems, completeness.

Abstract

The image of abstract data types is examined as manysorted algebraic systems. Two abstract data types are in detail examined: natural numbers and lists.

Author Biography

Сергій Лук'янович Крививй, Kyiv National University of Taras Shevchenko

PhD., Professor of Information Systems Department of the Kyiv National University of Taras Shevchenko.

References

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

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

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

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

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

Downloads

Issue

Vol. 3 No. 3 (2010)

Section

THEORETICAL BASES OF SOFTWARE ENGINEERING