Моделирование итерационных вычислений в системе обобщенного естественного вывода
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Изд-во КарГУ
Abstract
В статье освещены вопросы формализации итерационных вычислений. Составлена система первого
порядка, предназначенная для моделирования содержательных математических рассуждений. Описан
процесс построения логических выводов в этой системе, из которых затем извлекаются итерационные
программы для решения задач обработки массивов целых чисел. Приведены теоремы о конструктив-
ности выводов и правильности извлекаемых программ.
Description
Citation
Николенко А.Б. Моделирование итерационных вычислений в системе обобщенного естественного вывода /М.Ю.Навалихина, Ин.И.Павлюк, И.И.Павлюк //Қарағанды универисетінің хабаршысы. Математика сериясы.=Вестник Карагандинского университета. Серия Математика=Bulletin of the Karaganda University. Mathematics Series.-2013.-№1.-Р.65-73