I informatikken brukes om algoritmer som ignorerer om løsningen kan bevises eller ikke. Et heuristisk virussøk «antar» for eksempel at ukjente programmer som ligner på kjente datavirus, også er virus.