The descriptive foundations of the ontological platform

V.N Redko, I.V. Redko, V.N. Grishko

Abstract


The basis of the descriptology as the pragmatic epistemology had been constructed. The pragmatic-epistemological grounds of the typology had been created. The universal typological method of the development of the conceptual system of the essential platform had been developed.

Problems in programming 2010; 2-3: 13-21


References


Редько В.Н. Основания программологии // Кибернетика и системный анализ. – 2000. – № 1. – С. 35–57.

Редько В.Н. Дескриптологические основания программирования // Кибернетика и системный анализ. –

– № 1. – С. 3 – 19.

Редько В.Н. Основания дескриптологии // Кибернетика и системный анализ. – 2003. – № 5. – С. 16 – 36.

Редько В.Н., Редько И.В., Гришко Н.В. Программологические основания сущностной платформы //

Проблеми програмування. – 2008. – № 2–3. – С. 72–78.

Белнап Л., Стил Т. Логика вопросов и ответов. – М.: Прогресс, 1981. – 288 с.

Джемс В. Прагматизм. Новое название для некоторых старых методов мышления. В кн.: «Прагматизм».–

К.: «Вид-во «Україна», 1995. – 284 с.

Ебер М. Прагматизм, исследование его различных форм. В кн.: «Прагматизм».– К.: «Вид-во «Україна»,

–284 с.

Поппер К. Объективное знание. Эволюционный подход. – М.: Изд-во «Эдиториал УРСС», 2002. – 384 с.

Редько В.Н. Композиции программ и композиционное программирование // Программирование. – 1978. –

№ 5. – С. 3–24.

Редько В.Н. Основания композиционного программирования // Программирование. – 1979. – № 3. –

С. 3–13.

Редько В.Н. Семантические структуры программ. // Программирование. – 1981. – № 1. – С. 3–19.

Редько В.Н., Редько И.В, Гришко Н.В. Дескриптивные системы: концептуальный базис // Проблеми програ

мування. – 2006. – № 2–3. – С. 75–80.

Вибрані питання програмології. Праці наукового семінару «Програмологія та її застосування». – К.:

Науковий світ, 2007. – 183 с.

Редько И.В. Теория дескриптивных сред и ее применения. Диссерт. д-ра фіз.-мат. наук. – К.: НТУ України

«КПІ», 2008. – 403 с.

Данные в языках программирования. Абстракция и типология. Под ред. В.Н. Агафонова. – М.: Изд-во

«Мир», 1982. – 327 с.

Френкель А., Бар–Хиллел И. Основания теории множеств. – М.: Изд-во «Мир», 1966. – 555 с.

Никитченко Н.С. Теория интегрированных композиционно-номинативных программ. Диссерт. д-ра

фіз.-мат. наук. – К.: КНУ, 2001. – 312 с.

Буй Д.Б. Теорія програмних алгебр композиційного типу та її застосування. Диссерт. д-ра фіз.-мат наук. –

К.: КНУ, 2002. – 365 с.

Нікітченко М.С., Шкільняк С.С. Математична логіка та теорія алгоритмів: підручник. – К.: Видавничо

поліграфічний центр "Київський університет", 2008. – 528 с.

Дешан Л.-М. Истина, или истинная система. – М.: «Мысль», 1973. – 532 с.

Кнут Д. Искусство программирования для ЭВМ. Т. 2.– М.: Изд-во «Мир», 1977. – 724 с.

Черч А. Введение в математическую логику. – М.: ИИЛ, 1960. – 485 с.

Карнап Р. Значение и необходимость. – М.: Изд-во проект «Тривиум», 1958. – 380 с.

Пап А. Семантика и необходимая истина. – М.: Изд-во «Идея-Прес», 2002. – 418 с.


Refbacks

  • There are currently no refbacks.