逻辑命题的限制条件,根据这种限制条件,逻辑命题的内容可以区分为肯定或否定其可能性、不可能性、偶然性或必然性等内容。
英modality;
规定的格式;一定的法式;形式。
例公文程式。
英form; pattern;
程序。
例电脑的程式语言。
英program;
法式;规格;准则。
引《管子·形势》:“仪者,万物之程式也;法度者,万民之仪表也。”
《汉书·刑法志》:“此为国者之程式也。”
唐•赵璘 《因话录·商下》:“李相国 程、王僕射 起、白少傅 居易 兄弟、 张舍人 仲素 为场中词赋之最,言程式者,宗此五人。”
清•戴名世 《<庆历文读本>序》:“余自少时从事制举文字,而于两朝诸先辈之文……奉以为程式。”
郑观应 《盛世危言·考试下》:“西法各种,西人藉以富强,已收实効,皆有程式,我步趋其后,易见功。”
特定的格式。
引《周书·苏绰传》:“绰 始制文案程式,朱出墨入,及计帐、户籍之法。”
朱自清 《论逼真与如画》:“但是最容易程式化的、最能够代表文人化的是山水画。”
特指戏剧程式动作"class=primary href=/cidian/ci-1e32694d09>程式动作。参见“程式动作"class=primary href=/cidian/ci-1e32694d09>程式动作”。
引洪深 《戏剧导演的初步知识》上篇三:“因为每一程式,乃是许多作者与许多观众长期实验、长期合作的结果。”
徐迟 《牡丹》八:“她以一丝不苟的准确的戏剧程式表达了角色的丰富的心灵。”
比拟;效法。
引战国 楚 宋玉 《神女赋》:“毛嬙 鄣袂,不足程式; 西施 掩面,比之无色。”
订立一定的准式以为法则。
引《管子·明法》:「法者,天下之程式也。」
近法式
格式。
例如:「公文程式」。
引导电脑依特定方式运作并产生结果的一组指令。
“程式”是中国台湾的操作系统翻译法。中国大陆翻译为“程序” 。计算机或者软件程序(通常简称程序)是指一组指示计算机或其他具有消息处理能力装置每一步动作的指令,通常用某种程序设计语言编写,运行于某种目标体系结构上。打个比方,一个程序就像一个用汉语(程序设计语言)写下的红烧肉菜谱(程序),用于指导懂汉语和烹饪手法的人(体系结构)来做这个菜。 通常,计算机程序要经过编译和链接而成为一种人们不易看清而计算机可解读的格式,然后运行。未经编译就可运行的程序,通常称之为脚本程序(script)。