– John V. Guttag[1]
Trong công nghệ phần mềm và khoa học máy tính, trừu tượng (tiếng Anh: abstraction) là:
Trừu tượng, nói chung, là một khái niệm cơ bản trong khoa học máy tính và phát triển phần mềm.[4] Quá trình trừu tượng hóa cũng có thể được gọi là mô hình hóa và có liên quan chặt chẽ với các khái niệm lý thuyết và thiết kế.[5] Mô hình cũng có thể được xem là các loại trừu tượng hóa do chúng khái quát các khía cạnh của thực tế.
Trừu tượng hóa trong khoa học máy tính có liên quan chặt chẽ với trừu tượng hóa trong toán học do cùng tập trung vào việc xây dựng các trừu tượng như các đối tượng,[2] nhưng cũng liên quan đến các khái niệm trừu tượng khác được sử dụng trong các lĩnh vực khác như nghệ thuật.[3]
Các trừu tượng cũng có thể liên quan đến các đối tượng và hệ thống thế giới thực, các quy tắc của hệ thống tính toán hoặc quy tắc của ngôn ngữ lập trình mang hoặc sử dụng các đặc điểm của trừu tượng hóa, chẳng hạn như:
Trừu tượng có thể áp dụng cho kiểm soát hoặc cho dữ liệu: trừu tượng kiểm soát (control abstraction) là trừu tượng của hành động trong khi trừu tượng dữ liệu (data abstraction) là cấu trúc dữ liệu.
Bài viết này dựa trên nguồn lấy từ Từ điển trực tuyến miễn phí về máy tính trước ngày 1 tháng 11 năm 2008 và được hợp nhất theo các điều khoản "cấp lại giấy phép" của GFDL, phiên bản 1.3 hoặc mới hơn.