Courses offered by the group
Machine Learning
- Regression Methods
- Supervised and Non-Supervised Classification Methods
- Dimension Reduction Techniques
Formal Aspects of Computation
- Induction, Recursion, Enumerability
- First-Order Logic
- Compactness, Completeness and Soundness
- Definability and the Limits of First-Order Logic
- Decidability and Undecidability in Logic
Artificial Intelligence
- Search Methods
- Optimization
- Uncertain Reasoning
- Introduction to Machine Learning
Applied Logic
- Herbrand Theorem
- Resolution Method
- Soundness and Completeness of Resolution
- Tableaux Method
- Duality between Tableaux and Resolution
Intuitionistic and Modal Logic --- Non-Classical Logic
- Philosophical Motivation for Intuitionism: Brower's Constructivism
- Proof Methods for Intuitionistic Logic
- Completeness
- Language, Semantics and Axiomatics of Modal Logic
- Invariance, Bissimulation, Finite Models and Translations to First-Order Logic
- Completeness: Canonical Models, Finitary Methods
- Computability and Complexity
Theory of Computation
- Turing Machines, Simulation Techniques
- Primitive Recursive Functions
- Lambda-Calculus, Grammars, Programming Languages, and other Computation Models
- Undecidable Problems
- Church's Thesis
Proof Theory
- Natural Deduction and Sequent Calculus for Classical and Intuitionistic Logic
- Normalization and Cut Elimination and Their Consequences
- Lambda Calculus
- Type Theory
- Curry-Howard's Isomorphism
Advanced Topics in Artificial Intelligence I
- Non-Monotonic Logic
- Paraconsistent Logic
- Modal Logic
- Intentional Logic
- Philosophy of Logic
Advanced Topics in Artificial Intelligence II
- Conexionism
- Machine Learning Techniques
- Convergence Proofs
- Neural Networks Applications
- Conexionism vs. Symbolism
Especial Topics in Mathematical Logic
- Modal Logic and Multi-Agent Systems
- Epistemic Logic and the Notions of Knowledge and Belief
- Dynamic Aspects of Epistemic Logic
- Formalization of Preference
- Preference Aggregation in Multi-Agent Systems