L2 - Informatique

L'unité d'enseignement présente les principes de base de la modélisation et de la programmation par objets. Les langages supports sont UML et Java, avec éventuellement des éléments de python en fin de semestre

Du point de vue de la modélisation, l'unité d'enseignement se focalise sur la modélisation de vues statiques, avec les diagrammes de classes et d'instances. Au travers de ces diagrammes seront vues les notions de classes, d'instances, d'attributs, d'opérations, d'associations, d'interfaces et de spécialisation. Leur mise en oeuvre en parallèle en Java permettra de leur donner une application concrète et de montrer en particulier la traduction des associations dans un langage de programmation qui n'en dispose pas. En Java, l'accent sera mis plus particulièrement sur les notions de classe, d'instance, d'héritage, de variable d'instance, de variable et de méthode de classe, sur la visibilité et l'organisation en paquetages et sur les liaisons statique et dynamique. Des collections de données très utilisées en Java seront présentées pour traduire certaines des associations (les listes et les dictionnaires associatifs). Ces collections permettront d'initier les étudiants à l'utilisation de classes génériques. La mise en oeuvre des concepts de la programmation orientée objets avec python pourra être abordée en fin de semestre en fonction de l'avancement.

Voir la page complète

Cette unité d’enseignement présente la conception des traitements dans un système d’information et la gestion de bases de données relationnelles. Nous aborderons les points suivants :
(1) Systèmes d’information : Introduction du modèle entité/association, Modèle relationnel, Modélisation des traitements (Modèle conceptuel de traitement, Modèle organisationnel de traitement),

(2) Bases de Données : création, manipulation et interrogation de BD relationnelles.

Voir la page complète

Suite de l'UE de première année.

Voir la page complète

Voir la page complète

- Syntaxe formelle de la logique des propositions : symboles, connecteurs, formules bien formées, arborescences syntaxiques, formes normales et clausales

- Sémantique de la logique des propositions : interprétation, modèle, tables de vérité, satisfiabilité, validité, équivalence sémantique, conséquence logique

- Modélisation : formalisation de problèmes en logique propositionnelle, limite d’expressivité de la logique propositionnelle

- Preuve formelle : séquents, règles d’inférences, axiomes, théorèmes, système LK, méthode de résolution

- Correction et complétude d’un système vis-à-vis d’une sémantique : preuve de correction et de la complétude du LK et de la méthode de résolution (réduit au cas propositionnel)

- Correspondance de Curry-Howard

- Introduction à la logique du premier ordre (calcul des prédicats) sans symbole de fonction

Voir la page complète

Cette UE a pour objectif de décrire les principaux concepts des systèmes d’exploitation et notamment d’Unix.

Voir la page complète

• bases et changement de bases,

• représentation des nombres,

• arithmétique modulaire,

• primalité, décomposition, pgcd et Bezout...

Voir la page complète

Voir la page complète

Voir la page complète

Les étudiants sauront modéliser et développer en utilisant des aspects avancés de la programmation par objets et auront acquis de bonnes pratiques de programmation. Ils sauront réaliser des diagrammes UML exprimant la dynamique des interactions dans un système et consolideront leurs connaissances sur la modélisation des aspects structurels.

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète