Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
teaching:cc4101:tareas:2015-2:tarea2 [2015/10/13 09:45] – [(3.0) Interpretación sobre conjuntos finitos] racruz | teaching:cc4101:tareas:2015-2:tarea2 [2015/10/13 10:17] – [(1.3) Optimización] racruz | ||
---|---|---|---|
Line 183: | Line 183: | ||
(my-or (my-and (id 'p) (id 'q)) (my-and (id 'q) (id ' | (my-or (my-and (id 'p) (id 'q)) (my-and (id 'q) (id ' | ||
</ | </ | ||
- | -(0.3) Defina la función '' | + | -(0.3) Defina la función '' |
===== (0.7) Sistema de Tipos ===== | ===== (0.7) Sistema de Tipos ===== |