Randvoorwaarde (wiskunde): verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Danielm~nlwiki (overleg | bijdragen)
k +en,fr
Danielm~nlwiki (overleg | bijdragen)
kGeen bewerkingssamenvatting
Regel 13:
c <= 10
 
In praktijkproblemen komen vaak randvoorwaardestelsels voor welke ofwel '''geverifiëerdgeverifieerd''', ofwel '''vervuld''' dienen te worden (dat wil zeggen er moet een waarde voor de variabelen gevonden worden zodat de vergelijkingen waar zijn), ofwel '''geoptimaliseerd''' worden, dat wil zeggen, er is een extra expressie waarvan de waarde gemaximaliseerd moet worden. Deze laatste twee kunnen samengevat worden als het oplossen van een randvoorwaardestelsel.
 
Het verifiëren van randvoorwaarden is triviaal. Het oplossen van een randvoorwaardestelsel is zowel in [[wiskunde]] als in [[berekenbaarheidstheorie]] een uitgebreid onderwerp van discussie.