7 Mathématiques appliquées à l'informatique Degree Programs in République tchèque

Le programme d'études fournit des connaissances théoriques et pratiques avancées en mathématiques informatiques, qui traitent de la résolution de problèmes mathématiques décrivant des phénomènes en sciences naturelles, techniques et sociales. L'étude est centrée sur la compréhension des problèmes dans un contexte plus large.

L'objectif du programme d'études « Informatique – Technologies du langage et linguistique computationnelle » est de préparer les diplômés à la recherche en traitement automatique du langage naturel et au développement d'applications pour le langage écrit et oral. Parmi ces applications figurent les systèmes de recherche, d'extraction et de synthèse d'informations, la traduction automatique, l'analyse de texte, la vérification grammaticale, la reconnaissance vocale automatique, les systèmes de dialogue parlé et la synthèse vocale. L'accent est mis sur une compréhension approfondie des fondements mathématiques et algorithmiques formels et de leur application pratique au traitement automatique du langage naturel. Les étudiants ont la possibilité de se concentrer soit sur les aspects théoriques de la description formelle des langues naturelles, soit sur les aspects technologiques (méthodes de pointe en statistique, apprentissage automatique et apprentissage profond) pour le traitement des données linguistiques.

Le programme de doctorat en informatique et sciences computationnelles vise à former des experts hautement qualifiés capables de faire évoluer leur domaine en trouvant de nouvelles solutions, méthodes et procédures originales et en appliquant les techniques connues les plus exigeantes. Les étudiants peuvent se profiler dans de nombreux domaines, tels que l'informatique, la vision par ordinateur, l'apprentissage automatique, l'intelligence artificielle, le calcul haute performance, la chimie informatique, la nanorobotique et bien d'autres encore.

Le programme de mathématiques computationnelles est consacré au développement, à l'analyse, à l'algorithmique et à la mise en œuvre de méthodes pour le traitement informatique de modèles mathématiques. Il représente une transition des mathématiques théoriques à des résultats pratiques. L'accent est mis sur l'utilisation créative des technologies de l'information et la production d'applications de programmation. La vérification des méthodes employées fait partie intégrante du programme. L'étude est une continuation naturelle du programme de baccalauréat en mathématiques générales, branche Analyse numérique et modélisation mathématique à la Faculté de mathématiques et de physique de l'Université Charles. Le programme de mathématiques computationnelles est conçu de telle manière qu'il permet d'admettre également des étudiants qui ont terminé des études de baccalauréat en mathématiques d'une autre branche ou d'une autre université, exigeant qu'ils complètent les connaissances manquantes. Les étudiants acquerront d'abord des connaissances sur la théorie moderne des équations aux dérivées partielles, l'analyse fonctionnelle linéaire et non linéaire, la méthode des éléments finis, les bases des logiciels numériques et les méthodes de calcul matriciel. Plus tard, les étudiants choisiront des cours au choix, notamment, en fonction du sujet de leur mémoire de maîtrise.

Le programme d#39;études combine des études avec un travail actif dans le domaine des mathématiques et avec la résolution de problèmes. Les problèmes que les élèves résolvent proviennent de la vie réelle. Les méthodes utilisées pour résoudre les problèmes bénéficient de nouvelles possibilités de calcul et reflètent les progrès actuels dans le domaine des mathématiques appliquées. Les diplômés trouvent leur emploi dans des départements de recherche d#39;entreprises de logiciels et d#39;entreprises industrielles, dans des institutions scientifiques ou éventuellement dans des universités.

La linguistique computationnelle est un domaine scientifique interdisciplinaire impliquant les mathématiques (y compris des sujets tels que les mathématiques discrètes, les statistiques et les probabilités), l'informatique (par exemple l'algorithmique, l'apprentissage automatique, l'intelligence artificielle) et la linguistique classique (par exemple la morphologie, la syntaxe, la typologie du langage). La linguistique computationnelle étudie le langage d'un point de vue formel et vise à développer des méthodes qui pourraient être utilisées dans des applications logicielles dans le domaine du traitement du langage naturel, dans lesquelles les langues sous leur forme parlée ou écrite sont traitées. Le programme ne contient pas de spécialisations.

Il s'agit d'un programme d'études interdisciplinaire qui relie la physique classique (en particulier la mécanique des milieux continus et la thermodynamique) à l'analyse mathématique et aux mathématiques numériques. L'étudiant doit passer par la construction ou la compréhension du modèle physique, son analyse mathématique jusqu'à sa solution numérique.