Моделирование итерационных вычислений в системе обобщенного естественного вывода

Simple item page
dc.contributor.authorНиколенко, А.Б.
dc.date.accessioned2019-04-03T09:54:49Z
dc.date.available2019-04-03T09:54:49Z
dc.date.issued2013
dc.description.abstractВ статье освещены вопросы формализации итерационных вычислений. Составлена система первого порядка, предназначенная для моделирования содержательных математических рассуждений. Описан процесс построения логических выводов в этой системе, из которых затем извлекаются итерационные программы для решения задач обработки массивов целых чисел. Приведены теоремы о конструктив- ности выводов и правильности извлекаемых программ.ru_RU
dc.identifier.citationНиколенко А.Б. Моделирование итерационных вычислений в системе обобщенного естественного вывода /М.Ю.Навалихина, Ин.И.Павлюк, И.И.Павлюк //Қарағанды универисетінің хабаршысы. Математика сериясы.=Вестник Карагандинского университета. Серия Математика=Bulletin of the Karaganda University. Mathematics Series.-2013.-№1.-Р.65-73ru_RU
dc.identifier.issn0142-0843
dc.identifier.urihttps://rep.buketov.edu.kz:80//handle/data/4764
dc.language.isoenru_RU
dc.publisherИзд-во КарГУru_RU
dc.relation.ispartofseriesВестник Карагандинского университета. Серия Математика;№1(69)/2013
dc.subjectлогика предикатовru_RU
dc.subjectитерационные вычисленияru_RU
dc.subjectсистема естественного выводаru_RU
dc.subjectдедуктивный синтез программru_RU
dc.titleМоделирование итерационных вычислений в системе обобщенного естественного выводаru_RU
dc.title.alternativeТалдап жинақталған нағыз қорытындының жүйесіндегі итерационды есептеулерді модельдеуru_RU
dc.title.alternativeModeling of iterative calculations in the system of General natural deductionru_RU
dc.typeArticleru_RU

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Николенко_Моделирование_2013-69-1.pdf
Size:
1.02 MB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

1(69)/2013-Математика