Теория процессов для моделей мира СМА В.Н. Брюшнкина
- Страницы / Pages
- 45-55
Аннотация
В статье осуществляется построение модели мира в системной модели аргументации (СМА) проф. В.Н. Брюшинкина (на основе онтологии процесса) с привлечением неформального аппарата математической теории процессов.
Abstract
I
Список литературы
Брюшинкин В.Н. Системная модель аргументации как основа методологии философской компаративистики // Модели мира. Исследования по логике, аргументации и истории философии. Калининград, 2005. С. 66-86.
Брюшинкин В.Н. Системная модель аргументации для фрагмента философского текста // Модели рассуждений — 1: Логика и аргументация. Калининград, 2007. С. 43-62.
Булинский А.В., Ширяев А.П. Теория случайных процессов. М.: ФИЗМАТЛИТ, 2005.
Миронов А.М. Теория процессов. 2008. URL: http://intsys.msu.ru/staff/mironov/processes.pdf (дата обращения: 21.05.2014).
Маковельский А.О. Досократаки. Мн.: Харвест, 1999.
Оре О. Графы и их применение. Пер. с англ. Л.Н. Головиной. Под ред. И.М. Яглома. М.: Мир, 1965.
Родин А.В. Онтология квантово-волнового дуализма // 100 лет квантовой теории История. Физика. Философия. Труды Международной конференции. М.: НИА-Природа, 2002. С. 163-169.
Тюгашев А.А. Об автоматизированной спецификации, верификации и синтезе управляющих программ реального времени на базе логического и алгебраического подходов // Труды Международного симпозиума «Надежность и качество». 2006. URL: http://cyberleninka.ru/article/n/ob-avtomatizirovannoy-spetsifikatsii-verifikatsii-i-sinteze-upravlyayuschih-programm-realnogo-vremeni-na-baze-logicheskogo-i (дата обращения: 21.06.2014).
Хизанишвили Д.В. Понятие онтологии в системной модели аргументации // Вестник Балтийского федерального университета им. И. Канта. Калининград, 2013. Вып. 12: Гуманитарные науки. С. 119-127.
Хоар Ч. Взаимодействующие и последовательные процессы: Пер. с англ. М.: Мир, 1989.
Handbook of Process Algebra (2001) Bergstra, J.A., Ponse, A. and Smolka, S.A (ed.), North-Holland, Amsterdam.
Milner, R. (1980) ‘A Calculus of Communicating Systems’, Lecture Notes in Computer Science, vol. 92, Berlin-Heidelberg-New York: Springer-Verlag.