2 Matematica computazionale Lauree di secondo livello Degree Programs in Repubblica Ceca

Il programma di matematica computazionale è dedicato allo sviluppo, all'analisi, all'algoritmo e all'implementazione di metodi per l'elaborazione informatica di modelli matematici. Rappresenta una transizione dalla matematica teorica a risultati praticamente utili. L'accento è posto sull'uso creativo della tecnologia dell'informazione e sulla produzione di applicazioni di programmazione. Parte integrante del programma è la verifica dei metodi impiegati. Lo studio è una naturale continuazione del programma di laurea in Matematica Generale, ramo Analisi Numerica e Modellazione Matematica presso la Facoltà di Matematica e Fisica dell'Università Carlo. Il programma Computational Mathematics è concepito in modo tale da consentire di ammettere anche studenti che hanno terminato un corso di laurea in Matematica di un'altra branca o presso un'altra università, richiedendo il completamento delle conoscenze mancanti. Gli studenti acquisiranno innanzitutto la conoscenza della moderna teoria delle equazioni differenziali alle derivate parziali, dell'analisi funzionale lineare e non lineare, del metodo degli elementi finiti, delle basi del software numerico e dei metodi per il calcolo matriciale. Successivamente gli studenti sceglieranno corsi opzionali, in particolare, in base all'argomento della loro tesi di master.

L'obiettivo del corso di studi "Informatica - Tecnologie del Linguaggio e Linguistica Computazionale" è preparare i laureati alla ricerca nel campo dell'elaborazione del linguaggio naturale e allo sviluppo di applicazioni che riguardano sia il linguaggio scritto che quello parlato. Esempi di tali applicazioni sono sistemi di recupero, estrazione e riassunto delle informazioni, traduzione automatica, analisi del testo, controllo grammaticale, riconoscimento automatico del parlato, sistemi di dialogo parlato e sintesi vocale. L'enfasi è posta su una profonda comprensione dei fondamenti matematici e algoritmici formali e sulla loro applicabilità pratica in attività di elaborazione del linguaggio naturale. Gli studenti del corso hanno la possibilità di concentrarsi sia sugli aspetti teorici della descrizione formale dei linguaggi naturali sia sugli aspetti tecnologici (metodi all'avanguardia in statistica, apprendimento automatico e apprendimento profondo) per l'elaborazione dei dati linguistici.