论文部分内容阅读
Conference Report on ALC 2013
【出 处】
:
逻辑学研究
【发表日期】
:
2013年3期
其他文献
这篇文章处理了递归的模式在印度艺术(印度寺庙建筑与梵文诗律)与印度数学中的重要作用。同时对于莱布尼兹序列(Leibniz series)的玛达瓦(Mādhava)推导做一个具体的形式化的重构,并
家用吸油烟机是用来抽吸或排除厨房中(或室内)油烟的家用电器。吸油烟机生产工艺不太复杂,况且目前生产吸油烟机零部件的专业厂家不少,所以一些稍有家电制造基础的厂家就可以
琅琊山抽水蓄能电站利用已建的城西水库作为下库。为研究蓄能电站建成后水库的综合调度,确定蓄能电站对城西水库的合理补偿,必须合理地确定水库径流。用城西径流试验站实测流量
随着坝工技术及坝料研究的进展,不断突破及拓宽地基基础对修建大坝的限制,在以往认为不宜修建工程的不良地质条件处,也开始修建大中型高坝,而对于对基础适应程度最强的土石坝,日益显出了较强的优势。然而在不良地质条件下修建土石坝,存在着许多与已往不同的特点。本文根据已建工程的经验与教训,对建材料场的复勘需注意的问题进行了介绍。
我国肝病医疗市场巨大、但是秩序和规则不健全。“比如,乙肝病毒推带者该不该治疗,用什么药物;治疗肝炎人员,是否应持证上岗。如果这些基本问题不搞清楚,过度诊疗和诊疗混乱在所难
宜昌市尚家河水库溢流坝第二次加高工程,在原20m高的拱坝已加高12m的基础上且已经24年的运行,经充分计算和论证,拱坝再次加高了1.8m.本文对第二次加高的设计和施工进行了介绍
结合本工程建设的环境特点,通过调查2研究,从施工爆破振动、施工开挖电磁波等七个方面分析了工程建设对微波通信的影响,提出一些定量计算的方法和参照标准以及减免影响的对策措施
麦道的哲学试图抹去心灵与世界之间的本体论间隙。为了实现这一哲学计划,麦道需要接受某种真之同一论。本文认为,麦道所需要的是真之坚实同一论,并且承诺关于罗素式单称命题。本
松花江的甲基汞污染曾震惊中外,现在污染虽然基本得到控制,但生态污染危害仍然存在.甲基汞主要是通过鱼类等食物链对人群健康造成影响.本文对甲基汞在鱼体中的富集情况及其机