形式化方法
基本信息
- 注音
- ㄒ一ㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
词语解释
词语解释
⒈ 把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。
相关组词
- 组词
- 形式化方法
词语分解
古诗文 进入栏目 »
草书屏风
“屏风”是室内挡风或作为障蔽的器具，为美观设计，上面一般都绘有图画或写有文字，所以它在使用中还有书画的艺术价值。这首诗看…
将进酒
金尊莫倚青春健，龌龊浮生如走电。琴瑟盘倾从世珠，黄泥局泻流年箭。麻姑爪秃瞳子昏，东皇肉角生鱼鳞。灵鳌柱骨半枯朽，骊龙德悔…
绝句
这首短诗写的是诗人到江边游玩，享受了美好的踏青节日之后，正欲赋归，却遇上吐蕃军队入侵四川，成都戒严，一时间旌旗鼓角，弥漫…
菊
日日池边载酒行，黄昏犹自绕黄英。重阳过后频来此，甚觉多情胜薄情。
长城
当时无德御乾坤，广筑徒劳万古存。谩役生民防极塞，不知血刃起中原。珠玑旋见陪陵寝，社稷何曾保子孙。降虏至今犹自说，冤声夜夜…
口号
中夜忽自起，汲此百尺泉。林木含白露，星斗在青天。
国学古籍 进入栏目 »
史记
《史记》是由司马迁撰写的中国第一部纪传体通史。记载了上自上古传说中的黄帝时代，下至汉武帝元狩元年间共3000多年的历史（…
本草纲目
《本草纲目》，药学著作，五十二卷，明·李时珍撰，刊于1590年。全书共190多万字，载有药物1892种，收集医方1109…
周易
《周易》是一部中国古哲学书籍，是建立在阴阳二元论基础上对事物运行规律加以论证和描述的书籍，其对于天地万物进行性状归类，天…
孙子兵法
《孙子兵法》又称《孙武兵法》、《吴孙子兵法》、《孙子兵书》、《孙武兵书》等，英文名为《The Art of War》，是…
山海经
《山海经》是中国志怪古籍，大体是战国中后期到汉代初中期的楚国或巴蜀人所作。也是一部荒诞不经的奇书。该书作者不详，古人认为…
论语
《论语》是儒家学派的经典著作之一，由孔子的弟子及其再传弟子编撰而成。它以语录体和对话文体为主，记录了孔子及其弟子言行，集…