
Authors:
Янков, Боян Янков; Yankov, Boyan Yankov; Шойлев, Христо Захариев; Shoilev, Christo Zahariev
Title:
Изследване на формални модели на аристотелевата силогистика чрез компютърно моделиране
Other Titles:
Research of formal models base of aristoteles syllogismus applied in computer modeling
Date of Issue:
1995
Is Part of:
Proceedings of the Technical University – Sofia, 48(4), 1995, pp. 285-290
Publisher:
Технически университет - София
Identifiers:
0374-342X [issn]
Type:
Article
Language:
bul
Subject:
аристотелева силогистика; компютърно моделиране; формални модели
Abstract:
The problems of computer modeling with Aristoteles Syllogismus is discuss in this paper. It is possible inference of the new knowledge make with different logic, classic and nonclassic (Russel, Frege, Luis). In this work is applied the operators of sententional logic and here is present the predicament of produce.
Description:
Съдържа таблици, схеми и формули. – Библиогр., с. 287.