Solution methods and computational efficiency of stochastic linear programs have been extensively studied over the years. Despite this, their practical applications remain limited due to persistent computational challenges and the lack of a user-friendly interface for modeling and solving these problems. This thesis revisits those computational challenges and explores the usability of stochastic linear programs in the field of energy system modeling. This is done by implementing two solution methods for solving two-stage stochastic linear programs: the Extensive Form method and the L-Shaped method, and applying both methods on existing input problems. To additionally test the performance on an energy system model, the existing large-scale energy model Oemof-B3 is extended to a stochastic linear program, and the solution methods are applied on this problem too. Since the stochastic linear programming framework can be easily applied, and both methods successfully produce solutions for various input problems, we conclude stochastic linear programming holds significant potential as a modeling tool. However, computational challenges remain, particularly when applying the stochastic programming framework to the energy model Oemof-B3. Additionally, the lack of user-friendly tools and readily available solvers for solving stochastic linear programs limits the practical applicability of these methods.

De 'grootte' van een verzameling staat in de wiskunde bekend onder de term 'kardinaliteit'. Omdat de kardinaliteit van de natuurlijke getallen niet met een eindig natuurlijk getal n kan worden aangetoond, is de kardinaliteit van deze verzameling uniek gedefinieerd als alef-nul. Met dank aan Cantor’s bewijs voor de stelling dat de verzameling reële getallen overaftelbaar is, weet men dat er verzamelingen bestaan met kardinaliteit groter dan alef-nul. De eerstvolgende verzameling die groter is dan de verzameling natuurlijke getallen geven we kardinaliteit alef-één. 
Vanzelfsprekend zijn er voor verzamelingen met kardinaliteit alef-nul talloze mooie stellingen geformuleerd en bewezen. Deze stellingen kunnen eenvoudig worden uitgebreid naar verzamelingen met kardinaliteit alef-één, door de term 'eindig' in 'oneindig' te veranderen en 'aftelbaar' in 'overaftelbaar'. Het valt echter op dat sommige stellingen die gelden voor verzamelingen met kardinaliteit alef-nul niet meer gelden nadat ze zijn uitgebreid naar verzamelingen met kardinaliteit alef-één. Het kan ook gebeuren dat een stelling juist wel in het overaftelbare geval geldt, maar niet in het aftelbare geval. In dit verslag zullen een aantal dergelijke stellingen aan bod komen.