Применение логики Лукасевича для разработки алгоритмов.
##plugins.themes.bootstrap3.article.sidebar##
Published:
30.11.2005
##plugins.themes.bootstrap3.article.main##
Abstract
Practical problems associated with engineering efficient robust algorithms for real world computers lay beyond the traditional scope of mathematical theory of algorithms. Special mathematical methods are required to formally reflect and verify empirical approaches routinely used by technicians. Such methods based on model theory and multiple-valued logics are presented here. Specifically, it is proven that Lukasiewicz logic language is capable to express operations used in computer implementations of integral arithmetic. This allows proposing novel regard of the nature of Lukasiewicz logic.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Kovalyov S. Применение логики Лукасевича для разработки алгоритмов. // Logicheskie Issledovaniya / Logical Investigations. 2005. VOL. 12. C. 194-206.
Issue
Section
Papers
References
Demetrescu С., Finocchi I., Italiano G.F. Algorithm engineering // Bull. EATCS. 2003. Vol. 79. P. 48-63.
Воеводин В.В. Отображение проблем вычислительной математики на архитектуру вычислительных систем // Вычислительные методы и программирование. 2000. Т.1. С. 37-44.
Liskov B.H., ZillesS.N. Specification techniques for data abstractions // IEEE Trans, on Software Engineering. 1975. SE-1, 1. P. 7-19.
Ковалёв С.П. Аналитические модели машинной арифметики // Сибирский журнал индустриальной математики. 2003. Т. 6, №3. С. 88-102.
Ковалёв С.П. Логика Лукасевича как архитектурная модель арифметики // Сибирский журнал индустриальной математики. 2003. Т. 6, №4. С. 32-50.
Evans Т., Schwartz Р.В. On Slupecki T-functions // J. Symbolic Logic. 1958. Vol. 23. P. 267-270.
Карпенко A.C. Логики Лукасевича и простые числа. М.: Наука, 2000.
Rosenberg LG. Completeness properties of multiple-valued logic algebras // Computer Science and Multiple-Valued Logic. Amsterdam: North Holland, 1977. P. 144-186.
Beavers G. Automated theorem proving for Lukasiewicz logics // Studia Logica. 1993. Vol. 52, N 2. P. 183-195.
Смелянский Р.Л. Методы анализа и оценки производительности вычислительных систем. М.: МГУ, 1990.
Mills J.W. Polymer Processors. Indiana University, Computer Science Dept, Technical Report TR580. Indiana University, 2003. http://www.cs.indiaiia.edu/pub/techreports/TR580.pdf.
Воеводин В.В. Отображение проблем вычислительной математики на архитектуру вычислительных систем // Вычислительные методы и программирование. 2000. Т.1. С. 37-44.
Liskov B.H., ZillesS.N. Specification techniques for data abstractions // IEEE Trans, on Software Engineering. 1975. SE-1, 1. P. 7-19.
Ковалёв С.П. Аналитические модели машинной арифметики // Сибирский журнал индустриальной математики. 2003. Т. 6, №3. С. 88-102.
Ковалёв С.П. Логика Лукасевича как архитектурная модель арифметики // Сибирский журнал индустриальной математики. 2003. Т. 6, №4. С. 32-50.
Evans Т., Schwartz Р.В. On Slupecki T-functions // J. Symbolic Logic. 1958. Vol. 23. P. 267-270.
Карпенко A.C. Логики Лукасевича и простые числа. М.: Наука, 2000.
Rosenberg LG. Completeness properties of multiple-valued logic algebras // Computer Science and Multiple-Valued Logic. Amsterdam: North Holland, 1977. P. 144-186.
Beavers G. Automated theorem proving for Lukasiewicz logics // Studia Logica. 1993. Vol. 52, N 2. P. 183-195.
Смелянский Р.Л. Методы анализа и оценки производительности вычислительных систем. М.: МГУ, 1990.
Mills J.W. Polymer Processors. Indiana University, Computer Science Dept, Technical Report TR580. Indiana University, 2003. http://www.cs.indiaiia.edu/pub/techreports/TR580.pdf.