logic

5El calor

1Respuesta

¿Se pueden agrupar selectores jQuery con (un poco más) lógica avanzada?

Estamos trabajando en un sistema de filtro, donde se obtiene grupos de opciones, por ejemplo: color Rojo, Azul, Verde Precios 0- £ £ 5, £ 6- £ 10, £ 11 + Hacer Adidas, Nike, Converse Cada opción es un

jquery logic selector 2011-12-07

---

9El calor

2Respuesta

búsqueda existencial y consulta sin el alboroto

¿Existe una forma extensible y eficiente de escribir enunciados existenciales en Haskell sin implementar un lenguaje de programación lógica integrado? A menudo, cuando estoy poniendo en práctica algor

algorithm design search haskell logic 2011-10-18

---

11El calor

2Respuesta

Enrutadores centrales: aguarde a que se obtengan los datos primero

Creo que no entiendo muy bien la idea detrás del uso correcto de los enrutadores troncales. Esto es lo que tengo: Tengo algunos datos que obtengo del servidor cuando se carga la página y luego los com

routes logic backbone.js 2011-10-19

---

5El calor

2Respuesta

Python Eliminando ciertas extensiones de archivos

Soy bastante nuevo en Python, pero he conseguido que este código funcione, y de hecho, hago lo que está destinado a hacer. Sin embargo, me pregunto si existe una forma más eficiente de codificar esto,

python logic file-extension delete-file 2011-10-20

---

7El calor

3Respuesta

Tablas de verdad de funciones anónimas en Haskell

Estoy tratando de generar una tabla de verdad para una expresión booleana dada. Podría hacer esto con la creación de un nuevo Datatype BoolExpr, pero quiero hacerlo con una función anónima. Se supone

haskell boolean logic truthtable 2011-12-12

---

7El calor

1Respuesta

Mysql construye dinámicamente cadena de consulta en un procedimiento almacenado basado en lógica

El objetivo es modificar una cadena de consulta dentro de un procedimiento almacenado Mysql basado en variables de entrada. Algo como esto: CREATE DEFINER=`root`@`localhost` PROCEDURE `func`(type VARC

mysql stored-procedures logic 2011-12-18

---

19El calor

3Respuesta

¿Qué significa `true = false` en Coq?

[no estoy seguro de que esto es apropiado para el desbordamiento de pila, pero hay muchas otras preguntas Coq aquí, así que tal vez alguien puede ayudar.] estoy trabajando a través de las siguientes o

logic coq 2011-11-01

---

10El calor

8Respuesta

permutación de tres cifras del Estado de Individual

¿Hay alguna possiblty para intercambiar tres números en una sola instrucción Ej: a = 10 b = 20 c = 30 Quiero que los valores se cambien según la siguiente lista a = 20 b = 30 c = 10 ¿Se pueden tra

c logic 2011-12-26

---

16El calor

2Respuesta

Cómo simular una 'unión externa' en core.logic?

Acabo de empezar a jugar con core.logic, y para trabajar en ello, intento implementar algo simple que sea similar a un problema en el que actualmente estoy trabajando profesionalmente. Sin embargo, un

clojure logic clojure-core.logic minikanren 2012-01-02

---

5El calor

5Respuesta

Prioridad de operadores lógicos con NAND, NOR, XNOR

He buscado en la web pero no he encontrado ninguna solución a este problema. ¿Cuál es la prioridad lógica para los operadores NAND, NOR y XNOR? quiero decir, considerando como ejemplo la expresión A A

operators logic operator-precedence 2011-11-17

---