BLOG

¿Qué es la Fórmula Barcan?

¿Puede alguien ayudarme a explicarme esta fórmula de Barcan? (¿En la traducción al inglés y tal vez con un ejemplo?) (◊ ∃x Fx) ↔ (∃x ◊ Fx) Y si solo hay un estado posible del mundo, ¿Sería cierto? Me encantaría recibir alguna aclaración sobre esto. ¡Gracias! Comentarios ¿Quiere utilizar una flecha doble? (ver en.wikipedia.org/wiki/Barcan_formula ) […]

Continue Reading

¿Qué son las bandas de bits?

Estoy leyendo el manual de referencia de ARM Cortex M3 y los conceptos «bit-band Aparecen «,» región de banda de bits «y» alias de banda de bits «. ¿Qué es la banda de bits? Comentarios He dedicado una página github para explicar qué es el bit-banding, cómo funciona y cómo usarlo. Creo que responde a […]

Continue Reading

El significado de “ au fond ”

La siguiente oración es de El extraño de Camus. Meursault, el narrador, se refiere a su tiempo en prisión. Je peux dire qu «au fond l» été a très vite remplacé l «été. Pregunta Pregunta 1: ¿Qué significa au fond allí? Para la pregunta 2, consulte estas traducciones al inglés. Stuart Gilbert: En general, no […]

Continue Reading

¿Por qué sacrificar a Pegaso?

Alerta de spoiler: Temporada 3, episodio 4 , Éxodo (Parte 2) Lee Adama desafía las órdenes del almirante Adama y usa la Battlestar Pegasus para rescatar a Galactica de una destrucción segura. Galactica y Pegasus están bajo el fuego de cuatro estrellas base. ¿Cuál fue el razonamiento detrás de sacrificar a Pegasus (en lugar de […]

Continue Reading

¿Quién es el tío Fester?

En las películas de la familia Adams, conocemos al tío Fester como Fester Adams, el hermano mayor de Gomez Adams. Pero, acabo de ver T2 E1 & E2 del programa de televisión de la familia Adams de los 60 «y tienen Fester tiene el tío de Morticia. El apellido de Morticia no era Adams hasta […]

Continue Reading

¿Qué es un bloque en el voleibol?

¿Qué constituye exactamente un bloqueo en el voleibol? Digamos si es un paso elevado del equipo contrario y un bloqueador lo derriba (con dos manos) pero el equipo contrario aún lo devuelve. ¿Es un bloqueo? O incluso si no es un paso elevado y solo un ataque, pero si un bloqueador evita que venga de […]

Continue Reading