Phương trình vi phân

Phương trình vi phân thường là một phương trình trong đó có chứa hàm phải tìm (ẩn hàm)là hàm một biến, biến số độc lập và đạo hàm (hoặc vi phân) các cấp của ẩn hàm. Trong một phương trình vi phân thường, có thể vắng mặt ẩn hàm và biến số độc lập nhưng dứt khoát phải có mặt đạo hàm (hoặc vi phân) của ẩn hàm. Nếu ẩn hàm là hàm nhiều biến (từ 2 biến trở lên), phương trình được gọi là phương trình đạo hàm riêng.

Từ khóa: Toán cao Cấp, phương trình vi phân, phương pháp chứng minh logic, thuật toán euclid, nguyên lý phép đếm, đại số boole, mã tuyến tính