UFR Sciences et Techniques (Université Nantes)

To ensure you have the best experience and security possible, update your browser. Update now

CV réalisé sur DoYouBuzz

Formations

Modules, options, contenu des cours

Logique (formalisation, preuves)
Algorithmique (analyse d'algorithmes, complexités itératives et récursives, preuves de programme, calculabilité, décidabilité, machines de Türing)
Automates et langages (différents langages, étude des analyseurs syntaxiques)
Architecture (études des systèmes au niveau bas, programmation assembleur)
Réseau (couches basses du modèle OSI)
Bases de donnée (Oracle)
Modélisation UML (étude des principaux diagrammes servant à décrire un logiciel)

David Halgand