数理逻辑发展史:从莱布尼茨到哥德尔
数理逻辑发展史:从莱布尼茨到哥德尔

第一章导论第一节数理逻辑史的研究对象和分期第二节数理逻辑史研究中的几个方法论问题一数理逻辑理论的发生和发展同社会实践的辩证关系二观点和材料的统一三逻辑方法和历史方法的统一四严格区别哲学观点和逻辑学说第一编数理逻辑前史——古典形式逻辑时期第二章亚里士多德的三段论第三章斯多阿学派的命题逻辑第四章中世纪

香港政制发展历程
香港政制发展历程

香港的政制发展历程分为三个阶段:1843—1985年,是香港政制发展漫长的停滞期;1985—1997年,是匆忙的政改期;回归以后至今,是政制发展期。作者利用包括中英之间政府文件、历史档案等资料,系统而清晰地介绍评介了香港政制发展的历程,重点在于1985年以后的中英关于香港政制问题的不同立场及其在中英谈判中的表现、香港回归后特首和立法局等选举过程中涉及的重大政制问题。本书作者从事香港

曲折发展的岁月
曲折发展的岁月

《20世纪的中国7·曲折发展的岁月》内容简介:《20世纪的中国7·曲折发展的岁月》是“20世纪的中国”的第七部。它是中共党史和中国现代史学工作者丛进多年辛勤研究的成果。《20世纪的中国7·曲折发展的岁月》叙述和分析的是中华人民共和国(即中国的社会主义革命和社会主义建设阶段)继过渡到社会主义的7年(从1949年10月中华人民共和国成立到1956年9月中共八大召开以前)之后的第二个历史时期,即开始全面

2009年中国广播电影电视发展报告
2009年中国广播电影电视发展报告

《2009年中国广播电影电视发展报告》运用最新的事实和翔实准确的数据,综合使用定性和定量相结合的研究分析方法,全面系统反映2008年度中国广播电影电视发展状况和发展特点,深入研究中国广播影视发展改革进程中的重大问题,力求揭示中国广播影视发展的客观规律和政策走向,分析和预测中国广播影视发展趋势。作为中国唯一政府背景的广电蓝皮书,本报告力求客观反映实际,促进政务公开,增强行业透明度,为社会各界了解广电

世界电影艺术发展史教程
世界电影艺术发展史教程

《世界电影艺术发展史教程》没有采用按时间顺序构制完整编年史的做法,而是采取了按照不同的国别和地区,分别纵向论述的方式。这种体例自然会在电影发展的横向影响研究方面有所欠缺电影是人类文明史上最伟大的发明之一,是近代科技大发展的产物。电影由最初混迹于杂耍歌肆的“丑小鸭”迅速成长为20世纪最重要的艺术形式,科技与艺术的“联姻”使它获得了传统艺术难以企及的表现能力和不断扩展的潜力。电影不但是现代人最重要的娱

明清建筑二论·斗拱的起源与发展(汉宝德作品系列)
明清建筑二论·斗拱的起源与发展(汉宝德作品系列)

《明清建筑二论》初版于1969年,《斗的起源与发展》初版于1973年。这两本小册子,被认为是开辟了台湾建筑学术史的著作,影响深远。《明清建筑二论》对“明清建筑为中国建筑发展低潮”这一几成定论的观点发起论战,说理透辟,而又洋溢着人情。《斗的起源与发展》是自中国早期建筑与西方的不同处着眼,探究斗产生、发展的理路。二者所论专题不同,但立意都在整个中国建筑史,涉及史观、史法上的一些重要问题。汉

高高原机场建设实践与探索/机场建设与发展经典范例丛书
高高原机场建设实践与探索/机场建设与发展经典范例丛书

作者作为20世纪末和21世纪初的机场建设者,参与了大开发,也参与了最为复杂的九寨黄龙机场建设。为将工作中取得的经验教训系统地介绍给读者和相关工作者,作者通过阐述对机场高填方工程的认识,并以九寨黄龙机场建设过程为主线,将高高原机场建设中所遇到的重大工程技术问题以及相关的设计、科研、施工组织和质量控制等工程实践经验总结成本书,以求为其他类似的机场建设者提供一些经验与借鉴,为我国的机场建设贡献一份力量。

城市发展史
城市发展史

本书是美国著名城市理论家、社会哲学家刘易斯·芒福德重要著作之一,着重从人文社会科学系统阐述城市起源和发展,并展望了远景。内容包括:史前时代的城市,城市在美索不达米亚的诞生,古埃及城市,古希腊—罗马城市,中世纪基督教、巴洛克和商业城市,近代和现代工业城市。作者从政治、经济、文化、宗教、社会、城市规划等多方面综合研究城市发展的历史,对今后城市发展提出战略性意见。本书史料丰富,为提高实用性,书后加编中文

Python 发展趋势:与 Rust 深度融合、更易于编写 Web 应用

大家好,我是猫哥,好久不见!2022年末的时候,我不可避免地阳了,借着身体不舒服就停更了,接踵而至的是元旦和春节假期,又给自己放了假,连年终总结也鸽了,一懈怠就到了2月中旬……现在是我家娃出生