公共文化服务平台

搜索到3083篇“ 数理逻辑“的相关文章

数理逻辑: 本书分数学基础基本理论与数理逻辑部分，其中数学基础基本理论部分包括：集合论基础、可计算性理论基础等内容，数理逻辑部分包括：形式命题演算、谓词演算、谓词演算形式系统等内容。本书可帮助学生按照“宽口径、厚基础”的要求，使学生...; 张再跃; 关键词：数理逻辑

数理逻辑: 本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书对Godel第一部完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定...; 汪芳庭编著; 关键词：数理逻辑

数理逻辑: 该书分演绎及其证成，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻辑，共五个部分，对逻辑哲学进行了全面系统的概论，同时吸收了近几年国际逻辑哲学方面的最新进展，每一章后面的思考题和推荐阅读文献更是大大方便了教...; 邢滔滔著; 关键词：数理逻辑

国际价值瞬时变化的数理逻辑: 2025年; 国际价值的变化逻辑,作为马克思主义国际价值规律的重要组成部分,不仅构成了世界经济中物质财富生产和分配关系变化的理论基础,还揭示了更为复杂的经济现象。从世界市场视角构建影响国际价值变化的分析框架,分析世界劳动和世界劳动生产力的相互关系,研究得出,单位出口商品的国际价值与其所凝结的世界劳动量瞬时呈一定正比变化,但与任意国家实际投入的劳动量并不一定保持一致变化;单位出口商品的国际价值与其世界劳动生产率瞬时呈一定反比变化,但与任意国家特定行业的劳动生产力也并不一定保持同步变化。单位出口商品的国际价值不会随其国际价格的波动而随意变动,且其变化幅度通常较小,这种变化仅影响世界劳动量的分配份额,而不决定国际价值本身。这在一定程度上说明,国际价值变化规律在经济全球化的市场经济中发挥着客观的社会比例调节作用,决定着世界经济长期发展的总体态势。; 宋树理刘晓音; 关键词：价格弹性劳动生产力

研究生数理逻辑课程教学改革初探: 2024年; 针对研究生数理逻辑课程的性质和特点,分析目前研究生数理逻辑课程教学中存在的问题,从课程的重难点梳理、针对性教学方法改革、课程内容改革、课程思政实施及课程群内容知识衔接几方面,提出相应的教学改革思路、方法并阐述具体实施过程,最后通过一系列尝试结果说明教学成效。; 刘万伟陈立前李暾董威; 关键词：数理逻辑课程改革

从数字汉字解析中国数理逻辑与思想观念: 2024年; 不同数字汉字在形态上具有相似性、差异性,其形态变化遵循一定的规律,并且体现了数字之间的逻辑关系。经过深入剖析数字汉字的构造原理,如象形、指事、会意等构字方法,能够更好地揭示数字汉字在构造过程中的逻辑关系。本文旨在探讨中国数字汉字的来源、演变、形态构造以及数字汉字中所蕴藏的中国数理逻辑与思想观念:首先,探讨了数字汉字的起源与发展,展示了其历史演变的脉络;其次,解析数字汉字的形态特征与构造逻辑,分析数字汉字所蕴含的中国文化意义,如哲学思想、宗教信仰和民俗习惯等;最后,指出该研究对于理解中国文化、思想观念以及数字汉字体系形成的历史脉络与影响具有重要意义。通过本文的探讨,希望能够为中国数字汉字的研究提供更多视角和方法。; 李轶军樊子琳; 关键词：数理逻辑

数理逻辑在教学设计与评价中的应用探索: 2024年; 本文分析了数理逻辑在教学设计及评估方面的运用,阐释了数理逻辑在教育过程中的关键性,强调了它对提高教学水平有着至关重要的作用。接着,借助实际事例,探讨了运用数理逻辑对教育规划进行构建的方式,涵盖了教学大纲的架构、授课策略的决定以及对学员成效评估的设立等诸多层面。在评估环节中,主要阐述了运用数理逻辑进行中立、理性的分析的方法,以便深入掌握学生的知识掌握程度,进而为教育调整提供有力的支撑。最后,归纳了数理逻辑在教育构思及评估领域内的长处与短板,并对未来探索的路径进行了展望。; 段彦峰孙令令; 关键词：数理逻辑教学设计教学质量学生学习情况

基于考试逻辑判断题的数理逻辑教学案例设计: 2024年; 数理逻辑是采用数学方法研究逻辑形式及其规律的数学分支,是“离散数学”和“人工智能”课程的重要内容。现有的数理逻辑教学以理论讲解为主,教学案例较少且较为抽象,学生难以理解。为了提升数理逻辑的教学效果,本文结合公务员考试中的逻辑判断题,从数理逻辑角度分析解题思路与方法,增强学生逻辑思维能力。教学实践结果表明,以公务员考试中的逻辑判断题作为教学案例,可以激发学生自主学习兴趣,提升课堂教学效果。; 张宇辉潘晓衡李青青; 关键词：数理逻辑命题逻辑谓词逻辑

体制改革推动内生经济增长的全要素生产率潜力和需求空间——基于二元体制的数理逻辑与数据测算: 2024年; 文章分析了1978-2023年中国经济增长的动能结构,认为其高速增长的重要来源是,市场化配置改革提高要素生产率,以及土地有偿出让和城镇住宅商品化改革获得财富溢值。如何使定性的体制能够成为经济分析中的内生变量,是转轨经济学研究至今没有解决的难题。文章从渐进转轨和二元体制视角,寻找生产、不动产、分配和需求各领域中市场经济状态下的标准值,还有计划行政干预下的偏差值,二者相互比较求出差值,分类定义为流量通过大小的闸口连续变量和能不能通过的开关变量,并将其组合入生产函数及其供给-分配-需求联立运算模型之中。以此数理逻辑方法,进行体制改革内生推动经济增长的分析,解释了1978年以来中国经济增长奇迹的动力来源。经仿真测算,中国无论是在供给领域,还是在需求方面,都蕴藏着规模可观的体制剩余和市场潜力。中共二十届三中全会全面深化体制改革,未来11年可以释放在二元体制中巨大的生产能力、财富潜能和市场需求潜力,使经济增长能够达到平均5.5%的速度。; 周天勇; 关键词：内生经济增长全要素生产率数理逻辑

技术文明、数理逻辑与观念艺术——论崔德成的绘画装置: 2024年; 人类视觉秩序的构建与技术文明的发展不无关联,从古典建筑中的数理逻辑到文艺复兴透视法的几何秩序,都与数学和光学的发展密切相关。中世纪的意大利数学家斐波那契(Fibonacci)提出的数列经由图形化可以直观为艺术领域的黄金分割比例。天文学家、物理学家开普勒继而于17世纪初指出此数列在自然界的图式中也有体现,如某些花的五边形形态等。; 高远; 关键词：古典建筑斐波那契视觉秩序开普勒观念艺术透视法

相关作者