Listar Máster Universitario en Matemáticas por título 

Listar Máster Universitario en Matemáticas por título

Mostrando ítems 77-78 de 78

    • Trabajo Fin de Máster
      Icon

      Ultrafiltros y aplicaciones 

      Camúñez Triguero, Manuel (2022-06-18)
      In this document, we present the notion of ultrafilter and study some of its properties and applications. Firstly, the ...
    • Trabajo Fin de Máster
      Icon

      Verificación formal de la lógica de Hoare en Isabelle/HOL 

      González Blanco, Natividad (2016-09)
      Hoare logic is a formal system developed by C.A.R. Hoare. This logic was introduced to verify formally imperative programs. ...