Universal Algebra & Logic Research Group

Universidad Nacional de Córdoba

  • Home
  • Research
    • In Journals
    • In Conferences
  • Logic Seminar
  • Teaching
    • Introducción a la Lógica
    • Introducción a los Algoritmos
    • Lenguajes y Compiladores
  • About
    • News

Teaching

We gather here some material (in Spanish) related to our teaching. Most of us work in courses of the MSc (“Licenciatura”) in Computer Science.

Courses at UNC

  • Lenguajes y Compiladores.
  • Introducción a la Lógica y la Computación.
  • Introducción a los Algoritmos.

Other kind

  • Math Olympiads at the National Academy of Sciences.

Recent Posts

  • Congrats Miguel!
  • Trabajo Final de Ignacio Made.
  • Facundo Bustos, 2019-11-06: “Introducción a Planning Clásico y su Complejidad”
  • Miguel Pagano, 2019-10-30: “Modelos para sintacticalidades”
  • Martín Moroni, 2019-10-09: “Problemas de clasificación y reducciones Borel”

Recent Comments

  • Adi Satria Pangestu on Welcome Azul and Guillermo
  • Pedro Sánchez Terraf on Miguel Pagano, 2016-05-04: “Introducción a la Teoría de Tipos”
  • Pedro Sánchez Terraf on Martín Moroni, 2015-11-11: “Grados de Turing”

Tags

Agda algebraic geometry central elements compilation computer science Conicet D. Martin Definability descriptive set theory determinacy DFC EDFC epic subalgebras epimorphisms factor congruences First-order logic foundations global representation Gödel infinite games initial algebra Intuitionism Mariana Badano Martin-Löf Martín Moroni Mauricio Tellechea measurable selections Miguel Campercholi model theory multi-sorted algebras non-determinism ontology Pablo Ventura PhD program philosophy platonism primitive positive formulas qualifying exams reflection set theory Simondon subdirect product term algebra Turing degrees type theory
Copyright © 2021 Universal Algebra & Logic Research Group. Theme by Colorlib Powered by WordPress