Дефинитологические основания сущностной платформы

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

Abstract


Даются экспликации дескриптивной и дефинитной систем. Строятся дефинитологические основания сущностной платформы. Эксплицируется взаимодополнение актуальных и потенциальных, композиционных и декомпозиционных систем. Строятся логико-предметные основания дескриптивных сред. Развивается концепция открыто-замкнутых систем.
The explications of descriptive and definitive systems are provided. The definitive-logical foundations of entity platform are created. The interaction of actual and potential, compositional and decompositional systems are provided. The logical-objective foundations of description environments are created. The concept of Open-Closed Systems is developed.


References


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

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

Редько В.Н., Редько И.В., Гришко Н.В. Дескриптивные системы: концептуальный базис // Проблеми програмування. – 2006. – № 2–3. – С. 75–80.

Редько В.Н., Редько И.В., Гришко Н.В. Дескриптологические основания сущностной платформы // Проблеми програмування. – 2010. – № 2–3. – С. 13–21.

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

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

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

Редько В.Н., Редько И.В, Гришко Н.В. Программологические основания сущностной платформы// Проблеми програмування. – 2008. – № 2–3. – С. 72–78.

Куайн В.О. С точки зрения логики. – М.: Канон «РООН», «Реабилитаум», 2010. – 272 с.

Хинтикка Я. Логико-эпистемологические исследования. – М.: “Прогресс”. – 1980. – 448 с.

Редько И.В. Теория дескриптивных сред и ее применения. Докт.диссерт. – К.: НТУУ «КПІ», 2008. – 403 с.

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

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

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

Вригт Г.Х. фон. Логико-философские исследования. – М.: “Прогресс”. – 1986. – 595 с.

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

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

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

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

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

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

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


Refbacks

  • There are currently no refbacks.