逻辑语言

作品数：198被引量：290H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：唐稚松张倩颖关永施智平王小兵更多>>
相关机构：中国科学院软件研究所中国科学院首都师范大学西安电子科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划“九五”国家科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
思政课逻辑表达力提升策略——以“凝聚价值追求”教学为例
《福建教育学院学报》2024年第6期11-13,共3页蔡长春 
实现高质量的思政课教学,要讲透道理,提升课堂逻辑表达力。要提升思政教师的逻辑思维能力、逻辑语言能力、逻辑情感能力,继而实现思政课言之有序、有理有力、论证充分、言之有情,有效落实思政课立德树人的根本任务。
关键词：思政课 逻辑表达力 逻辑思维 逻辑语言 逻辑情感 
半格模态逻辑以及格的模态公理化新方法
《逻辑学研究》2024年第3期51-73,共23页王潇扬 
supported by the National Social Science Fund of China(No.19ZDA041)。
本文在《Modal Logic over Lattices》的基础工作之上,进一步探索了模态逻辑与格理论之间的关系。在之前的研究中,使用带二元模态词,的多元混合逻辑通过标准克里普克语义讨论格结构。本文将讨论如何使用模态逻辑刻画下半格结...
关键词：模态词 模态逻辑 公理化 逻辑语言 偏序关系 半格 格结构 多元混合 
基于硬件逻辑语言的时钟模块设计研究
《流体测量与控制》2024年第3期40-43,共4页黄思凝 唐端端 王颖 
辽宁省大学生创新创业训练计划项目“基于物联网云的智能化老年公寓健康监测系统”(S202213198002)。
随着信息化与数字化的不断推进,嵌入式系统已经广泛应用于生活的各个方面。硬件描述语言被称为快速集成电路程序硬件描述语言,是一种专门用于描述和模拟数字电路系统性能的硬件描述语言。在20世纪90年代,VHDL设计技术的出现彻底改变了...
关键词：硬件描述语言 VHDL QuartusⅡ 
隐喻机制的动态语义学新诠
《外语与翻译》2023年第2期55-62,I0001,共9页周俊子 孙毅 
国家社会科学基金项目“当代隐喻学视域中多语种通用辞格认知研究”的阶段性成果,项目号:21BYY001。
隐喻性与通用性密切相关,它体现在对表达式进行评估的索引分类中,其目的是为了揭示意义生成及扩展的动态机制。隐喻性话语是一类包含性陈述,即包含喻体的双重指称。具有动态阐释的内涵逻辑为语义扩展、词汇歧义和隐喻性提供了形式语义,...
关键词：隐喻性 索引分类 通用性 动态语义学 隐喻阐释 一阶逻辑语言 
基于硬件逻辑语言的数字频率计设计被引量：1
《单片机与嵌入式系统应用》2023年第4期50-53,共4页金诗雨 杨晓宇 于馨淼 郑馥钰 胡明月 王颖 
针对目前在航空航天、电子技术、测控等技术领域遇到的问题,数字频率计能够准确、快速地捕捉到信号频率的变化。本文重点介绍了如何运用EDA技术来实现数字频率计的设计,采用基础开发软件并采用Verilog HDL语言进行编译,Waveform进行了...
关键词：EDA Verilog HDL QuartusⅡ 
基于硬件逻辑语言的简单计时器设计
《电脑知识与技术》2023年第12期89-91,共3页阚子杨 刘萧鸣 赵鹤煜 涂振华 孙赫阳 姜绍君 
可控计时器在日常生活中有着广泛的应用,例如交通灯信号控制、竞赛倒计时、蛋糕烘焙计时器、考试计时器等各个方面,如何快速准确计时,且不出现误差,就需要通过精确的仪器来计时,为了使仪器实现简单无误差的可控计时功能,通过掌握了Veril...
关键词：FPGA Verilog HDL QuartusⅡ 计时器 
证明推理需规范 数学语言益精炼
《中小学数学（初中版）》2021年第6期10-10,共1页涂安明 
北京大学数学科学学院教授、中国科学院院士姜伯驹说:“数学是思维的体操”,是说还要训练出其他学科中所需要的清晰思维的智力.这对于青少年的健康成长关系极大.中小学数学教育担负着理性文明和科学精神的启蒙使命;在实行科教兴国的战略...
关键词：数学科学学院 中国科学院院士 推理证明 螺旋式上升 数学语言 逻辑语言 平面几何 姜伯驹 
基于微信的预防接种问答系统的研发与探讨被引量：1
《中国新技术新产品》2021年第5期31-33,共3页陈明华 李文宇 韩明奎 王颖馨 陈伟 
潍坊市卫生健康委科研项目(项目编号:wfwsjk_2019_057),潍坊市卫生健康委科研项目(项目编号:wfws js_2018_124)。
预防接种门诊的常规工作量大,且需要接听预防接种咨询电话,为了方便预防接种工作的开展,提高群众的满意度,减少疾控机构和预防接种门诊接听咨询电话的数量,该文研发了基于微信公众平台的预防接种问答系统,提供24 h预防接种咨询问题自动...
关键词：预防接种 咨询电话 问答系统 Lambda-DCS逻辑语言 
聚焦生成过程,培养数学概念思维
《中学生数理化（教与学）》2020年第12期55-55,共1页杨华 
基于应试教育的压力和影响,很多教师将数学打造成了一门"练习册"的科目,过于注重题目的训练而忽略了对最基本的数学概念的教学和理解.数学概念是链接数量关系与空间形式的逻辑语言,折射出数学知识生成过程的思维方式,蕴含着一代又一代...
关键词：初中数学教师 概念思维 逻辑语言 生成过程 数学概念 多感官 数学知识 课堂教学 
维特根斯坦后期对前期思想的融合——从思维与语言的关系角度分析
《太原师范学院学报（社会科学版）》2020年第4期1-5,共5页刘扬 
路德维希·维特根斯坦是20世纪影响最大的哲学家之一,学界普遍将其哲学分为分析哲学和日常语言哲学两个主张截然不同的阶段,这一独特的发展路径使得学界认为其前后期哲学思想发生了巨大变化。从维氏对思维和语言关系的探讨切入,考察其...
关键词：维特根斯坦 思维与语言的关系 逻辑语言 日常语言 
全选清除导出
共20页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部