Инд. авторы:	Ковалев С.П.
Заглавие:	Логика Лукасевича как архитектурная модель арифметики
Библ. ссылка:	Ковалев С.П. Логика Лукасевича как архитектурная модель арифметики // Сибирский журнал вычислительной математики. - 2003. - Т.6. - № 4. - С.32-50. - ISSN 1560-7526.
Внешние системы:	РИНЦ: 9484795;
Реферат:	rus: Осуществлено целостное формальное описание различных архитектурных моделей компьютерных реализаций арифметики, основанное на языке конечнозначной логики Лукасевича и логик, обогащающих ее. Свойство слабой неполноты этих логик позволило изучить структурные характеристики операций, не зависящие от представления чисел, такие, как виды допускаемых ими переполнений. Описан ряд свойств решетки этих логик, найдены удобные для приложений базисы. Рассмотрены логические структуры, возникающие при реализации арифметических операций и представлении переполнения в позиционных системах счисления. Предложены пути развития аппаратных реализаций арифметики. Сформулирован новый взгляд на природу логики Лукасевича.
Издано:	2003
Физ. характеристика:	с.32-50
Цитирование:	1. Якобсон А., Буч Г., Рамбо Дж. Унифицированный процесс разработки программного обеспечения. СПб.: Питер, 2002. 2. Ковалев С.П. Аналитические модели машинной арифметики // Сиб. журн. индустр. математики. 2003. Т. 6, № 3. С. 88-102. 3. Воеводин В.В., Воеводин Вл. В. Параллельные вычисления.СПб.: БХВ-Петербург, 2002. 4. Яблонский С.В. Введение в теорию функций k-значной логики // Дискретная математика и математические вопросы кибернетики. Т. 1. М.: Наука, 1974. 5. Evans T., Schwartz P. B. On SŁupecki T -functions // J. Symbolic Logic. 1958. V. 23. P. 267-270. 6. Карпенко А.С. Логики Лукасевича и простые числа. М.: Наука, 2000. 7. Rosenberg I.G. Completeness properties of multiple-valued logic algebras // Computer Science and Multiple-Valued Logic. Amsterdam: North-Holland, 1977. P. 144-186. 8. McNaughton R. A theorem about in.nite valued sentential logic // J. Symbolic Logic. 1951. V. 16. P. 1-13. 9. Бочвар Д.А., Финн В.К. О многозначных логиках, допускающих формализацию антиномий. 1 // Исследования по математической лингвистике, математической логике и информационным языкам. М.: Наука, 1972. С. 238-295. 10. Бауэр Ф.Л., Гооз Г. Информатика. Вводный курс. Т. 1-2. М.: Мир, 1990. 11. Epstein G., Frieder G., Rine D.C. The development of multiple valued logic as related to computer science // IEEE Computer. 1974. N 7(9). P. 20-32. 12. Арестова М.Л., Быковский А.Ю. Методика реализации оптоэлектронных схем многопараметрической обработки сигналов на основе принципов многозначной логики // Квантовая электроника. 1995. Т. 22, № 10. С. 980-984. 13. Onneweer S.P., Kerkhoff H.G. High-radix current-mode CMOS circuits based on the truncated-difference operator // 17 Internat. Symp. on Multiple-Valued Logic. Boston, 1987. P. 188-195. 14. Кузнецов А.В. О средствах для обнаружения невыводимости и невыразимости // Логический вывод. М.: Наука, 1979. С. 5-33. 15. Evans J., Trimper G. Itanium Architecture for Programmers: Understanding 64-Bit Processors and EPIC Principles. Englewood Cliffs: Prentice Hall, 2003. 16. Beavers G. Automated theorem proving for Łukasiewicz logics // Studia Logica. 1993. V. 52, N 2. P. 183-195. 17. Карпенко А.С. Многозначные логики // Логика и компьютер. Вып. 4. М.: Наука, 1997.