网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
形式化方法
释义
形式化方法
哲学卷
形式化方法
用一套特制的表意符号(其意义可以解释的),去表示概念、命题、推理,获得它们的形式结构,从而把对概念、命题与推理的研究转化为对形式符号表达式系统的研究的方法。用于公理系统后产生的形式系统,是形式化方法高度发展的标志。运用形式化方法,能克服自然语言的歧义性,简洁而精确地表述科学理论。
出处:哲学卷 • 科学技术哲学 • 术语 学说 • 科学哲学
哲学卷
形式化方法
用一套特制的表意符号(其意义可以解释的),去表示概念、命题、推理,获得它们的形式结构,从而把对概念、命题与推理的研究转化为对形式符号表达式系统的研究的方法。用于公理系统后产生的形式系统,是形式化方法高度发展的标志。运用形式化方法,能克服自然语言的歧义性,简洁而精确地表述科学理论。
出处:哲学卷 • 逻 辑 学 • 现代形式逻辑
随便看
中华人民共和国进出口商品检验法是什么意思
中华人民共和国道路交通安全法是什么意思
中华人民共和国道路运输条例是什么意思
中华人民共和国道路运输证是什么意思
中华人民共和国邮政法是什么意思
中华人民共和国野生动物保护法是什么意思
中华人民共和国铁路法是什么意思
中华人民共和国防沙治沙法是什么意思
中华人民共和国防洪法是什么意思
中华人民共和国防震减灾法是什么意思
中华人民共和国青少年运动会是什么意思
中华人民共和国领海及毗连区法是什么意思
中华人民共和国飞行基本规则是什么意思
中华人民共和国食品卫生法是什么意思
中华人民共和国首都是什么意思
中华人民共和国香港特别行政区基本法是什么意思
中华人民共和国高等教育法是什么意思
中华优秀出版物奖是什么意思
中华全国中医学会是什么意思
中华全国体育协进会是什么意思
中华全国体育基金会是什么意思
中华全国体育总会是什么意思
中华全国台湾同胞联谊会是什么意思
中华全国基督教协进会是什么意思
中华全国妇女联合会是什么意思
золотодобыча的意思
золотоискатель 的意思
золотоискатель的意思
золотоискательский的意思
золотоискательский 的意思
золотой 的意思
золотой的意思
золотомойка的意思
золотомойка 的意思
золотоносный的意思
刺激物
刺激神经
刺激者
刺激血管舒缩神经的
刺激运动的
刺状的
刺猬
刺猬的
刺痒
刺痛
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/9/15 8:46:58