Logique, Programmation fonctionnelle et récursive

Transcription

1 Nom de l UE Info-II-1 : Logique, Programmation fonctionnelle et récursive UFR de rattachement : UFR Informatique Contact : Nom Guin-Duclosson Nathalie Tél : mail : nguin@bat710.univ-lyon1.fr Enseignement présentiel : 60 heures Travaux personnels : 90 heures (a+b = 100%) type d enseignement presentiel : oui non % cours magistral 30% enseignement intégré TD 30% TP 40% Modalités d accès à l UE (pré-réquis) : Aucun Contrôle continu : 40 % Examen terminal : 60 % Logique, Programmation fonctionnelle et récursive Logique booléenne : opérations Et, Ou, Non ; tables de vérité Programmation fonctionnelle et récursive en Scheme : Notions : fonctions, alternative Structures de données : listes, arbres Algorithmes : parcours de listes, tris, parcours d'arbres

2 Nom de l'ue : Info-III-1 Algorithmique et programmation impérative UFR de rattachement : UFR - INFORMATIQUE Contact : Samir AKKOUCHE tél. : mail : sakkouch@bat710.univ-lyon1.fr Enseignement présentiel : 60 heures Travaux personnels : 90 heures type d'enseignement présentiel : cours magistral 30 % TD 35% TP 35% Modalités d'accès à l'ue (pré-réquis) : Info1 Logique, Programmation fonctionnelle et récursive Contrôle continu : 1/3 Examen terminal : 2/3 Programme - contenu de l'ue Méthologie d'analyse des problèmes Structures algorithmiques, types de données, notion de boucle, invariant de boucle, langage algorithmique. Résolution de problèmes simples. Algorithmes simple de tri, Récursivité Notion de complexité des algorithmes. Programmation Introduction au langage C : notion de typage, types prédéfinis (int, char, float, ). Structures de contrôle : Boucles (for, While) et test (if, case) Introduction des fonctions Définition des fonctions avec et sans valeur de retour (void) ( procédures) : prototypage et valeur de retour, passage de paramètres par copie ou par référence. Structures statiques Enregistrements (struct), union, tableaux, types utilisateurs.

3 Nom de l UE Info-III-2 : architecture matérielle et logicielle UFR de rattachement : UFR - INFORMATIQUE Contact : Jean Gunther tél. : mail : jgunther@bat710.univ-lyon1.fr Enseignement présentiel : 60 heures Travaux personnels (b) : 90 heures type d enseignement presentiel : cours magistral 50% TD 20 % TP 30% Modalités d accès à l UE (pré-réquis) : Info2 :programmation impérative ;TI : Technologie de l information Contrôle continu : 1/3 Examen terminal : 2/3 Circuits standard Architecture de base Langage-machine Structures performantes addition, comparaison, multiplexage, décodage, ROM, buffers registres, compteurs, décaleurs, aléas et synchronisation mémoires, RAM, CAM, conception en tranche calculette, UAL, registres, commande, programme enregistré, structure de base des UC, processeur, mémoire, Bus, périphérie initialisation, genèse du logiciel d'exploitation format et typologie des instructions, CISC, RISC structuration des données : constantes, index, pointeurs structuration du logiciel : procédures, récursivité structures dynamiques, bases, ré-entrance translation de code, segmentation, recouvrement automatique mémoire virtuelle, déroutements, aide à la mise au point Bus synchrones, asynchrones, partageables, multiples Mémoire modulaire, à entrelacement, caches-mémoire Pipe-lines et parallélismes intra-processeur Introduction aux architectures parallèles

4 Nom de l'ue : Info-IV-1 Algorithmique et programmation UFR de rattachement : INFORMATIQUE Contact : Samir AKKOUCHE tél. : mail : sakkouch@bat710.univ-lyon1.fr Enseignement présentiel : 50 heures Travaux personnels : 100 heures type d'enseignement présentiel : Cours magistral oui 30 % TD oui 35% TP oui 35% Modalités d'accès à l'ue (pré-réquis) : Algorithmique et programmation impérative Contrôle continu : 1/3 Examen terminal : 2/3 Programme - contenu de l'ue Introduction au système d'exploitation Unix Les principales commandes Unix, les environnements d'édition et de programmation. Types de données abstraits Concept du Type de Données Abstrait (TDA) Etude de différents TDA : liste, pile, file Différentes représentation des TDA Programmation en langage C Pointeurs, allocations dynamiques, programmation des différents TDA étudiés. Programmation séparée, conception d un makefile.

