INFORMATIQUE - Licence Informatique générale - BC01 Outils théoriques et pratiques pour l'informatique

Obtenir le bloc de compétences 1, Outils théoriques et pratiques pour l'informatique de la Licence Sciences technologies santé, mention informatique, parcours Informatique générale

Outils mathématiques pour Informatique (22.5h) : Éléments de logique : proposition, prédicats, validité, satisfiabilité. Les techniques de raisonnement : direct, par cas, par contraposition, par récurrence, par l'absurde. Eléments d'arithmétique : divisibilité, nombres premiers, propriétés du PGCD, algorithme d'Euclide, décomposition en produit de facteurs premiers, arithmétique modulaire, algorithme RSA. Relations et ordres : relations binaires, d'équivalence, ordres partiels et totaux. Calcul matriciel et analyse : résolution de systèmes linéaires, méthode de Gauss, Gauss Jordan et manipulation de séries de Fourier avec l'aide d'un logiciel. Systèmes de transition : traces, exécutions, états accessibles, états récurrents, transitions récurrentes, systèmes de transitions étiquetées, propriétés générales (de sûreté, de vivacité), introduction aux réseaux de Pétri. Processus stochastiques et modélisation : chaînes de Markov à temps discret ; distribution stationnaire, processus de Markov continus ; processus de Poisson ; processus de naissance et de mort ; application aux files d'attente simples. Paradigmes de programmation (22.5h) : Contenu sans obligation d'exhaustivité: Paradigme objet, généricité, héritage et polymorphisme, introspection ; paradigme fonctionnel, lambda expressions, clôtures, objets persistants, promesses ; paradigme logique. Divers langages de programmation pourront être abordés, par exemple Java ou C# pour le paradigme objet, Javascript, Scala, Haskell ou Kotlin pour la programmation fonctionnelle, Prolog pour la programmation logique. Au mois 50% du programme (et de l'examen) concernent un autre paradigme que la programmation objet (dominant aujourd'hui). Structure: L'enseignement comprendra un noyau de cours magistraux, mais surtout un volume important de TP sur machine. En particulier, on partira d'un ou plusieurs objectifs de programmation et leur déclinaison dans divers paradigmes.

Obtenir le bloc de compétences 1, Outils théoriques et pratiques pour l'informatique de la Licence Sciences technologies santé, mention informatique, parcours Informatique générale

Connaître un langage de programmation avancé, comme java, et maîtriser les notions d'algorithme, de procédure et fonction, d'objet, de méthode, et d'héritage.