juanreutter L-gica2020 issues - Githubissues

juanreutter / L-gica2020

para postear issues de logica

2 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Duda Reaciendo Tarea 1

#22 HenryBlairG opened 4 years ago
4
Evaluación existe v/s para todo

#21 Pipelao opened 4 years ago
2
Correcta definición de fórmulas y utilizar correctamente una fórmula en una oración

#20 jgespinosa10 opened 4 years ago
2
Duda definición formula

#19 jlires opened 4 years ago
3
T4 - En la P3 podemos usar j?

#18 jmwielandt opened 4 years ago
1
Verificar consulta conjuntiva

#17 jotramon opened 4 years ago
1
Amenazadas por algún agente

#16 Pipelao opened 4 years ago
2
Disyunciones en Consultas Conjuntivas

#15 Pipelao opened 4 years ago
2
Recorregir tarea 2

#14 jgespinosa10 opened 4 years ago
1
Dos instantes de tiempo y más

#13 Pipelao opened 4 years ago
5
Tarea 4 dudas varias

#12 santilaguna opened 4 years ago
5
Dominio A y predicado unario M

#11 Pipelao opened 4 years ago
4
Tarea 4, fórmula β

#10 santilaguna opened 4 years ago
2
¿Cómo se manda a recorregir?

#9 jmwielandt opened 4 years ago
1
Reducciones NP

#8 fdduarte closed 4 years ago
0
Asumir Partition es NP-Completo

#7 fdominguezclaro closed 4 years ago
1
Codificación grafo 3-COL

#6 Pipelao closed 4 years ago
2
[T3] Restricciones del problema

#5 jmwielandt closed 4 years ago
4
NP-Hard P2

#4 asimonv closed 4 years ago
0
3COL en NP

#3 Pipelao closed 4 years ago
4
Input problema T3

#2 fgbruna closed 4 years ago
1
Asumir que N-coloreable es NP-completo

#1 jgespinosa10 closed 4 years ago
8