计算机程序是指为了得到某种结果而可以由计算机等具有信息处理能力的装置执行的代码化指令序列，或者可以被自动转换成代码化指令序列的符号化指令序列或者符号化语句序列。它通常由数据结构和算法构成，并且可以用某种程序设计语言编写，运行于某种目标体系结构上。
具体来说，计算机程序包括以下几类：
可执行程序：
这是可以直接在计算机上运行的程序，如.exe文件。
服务性程序：
例如诊断程序、排错程序、练习程序等，用于提供特定服务。
语言程序：
包括汇编程序、编译程序、解释程序等，用于将高级语言代码转换成机器可以执行的代码。
操作系统：
管理计算机硬件和软件的运行。
数据库管理系统：
用于管理和存储数据。
应用程序：
用于满足用户各种特定需求的程序，如文档处理软件、电子表格软件、图像处理软件等。
开发工具和编程语言：
用于开发其他软件程序的工具和编程语言，如集成开发环境（IDE）、编译器和编程语言本身。
网络和通信程序：
用于网络连接和数据传输的应用程序，如网络浏览器、电子邮件客户端和即时通讯软件。
计算机程序的特性包括有穷性、确定性、输入、输出和有效性。程序需要满足这些特性，以确保其能够有效地执行并得出预期的结果。
总的来说，计算机程序是计算机执行任务的基础，它们通过一系列精心设计的指令，实现对数据的处理、算法的运行以及用户需求的满足。