RUS  ENG
Полная версия
ЖУРНАЛЫ // Ученые записки Ереванского государственного университета, серия Физические и Математические науки // Архив
Уч. записки ЕГУ, сер. Физика и Математика, 2002, выпуск 3, страницы 20–22 (Mi uzeru565)
Informatics

О минимальных секвенциальных исчислениях арифметики Робинсона

А. А. Чубарян, О. Р. Болибекян

Ереванский государственный университет, факультет информатики и прикладной математики

Аннотация: Определяются секвенциальные аналоги минимальных исчислений для арифметики Робинсона с правилом сечения и без правила сечения. Доказана эквивалентность этих систем.

Ключевые слова: Секвенциальные аналоги минимальных исчислений, эквивалентность.

УДК: 510.64

Поступила в редакцию: 06.06.2002
Принята в печать: 20.09.2002


© МИАН, 2024