5 Nom de l UE : info-iv-2 Initiation aux bases de données relationnelles et Réseaux UFR de rattachement : Informatique Contact : Said HACID Tél : mail : mshacid@bat710.univ-lyon1.fr Enseignement présentiel : 50 heures Travaux personnels : 100 heures (a+b = 100%) type d enseignement présentiel : oui non % cours magistral 40 % TD 30 % TP 30 % Modalités d accès à l UE (pré-réquis) : InfoII-1, Info-III-1 Contrôle continu : 1/3 Examen terminal : 2/3 Le modèle de données relationnel Algèbre relationnelle Calcul relationnel Interrogation SQL Architectures des réseaux Protocoles d échanges de données Outils de base

6 Nom de l UE : Info-IV-3 Infographie et programmation logique UFR de rattachement : UFR - Informatique Contact : Eric GALIN tél. : mail : egalin@ligim.univ-lyon1.fr Guin-Duclosson Nathalie tél. : mail : mail : nguin@bat710.univ-lyon1.fr Enseignement présentiel (a) 50 heures : Travaux personnels (b) : (a+b = 150%) type d enseignement présentiel : oui non % cours magistral 50 TD 15 TP 35 Modalités d accès à l UE (pré-réquis) : Algorithmique programmation (Info III-1, Info-III-2) Contrôle continu : 1/2 Examen terminal : 1/2 Note : l examen portant sur l infographie est fait sur machine, surveillé en temps limité et hors connexion réseau L UE Info-IV-3 : comporte deux parties : infographie et une partie programmation logique Programmation logique Bases de logique des propositions et des prédicats Bases de la programmation logique Infographie :. Présentation des concepts de base : technologie des écrans, cartes vidéo, algorithmes de visualisation 2 Couleurs, textures. Modélisation et animation de formes maillées - modélisation de formes simples, étude des surfaces de subdivision, et techniques de visualisation temps réel - en particulier étude des méthodes d élimination accélérées de régions de l espace (culling).

7 Nom de l UE Info-V-1 : Algorithmique avancée et programmation UFR de rattachement : Informatique Contact : Nom : Bernard Péroche Tél : mail : bperoche@ligim.univ-lyon1.fr Enseignement presentiel (a) : 50 heures Travaux personnels (b) (a+b = 150%) type d enseignement presentiel : cours magistral Oui 50% TD Oui 20 % TP Oui 30% Modalités d accès à l UE (pré-réquis) : Info-III-1, Info-IV-1 Contrôle continu : 1/3 Examen terminal : 2/3 Complexité asymptotique des algorithmes ( temps, espace) : meilleur des cas, pire des cas, complexité en moyenne. TDA graphe : représentation, mise à jour, parcours ; applications à certains problèmes de recherche opérationnelle ou de graphe (coloration, ) Méthodes de conception des algorithmes : conception incrémentale, méthode «diviser pour régner», algorithmes gloutons, programmation dynamique Coût amorti des algorithmes Quelques notions sur les preuves de programmes

8 Nom de l'ue : Info-V-2 Systèmes d exploitation UFR de rattachement : INFORMATIQUE Contact : Saida Bouakaz tél. : mail : bouakaz@bat710.univ-lyon1.fr Enseignement présentiel (a) : 50 heures Travaux personnels (b) : 100 heures (a+b = 150 heures) type d'enseignement presentiel : cours magistral oui 30 % TD oui 35% TP oui 35% Modalités d'accès à l'ue (pré-réquis) : Info-III-1 Contrôle continu : 50 Examen terminal : 50 Généralités : historique, éléments de base et structure d'un système Présentation des ressources : mémoire, disque, CPU Système d exploitation : gestion des accès, notions d utilisateurs, de groupe (droit), réseau Gestion des travaux/processus : mémoire partagée, temps partagé, temps réel, exclusion mutuelle Synchronisation, communication, problèmes de protection Gestion de ressources : partage disque, mémoire swap/pagination, segments Tubes, files de messages Gestion de la mémoire : avec ou sans recouvrement ou pagination/segmentation, algorithmes de pagination et segmentation Système de gestion de fichiers Présentation générale d'unix : noyau, système de fichiers, shell Les sémaphores sous UNIX Les processus avec UNIX : contexte, ordonnancement Présentation générale du système Windows NT Exemples d'application : architecture client-serveur, etc...

