Открыть главное меню

ВикиПротопия β

Изменения

ВикиПротопия:Автоматическое докозательство

531 байт добавлено, 07:01, 29 декабря 2018
Новая страница: «набор информации, онтология, метода автоматического доказательства, гомотопическая тео…»
набор информации, онтология, метода автоматического доказательства, гомотопическая теория типов позволяют делать хорошие прогностические утверждения на основании принципов изложенных в формальной логике и использующих онтологию.

==источники информации==
*http://raai.org/news/pii/ppt/2018/lux-present2018.pdf
*