2022_23
Guia docent 
Facultat de Lletres
A A 
català 
Recerca Avançada en Estudis Humanístics (2019) - Virtual
 Assignatures
  MODELS TEÒRICS I FORMALS EN RECERCA LINGÜÍSTICA
   Continguts
Tema Subtema
Teoria de conjunts
Conjunts infinits
Lògica d'enunciats
Lògica de predicats
Sistemes formals i axiomatització
Grups, morfismes i àlgebres de Boole
Llenguatges, gramàtiques i autòmats
Màquines de Turing i computabilitat