Preguntas etiquetadas con logic

Para encontrar la diferencia, me acabo de encontrar con las siguientes afirmaciones sobre la lógica temporal en Wikipedia : Otra variante de la lógica modal que comparte muchas características comunes con la lógica dinámica, difiere de todas las lógicas mencionadas anteriormente por ser lo que Pnueli ha caracterizado como una …

12 logic  linear-temporal-logic  temporal-logic 

¿Me puede dar algunas sugerencias sobre un buen libro introductorio (pero completo) sobre Lógica y Computación? Algunos temas confusos que tengo en mente son: Presburger artihm., PA, ZF, ZFC, HOL Teoría de conjuntos, Teoría de tipos Computación de modelado (máquinas de Turing) en diferentes teorías Enlaces con complejidad computacional (FMT, …

11 reference-request  logic  books 

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

¿Es correcto el siguiente ejemplo sobre si un algoritmo de inferencia es sólido y completo ? Supongamos que tenemos agujas a, b, c en un pajar, y también tenemos un algoritmo de inferencia diseñado para encontrar agujas. sonido : solo se obtienen las agujas a, byc. Completo : se obtienen …

11 logic 

Actualmente estoy aprendiendo el cálculo lambda y me preguntaba sobre los siguientes dos tipos diferentes de escribir un término lambda. λxy.xyλxy.xy\lambda xy.xy λx.λy.xyλx.λy.xy\lambda x.\lambda y.xy ¿Hay alguna diferencia en el significado o la forma en que aplica la reducción beta, o esas son solo dos formas de expresar lo mismo? …

11 logic  lambda-calculus 

Un dispensador de bebidas requiere que el usuario inserte una moneda ( ), luego presione uno de los tres botones: solicita una taza de té , lo mismo para el café , y solicita un reembolso (es decir, la máquina devuelve la moneda: ). Este dispensador puede modelarse mediante el …

11 logic  concurrency  modelling  process-algebras  ccs 

Se puede demostrar que dos modelos informáticos están completos si cada uno puede codificar un simulador universal para el otro. Se puede demostrar que dos lógicas están completas si una codificación de las reglas de inferencias (y tal vez los axiomas si están presentes) de cada uno se muestra como …

10 computability  logic  turing-completeness 

Estoy tratando de enseñarme sobre computación cuántica, y tengo una comprensión decente del álgebra lineal. Atravesé la puerta NOT, que no estaba tan mal, pero luego llegué a la puerta Hadamard. Y me quedé atrapado. Principalmente porque si bien "entiendo" las manipulaciones, no entiendo lo que realmente hacen o por …

10 logic  quantum-computing 

Intenté resolver el siguiente ejercicio, pero me quedé estancado mientras trataba de encontrar todos los pares críticos . Tengo las siguientes preguntas: ¿Cómo sé qué par crítico produjo una nueva regla? ¿Cómo sé que encontré todos los pares críticos? Deje Σ={∘,i,e}Σ={∘,i,e}\Sigma= \left \{ \circ, i, e \right \} donde ∘∘\circ …

10 logic  first-order-logic 

En relación con el hilo Probar que la conversión de CNF a DNF es NP-Hard (y un hilo matemático relacionado ): ¿Qué tal la otra dirección, de DNF a CNF? ¿Es fácil o difícil? En la página 2 de este documento , parecen insinuar que ambas direcciones son igualmente difíciles …

10 complexity-theory  logic  satisfiability  normal-forms 

En Chaitin's Meta Math! The Quest For Omega , habla brevemente del décimo problema de Hilbert. Luego dice que cualquier ecuación de diofantina se puede cambiar en dos polinomios iguales con coeficientes enteros positivos: .p = 0p = 0p=0p=0p = 0⟺pags1= p2p=0⟺p1=p2p=0 \iff p_1 = p_2 Luego dice que podemos …

10 logic  halting-problem 

¿Qué son las funciones anónimas (lambda)? ¿Cuál es la definición formal de una función anónima en un lenguaje de programación funcional? En mis términos simples, cuando estoy programando en esquema / lisp, diría que una función anónima (lambda) es una función que no está vinculada a un identificador. ¿Es eso …

10 logic  programming-languages  lambda-calculus  functional-programming 

¿Existen lenguajes de programación (o lógica) que puedan implementar (o expresar) una función si y solo si es una función biyectiva computable? ff:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

En la demostración del teorema de resolución, normalmente se supone que las variables en diferentes cláusulas son distintas. Esto no es algo que sucede automáticamente; requiere un código adicional significativo y computación para implementar. Dado eso, estoy buscando un caso de prueba para ello. El problema es que, en todos …

10 logic  automated-theorem-proving 

Soy curioso. He estado trabajando en este tipo de datos en OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Que se puede manipular utilizando funciones recursivas escritas explícitamente (una característica que se …

10 logic  programming-languages  coq  inductive-datatypes