2015-01-09 21:08:24
来自: 赛义甫(大道无门,千差有路)
将语义学和范畴语法合为一个栏目统称逻辑语法,新开辟【逻辑与计算】栏目。
将对【逻辑初步】和【逻辑进阶】进行内容调整如下:
【逻辑初步】包含【逻辑学介绍】和【非形式逻辑】两个板块
【逻辑进阶】将包含【GAMUT系列(第一卷)】、【经典逻辑】(原称【亚里士多德逻辑】)两个板块
【逻辑和数学】尚未定型,目前将包含【专题讲坛】、【书评】两大板块(仍会有变动)
【逻辑和语言】将包括【GAMUT系列(第二卷)】、【Montague语法】、【范畴语法】三大板块
【逻辑和计算】将包括【λ演算和函数式编程】、【逻辑编程】和【计算逻辑】三大板块
调整后的栏目涵盖了逻辑、哲学、数学、语言学、计算理论5大领域
今后视具体情况,栏目和板块内容还可能随时调整请各位朋友随时关注。
> 我来回应