|
ListRecords (29 records )
|
|
dc:identifier
|
http://www.emse.fr/~vercouter/cours/si/index.html
|
dc:title
|
Conception informatique des systèmes d'information |
dc:date
|
2009-01-28 |
dc:creator
|
Laurent Vercouter |
dc:publisher
|
Ecole Nationale Supérieure des Mines de Saint Etienne |
dc:subject
|
SGBD |
dc:subject
|
SADT |
dc:subject
|
modèle entité-association |
dc:subject
|
modèle relationnel |
dc:subject
|
requête |
dc:subject
|
SQL |
dc:subject
|
fuscia |
dc:description
|
L'objectif de ce cours est de familiariser les étudiants aux techniques de conception de la composante informatique d'un système d'information, plus particulièrement des bases de données. La modélisation sous la forme d'Entité/Association et suivant le modèle relationnel sont abordés ainsi que l'implémentation informatique des modèles obtenus et sa manipulation à l'aide du langage SQL. |
dc:format
|
text/html |
dc:format
|
application/pdf |
dc:format
|
application/vnd.ms-powerpoint |
dc:type
|
lecture |
dc:type
|
exercise |
dc:language
|
fre |
dc:rights
|
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification) |
|
|
|
dc:identifier
|
http://perso.telecom-paristech.fr/~cfaure/Geste-2005/FramesGeste.html
|
dc:title
|
Interaction gestuelle (Série : Interaction homme-machine) |
dc:date
|
2007-03-05 |
dc:creator
|
Claudie Faure |
dc:publisher
|
Telecom ParisTech |
dc:subject
|
Interaction homme-ordinateur |
dc:subject
|
navigation |
dc:subject
|
conception d'application |
dc:subject
|
interface |
dc:subject
|
accessibilité |
dc:subject
|
usage |
dc:subject
|
fuscia |
dc:description
|
Typologie du geste, sa signification dans le cadre de l'IHM. Les différents types de capteurs.
Le geste graphique et les dispositifs de réalité augmentée.
|
dc:format
|
text/html |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Le droit d'usage défini par la licence autorise un usage dans un cadre académique, par un utilisateur donnant des cours dans un établissement d'enseignement secondaire ou supérieur et à l'exclusion expresse des formations commerciales et notamment de formation continue. Ce droit comprend :
* le droit de reproduire tout ou partie du document sur support informatique ou papier,
* le droit de diffuser tout ou partie du document à destination des élèves ou étudiants,
* le droit de modifier la forme ou la présentation du document,
* le droit d'intégrer tout ou partie du document dans un document composite et de le diffuser dans ce nouveau document dérivé à condition que :
o L'auteur soit informé,
o le nouveau document soit diffusé dans un cadre académique.
Les mentions relatives à la source du document et/ou à son auteur doivent être conservées dans leur intégralité.
(http://formation.enst.fr/licences/pedago_avec.html) |
|
|
|
dc:identifier
|
http://perso.telecom-paristech.fr/~cfaure/Humain/FrameHum.html
|
dc:title
|
L'utilisateur humain (Série : Interaction homme-machine) |
dc:date
|
2007-03-05 |
dc:creator
|
Claudie Faure |
dc:publisher
|
Telecom ParisTech |
dc:subject
|
Interaction homme-ordinateur |
dc:subject
|
navigation |
dc:subject
|
conception d'application |
dc:subject
|
interface |
dc:subject
|
utilisateur |
dc:subject
|
fuscia |
dc:description
|
Explore le champ de l'adaptabilité à l'utilisateur humain |
dc:format
|
text/html |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Le droit d'usage défini par la licence autorise un usage dans un cadre académique, par un utilisateur donnant des cours dans un établissement d'enseignement secondaire ou supérieur et à l'exclusion expresse des formations commerciales et notamment de formation continue. Ce droit comprend :
* le droit de reproduire tout ou partie du document sur support informatique ou papier,
* le droit de diffuser tout ou partie du document à destination des élèves ou étudiants,
* le droit de modifier la forme ou la présentation du document,
* le droit d'intégrer tout ou partie du document dans un document composite et de le diffuser dans ce nouveau document dérivé à condition que :
o L'auteur soit informé,
o le nouveau document soit diffusé dans un cadre académique.
Les mentions relatives à la source du document et/ou à son auteur doivent être conservées dans leur intégralité.
(http://formation.enst.fr/licences/pedago_avec.html) |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/51.pdf
|
dc:title
|
Introduction au 8086. Langage d'assemblage |
dc:date
|
1994-07-01 |
dc:creator
|
Philippe Ingels |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
Langage d'assemblage |
dc:subject
|
Processeur 8086 Intel |
dc:description
|
Polycopié (n°51) contenant la description d'un langage d'un sous-ensemble du processeur 8086 d'Intel, du langage d'assemblage "turbo assembleur" de Borland et des procédures système de MS/DOS. |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/63.pdf
|
dc:title
|
Fonctions et utilisation des systèmes. Partie 1 : gestion de la mémoire |
dc:date
|
1986-09-01 |
dc:creator
|
Philippe Ingels |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
système informatique |
dc:subject
|
Ordinateurs--Mémoire |
dc:description
|
Polycopié (n°63) pour l'enseignement de système en licence d'informatique : mécanismes d'adressage, gestion de la mémoire, logiciels de traduction de programme |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/77.pdf
|
dc:title
|
Fonctions et utilisation des systèmes. Partie 2 : système d'E/S [Entrée/Sortie] |
dc:date
|
1988-12-01 |
dc:creator
|
Philippe Ingels |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
système informatique |
dc:subject
|
système d'E/S |
dc:subject
|
Système de Gestion de Fichiers |
dc:description
|
Polycopié (n°77) pour l'enseignement de système en licence d'informatique : rôles du système E/S, matériel, niveau des E/S physiques, système de gestion de fichiers (SGF). |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/81.pdf
|
dc:title
|
Le langage C. Définition de la norme ANSI |
dc:date
|
2005-07-01 |
dc:creator
|
Jean-Louis Nebut |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
langage C |
dc:description
|
Polycopié (n°81) sur le langage C abordant les points suivants : les types constantes et variables, les expressions, les entrées-sorties, les instructions, les tableaux, les pointeurs, les fonctions, la structuration des programmes,les articles, les fonctions des bibliothèques standard, le pré-compilateur. En annexes, le schéma de traduction LD en C et les corrigés des exercices inclus dans les chapitres. |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:type
|
exercise |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'université de Rennes 1. Mention légale : Tous droits réservés
|
|
|
|
dc:identifier
|
http://www.lirmm.fr/~ajm/Cours/05-06/MPRI/SupportMPRI.pdf
|
dc:identifier
|
http://www.lirmm.fr/~ajm/Cours/05-06/MPRI/exos.pdf
|
dc:title
|
Dynamique et algorithmique des réseaux |
dc:date
|
2005-01-09 |
dc:creator
|
Alain Jean-Marie |
dc:publisher
|
Universite Pierre et Marie Curie |
dc:subject
|
fuscia |
dc:subject
|
Markov |
dc:subject
|
SED |
dc:subject
|
évaluation de performance |
dc:subject
|
réseau |
dc:subject
|
théorème de Perron-Frobenius |
dc:description
|
L'objet de ce cours est de passer en revue quelques modèles probabilistes utilisés dans le domaine de l'évaluation quantitative de performance pour l'analyse des systèmes à événements discrets (en abrégé : SED) en général, et celle des réseaux de communication en particulier. D'autres applications sont possibles
dans le domaine de l'informatique et l'algorithmique comme l'analyse d'algorithmes probabilistes, séquentiels ou distribués.
<p>La modélisation probabiliste des SED est un domaine vaste qui englobe de nombreuses techniques mathématiques et de nombreux résultats.</p>
<p>Ce texte met en valeur certains des aspects les plus en rapport avec les objets combinatoires (graphes, chemins, mots, arbres), les méthodes analytiques similaires à celles mises en oeuvre en analyse d'algorithmes (fonctions génératrices, analyse asymptotique)</p> |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:type
|
exercise |
dc:language
|
fre |
dc:rights
|
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification) |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/79.pdf
|
dc:title
|
Base de données : une introduction au modèle relationnel |
dc:date
|
2000-06-01 |
dc:creator
|
Daniel Herman |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
base de données relationnelle |
dc:description
|
Polycopié (n°79) présentant le modèle relationnel des bases de données. Ce cours privilègie les aspects linguistiques et les problèmes posés par la conception de bons schémas relationnels et aborde un certain nombre d'éléments sur l'état actuel de la technologie. |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès pour les étudiants et les personnels de l'université de Rennes 1. Licence Creative Commons : http://creativecommons.org/licenses/by-nc/2.0/fr/ |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr:80/files/referencement/pedagogique/IFSIC/notes_de_cours/113-A.pdf
|
dc:title
|
Le langage HTML |
dc:date
|
2004-10-01 |
dc:creator
|
Yannick Le Tertre |
dc:publisher
|
Institut de Formation Supéieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
Langage HTML |
dc:subject
|
Informatique |
dc:description
|
Notes de cours de l'IFSIC sur le langage HTML |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'Université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/94.pdf
|
dc:title
|
Langages formels |
dc:date
|
1999-06-01 |
dc:creator
|
Anne Grazon |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
Langages formels |
dc:subject
|
Grammaires algébriques |
dc:subject
|
Automates |
dc:subject
|
Monoïdes |
dc:subject
|
Informatique |
dc:description
|
Polycopié (n°94) de l'IFSIC contenant des notes de cours destinées aux étudiants de la licence d'Informatique de l'Université de Rennes 1 sur les langages formels |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'Université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr:80/files/referencement/pedagogique/IFSIC/notes_de_cours/113-B.pdf
|
dc:title
|
Le langage JavaScript |
dc:date
|
2004-09-01 |
dc:creator
|
Yannick Le Tertre |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
Langage JavaScript |
dc:subject
|
Informatique |
dc:description
|
Notes de cours de l'IFSIC sur le langage JavaScript |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr:80/files/referencement/pedagogique/IFSIC/notes_de_cours/122.pdf
|
dc:title
|
Cryptographie : Master STS mention Informatique 1ère année |
dc:date
|
2007-06-01 |
dc:creator
|
Mikhail Foursov |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
Cryptographie |
dc:subject
|
Informatique |
dc:subject
|
Mathèmatiques |
dc:description
|
Notes de cours sur la cryptographie pour le master STS mention informatique 1ère année de l'IFSIC traitant en particulier des bits et suites pseudo–aléatoires, des chiffrements (de flot, par blocs, à clé publique), des fonctions de hachage, de l'identification et de l'authentification des entités et des signatures électroniques |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/104.pdf
|
dc:title
|
Internet : les protocoles de transmission de données |
dc:date
|
2002-07-16 |
dc:creator
|
Bernard Cousin |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
Internet |
dc:subject
|
Protocoles de réseaux d'ordinateurs |
dc:subject
|
Informatique |
dc:description
|
Polycopié (n°104) de l'IFSIC contenant des notes de cours destinées aux étudiants en informatique de l'Université de Rennes 1 |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'Université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/117.pdf
|
dc:title
|
Master mention Informatique 1ère année : Cours de compilation |
dc:date
|
2007-07-21 |
dc:creator
|
Olivier Ridoux |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
Compilation |
dc:description
|
Polycopié (n°117) du cours de compilation destiné au Master 1 Mention informatique, se composant en 2 parties : Face avant (Front-end) et Face arrière (Back-end). |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'Université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/125.pdf
|
dc:title
|
Systèmes temps réel (STR) |
dc:date
|
2008-05-01 |
dc:creator
|
Isabelle Puaut |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
Systèmes temps réel |
dc:description
|
Polycopié (n°125) du cours sur les système temps réél pour le master 1 Informatique |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'Université de Rennes 1. Mention légale : Tous droits réservés
|
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/102.pdf
|
dc:title
|
Réseaux et protocoles informatiques |
dc:date
|
2005-12-01 |
dc:creator
|
Bernard Cousin |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
Réseaux informatiques |
dc:subject
|
Protocoles de réseaux d'ordinateurs |
dc:subject
|
Informatique |
dc:description
|
Polycopié (n°102) de l'IFSIC contenant des notes de cours destinées aux étudiants en Master d'informatique de l'Université de Rennes 1 |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'Université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/97.pdf
|
dc:title
|
Cours avancé de synthèse d'image : illumination globale : théorie et pratique |
dc:date
|
1995-10-01 |
dc:creator
|
Kadi Bouatouch |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
Synthèse d'image |
dc:subject
|
Computer graphics |
dc:subject
|
Illumination globale |
dc:subject
|
Global illumination |
dc:subject
|
Colorimétrie |
dc:subject
|
Colorimetry |
dc:subject
|
Informatique |
dc:subject
|
Radiosité |
dc:subject
|
Radiosity |
dc:subject
|
Informatique |
dc:subject
|
Computer science |
dc:description
|
Polycopié (n°97) de l'IFSIC sur la synthèse d'image (en anglais) |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
eng |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'Université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/99.pdf
|
dc:title
|
Programmation par objets en C++ |
dc:date
|
2000-04-01 |
dc:creator
|
Pascale Le Certen |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
C++ |
dc:subject
|
Langages orientés objets (informatique) |
dc:subject
|
Informatique |
dc:description
|
Polycopié (n°99) de l'IFSIC contenant des notes de cours sur la programmation en C++ |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'Université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://perso.telecom-paristech.fr/~cfaure/Dialogue/FramesIHM2.html
|
dc:title
|
Dialogue (Série : Interaction homme-machine) |
dc:date
|
2007-03-03 |
dc:creator
|
Claudie Faure |
dc:publisher
|
Telecom ParisTech |
dc:subject
|
interaction homme-ordinateur |
dc:subject
|
utilisateur |
dc:subject
|
conception d'application |
dc:subject
|
commande |
dc:subject
|
accessibilité |
dc:subject
|
usage |
dc:subject
|
fuscia |
dc:description
|
Avantages et inconvénients des différents styles d'interaction, propriétés du dialogue utilisateur-machine, conséquences découlant d'une orientation privilégiant l'adaptabilité ou l'adaptativité. Multimodalité |
dc:format
|
text/html |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Le droit d'usage défini par la licence autorise un usage dans un cadre académique, par un utilisateur donnant des cours dans un établissement d'enseignement secondaire ou supérieur et à l'exclusion expresse des formations commerciales et notamment de formation continue. Ce droit comprend :
* le droit de reproduire tout ou partie du document sur support informatique ou papier,
* le droit de diffuser tout ou partie du document à destination des élèves ou étudiants,
* le droit de modifier la forme ou la présentation du document,
* le droit d'intégrer tout ou partie du document dans un document composite et de le diffuser dans ce nouveau document dérivé à condition que :
o L'auteur soit informé,
o le nouveau document soit diffusé dans un cadre académique.
Les mentions relatives à la source du document et/ou à son auteur doivent être conservées dans leur intégralité.
(http://formation.enst.fr/licences/pedago_avec.html) |
|
|
|
dc:identifier
|
http://www.grappa.univ-lille3.fr/~ppreux/Documents/introduction-au-C.pdf
|
dc:title
|
Programmation structurée en C |
dc:date
|
2000-09-27 |
dc:creator
|
Philippe Preux |
dc:publisher
|
Université Lille 3 |
dc:subject
|
langage C |
dc:subject
|
Donnée |
dc:subject
|
traitement |
dc:subject
|
langage procédural |
dc:subject
|
fuscia |
dc:description
|
Ce polycopié constitue le support d'un cours d'initiation à la programmation structurée en C.
Étant donné un problème à résoudre, son analyse consiste à le décomposer en sous-problèmes plus simples jusqu'à atteindre des problèmes élémentaires que l'ordinateur est capable de résoudre. |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Soumis à la licence GFDL (http://www.gnu.org/copyleft/fdl.html) |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/108.pdf
|
dc:title
|
Introduction au logiciel SAS pour l'analyse statistique des données |
dc:date
|
2005-10-01 |
dc:creator
|
Basavanneppa Tallur |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
SAS (logiciel) |
dc:subject
|
SAS (langage) |
dc:subject
|
Analyse statistique |
dc:subject
|
Informatique |
dc:description
|
Polycopié (n°108) de l'IFSIC conçu pour débuter l'apprentissage du logiciel SAS. Il comporte les notions de base sur le système et le langage SAS en vue de l'analyse statistique des données. On décrit les instruction nécessaires pour la construction et la manipulation de tables SAS dansl'étape DATA ainsi que les procédures d'analyse statistique les plus utiles. Il manque encore des procédures d'analyse des données et surtout, il manques des exemples illustratifs. Ce document devrait donc évoluer et se compléter dans une version future |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'Université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/79.pdf
|
dc:title
|
Initiation au génie logiciel. Licence STS/MIPE/UE 19. Informatique GEN |
dc:date
|
2005-12-01 |
dc:creator
|
Daniel Herman |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
génie logiciel |
dc:description
|
Polycopié (n°96) du cours d'initiation au génie logiciel qui comporte 3 volets : un projet, un enseignement de théorie du langage, et un enseignement logique. Ce cours correspond à une UE optionnelle proposé en 2nd année d'une licence STS [ sciences, technologies, santé] |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'université de Rennes 1. Licence Creative Commons : http://creativecommons.org/licenses/by-nc/2.0/fr/ |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/118.pdf
|
dc:title
|
Méthodes et outils algorithmiques. Approche impérative (module API) |
dc:date
|
2007-06-01 |
dc:creator
|
Jacques Barre |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
Algorithmique |
dc:subject
|
Programmation impérative |
dc:description
|
Polycopié (n°118) du cours de licence Sciences et techniques sur le module API (approche impérative) avec une mise en oeuvre en Java. Ce cours a pour but l'apprentissage des bases de l'algorithmique et des algorithmes de style impératif et la réalisation de programme, d'où la nécéssité de connaître JAVA. |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'Université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://www.grappa.univ-lille3.fr/~ppreux/Documents/methodologie-programmation-en-assembleur.pdf
|
dc:title
|
Méthodologie de la programmation en assembleur |
dc:date
|
1997-11-24 |
dc:creator
|
Philippe Preux |
dc:publisher
|
Université Lille 3 |
dc:subject
|
assembleur |
dc:subject
|
langage bas niveau |
dc:subject
|
instruction machine |
dc:subject
|
algorithme |
dc:subject
|
fuscia |
dc:description
|
Dans ce document, nous indiquons une méthodologie pour concevoir et réaliser avec succès des programmes en assembleur. Erronément perçue comme étant incompréhensible, la programmation en assembleur nécessite toutefois une certaine rigueur et le respect d'une méthodologie pour mener à bien tout projet, même le plus modeste. Par ailleurs, il faut bien comprendre que l'algorithmique étant le fondement de la programmation, en assembleur, en Pascal ou dans un quelconque langage, sa maîtrise est nécessaire avant d'aborder la programmation. Afin de limiter les problèmes à ce niveau, les programmes que nous écrirons en assembleur ne demanderont généralement que la connaissance des bases de l'algorithmique : variable, séquence d'instructions, test, boucle, fonction et paramètre. |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Soumis à la licence GFDL (http://www.gnu.org/copyleft/fdl.html) |
|
|
|
dc:identifier
|
http://liris.cnrs.fr/csolnon/Site-PPC/e-miage-ppc-som.htm
|
dc:title
|
Programmation par contraintes |
dc:date
|
2003-09-01 |
dc:creator
|
Christine Solnon |
dc:publisher
|
UCL 1 - Université Claude Bernard |
dc:subject
|
programmation déclarative |
dc:subject
|
Prolog |
dc:subject
|
solveur de contrainte |
dc:subject
|
relation logique |
dc:subject
|
algorithme |
dc:subject
|
filtrage |
dc:subject
|
fuscia |
dc:description
|
La première session de ce cours introduira les notions de contraintes, de problèmes de satisfaction de contraintes (CSPs) et de solution d'un CSP.<br />
Lors de la deuxième session, vous vous entraînerez, à travers plusieurs exercices, à modéliser un problème sous la forme d'un CSP.<br />
Lors de la troisième session de ce cours, on présentera l'algorithme de base utilisé pour résoudre les CSPs sur les domaines finis, algorithme basé sur l'énumération des combinaisons. On étudiera un certain nombre d'heuristiques et techniques de filtrage permettant d'améliorer cet algorithme.<br />
Lors de la quatrième session, on programmera ces différents algorithmes en Prolog, et on les utilisera pour résoudre différents CSPs modélisés lors des deux premières sessions de cours.<br />
La cinquième session de ce cours sera dédiée à la présentation d'un langage de programmation par contraintes, à savoir Gnu-Prolog.<br />
Enfin, les deux dernières sessions seront des sessions de travaux pratiques, où vous utiliserez les solveurs de contraintes intégrés à Gnu-Prolog pour résoudre les différents exercices vus lors des sessions précédentes. |
dc:format
|
text/html |
dc:type
|
lecture |
dc:type
|
exercise |
dc:language
|
fre |
dc:rights
|
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification) |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr/files/referencement/pedagogique/IFSIC/notes_de_cours/109.pdf
|
dc:title
|
Algorithmique et complexité |
dc:date
|
1998-12-01 |
dc:creator
|
Sophie Pinchinat |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
Algorithmique |
dc:subject
|
Complexité (mathématiques) |
dc:subject
|
Programmation dynamique |
dc:subject
|
Heuristique |
dc:subject
|
Informatique |
dc:description
|
Polycopié (n°109) de l'IFSIC contenant des notes sur les techniques de conception d'algorithmes et leurs analyses, qui s'inspirent grandement des notes rédigées par Rumen Andonov, alors professeur à l'Université de Valenciennes. |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'Université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|
dc:identifier
|
http://www.grappa.univ-lille3.fr/~ppreux/Documents/ndc-ar.pdf
|
dc:title
|
Apprentissage par renforcement |
dc:date
|
2008-01-26 |
dc:creator
|
Philippe Preux |
dc:publisher
|
Université Lille 3 |
dc:subject
|
processus de décision de Markov |
dc:subject
|
contrôle optimal |
dc:subject
|
programmation dynamique |
dc:subject
|
méthode de Monte-Carlo |
dc:subject
|
fuscia |
dc:description
|
Ce cours s'organise selon le schéma suivant :
Après avoir défini précisément le problème que l'on veut résoudre, c'est-à-dire le problème de contrôle optimal, on démontre des propriétés importantes liées à ce problème et à sa solution.
Ce faisant, on essaie de donner de l'intuition concernant ce problème afin de comprendre à quoi sert ce que l'on essaie de faire. Disons-le tout de suite, le problème que l'on va étudier est extrêmement général, les applications en sont très variées et l'utilisation de ce qui suit est grande. |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Ce document est soumis à la licence GFDL (http://www.gnu.org/copyleft/fdl.html) |
|
|
|
dc:identifier
|
http://ori-oai-webdav.univ-rennes1.fr:80/files/referencement/pedagogique/IFSIC/notes_de_cours/112.pdf
|
dc:title
|
Poly option MFA : partie 1 |
dc:date
|
2000-09-07 |
dc:creator
|
Raymond Marie |
dc:publisher
|
Institut de Formation Supérieure en Informatique et Communication ADR:913-sciences TEL;TYPE=mobile: |
dc:subject
|
Chaînes de Markov |
dc:subject
|
Informatique |
dc:description
|
Notes de cours de la poly option MFA pour la maîtrise en informatique de l'IFSIC : Chaînes de Markov à temps discret et à temps continu, files d'attente (markoviennes et M/G/1) |
dc:format
|
application/pdf |
dc:type
|
lecture |
dc:language
|
fre |
dc:rights
|
Libre d'accès aux étudiants et personnels de l'université de Rennes 1. Mention légale : Tous droits réservés |
|
|
|