juanreutter/L-gica2020

Issues

• Duda Reaciendo Tarea 1

  #22 opened 4 years ago
  4

• Evaluación existe v/s para todo

  #21 opened 4 years ago
  2

• Correcta definición de fórmulas y utilizar correctamente una fórmula en una oración

  #20 opened 4 years ago
  2

• Duda definición formula

  #19 opened 4 years ago
  3

• T4 - En la P3 podemos usar j?

  #18 opened 4 years ago
  1

• Verificar consulta conjuntiva

  #17 opened 4 years ago
  1

• Amenazadas por algún agente

  #16 opened 4 years ago
  2

• Disyunciones en Consultas Conjuntivas

  #15 opened 4 years ago
  2

• Recorregir tarea 2

  #14 opened 4 years ago
  1

• Dos instantes de tiempo y más

  #13 opened 4 years ago
  5

• Tarea 4 dudas varias

  #12 opened 4 years ago
  5

• Dominio A y predicado unario M

  #11 opened 4 years ago
  4

• Tarea 4, fórmula β

  #10 opened 4 years ago
  2

• ¿Cómo se manda a recorregir?

  #9 opened 4 years ago
  1

• Reducciones NP

  #8 opened 5 years ago
  0

• Asumir Partition es NP-Completo

  #7 opened 4 years ago
  1

• Codificación grafo 3-COL

  #6 opened 4 years ago
  2

• [T3] Restricciones del problema

  #5 opened 4 years ago
  4

• NP-Hard P2

  #4 opened 4 years ago
  0

• 3COL en NP

  #3 opened 4 years ago
  4

• Input problema T3

  #2 opened 4 years ago
  1

• Asumir que N-coloreable es NP-completo

  #1 opened 4 years ago
  8