2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/74689An optimization of caching strategies is proposed as a formal approach allowing us a more efficient use of two-level computer memory. This approach is based on a set of mathematical models and a set of theorems, permitting analytical determination of optimal caching strategy operating characteristics, thus minimising time loss caused by optimal strategy search.6 pages, 1 figure, 9 referencesOptimization and Control68P15 (Primary); 68P20 (Secondary)Mathematical Models and Formal Approaches for Caching Strategies Optimisationtext