Differences

This shows you the differences between two versions of the page.

--- teaching [2013/05/13 11:46] – abergel
+++ teaching [2020/02/10 12:07] – [Courses] folmedo
@@ Line 2: / Line 2: @@
 ===== Courses =====
+  * [[teaching:cc4101|Programming Languages (CC4101)]]
-  * [[https://wiki.dcc.uchile.cl/TallerMindstorms/doku.php|Taller de Proyecto Lego Mindstorms]]
+  * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]]
-  * [[teaching:cc3002|Programming Methodology (CC3002)]]
+  * [[teaching:cc7110|Programming Languages II (CC7110)]]
-  * [[teaching:cc4101|Programming Languages (CC4101/CC54A)]]
+  * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]]
-  * [[teaching:CC4301| Arquitectura de Computadores (CC4301)]]
+  * [[teaching:CC7126|Análisis y Verificación de Programas (CC7126)]]
-  * [[teaching:cc5104|Programming Languages II (CC5104/CC71Y)]]
+  * [[teaching:CC5115|Programación Funcional (CC5115)]]
-  * [[teaching:cc5111|Programación Avanzada en Scala (CC5111/CC74A)]]
-  * [[teaching:cc6403|Seminario Calidad y Evolución de Software (CC6403)]]
-  * [[teaching:CC71P|Objects and Aspects (CC6101/CC71P)]]