9 Nom de l UE : Info-V-3 : Logique classique et Théorie des Langages Formels UFR de rattachement : UFR - Informatique Contact : Marianne Delorme Tél : mail : Marianne.Delorme@ens-lyon.fr Enseignement présentiel (a) 50 heures : Travaux personnels (b) : 100 (a+b = 150 heures) type d enseignement presentiel : oui non % cours magistral 60% TD 40 Modalités d accès à l UE (pré-réquis) : pas d UE pré-réquis (connaissance en mathématiques et logique) Contrôle continu : 1/2 Examen terminal : 2/3 Programme de logique Calcul propositionnel classique ; connecteurs, formules, tables de vérité, complétude fonctionnelle, tautologies, schémas d inférence valides, satisfaisabilité. Recherche de formes normales. Analyse de raisonnements ; méthode de résolution. Calcul des prédicats classique Quantificateurs, formules, énoncés. Codage en machine d une formule. Décidabilité. Règles de déduction. Notions d interprétation, réalisation, modèle. Théorème de complétude. Pratique d un système de déduction syntaxique. Programme de théorie des langages formels Mots et langages formels. Lemme d Arden. Langages rationnels Automates finis déterministes et non déterministes. Détermination. Langages rationnels. Lemme de l étoile. Minimisation des automates finis déterministes complètement spécifiés. Théorème de Kleene. Algorithmes afférents. Langages algébriques Grammaires. Langage engendré par une grammaire. Grammaires et langages algébriques. Formes normales. Lemme de l étoile. Automates à pile non déterministes et déterministes. Problématique de la compilation. Analyse lexicale et syntaxique.

10 Nom de l UE : Info VI-1 : Programmation orientée objet et ergonomie des interfaces UFR de rattachement : UFR Informatique Contact : Salima Hassas Tél : mail : Hassas@bat710.univ-lyon1.fr. Enseignement presentiel (a) 50 heures Travaux personnels (b) : 100 heures (a+b = 150 heures) type d enseignement présentiel : oui non % cours magistral 45% enseignement intégré TD 20% TP 35% Modalités d accès à l UE (pré-réquis) : Info-V-1 algorithmique et programmation avancée ou connaissances équivalentes Contrôle continu : 1/3 Examen terminal : 2/3 Objet : Concept objet : classe, héritage, polymorphisme, généricité Méthodologies : OMT, BOOCH, notation UML Présentation d un langage orienté objet : langage JAVA Interfaces homme-machine et ergonomie : - Introduction : définitions, importance de l IHM, IHM et pluridisciplinarité, approche anthropocentrée - Interface graphique (les composants), les interactions, introduction de la programmation événementielle - Méthodes de conception, méthodes d évaluation - Ergonomie des interfaces : critères d évaluation, exemples et contre-exemples - Études de cas : évaluation de logiciels

11 Nom de l UE : Info VI-2 : Réseaux UFR de rattachement : UFR Informatique Contact : Thierry EXCOFFIER Té l : mail : exco@ligim.univ-lyon1.fr Enseignement presentiel (a) 50 heures Travaux personnels (b) : 100 heures (a+b = 150 heures) type d enseignement présentiel : oui non % cours magistral 45% TD 20% TP 35% Modalités d accès à l UE (pré-réquis) : : info-v-2 ou Administration Unix et Windows NT Contrôle continu : 1/3 Examen terminal : 2/3 Programme contenu de l'ue Présentation générale : norme OSI Protocole IP : Adresse (Machine, Réseau, Physique, Logique), routage, couches hautes Communication entre réseaux, problème de confidentialité, sécurité. Services réseaux : DNS, SMTP, NFS, FTP, DHCP, NIS, SSH,...

12 Nom de l UE : Info-VI-2 : Fondements des Bases de Données UFR de rattachement : Informatique Contact : Said HACID tél. : mail : mshacid@bat710.univ-lyon1.fr Enseignement presentiel (a) 50 heures Travaux personnels (b) : 100 heures (a+b = 150 heures) type d enseignement presentiel : oui non % cours magistral 40 TD 30 % TP 30 % Modalités d accès à l UE (pré-réquis) : info-iv-2 Bases de données relationnelles (Algèbre relationnelle, logique des prédicats) Contrôle continu : 40 % Examen terminal : 60% Le modèle de données relationnel Requêtes conjonctives Analyse statique et optimisation de requêtes Les dépendances (fonctionnelles multivaluées, etc.) Les informations incomplètes Données contraintes Données semi structurées (Web) Entrepôts de données

