程序（Program）是为实现特定目标或解决特定问题而用计算机语言编写的命令序列的集合。它是一系列按照特定顺序编写的指令，用于告诉计算机如何执行特定任务。程序具有以下特点：
次序性和条理性：
程序具有很强的次序性和条理性，必须由一定数量的先后顺序的行为或者工序组成，一步步地进行，直至完成目标。
由指令组成：
程序由一组计算机能识别和执行的指令组成，这些指令运行于电子计算机上，满足人们某种需求的信息化工具。
编程语言：
程序可以用不同的编程语言编写，如C、Java、Python等。不同的编程语言具有不同的语法和语义，但都可以用来实现程序。
可执行性：
程序需要被加载到计算机中，并通过编译器或解释器转换为机器语言，才能在硬件上运行。程序运行的结果通常是一个或多个输出结果。
结构性：
程序通常由序列组成，告诉计算机如何完成一个具体的任务。程序的结构包括数据结构、算法、控制流程等。
分类：
程序一般分为系统程序和应用程序两大类。系统程序是计算机的基本软件，负责管理计算机的硬件和应用程序。应用程序则是为解决特定问题或完成特定任务而编写的软件。
设计方法：
程序的设计需要采用适当的设计方法，并且用一种计算机语言来表示。著名的计算机科学家沃思提出一个公式：数据结构+算法=程序。
解决问题的工具：
程序不仅仅是一堆代码的集合，它还是对某个问题的一种解决方案。程序员通过编写程序来解决某个问题，这个问题可以是计算机科学领域的任何一个问题，比如数据处理、图像处理、自然语言处理等等。
综上所述，程序是一种有序的命令集合，用于指导计算机执行特定任务，具有明确的次序性和条理性，由编程语言编写，并通过编译或解释转换为机器语言在硬件上运行。程序是计算机科学的核心概念之一，使得计算机能够按照人类的意愿完成各种任务。