Home Publications Training Teaching Bookmarks

  

 

2013-14

 

    Cálculo III (Graduate course)

    Algebraic logic (Master course -  Mathematics and applications)

    Algebraic and Coalgebraic Models in Software Development (MAP-i - Doctoral programme in Computer Science)

    Elements of Logic  (Graduate course) 

 

 

2012-13

 

    Cálculo III (Graduate course)

    Algebraic logic (Master course -  Mathematics and applications)

    Elements of Logic  (Graduate course) 

 

 

2011-12

 

    Cálculo III (Graduate course)

    Algebraic Specification (Master course -  Mathematics and applications)

    Algebraic and Coalgebraic Models in Software Development (MAP-i - Doctoral programme in Computer Science)

    Elements of Logic  (Graduate course) 

 

 

2010-11

 

    Cálculo III (Graduate course)

    Algebraic Specification (Master course -  Mathematics and applications)

    Abstract Algebraic Logic (PDMA - Doctoral programme in Mathematics and applications)

    Algebraic and Coalgebraic Models in Software Development (MAP-i - Doctoral programme in Computer Science)

    Elements of Logic  (Graduate course)

    Abstract Algebraic Logic, Master programme in mathematics-informatics, Logic and Formal Specification, Scoala Normala Superioara Bucharest (SNSB), Romania.

 

 

2009-10

   

    Cálculo III (Graduate course)

    Algebraic Specification (Master course -  Mathematics and applications)

    Abstract Algebraic Logic (Master course - Mathematics and applications)

    Algebraic and Coalgebraic Models in Software Development (MAP-i - Doctoral programme in Computer Science)