Применение логики Лукасевича для разработки алгоритмов.
Article Sidebar
Опубликован:
30.11.2005
Main Article Content
Аннотация
Практические проблемы, связанные с разработкой эффективных надежных алгоритмов для компьютеров в реальном мире, выходят за рамки традиционной математической теории алгоритмов. Специальные математические методы необходимы для формального отражения и проверки эмпирических подходов, обычно используемых техническими специалистами. Такие методы, основанные на теории моделей и многозначных логик, представлены здесь. В частности, доказано, что логический язык Лукасевича способен выражать операции, используемые в компьютерных реализациях интегральной арифметики. Это позволяет предложить новый взгляд на природу логики Лукасевича.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Ковалёв С. Применение логики Лукасевича для разработки алгоритмов. // Логические исследования / Logical Investigations. 2005. Т. 12. C. 194-206.
Выпуск
Раздел
Статьи
Литература
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.