第７届与第８届亚洲逻辑学会议录

来源:公文范文时间:2022-11-02 18:50:04 点击：推荐访问: 亚洲亚洲地产公司凯德广告文案会议

Rod Downey, Victoria University of

Wellington, New Zealand, et al. (Eds.)

Proceedings of the

7th & 8th Asian

Logic Conferences

2003, 471pp.

Hardcover $88.00

ISBN 981-238-261-5

World Scirntific

亚洲逻辑学会议自从1981年在新加坡首次举办之后每三年举行一次，由亚太地区的国家或地区轮流举办。该会议现已被认为是逻辑学领域中的主要会议，通常由符号逻辑学会主办。第7届会议1999年6月6~10日在中国台湾省溪头举行，第8届会议2002年8月29日至9月2日在中国重庆举行，同时也是关于数理逻辑的ICM2002卫星会议。第7届在中国台湾举办的会议录计划被随后发生的破坏性地震夭折，相关的资料文件在地震中丢失，因此这两届会议的会议录合并成一卷。

全书共收集了20篇论文，分别是：1.算术记数罗杰斯半径的基本属性；2.解搜索中有关数学的5个謎；3.实数上的复杂类——一个逻辑学家的观点；4.可计算性、可定义性与代数结构；5.平凡的实数；6.波珀与米勒——归纳法与演绎法；7.多项式上代数的增补；8.来自具有图论应用证明的析取程序层逼近；9.逻辑算法与代数算法的共同结构；10.图的博奕——自动机、结构与复杂性；11.分形的计算复杂性；12.局部次数结构的可定义性——与跳跃类相关的最近成果评述；13.迭代半真前序的有限级构造；14.命题演算NDJPROP对捕捉与抛出机理的应用；15.适合于强制程序合成与推理的柯里-霍华德同构；16.线性集合理论的相位值模型；17.一个关于具有可数模型有限数理论的问题；18.概率逻辑编程与继承；19.用于经典与直觉主义子结构模型逻辑的相继式系统；20.D.C.E级的菱形嵌入与O和I的保存。

本书是由一流专家撰写的，可供研究逻辑学的研究人员和研究生阅读参考。

胡光华，高级软件工程师

(原中国科学院物理学研究所)

Hu Guanghua, Senior Software Engineer

(Former Institute of Physics,the Chinese Academy of Sciences)

上一篇：创新型人才培养模式下高校逻辑学课程教学改革探讨
下一篇：关于辩证法和认识论的“十六要素”

扩展阅读文章

推荐阅读文章