Guia docent Facultat de Lletres |
català |
Recerca Avançada en Estudis Humanístics (2019) - Virtual |
Assignatures |
MODELS TEÒRICS I FORMALS EN RECERCA LINGÜÍSTICA |
Continguts |
DADES IDENTIFICATIVES | 2022_23 |
Assignatura | MODELS TEÒRICS I FORMALS EN RECERCA LINGÜÍSTICA | Codi | 12875210 | |||||
Ensenyament |
|
Cicle | 2n | |||||
Descriptors | Crèd. | Tipus | Curs | Període | ||||
3 | Optativa | Primer | 2Q |
Competències | Resultats d'aprenentage | Continguts |
Planificació | Metodologies | Atenció personalitzada |
Avaluació | Fonts d'informació | Recomanacions |
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 |