issues
search
IIC2213-PUC
/
IIC2213-2023-1
Repositorio público del curso Lógica para ciencia de la computación 2023-1
GNU General Public License v3.0
48
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Guia examen P2
#67
Fuentes149
opened
1 year ago
3
Guía Examen: Computabilidad y Complejidad P7
#66
festelle
opened
1 year ago
3
Guia Examen P3 Logica de primer orden
#65
Huasito-Appel
opened
1 year ago
1
Guia Examen P2 Logica de primer orden
#64
Huasito-Appel
opened
1 year ago
1
Guia Examen P1 Logica de primer Orden
#63
Huasito-Appel
opened
1 year ago
1
P2 Logica proposicional guía examen
#62
DanielaCorral
opened
1 year ago
3
Guía Examen: Computabilidad y Complejidad 1b - Dudas varias
#61
festelle
opened
1 year ago
4
Guia Examen P2_4&5
#60
Huasito-Appel
opened
1 year ago
8
Guia Examen. P2_2
#59
Huasito-Appel
opened
1 year ago
4
Guia Examen P2_1a
#58
Huasito-Appel
opened
1 year ago
6
Guia 1 P1_8
#57
Huasito-Appel
opened
1 year ago
3
Guia P1_4
#56
Huasito-Appel
opened
1 year ago
3
Distinción de variables proposicionales
#55
nicolecll
opened
1 year ago
1
Pauta Ejercicios Propuestos
#54
Huasito-Appel
opened
1 year ago
1
Formato Examen
#53
amondinellir
opened
1 year ago
3
guía examen (ejercicio matriz C completable)
#52
a-ck
opened
1 year ago
4
T7 P1b sintaxis formula proposicional
#51
JuaniAndres
opened
1 year ago
2
T7 P1b Automorfismo no trivial
#50
sopadeoliva
opened
1 year ago
1
P7 p1 automorfismo
#49
Aloncarrasco
opened
1 year ago
1
T6 Pregunta 1: Uso de constantes en relaciones.
#48
domingo2000
closed
1 year ago
1
T6 p1 d,e
#47
Aloncarrasco
closed
1 year ago
2
P6 Consultas Conjuntivas
#46
juanelsch
closed
1 year ago
4
T6 P1 d repeticiones
#45
Aloncarrasco
closed
1 year ago
2
T6 P1 parte 2 Extensiones a la definición
#44
JuaniAndres
closed
1 year ago
4
[T6P1.d] Duda sobre enunciado
#43
sopadeoliva
closed
1 year ago
3
[T6P1] Definición consulta conjuntiva
#42
sopadeoliva
closed
1 year ago
1
T6 P1
#41
JuaniAndres
closed
1 year ago
2
T5P3 Duda estructura
#40
Fuentes149
closed
1 year ago
1
Duda Materia\Tarea5
#39
csantiagopaz
closed
1 year ago
1
T5P2 Duda función biyectiva en isomorfismo
#38
festelle
closed
1 year ago
1
T4 P2 Duda (b)
#37
myndr1
closed
1 year ago
0
T4 P3 [Duda cardinalidad]
#36
ignaciovilla
closed
1 year ago
6
T4 P2: Duda con demostración y L-estructura
#35
ssoliva
closed
1 year ago
2
Buzón T4
#34
Martinrsts
closed
1 year ago
1
T4 P3: duda sobre phi3
#33
Pabloski100
closed
1 year ago
1
T4 P3 Definir f como función constante
#32
sopadeoliva
closed
1 year ago
1
T4 P3 [Duda materia]
#31
milosoria
closed
1 year ago
1
T4 P3 Duda sobre materia
#30
v4rgas
closed
1 year ago
1
T4P3 (Definicion de nuevas constantes)
#29
0DASAC
closed
1 year ago
1
T4 P2 (definición de clique)
#28
tomasgbailon
closed
1 year ago
1
Duda de notación LPO Ayudantía 7
#27
JuaniAndres
closed
1 year ago
2
T4 P2 (Ciclo simple dirigido)
#26
csantiagopaz
closed
1 year ago
2
Buzón cupón T3
#25
ignaciovilla
closed
1 year ago
1
T3 P1.b Demostrar que D decide H
#24
tomasgbailon
closed
1 year ago
1
T3 Duda: probar una reducción
#23
sopadeoliva
closed
1 year ago
1
T3 P3 sobre definición de PE
#22
JuanpaBC
closed
1 year ago
1
Buzón T3
#21
Aloncarrasco
closed
1 year ago
1
T3 P2 b
#20
Huasito-Appel
closed
1 year ago
2
T3 P3 consulta sobre 3SAT
#19
JuanpaBC
closed
1 year ago
1
T3 P1 Duda de enunciado
#18
juanelsch
closed
1 year ago
7
Next