期刊文献+

逻辑联结词在电灯开关设置中的应用

Application of Logical Connection Words in the Setting of Light Switch
下载PDF
导出
摘要 逻辑是探索、阐述和确立有效推理原则的学科,逻辑联结词把自然语言转化为数学符号,从而利用数学的相关理论解决实际生活的一些问题,比如解决了生活中的推理问题及生活中的选派方案等问题.文章利用逻辑联结词研究房间电灯开关设置的问题. Logic is the subject that explores the principle of effective reasoning,elaborates the principle of effective reasoning,and establishes the principle of effective reasoning. Logical conjunctions transform natural language into mathematical symbols,then it use mathematical related theories to solve some problems in real life,such as solving the problem of reasoning in life and the selection in life. Solutions and other issues. The article uses the logical conjunction to study the problem of room light switch settings.
作者 方冬云 FANG Dongyun(College of Mathematics & Financial,Putian University,Putian 351100,China)
出处 《吉林化工学院学报》 CAS 2019年第1期87-89,共3页 Journal of Jilin Institute of Chemical Technology
基金 国家自然科学基金(61170246) 应用数学福建省高校重点实验室(莆田学院)项目资助
关键词 命题 逻辑联结词 开关设置 应用 proposition logical conjunction switch setting application
  • 相关文献

参考文献7

二级参考文献34

  • 1方欢,吴哲辉,崔焕庆.基于Horn子句集的Pr/T网可达树的方案求解[J].系统仿真学报,2005,17(z1):163-165. 被引量:4
  • 2林闯.Petri网用于Horn子句的逻辑推论[J].软件学报,1993,4(4):32-37. 被引量:6
  • 3林闯,王鼎兴.使用Petri网T-不变量求解子句的逻辑推论[J].计算机学报,1996,19(10):762-767. 被引量:8
  • 4方欢,印玉兰,徐誉尹.利用谓词/变迁网证明的一阶谓词逻辑命题[J].计算机工程,2006,32(23):191-192. 被引量:2
  • 5Daowu Pei,Two Classes of Models of Granular Computing,the Proceedings International Forum on Theom of Grc from Rough Set Perspective( IFTGrCP.SP2006 ). 2006(25):52-55.
  • 6Zaeh,L.A. Towards a theom of fuzzn information granulation and its centrahtn in human reasoning and tuzzn logac,Fuzzn Sets and Snsems,19,111-127,1997.
  • 7N.N.Nao. Rough Sets ,Neighborhood snstems ,and GranularComputing , in :Proc .1999 IEEE Canadian Conf. Electrical an d Computer Engineering, Edmonton,Canada,Man 912,1999,1553 -1558.
  • 8Polkowski,L.and Skowron, A.Towards adaptive calculus ofgranules ,Proceedings of 1998 IEEE International Conference on Fuzzn Snstems, 111 - 116.1998.
  • 9Skowron,A. and Stepanluk,J.Information granules and appromimation spaces, manuscript ,1998.
  • 10Lin Yan, Qing Liu. Formalization for Granular ComputingBased on Logical Formulas, the Proceedings International Forum on Theory of Grc from Rough Set Perspective(IFTGrCRSP200 6).2006(25):60-65.

共引文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部