Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://repository.sspu.edu.ua/handle/123456789/677| Назва: | Алгоритмизация, кодификация и программирование научного знания |
| Інші назви: | Algorithmization, Codification and Programming of Scientific Knowledge |
| Автори: | Узбек, Костянтин Минович Uzbek, Kostiantyn Mynovych Щетініна, Олена Костянтинівна Shchetinina, Olena Kostiantynivna |
| Ключові слова: | систематизация systematization кодификация codification анализ analysis аксиоматизация axiomatization алгоритмизация algorythmization силлогизм syllogism формализация formalization парадоксы paradoxes семантика semantics синтаксис syntaxes кибернетика cybernetics программирование programmation |
| Дата публікації: | 2011 |
| Бібліографічний опис: | Узбек, К. М. Алгоритмизация, кодификация и программирование научного знания [Текст] / К. М. Узбек, Е. К. Щетинина // Філософія науки: традиції та інновації : науковий журнал / МОН України, Сумський держ. пед. ун-т ім. А. С. Макаренка ; [редкол.: В. М. Вандишев, М. О. Качуровський, В. А. Косяк та ін.]. – Суми : СумДПУ ім. А. С. Макаренка, 2011. – № 1 (3). – С. 57–67. |
| Короткий огляд (реферат): | В статье в историческом плане рассмотрены процессы систематизации и кодификации научного и математического знания, методы алгоритмизации, аксиоматизации и построения дедуктивных теорий. Исследованы методы программирования и построения машинной математики, которые способствуют решению различного класса задач как математических, естественнонаучных, так и гуманитарного профиля, а также единый метод программирования и построения машинной математики. 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. |
| URI (Уніфікований ідентифікатор ресурсу): | http://repository.sspu.sumy.ua/handle/123456789/677 |
| Розташовується у зібраннях: | Філософія науки: традиції та інновації |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Alhorytmizatsiia.pdf | 400,61 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.