13 Nom de l UE PCI (Permis de conduire informatique) Nombre de crédits : 3 UFR de rattachement : Informatique Contact : Nom Jean Michel Moreau Tél : mail : jmmoreau@ligim.univ-lyon1.fr Enseignement présentiel (a) 45 heures : Travaux personnels (b) : 30 heures (a+b = 70 heures) type d enseignement presentiel : oui non % cours magistral 80% TD TP 20% Modalités d accès à l UE (pré-réquis) Aucun Contrôle continu : 40% Examen terminal : 60 % oui non oui non : PCI Notions fondamentales de l informatique par la pratique. Architecture logicielle, Architecture matérielle, Environnement système Gestionnaire de fichiers Codage de l information Réseau : notions, utilisation Routage de l information Réseau des réseaux, Internet et le Web Messagerie électronique Initiation à la programmation Création d une page Web (html) Recherche d informations sur le Web Utilisation d un traitement de textes, Utilisation d un tableur, Notions de bases de données, Publipostage Présentation assistée par ordinateur.

14 Nom de l UE : Bases physiques de l informatique UFR de rattachement : Informatique Contacts : Nom : M. BEUVE Tél : mail : mbeuve@ligim.univ-lyon1.fr Enseignement présentiel : 60 heures Travaux personnels : 90 heures Cours magistral 50 % TD + TP 50 % Modalités d accès à l UE (pré-réquis) : TMB ou niveau équivalent Contrôle continu : 0% Examen terminal : 100% Couche physique - champs magnétiques et électriques, potentiel. - les différents milieux : conducteurs, isolants, semi-conducteurs et magnétiques. - les éléments passifs : résistances, condensateurs et selfs dans les circuits. Principes fondamentaux de l électronique pour l informatique : - notions de linéarité, modularité, impédance d entrée et de sortie, entrance, sortance, - idées de bases de la technologie des circuits combinatoires, - mémoire statique ; introduction de l horloge : monde continu / discontinu ; compromis entre tolérance d entrée d un circuit et vitesse d exécution. Technologique des machines Partie analogique - Composants élémentaires (transistor, amplificateur opérationnel), ; structures et fonctions de plus haut niveau (montages de base), Partie numérique Composants de base (bascules, registres simples) ; vitesse de fonctionnement, consommation et performances..

15 Nom de l UE :Recherche Opérationnelle et Techniques numérique UFR de rattachement : UFR - Informatique Contact : Saida Bouakaz tél. : mail : bouakaz@bat510.univ-lyon1.fr Enseignement présentiel (a) : 50 heures Travaux personnels (b) : 100 (a+b = 100%) type d enseignement présentiel : cours magistral OUI 50% TD Oui 30 % TP Oui 20% Modalités d accès à l UE (pré-réquis) : Info -IV-1 : Cours d algorithmique et programmation Contrôle continu : 1/3 Examen terminal : 2/3 Recherche Opérationnelle Graphes : définitions, représentations, connexité, arbres de recouvrement. Problèmes de chemins, flots, ordonnancement, transports. Procédures de séparation et évaluation, heuristiques. Files d attente et réseaux de files d attente, techniques de simulation. Programmation linéaire et programmation en nombres entiers. Introduction à la programmation dynamique. Technique numériques Notion d erreur : estimation propagation. Tests de convergence Résolution de systèmes linéaires, Interpolation et approximation linéaire et quadratique. Valeurs propres, vecteurs propres. Equations différentielles.

16 Nom de l UE :Probabilités et statistiques ; analyse des données UFR de rattachement : UFR-Informatique Contact : Saida Bouakaz Tél : mail : bouakaz@bat510.univ-lyon1.fr Enseignement présentiel (a) : 50 heures Travaux personnels (b) : 100 (a+b = 150 heures) type d enseignement présentiel : cours magistral OUI 60% TD Oui 20 % TP Oui 20% Modalités d accès à l UE (pré-réquis) : TMB ou niveau équivalent Contrôle continu : 1/3 Examen terminal : 67 % 2/3 Probabilités et statistique Variables aléatoires, variables aléatoires discrètes, Poisson, test de fiabilité d un logiciel. Variables aléatoires continues, Gauss, Khi2, Intervalle de confiance, loi des grands nombres, files d attente Nombres au hasard, méthodes de monte-carlo, Kolmogorov-Smirnov Simulations d échantillons, simulations des processus de Poisson. Recuit simulé. Analyse de données Variables à expliquer, notion d inertie, Classification automatique Analyse en composantes principales et des correspondances. Analyse discriminante.