høyereordens
Høyereordens er et begrep som brukes i matematikk, logikk og informatikk for å beskrive konsepter som opererer på objekter av samme kategori på et høyere nivå. Ofte betyr dette at en funksjon kan ta andre funksjoner som argumenter eller returnere funksjoner, eller at man i logikk kan kvantifisere over predikater og funksjoner, ikke bare over grunnleggende objekter.
Inom logikk og matematikk refererer høyereordens logikk til logiske systemer som tillater kvantifisering over funksjoner og
I programmering beskriver høyereordens funksjoner funksjoner som tar andre funksjoner som argumenter eller som returnerer funksjoner.
Høyereordens som idé viser seg å være et samlet rammeverk for å beskrive nivåer av abstraksjon i