L3 INFORMATIQUE

Sommaire

• Formation
• Architecture des Ordinateurs / Computer Architecture
• Développement Web / Web Development
• Démonstration Automatique / Logic and Automated Theorem Proving
• Travaux d'Etude et de Recherche (Stages)

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, à partir de l'année 2020, aborde plusieurs aspects liés à la compréhension du fonctionnement d'un ordinateur en rapport avec la programmation assembleur en 32 et 64 bits sous Linux/Ubuntu.

L'ancien cours, dispensé jusqu'en 2019, est toujours accessible via ce lien.

Contenu

Cours

Le cours est issu du livre Programmation Assembleur 32 et 64 bits sous Linux / Ubuntu (version du 12/09/20).

• Chapitre 1 : Informatique, informaticien et assembleur
• Chapitre 2 : Représentation de l'information
• Chapitre 3 : Le Fonctionnement du microprocesseur
• Chapitre 4 : Outils pour la programmation
• Chapitre 5 : Traitements de base
• Chapitre 6 : Appel de sous-programme
• Chapitre 7 : Coprocesseur arithmétique
• Chapitre 8 : Unités vectorielles
• Chapitre 9 : Algèbre de Boole (Tableaux de Karnaugh et tables de vérité)
• Intel Golden Cove for Alder Lake

Travaux dirigés

L'ensemble des travaux dirigés est regroupé dans ce fichier : tds.

Travaux pratiques

• TP 1 : découverte du matériel, installation des logiciels et configuration de l'éditeur
• TP 2 : squelette de programme, if then else, printf, scanf
• TP 3 : boucle for
• TP 4 : calculs avec des entiers et des réels
• TP 5 : Produit scalaire première partie
• TP 6 : Produit scalaire seconde partie
• TP 7 : Produit matrice 4x4 par vecteur
• TP Debug : Apprendre à déboguer un programme

Analyse configuration

• configuration 1

Evaluation

L'évaluation du module est composée de deux parties :

• un contrôle continu qui a lieu après les vacances de la Toussaint qui compte pour 1/3 de la note finale
• un examen qui compte pour 2/3 de la note finale

Tests de positionnement :

• 2020-2021

Contrôles Continus

• 2020-2021 (vidéo de la correction)

Examens

• 2020-2021 (vidéo de la correction)

Liens

• Instruction-level parallelism in practice: speeding up memory-bound programs with low ILP
• Intel Modern CPU Architecture : Part 1
• Intel Modern CPU Architecture : Part 2
• The WORST Things About Building a PC! (Hardware Canucks)
• A hands-on tutorial for using the GNU Project Debugger
• Use compiler flags for stack protection in GCC and Clang

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)

• Chapitre 1 : Introduction, Concepts de base (pdf)
• Chapitre 2 : PHP (rappels ou introduction PHP) (pdf)
• Chapitre 3 : PHP (avancé) (pdf)
• Chapitre 4 : L'architecture MVC (pdf)
• Chapitre 5 : XML, DOM, XHTML (pdf)
  • bibliotheque.xml
  • bibliotheque_sans_xsl.xml
  • bibliotheque.dtd
  • bibliotheque.xsl
  • xhtml1-strict.dtd
• Chapitre 6 : Javascript + AJAX (pdf)
• Chapitre 7 : Frameworks AJAX (pdf) (Prototype, Scriptaculous, Dojo)
• Chapitre 8 : PROF (PHP RAD ORM Framework)

ce qu'il ne faut pas faire : Phylip jejavascript presence pc pc world CDiscount	ce qu'il faut faire : Google Bing Intel Apple ikea
modèles de sites web : finer design Abora free layouts free web design free website templates askgraphics	modèles de couleurs : Visibone couleurs complémentaires color jack color hunter color schemer

• Annexes :
  • Exemples (Javascript, Dom, Ajax, Prototype, Dojo)
  • FAQ XHTML/CSS (www.developpez.com)

TD (20h)

• td 1 : installation des logiciels
• td 2 : Customer/Command/Product
• td 3
  • vue non connecté
  • vue utilisateur connecté
• td 4
• td 5
• td 6 (fichiers annexes)
• td 7
• td 8 (fichier annexe : temperatures.xml)
• td 9 (fichier annexe : get_persons_json.php)

TP (15h)

• tp 1
• tp 2
• tp 3
• tp 4
• tp 5 (fichiers annexes)
• tp 6

Examens

• examen 2009/2010
• examen 2008/2009

Projet

• 2011-2012 : sujet (pdf)
• 2010-2011 : sujet (pdf)
• 2009-2010 : sujet (pdf)
• 2008-2009 : sujet (pdf)
  • base de données (MySQL)

Liens

• W3 Schools (XHTML, CSS, Javascript, ...)
• Prototype (Ajax framework)
• script.aculo.us (interface utilisateur, effets graphiques)
• Rico (Ajax framework)
• Scripty (effets graphiques)
• jQuery (Ajax framework) - (jquery-1.4.1.min.js)
• Dojo (Ajax framework)
• JSXGraph (graphiques en javascript)
• Raphael (graphiques en javascript)
• jqPlot (graphiques en javascript)
• HighCharts (graphiques en javascript) - (Highcharts-1.1.2.zip)

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)

• Chapitre 1 : Systèmes formels (PDF)
• Chapitre 2 : Calcul propositionnel (PDF)
• Chapitre 3 : Calcul des prédicats (PDF)
• Chapitre 4 : Démonstration automatique (PDF)
• Complément : Tutorial on the construction of high-performance Resolution/Paramodulation systems

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)

• TP1 : Eclipse
• TP2 : JFlex / byacc
• JFlex & byacc (fichier .zip)
• scanner.lex
• parser.y
• Main.java
• DemoAutoJava.tar (Sources complètes)

Examens

• examen 2004-2005 (pdf)

Projets

• projet 2005-2006 (pdf)
  • sources projet
• projet 2003-2004 (pdf)

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érie des langages, Masson, 1991, ISBN 2-225-82567-X