Chương trình con là một dãy lệnh mô tả một số thao tác nhất định và có thể được thực hiện (được gọi) từ nhiều vị trí trong chương trình.

Giả sử ta có bài toán sau đây:

Hãy tính S=ab+cd+ef

Nếu như với những kiến thức chúng ta đã học trước đây. Chúng ta có thể làm như sau:

     + Sử dụng các biến để lưu kết quả của ab, cd,ef.

Tác hại: Như vậy ta sẽ phải sử dụng 3 đoạn chương trình tương đồng với nhau. Nếu không phải tính 3 lũy thừa mà là tính 1000 lũy thừa thì số lượng code sẽ rất lớn và dễ gây rối và nếu ta phát hiện có lỗi sai trong đoạn code này ta sẽ phải sửa lần lượt tất cả các đoạn code này.

Cách khắc phục: Ta sẽ viết một chương trình con để tính lũy thừa. Với x là giá trị kiểu thực còn k là thuộc kiểu nguyên.

Khi cần tính lũy thừa thì ta chỉ cần viết tên gọi chương trình con rồi thay thế (x,k) bằng các giá trị cụ thể.

Những hàm mà chúng ta thường sử dụng trước đây như : sqrt(), upcase(), delete(),… đều là những chương trình con.

Một số lợi ích của việc sừ dụng chương trình con: 

- Để tránh được việc phải viết lặp đi lặp lại cùng một dãy lệnh nào đó, ngôn ngữ lập trình cho phép tổ chức dãy lệnh đó thành một chương trình con. Sau đó, mỗi khi chương trình chính cần đến dãy lệnh này thì chỉ cần gọi thực hiện chương trình con đó.

- Hỗ trợ việc thực hiện các chương trình lớn: khi phải viết chương trình lớn hàng nghìn, hàng vạn lệnh, cần huy động nhiều người tham gia, có thể giao cho mỗi người (hoặc mỗi nhóm) viết một chương trình con, rồi sau đó lắp ghép chúng lại thành chương trình chính.

- Phục vụ cho chương trình trừu tượng hóa: Người lập trình có thể sử dựng các kết quả được thực hiện bởi chương trình con mà không cần phải quan tâm đến việc các chương trình con đó được cài đặt như thế nào. Trừu tượng hóa là tư tưởng chủ đạo để xây dựng chương trình nói chung và chương trình có cấu trúc nói riêng.

- Mở rộng khả năng ngôn ngữ. Các ngôn ngữ lập trình thường cung cấp phương thức đóng gói các chương trình con nhằm cung cấp như một câu lệnh mới (tương tự như các lệnh gọi thực hiện các hàm và thủ tục chuẩn) cho người lập trình sử dụng mà không cần biết mã nguồn của nó như thế nào.

- Thuận tiện cho phát triển, nâng cấp chương trình: Do chương trình được tạo thành từ các chương trình con nên chương trình dễ đọc, dễ hiểu, dễ kiểm tra và hiệu chỉnh. Việc nâng cấp, phát triển chương trình con nào đó, thậm chí bổ sung thêm các chương trình con mới nói chung không gây ảnh hưởng đến các chương trình con khác.