Сибирский журнал индустриальной математики
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Сиб. журн. индустр. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Сибирский журнал индустриальной математики, 2003, том 6, номер 4, страницы 32–50 (Mi sjim388)  
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Логика Лукасевича как архитектуpная модель арифметики

С. П. Ковалев

Институт вычислительных технологий СО РАН
PDF полного текста (351 kB) Список цитирования (2)
Список литературы:
PDF
HTML
Аннотация: Осуществлено целостное формальное описание различных архитектурных моделей компьютерных реализаций арифметики, основанное на языке конечнозначной логики Лукасевича и логик, обогащающих ее. Свойство слабой неполноты этих логик позволило изучить структурные характеристики операций, не зависящие от представления чисел, такие, как виды допускаемых ими переполнений. Описан ряд свойств решетки этих логик, найдены удобные для приложений базисы. Рассмотрены логические структуры, возникающие при реализации арифметических операций и представлении переполнения в позиционных системах счисления. Предложены пути развития аппаратных реализаций арифметики. Сформулирован новый взгляд на природу логики Лукасевича.
Статья поступила: 06.03.2003
Окончательный вариант: 14.07.2003
Реферативные базы данных:
УДК: 510.644
Образец цитирования: С. П. Ковалев, “Логика Лукасевича как архитектуpная модель арифметики”, Сиб. журн. индустр. матем., 6:4 (2003), 32–50
Цитирование в формате AMSBIB
\RBibitem{Kov03}
\by С.~П.~Ковалев
\paper Логика Лукасевича как архитектуpная модель арифметики
\jour Сиб. журн. индустр. матем.
\yr 2003
\vol 6
\issue 4
\pages 32--50
\mathnet{http://mi.mathnet.ru/sjim388}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2041561}
\zmath{https://zbmath.org/?q=an:1033.03015}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sjim388
  • https://www.mathnet.ru/rus/sjim/v6/i4/p32
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Сибирский журнал индустриальной математики
    Статистика просмотров:
    Страница аннотации:517
    PDF полного текста:215
    Список литературы:76
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024