Resultados de la búsqueda a petición "logic"
NASM Asamblea lógica lógica
Tengo un programa en ensamblado para el terminal de Linux que se supone que funciona a través de una serie de manipulaciones matemáticas, compara el valor final con 20 y luego usa la lógica if, report <,> o =. El código es: segment .data ...
Necesita ayuda para desarrollar la lógica de DB
Este es un mini proyecto mío: sistema de reserva de aerolíneas. Llamemos a esta aerolínea FlyMi: tengo una base de datos (no se ha decidido cuál, amigo mío quiere ir con MongoDB). De todos modos, este es mi requisito: tengo una tabla que ...
¿Por qué los conectores lógicos y los booleanos están separados en Coq?
Vengo de un fondo de programación de JavaScript / Ruby y estoy acostumbrado a que esto sea cómo funciona verdadero / falso (en JS): !true // false !false // trueEntonces puede usar esos valores verdaderos / falsos con&& me gusta var a = true, b ...
¿Qué se entiende por "pureza lógica" en Prolog?
¿Qué se entiende por "pureza lógica" (en el contexto de la programación de Prolog)? lospureza lógica [/questions/tagged/logical-purity]la información de la etiqueta dice"programas que usan solo cláusulas Horn", pero entonces, ¿cómo serían ...
Representación de restricciones temporales en SMT-LIB
Estoy tratando de representar restricciones temporales en SMT-LIB para verificar su satisfacción. Estoy buscando comentarios sobre la dirección que estoy tomando. Soy relativamente nuevo en SMT-LIB y agradeceré mucho las aportaciones. Las ...
Azure Data Lake Analytics: combine la duración del tiempo de superposición con U-SQL
Quiero eliminar la duración del tiempo superpuesto de los datos CSV colocados en Azure Data Lake Store usando U-SQL y combinar esas filas. El conjunto de datos contiene la hora de inicio y la hora de finalización con varios otros atributos para ...
Condición lógica mientras que el subconjunto no da valores correctos
Quería subconjugar el marco de datosproject Estaba trabajando con una lógica. Estoy obteniendo un resultado paradójico. La parte de lo lógico que precede alROLL.NO. El argumento es irrelevante para la pregunta. Lo siento, no pude dar un ejemplo ...
Python - Pandas Dataframe - los datos no coinciden con la fuente
Estoy tratando de usar datos de existencias mensuales de Yahoo para analizar patrones. Por alguna razón, las devoluciones mensuales que el programa está escupiendo en un marco de datos para un stock en particular (ATVI) no coinciden con las ...
¿Diferencia entre "! = Verdadero" y "== falso"?
¿Existen diferencias técnicas / lógicas entre la comparación "! = Verdadero" y "== falso" en los lenguajes de programación, y si las hay, ¿qué comparación se debe elegir en qué ocasión?
Prueba de que un árbol binario con n hojas tiene una altura de al menos log n
He podido crear una prueba que muestra que el total máximo de nodos en un árbol es igual a n = 2 ^ (h + 1) - 1 y lógicamente sé que la altura de un árbol binario es log n (puede dibujarlo para ver) pero tengo problemas para construir una prueba ...