Listar Máster Universitario en Matemáticas por título
Mostrando ítems 77-78 de 78
-
Trabajo Fin de Máster
Ultrafiltros y aplicaciones
(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
Verificación formal de la lógica de Hoare en Isabelle/HOL
(2016-09)Hoare logic is a formal system developed by C.A.R. Hoare. This logic was introduced to verify formally imperative programs. ...