形式化语言

作品数：69被引量：152H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：潘昊段莹周世健张雁周小波更多>>
相关机构：北京广利核系统工程有限公司中国广核集团有限公司武汉理工大学太原理工大学更多>>
相关期刊：更多>>
相关基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划国家杰出青年科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
西府剪纸艺术形式化语言的探究
《天工》2024年第28期22-24,共3页张韬 
剪纸艺术作为西府地区一种重要的民间艺术,在当地人心中有着其他艺术无法替代的地位,从迎接新的一年的到来,到娶妻生子的生命仪式,再到入住新宅的祝福,都离不开剪纸艺术。剪纸已经和当地人的生命、情感相连接,寄托着他们对美好生活的向往。
关键词：剪纸 情感 形式化语言 传承 
连续变更化归在解题分析中的运用
《中学生理科应试》2024年第9期14-15,共2页张争光 安振平 
形式化是数学的一个显著特点.数学里的数量关系、图形关系、随机关系,以及运算律、运算法则等都被形式化地表示,因此,从一定意义上来说,学习数学就是学习数学的特定涵义的形式化语言,通过语义转换实现一系列连续变更、转化、化归,完成...
关键词：语义转换 化归 形式化语言 运算法则 运算律 特定涵义 解题思维 解题分析 
基于时间自动机的无信号交叉口车路协同系统建模与验证
《系统仿真学报》2024年第7期1682-1698,共17页刘伟 肖七瑞 陈新海 饶畅 张宇 王博思 
自动驾驶系统及智能网联汽车技术研发与测试应用重庆市工程研究中心课题(21AKC43);重庆市交通规划研究院交通运输工程研究生联合培养基金(JDLHPYJD2018004)。
车路协同系统(cooperative vehicle infrastructure system,CVIS)是提高交叉口车辆通行安全的重要解决方案之一。针对CVIS现有技术规范和标准未明确系统对象状态交互的动态时序及迁移过程,无法有效保障系统的通行控制逻辑安全问题,采用...
关键词：城市交通 形式化语言 车路协同系统 时间自动机 控制逻辑 可信验证 
论塔斯基语义真理论的哲学影响——纪念《形式化语言中的真概念》出版90周年被引量：1
《自然辩证法研究》2023年第12期80-88,共9页韦雷雷 孙萌萌 
中央高校基本科研业务费项目“逻辑学视域下高校思政课教学研究”(202113019);青岛市社会科学规划项目“高校逻辑教育助力青岛现代化建设研究”(QDSKL2301033)。
在《形式化语言中的真概念》中,塔斯基首次表述了其语义真理论。塔斯基语义真理论对二十世纪中后期的哲学和逻辑产生了深远的影响。不过,关于塔斯基语义真理论的哲学方面一直存在争议。值此出版90周年之际,通过揭示理论定位、突出哲学...
关键词：塔斯基 语义真理论 真 哲学 
真理论的发展及其实质性任务
《中国社会科学文摘》2022年第11期152-152,共1页郭建萍 
对真的探讨可以追溯到赫拉克利特,而对后人影响最深的是亚里士多德的真之符合论思想,尽管它限于直观且不易判断,但这个思想启发塔尔斯基构建了其《形式化语言中的真概念》。基于塔尔斯基真定义,有了一场更大的真理论争论,主要分为实质...
关键词：塔尔斯基 真之符合论 赫拉克利特 实质主义 融贯论 去引号论 形式化语言 亚里士多德 
基于空符号特性的动画影视表意应用研究
《文化产业》2022年第6期37-39,共3页张璐璇 何蕊 孔超 
云南省教育厅科学研究基金项目:媒介融合背景下地域文旅IP创新策略研究——以昆明翠湖文化生态圈为例;编号:2021Y311。
从符号学理论下的空符号角度出发,以不同维度的动画影视视听形式化语言为对象,采用文本分析的研究方法,对动画影视化语言的表意机制进行分析。意图理清动画影视符号活动中,空符号作为独立文本,对于影视视听语言的意义表述和实符号表意...
关键词：空符号 形式化语言 符号学理论 动画影视 符号特性 视听体验 延展性 文本分析 
“劳动”理论中的抽象语言批判
《中国社会科学文摘》2021年第3期152-152,共1页孙杨 
作为人的类特性的“劳动”概念是从存在论的意义上强调人类本然与应然的生存方式。究其实质,实为一种删减掉社会历史条件、具体物质生产实践内容的抽象的形式化语言规定。语言的最显著特征在于形式化,这源于语言的抽象本质,但是抽象之...
关键词：形式化语言 物质生产实践 抽象本质 抽象语言 社会历史条件 存在论 语言的形式 生存方式 
关于当代中小型金属雕塑在形式化语言中的探究
《参花（上）》2021年第2期119-120,共2页杨水源 
当代金属艺术形式多种多样,而其表现思想也不拘一格,可谓是"百家争鸣"。从繁缛精巧的首饰到形态精炼、抽象成几何形体的立体雕塑,无一例外地展现了当代艺术家对于艺术创作的个性化映射。而在当代金属装饰摆件中,有一种语言可以说是代表...
关键词：当代 金属雕塑 探究 
搭建描述性语言与形式化语言之间的桥梁——以“数列的极限”的教学为例
《数学教学》2021年第1期12-15,F0004,共5页任念兵 
上海市教育科学研究项目“本原性问题驱动下高中数学主题教学设计与评价的实践研究”(编号C2021043)
数学教育承载着落实立德树人根本任务、发展素质教育的功能,“提升学生的数学素养,引导学生会用数学眼光观察世界,会用数学思维思考世界,会用数学语言表达世界”[1],是数学教育的重要育人目标.所谓“数学语言”,是一种由数学符号、数学...
关键词：立德树人 数学术语 数学语言 数学符号 数学思维 数学素养 描述性语言 育人目标 
让数学“活泼”起来
《数学之友》2017年第8期1-2,4,共3页毛毛 
数学是刻画自然规律和社会规律的科学语言和有效工具，符号化、形式化是数学的显著特点．从某种意义上来说，学习数学就是学习一种有特定含义的形式化语言，以及用这种形式化语言去表述、解释、解决各种问题．
关键词：数学 形式化语言 有效工具 科学语言 社会规律 自然规律 符号化 学习 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部