搜索结果: 1-1 共查到“语法学 Logic”相关记录1条 . 查询时间(0.035 秒)
From Domains Towards a Logic of Universals: A Small Calculus for the Continuous Determination of Worlds
Logic Aristotelian logic Domain Theory Computability Data-types Modes of being Universals Topological Information Storage Problem of Induction
2015/7/15
At the end of the 19th century, 'logic' moved from the discipline of philosophy to that of mathematics. One hundred years later, we have a plethora of formal logics. Looking at the situation form info...