|
Сибирский журнал индустриальной математики, 2003, том 6, номер 4, страницы 32–50
(Mi sjim388)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Логика Лукасевича как архитектуpная модель арифметики
С. П. Ковалев Институт вычислительных технологий СО РАН
Аннотация:
Осуществлено целостное формальное описание различных архитектурных моделей компьютерных реализаций арифметики, основанное на языке конечнозначной логики Лукасевича и логик, обогащающих ее. Свойство слабой неполноты этих логик позволило изучить структурные характеристики операций, не зависящие от представления чисел, такие, как виды допускаемых ими переполнений. Описан ряд свойств решетки этих логик, найдены удобные для приложений базисы. Рассмотрены логические структуры, возникающие при реализации арифметических операций и представлении переполнения в позиционных системах счисления. Предложены пути развития аппаратных реализаций арифметики. Сформулирован новый взгляд на природу логики Лукасевича.
Статья поступила: 06.03.2003 Окончательный вариант: 14.07.2003
Образец цитирования:
С. П. Ковалев, “Логика Лукасевича как архитектуpная модель арифметики”, Сиб. журн. индустр. матем., 6:4 (2003), 32–50
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/sjim388 https://www.mathnet.ru/rus/sjim/v6/i4/p32
|
Статистика просмотров: |
Страница аннотации: | 485 | PDF полного текста: | 209 | Список литературы: | 60 |
|