Финн, Виктор Константинович: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Viody (обсуждение | вклад) |
Viody (обсуждение | вклад) |
||
Строка 42:
* Алгебры Бочвара и соответствующие им пропозиционные исчисления // Исследования по неклассическим логикам и теории множеств. М., 1979. С. 345—372.
* К формальному определению понятия информационно-поисковой системы // Науч.-техн. информ. Сер. 2, Информ. процессы и системы. 1981. № 5. С. 5-15.
* [[Информационная система|Информационные системы]] и проблемы их интеллектуализации // Науч.-техн. информ. Сер. 2, Информ. процессы и системы. 1984. № 1. С. 1-14.
* On Axiomatization of Many-valued Logics Assotiated with Formalization of Plausible Reasoning // Studia Logica. 1989. Vol. 48, № 4. P. 23-47. In coop.: Anshakov O.M., Skvortsov D.R.
* Интеллектуальные системы: проблемы их развития и социальные последствия // Будущее искусственного интеллекта. М., 1991. С. 157—177.
Строка 48:
* Сост., общ. ред., вступ. ст., авт. ст.: Есенин-Вольпин А. С. Философия. Логика. Поэзия. Защита прав человека: Избранное. М., 1999. 450 с. Из содерж.: Неологицизм — философия обоснованного знания. С.15-31.
* Сост., общ. ред.: Многозначные логики и их применения: Логические исчисления, алгебры и функциональные свойства. Том 1. М.: УРСС, 2008. 416 с.
* Сост., общ. ред.: Многозначные логики и их применения: Логики в системах [[искусственный интеллект|искусственного интеллекта]]. Том 2. М.: УРСС, 2008. 240 с.
== Ссылки ==
|