Enseignements en L3
Mention informatique

 
Sommaire

Formation

La licence Mention Informatique est destinée aux étudiants qui désirent s'orienter vers un cursus long et poursuivre par un Master (bac+4, bac+5) puis éventuellement un Doctorat (bac+8).


Architecture des Ordinateurs / Computer Architecture

Objectif
Le cours d'Architecture des Ordinateurs aborde plusieurs aspects liés à la compréhension du fonctionnement d'un ordinateur. On se focalise sur les points suivants :
  • algèbre de Boole et simplification de fonctions booléennes qui servent également en logique et démonstration automatique
  • circuits logiques (additionneur, multiplexeur, ...)
  • fonctionnement d'un microprocesseur de type x86
  • compréhension et programmation en assembleur x86 (partie centrale du cours)
  • mémoire et mémoire cache
  • aperçu des dernières nouveautés architecturales (Intel,AMD)
Contenu
Cours (20h)


TD (15h)


TP (20h)


Projet (L3INFO)

  • 2009-10 : implantation SSE de l'algorithme de Needleman et Wunsch pdf, fichiersequences1.txt
  • 2008-09 : calculatrice vertorielle pour flottants simple précision : sujet au format postscript ou pdf
  • 2007-08 : strlen + unités SSE : sujet au format postscript ou pdf

Examens


Contrôle des connaissances

  • contrôle continu (1h à 1h30)
  • examen final (1h30)
Bibliographie
  • The Definitive Guide to GCC, William Von Hagen, Apress, 2006, ISBN 1-59059-585-8
  • The Intel Microprocessors, Barry B. Brey, Pearson Education, ISBN 7-04-010098-3
  • James C. Leiterman, 32/64-Bit 80x86 Assembly Language Architecture, Wordware Publishing Inc, 2005, ISBN 1-59822-002-0
  • Kris Kaspersky, Code Optimization : effective memory usage, A-List, 2003, ISBN 1-931769-24-9
  • John Stokes, Inside the Machine, Ars Technica Library, No Starch Press, Inc., 2007, ISBN 1-59327-104-2
  • William Stallings, Organisation et architecture de l'ordinateur, Pearson Education France, 6eme Edition, 2003, ISBN 2-7440-7007-6
  • Smail Niar, Jamel Tayeb, Les processeurs Itanium : programmation et optimisation, Eyrolles, 2005, ISBN 2-212-11536-9
  • James W. Coffron, 8086/8088 : fonctionnement et programmation, Sybex, 1984, ISBN 2-7361-0546-X
  • Scott Mueller, Le PC : architecture, maintenance et mise à niveau, 7eme Edition, CampusPress, 2004, ISBN 2-7440-1692-6
  • Christian Schuller, Le micro : architecture matérielle et logicielle, Ellipses, 2000, ISBN 2-7298-0194-4

Développement Web / Web Development

Objectif

L'objectif de ce cours consiste à appréhender les notions relatives à la conception de site web. On s'intéressera notamment à XHTML, les feuilles de style CSS, le DOM, Ajax, le modèle MVC appliqué à la conception de site, la persistence des objets (PHP objet, bases de données).


Contenu
Cours (20h)


TD (20h) / TP (20 h)


Projet

Bibliographie
  • Ajax Starter Kit, Phil Ballard, SAMS, 2007, ISBN 0-672 32960-3
  • Ajax in Action, Dave Crane, Eric Pascarello, Darren James, Manning, 2006, ISBN 1-932394-61-3
  • Building findable websites, Aaron Walter, New Riders, 2008, ISBN 978-0-321-52628-1
  • Pro PHP, Patterns, Frameworks, Testing and more, Kevin McArthur, Apress, 2008, ISBN 978-1-59059-819-1
  • PHP6, fast and easy web development, Julie Meloni, Matt Telles, Course Technology, 2008, ISBN 978-1-59863-471-6
  • HTML, XHTML and CSS, Elizabeth Castro, Peachpit Press, Sixth Edition, 2007, ISBN 978-0-321-43084-7
  • JQuery in Action, Bear Bibeault, Yehuda Katz, Manning, 2008, 978-1933988351
  • Mastering Dojo, Rawld Gill, Craig Riecke and Alex Russell, The Pragmatic Bookshelf, 2008, ISBN 978-1-934356-11-1
  • Rich Internet Applications: Ajax and Beyond, Dana Moore, Raymond Budd, Edward Benson, Wiley Publishing, 2007, ISBN 978-0-470-08280-5
  • Prototype and script.aculo.us - You never knew Javascript could do this !, Christophe Porteneuve, Pragmatic Bookshelf, 2007, 978-934356-01-2

Démonstration Automatique / Logic and Automated Theorem Proving

Note : ce cours est à présent pris en charge par Igor Stéphan.

Objectif

Le cours de Démonstration Automatique est un module optionnel. La logique et la démonstration automatique étant des domaines complexes liés aux Mathématiques et dont la pleine compréhension nécessite plusieurs années d'efforts, on cherche à donner un aperçu des aspects syntaxiques et sémantiques de la logique par description de méthodes de démonstration. On abordera notamment les méthodes :

  • syntaxiques : calcul des séquents, tableaux sémantiques
  • sémantiques : théorème de Herbrand
  • syntaxico-sémantiques : principe de résolution, résolution verrouillée, génération de modèle, ...

Le cours de Prolog du Master 1 Informatique permettra d'aborder la Programmation Logique.


Contenu
Cours (25h)


TD (16h)

  • TD 1 : Systèmes formels
  • TD 2 : Calcul proprositionnel
  • TD 3 : Représentation des données
  • TD 4 : Méthodes syntaxiques
  • TD 5 : Méthodes sémantiques
  • TD 6 : Principe de résolution
  • TD 7 : Méthodes de résolution
  • TD 8 : Complément

TP (9h)

Examens


Projets


Contrôle des connaissances

  • contrôle continu :
    • 15 à 20 min en début de chaque TD (sauf le premier)
    • projet
  • examen final (2h)
Bibliographie
  • Jean-Marc Alliot, Thomas Schiex, Intelligence Artificielle et Informatique Théorique, Cépaduès, 1993-94, ISBN 2-85428-324-4
  • Chin-Liang Chang, Richard Char-Tung Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press Inc., 1973, ISBN 0-12-170350-9
  • René David, Karim Nour, Christope Raffalli, Introduction à la logique, Théorie de la démonstration, Cours et exercices corrigés, Dunod, 2001, ISBN 2-10-004892-9
  • Claude Benzaken, Introduction à la logique et à la théorie des langages, Masson, 1991, ISBN 2-225-82567-X
© 2006-2009 Jean-Michel Richer
marqueur eStat\'Perso