Алгоритмизация, кодификация и программирование научного знания

Вантажиться...
Ескіз
Дата
2011
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
В статье в историческом плане рассмотрены процессы систематизации и кодификации научного и математического знания, методы алгоритмизации, аксиоматизации и построения дедуктивных теорий. Исследованы методы программирования и построения машинной математики, которые способствуют решению различного класса задач как математических, естественнонаучных, так и гуманитарного профиля, а также единый метод программирования и построения машинной математики.
In historical aspect the authors review the processes of systematization and codification of scientific and mathematic knowledge; they show the methods of algorythmization, axiomatization and contruction of deductive theories. The authors consider the methods of programmation and construction of machine mathematics which contribute to solve different objective both mathematics, natural sciences, also humanitarian profile ones, the single method of programmation and construction of machine mathematics is shown.
Опис
Ключові слова
систематизация, systematization, кодификация, codification, анализ, analysis, аксиоматизация, axiomatization, алгоритмизация, algorythmization, силлогизм, syllogism, формализация, formalization, парадоксы, paradoxes, семантика, semantics, синтаксис, syntaxes, кибернетика, cybernetics, программирование, programmation
Бібліографічний опис
Узбек, К. М. Алгоритмизация, кодификация и программирование научного знания [Текст] / К. М. Узбек, Е. К. Щетинина // Філософія науки: традиції та інновації : науковий журнал / МОН України, Сумський держ. пед. ун-т ім. А. С. Макаренка ; [редкол.: В. М. Вандишев, М. О. Качуровський, В. А. Косяк та ін.]. – Суми : СумДПУ ім. А. С. Макаренка, 2011. – № 1 (3). – С. 57–67.