摘要:程序法治是指通过建构和完善程序法律制度来实现国家法治目标的模式，它强调法律的理性主义和自由价值，尊重以自由为基础的个体之间的平等、理性以及个人的价值和尊严，以程序过程为重心，注重博弈，强化司法的作用。它要求国家权力必须在作为民意代表的代议机关制定的法律授权范围内行使，否则无效；同时，要求除非事先经过依据调整司法程序的既定规则进行的审判，任何人不得被剥夺生命、自由、财产或者法律赋予的其他权利。[阅读全文]

摘要:习近平总书记告诫全党，必须遵循组织程序，重大问题该请示的请示，该汇报的汇报，不允许超越权限办事。我们党正在全面推进依法治国。全面依法治国，要求领导干部增强程序意识，严格按程序办事。能否严格按程序办事，考验的是领导干部的法治观念和工作作风。[阅读全文]

摘要:程序法是正确实施实体法的保障，审判活动则是实体法和程序法的综合运用。作为实体法的对称，不能简单地把程序法与诉讼法或者审判法相等同，因为程序法是一个大概念，既包括行政程序法、立法程序法和选举规则、议事规则等非诉讼程序法，也包括行政诉讼法、刑事诉讼法、民事诉讼法等。[阅读全文]

摘要:程序保障(又称为程序权保障或当事者权保障)和正当程序、程序正义的思想紧密相关,且在学理上,学者们从多种角度探讨程序保障的必要性,程序保障即被赋予了多重意义及目的。在民事诉讼法学中,对程序保障一般是从“参加命题”来理解的,即通过在程序上设定必要的规范,保障当事人参与审理,并给予其充分提出攻击防御方法的机会,具体表现为保障当事人诉讼中享有陈述意见、公开审理、在场见证、辩论、审级救济等基本程序权利。[阅读全文]

摘要:程序设计语言用于书写计算机程序的语言。语言的基础是一组记号和一组规则。根据规则由记号构成的记号串的总体就是语言。在程序设计语言中，这些记号串就是程序。程序设计语言有3个方面的因素，即语法、语义和语用。语法表示程序的结构或形式，亦即表示构成语言的各个记号之间的组合规律，但不涉及这些记号的特定含义，也不涉及使用者。语义表示程序的含义，亦即表示按照各种方法所表示的各个记号的特定含义，但不涉及使用者。[阅读全文]

摘要:程序员(英文Programmer)是从事程序开发、维护的专业人员。[阅读全文]

摘要:《程序员》是中国社会科学院文献信息中心主办的杂志，2000年创刊，自2015年1月起休刊。[阅读全文]

摘要:程序教学，是一种使用程序教材并以个人自学形式进行的教学。程序教学主要由教学机器的发明人普莱西首创，对程序教学贡献最大的当属行为主义心理学家F·斯金纳是美国著名的教学心理学家，然而他通过动物实验建立了操作行为主义的学习理论，并据此提出了程序教学论及其教学模式。其程序教学原则可分积极反应原则、小步子原则、即时反馈原则等，其程序教学模式可分经典型直线式程序、优越型衍枝式程序和莫菲尔德程序。但是教师要实施程序教学必须借助于程序式的教材或者进行机器教学，这运用程序教学思想至今又存现，程序教学发展由自动教学[阅读全文]