Một tích phân có hai dạng. Tích phân xác định của từ đến ,
bằng diện tích (có dấu) giữa đường cong và trục x trên . Tích phân bất định là họ các nguyên hàm — những hàm có đạo hàm là .
Hai loại này được liên kết bởi Định lý cơ bản của Giải tích: nếu là một nguyên hàm bất kỳ của , thì .
Các kỹ thuật tích phân (đổi biến, tích phân từng phần, phân tích thành phân thức, đổi biến lượng giác) chiếm phần lớn một khóa giải tích đầu tiên. Hầu hết các nguyên hàm "thực tế" không thể biểu diễn bằng hàm sơ cấp và cần đến các phương pháp số.