Semántica axiomática

La semántica axiomática es un método formal para especificar el significado de los lenguajes de programación. Se basa en la idea de definir un conjunto de reglas que deben ser obedecidas por cualquier programa escrito en el lenguaje. Estas reglas se llaman axiomas. La ventaja de utilizar la semántica axiomática es que proporciona una forma … Leer más

ARKit

ARKit es un conjunto de herramientas para crear experiencias de realidad aumentada para iPhone y iPad. Con ARKit, puedes crear apps que permitan a los usuarios interactuar con el mundo real de formas nuevas e innovadoras. ARKit es la base de las experiencias de realidad aumentada en iOS y permite crear aplicaciones que permiten a … Leer más

Búsqueda difusa

La búsqueda difusa es una técnica utilizada para buscar datos que pueden no coincidir exactamente con los criterios de búsqueda. Esto puede ser útil cuando los datos que se buscan no están bien formados, o cuando los criterios de búsqueda no se conocen exactamente. Los algoritmos de búsqueda difusa suelen utilizar una medida de similitud … Leer más

Número mágico

Un número mágico es un literal numérico (es decir, un número escrito como un literal) que se utiliza en el código para representar un valor específico, a menudo mágico. Por ejemplo, en el lenguaje de programación C, el valor 0x80 se denomina a veces número mágico porque se utiliza a menudo para representar un valor … Leer más