ВикиПротопия:Автоматическое докозательство — различия между версиями
Материал из ВикиПротопии
| Строка 4: | Строка 4: | ||
*http://raai.org/news/pii/ppt/2018/lux-present2018.pdf | *http://raai.org/news/pii/ppt/2018/lux-present2018.pdf | ||
* | * | ||
| + | |||
| + | [[Категория:ВикиПротопия]] | ||
Версия 07:01, 29 декабря 2018
набор информации, онтология, метода автоматического доказательства, гомотопическая теория типов позволяют делать хорошие прогностические утверждения на основании принципов изложенных в формальной логике и использующих онтологию.
