Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
teaching [2018/01/31 15:16] – [Courses] folmedoteaching [2021/08/12 21:56] (current) – etanter
Line 2: Line 2:
  
 ===== Courses ===== ===== Courses =====
- 
-  * [[https://wiki.dcc.uchile.cl/TallerMindstorms/doku.php|Taller de Proyecto Lego Mindstorms]]  
-  * [[teaching:cc3002|Programming Methodology (CC3002)]] 
   * [[teaching:cc4101|Programming Languages (CC4101)]]   * [[teaching:cc4101|Programming Languages (CC4101)]]
-  * [[teaching:CC4301| Arquitectura de Computadores (CC4301)]]+  * [[https://users.dcc.uchile.cl/~etanter/CC5116/|Compiler Design and Implementation (CC5116)]]
   * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]]     * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]]  
-  * [[teaching:cc6403|Seminario Calidad y Evolución de Software (CC6403)]] +  * [[teaching:cc7110|Programming Languages II (CC7110)]]
-  * [[teaching:CC71P|Objects and Aspects (CC6101/CC71P)]] +
-  * [[teaching:cc71y|Programming Languages II (CC71Y)]]+
   * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]]   * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]]
   * [[teaching:CC7126|Análisis y Verificación de Programas (CC7126)]]   * [[teaching:CC7126|Análisis y Verificación de Programas (CC7126)]]
 +  * [[teaching:CC5115|Programación Funcional (CC5115)]]