Licence 3ème année mention informatique

Objectifs

• Appliquer des approches raisonnées de résolution de problèmes complexes par décompositions et/ou approximations successives et mettre en œuvre des méthodes d’analyse pour concevoir des applications et algorithmes à partir d’un cahier des charges
• Manipuler aisément plusieurs paradigmes algorithmiques (approches impérative, fonctionnelle, objet et multitâche).
• Choisir, sur des critères objectifs, les structures de données et construire les algorithmes les mieux adaptés à un problème donné.
• Identifier les concepts fondamentaux de complexité, calculabilité, décidabilité, vérification : apprécier la complexité et les limites de validité d’une solution.
• Caractériser les outils logiques et algébriques fondamentaux (théorie des langages et de la compilation, logique et raisonnement, ordres, induction) et leurs implications dans la programmation et la modélisation.
• Construire et rédiger une démonstration mathématique synthétique et rigoureuse.
• Manipuler aisément plusieurs styles de programmation (approches impérative, fonctionnelle, objet et multitâche) ainsi que plusieurs langages de programmation.
• Concevoir le traitement informatisé d’informations de différentes natures, telles que des données, des images et des textes.
• Caractériser le rôle des tests et des preuves de correction dans le développement des logiciels et mettre en œuvre des tests élémentaires et des invariants de boucle.
• Concevoir, implémenter et exploiter des bases de données.
• Identifier et caractériser les principaux éléments fonctionnels et l’architecture matérielle d’un ordinateur, interpréter les informations techniques fournies par les constructeurs, écrire des routines simples en langage machine.
• Caractériser le fonctionnement des systèmes et des réseaux, ainsi que les pratiques, outils et techniques visant à assurer la sécurité des systèmes informatiques pendant leur développement et leur utilisation.
• Analyser et interpréter les résultats produits par l'exécution d'un programme.
• Expliquer et documenter la mise en œuvre d'une solution technique.
• Caractériser les techniques de gestion de l’aléatoire (probabilités et statistique) et leurs rôles dans le traitement de certaines données.
• Utiliser un logiciel de calcul formel ou scientifique.
• Utiliser les outils numériques de référence et les règles de sécurité informatique pour acquérir, Analyser et synthétiser des données en vue de leur exploitation.

Contenu de la formation

Résultats attendus de la formation

Certification(s)

• Licence mention informatique
• Certification active
• Niveau de sortie : Niveau 6 - Niveau BUT, Licence, Licence Pro
• Certificateur : Université de Caen Normandie
• Certificateur : Université Savoie Mont Blanc - Chambéry
• Certificateur : Université Clermont Auvergne
• Certificateur : Université Le Havre Normandie
• Certificateur : CY Cergy Paris Université
• Certificateur : Conservatoire national des arts et métiers (CNAM)
• Certificateur : Université de La Rochelle
• Certificateur : Université d'Evry-Val-d'Essonne
• Certificateur : Université Dijon Bourgogne
• Certificateur : Institut national universitaire Champollion
• Certificateur : Université de La Réunion
• Certificateur : Sorbonne Université
• Certificateur : Institut national des sciences appliquées Hauts-de-France (Université polytechnique Hauts-de-France)
• Certificateur : Université de Lille
• Certificateur : Université de Limoges
• Certificateur : Université Littoral Côte d'Opale
• Certificateur : Université de Lorraine
• Certificateur : Université Claude Bernard - Lyon 1
• Certificateur : Université Gustave Eiffel
• Certificateur : Université de Montpellier
• Certificateur : Université de Haute Alsace - Mulhouse
• Certificateur : Université de Nantes
• Certificateur : Université d'Orléans
• Certificateur : Université Paris-Est Créteil Val de-Marne - Paris 12
• Certificateur : Université Paris - Nord 13
• Certificateur : Université Paris 8 - Vincennes-Saint-Denis
• Certificateur : Université Pau et des Pays de L'Adour
• Certificateur : Université de Perpignan Via Domitia
• Certificateur : Université de Poitiers
• Certificateur : Université de la Polynésie Française
• Certificateur : Université Reims Champagne-Ardenne
• Certificateur : Université de Rennes
• Certificateur : Université de Rouen
• Certificateur : Université Jean Monnet - Saint Etienne
• Certificateur : Université de Strasbourg
• Certificateur : Université Paul Sabatier - Toulouse 3
• Certificateur : Université François Rabelais - Tours
• Certificateur : Université Grenoble Alpes
• Certificateur : Université Versailles Saint-Quentin-en-Yvelines
• Certificateur : Université Marie et Louis Pasteur - UMLP
• Certificateur : Université du Maine - Le Mans
• Certificateur : Université d'Aix Marseille
• Certificateur : Université d'Angers
• Certificateur : Université de Bretagne Occidentale - Brest
• Certificateur : Université de Picardie Jules Verne - Amiens
• Certificateur : Université de Guyane
• Certificateur : Université d'Avignon
• Certificateur : Université de la Nouvelle-Calédonie
• Certificateur : Université de Bordeaux
• Certificateur : Université des Antilles
• Certificateur : Université d'Artois
• Certificateur : Université de Bretagne Sud
• Certificateur : Université de Toulon
• Certificateur : Université Côte d'Azur
• Certificateur : Université Paris-Saclay
• Certificateur : Université Paris Cité
• Certificateur : Université Lumière Lyon 2 A et Lumière