yüksek matematiğin konularından biridir.
içinde türev bulunduran fakat c gibi bir sabit bulundurmayan denklem bu denklemler çözülerek içinde c gibi sabitler bulunduran ve türevi olmayan denklem bu denklemler çeşitli eğri ailelerini belirtir.
örnekler :
değişkenlerine ayrılabilen dif denk : y''dx+ ydy = dx +xy dy
lineer dif denk : y' + tgx y =- cot x
bernoilli dif denk : z' + (1-n) p (x) z = q(z)
