Publicités

Loading...

Menu principal

Ingéniorat Informatique

Magie des mathématiques dans l'informatique, fondement des connaissances

2 cours et 97 sujets corrigés de mathématiques pour l'informatique ajoutés sur le site Cliquez pour y accèder sur Etudes supérieures, Ingéniorat en informatique puis Mathématiques pour l’informatique.

Pour bien comprendre les liens entre mathématiques et l'informatique, suivons les pertinentes définitions de l’informatique et des mathématiques de l’université de la réunion.

L’informatique est une science évoluant constamment et rapidement. La compétence d’un informaticien relève à la fois de la maîtrise des techniques les plus récentes mais aussi de ses capacités à s’adapter continuellement aux mutations de sa discipline. Dans ce domaine, la formation doit mette l’accent sur l’acquisition de ces capacités d’adaptation. Elle apprend à l’étudiant à comprendre, modéliser et résoudre un problème à l’aide de connaissances techniques mais surtout à l’aide d’une analyse conceptuelle synthétique et d’une méthodologie rigoureuse.

Quant aux mathématiques, elles sont de toutes les activités mentales celles où l’abstraction marque le plus nettement la différence entre l’homme et ses voisins dans l’espèce animale, les mathématiques demeurent sans conteste l’alambic où se distille l’essence de cette abstractionPerfection et infaillibilité font des mathématiques un moteur d’une extravagante efficacité dans les Sciences de la nature ; en complément de ce que l’on peut qualifier de complément humaniste ou culturelle - autres éléments indispensables pour appréhender les phénomènes naturels - on en vient, dans les domaines aussi divers que la physique, la macroéconomie, l’architecture, la musique... à entendre par "compréhension" les choses qui précisément peuvent être expliquées ou prédites par les mathématiques.

Ecoutez aussi, la conférence de Bernard Hodgson, secrétaire général de la conférence internationale d’enseignement des mathématiques qui expose trois pôles qui unissent mathématiques et informatique, soit l'algorithmique, l'histoire des machines à calculer et la logique mathématique. Dans cette conférence, il tente de mettre en lumière à quel point les mathématiques et l'informatique vivent en une sorte de symbiose.

La conférence s’intitule Des petits cailloux aux époustouflantes puces : chassés-croisés mathématiques/informatiques au fil des âges et a été donnée le 23 octobre 2009 au  53eme Congrès de l'Association mathématique du Québec

 

Cours et corrigés de recherche opérationnelle pour optimiser les décisions

ObjetAuteursLiens
1Contrôle continu, 2005/2006EFPL Enoncés
de séries de 20 exercices
n° 
1,  2,  3  &  4 
Réponses
des séries de 20 exercices
n° 
1,  2,  3  &  4
2Examens, 1999/2003EFPL Enoncés
de séries d'examens
de 50 problèmes
n°  
1,  2,  3,  4,  5,
6,  7,  8,  9  &  10
Réponses
de séries d'examens n° 1,   2,  3,  4,  5,
 
6,  7,  8,  9  &  10
3 Modèle de recherche opérationnelle, 2007
Professeur Bernard GERBON, Université de Montréal

Plan de cours

Objet

1. La RO : problèmes,
 méthodes, historique

Objet

2. Programmation linéaire

Objet

Chiffrier Excel,
exemple Wyndor Glass

2. Programmation linéaire

Objet

Chiffrier Excel,
exemple Distribution
Unlimited

2. Programmation linéaire

Objet

Chiffrier Excel,
exemple Wyndor Glass
avec rapport de sensibilité

3. Optimisation de réseaux

Objet

Chiffrier Excel,
exemple Plus Court Chemin

Chiffrier Excel,
exemple Flot Maximum

3. Optimisation de réseaux  

Objet

Préparation à l'intra

Objet

4. Programmation
en nombres entiers

Objet

Chiffrier Excel,
exemple California Mfg

4. Programmation
 en nombres entiers

Objet

5. Modèles stochastiques

Objet

Chiffrier Excel,
exemple Jeu Hasard

Chiffrier Excel,
 exemple Jeu Hasard 14

Chiffrier Excel,
exemple Jeu Hasard 1000

Chiffrier Excel,
exemple Queueing
Simulator

6. Programmation
dynamique 

Objet

7. Programmation
non linéaire

Objet

Chiffrier Excel,
exemple Exemple1NL

Chiffrier Excel,
exemple Exemple2NL

Chiffrier Excel,
exemple Exemple3NL

Chiffrier Excel,
exemple Exemple4NL

8. Optimisation
combinatoire

Objet

Préparation au final

Devoir 1 : 

Énoncé - Solutionnaire
Chiffrier Excel Dev 1_3b

Devoir 2 :
Énoncé - Solutionnaire
Chiffrier Excel, Dev2_3c

Devoir 3 : 
Énoncé - Solutionnaire
Chiffrier Excel, Dev3_1b
Chiffrier Excel, Dev3_2d
Chiffrier Excel, Dev3_3c

Devoir 4 :
Énoncé - Solutionnaire
Chiffrier Excel, Queueing Simulator

4 Cours et exercices de recherche opérationnelle, 2013
Professeur Michelle BIERLAIRE, EFPL

Transparents :
Recherche opérationnelle  -  Analyse du problème - 
 Optimisation sans
contrainte : conditions
d'optimalité
  -  Résolution
d'équations
  -  Méthode
de Newton locale pour
l'optimisation  

 Méthodes
de descente
  -  Problème
des moindres carrés
  - 
 Optimisation linéaire  - 
 Dualité  -  Graphe  - 
 Plus court chemin  -  
Optimisation
en nombres entiers


Exercices :
Enoncés des séries n° 1,  2,  3,  4,  5
6,  7,  8,  910 
&  11

 Réponses aux séries n° 1,  2,  3,  4,  5,
  6,  7,  8,  9,  10 
 &  11

Vidéos du cours
sur le site de l'EFPL
9 vidéos
de cours de Mr le professeur BIERLAIRE

Cours et corrigés d'examen de mathématiques pour l'informatique

ObjetAuteursLiens
1Cours
et examen corrigé, 2016

L. Halpern SuP Galilée Ecole d’ingénieurs de l’Institut Galilée Université Paris-Nord

Un polycope

Enoncé
corrigé
d'un partiel

2Devoirs, 1998/2009Université du Quebec à Montreal (UQAM)
3Examen, 1999/2009Université du Quebec à Montreal (UQAM)Enoncés
n° 
1,  2,  3,  4,  5,
6,  7,  8,  9,  10,  11,
12,  13,  14,  1516,
17,  18,  19,  20,  22,
23,  24,  25,  26,  27
28,  29,  30,  32,  33 
&  
35

Réponses n° 1,  2,  3,  4,  5
6,  7,  8,  9,  10,  11,
12,  13,  14,  1516,
17,  18,  19,  19 bis
(solution alternative
3a),  
20,  22,  23,  24
25,  26,  27,  28,  29,
30,  32,  33 &  35

Enoncé
et solution
n° 
21,  31  &  34
4Cours
et exercices, 2009

Professeur Danny DUBE, Université LAVAL

 Plan de cours

1. Bref rappel
du cours de Logique
et techniques
de preuve

2. Notes de cours
de Logique et techniques
de preuve et supplément
de notes de cours
de Mathématiques
pour informaticiens
de Jules Desharnais

3. Liste d'axiomes
et de théorèmes,
1ère partie

4. Liste d'axiomes
et de théorèmes,
2ème partie

5. Théorie
des relations: notes
complémentaires
et exemples
de démonstrations
de type "classique"

6. Notes de cours
sur les ensembles
infinis

7. Notes de cours
sur les résolutions
de récurrences

8. Supplément
sur la théorie
des graphes

Acétates

n° 1,  2,  3,  4,  5,
 6,  7,  8,  9,  10,  11,
12  &  13

 Exercices
Enoncés
n° 1,  2,  3,  4,  5
6,  7,  9  &  11

Réponses
n° 1,  2,  3,  4,  5,
 6,  7,  9  &  11

Enoncés
et réponses
n°  
8  &  10

Travaux pratiques
Enoncés
n° 1,  2  &  3

Corrigés
n°  1,  2  &  3

Examens
Intra de 2008 :
 Enoncé   -   Réponses

Conseils
pour l'examen
1  &  2

Examens
de 2004 :
Enoncé 
avec réponses

Examen
de 2007 :
Feuille de formules 
Enoncé

5Fondements pour les mathématiques et l'informatiques, 2012/2013
Maître de conférence Renaud COULANGEON, Institut de mathématiques de Bordeaux

Cours,
chapitres
123 & 4

Enoncés
de l'année 2011
des devoirs
surveillés
n° 1,  2
 et  terminal -

Réponses
n°  1,  2
 et  terminale 

Enoncés
de l'année 2012
des devoirs
surveillés
n°  1,  2
 et  terminale

 Réponses
​ n°  1,  2
 et  terminale

Corrigés d'examens et cours de base de données pour informaticiens

ObjetAuteurLiens
1Un cours, 2011
Antoine Cornuéjols,
Agroparitech
Un cours
Applications multiples des bases de données
2Cours
& TD, 2017/2018


Elisabetta De Maria,
Universite de Nice Sophia-Antipolis
Cours
Parties
1,    2   &   3
Travaux dirigés 
1,   2   &   3
3Cours
& travaux dirigés corrigés de basex de données avancées, 2017/2018

Jérôme Darmont,
Université de Lyon 2
Cours
Cours
de base de données

Cours
de base de données
avancées

- Ancien cours
Travaux dirigés
corrigés

1,   2,   3,
4,   5,   6,
7    &    8
Examen
corrigé

de 2015/2016
4Un livre
sur les bases de données, cours et exercices, 2003

Georges gardarin, Edition Eyrolles

Un livre
5Support
du cours
de Base de données
& série de 21 exercices
corrigés, 2005
Ecole Fédérale Polytechnique de Lausanne
 
Cours
Concepts
fondamentaux

Un modèle
conceptuel :
 
Le modèle
Entité-Association

Conception
d'un schéma
Entité-Association

Le modèle
relationnel

Normalisation
d'une relation

Langages
de manipulation
relationnels

Langages
de manipulation
relationnels : 

Les calculs
relationnels

Langages
de manipulation
relationn
els : SQL

Contrôle continu
Sujets
1,   2,   3,   4,
5,   6,     &    8
Corrigés
n° 
1,   2,   3,   4,
5,   6,      &    8
 
Bien comprendre les mécanismes des processus
6Examen, 2005Université
de Bordeaux
Enoncés
et réponses
de 8 exercices
73 examens
corrigés
Université de Paul Valery Montpellier II
Examens
1,     &   3
8Support de cours
d'initiation aux Bases de données, 2006
Université
de Pau et des pays de l'Adour
Bases
de données
913 exercices
et questions corrigés d'examens,
2005
Université
Pierre et Marie Curie
Sujets
1,   2,   3
&   4
Corrigés
2,   3
&   4
10Support de cours
et 28 exercices corrigés
CNAMCours
Modèle
relationnel

Langage SQL
Contrôle continu
corrigé

Sujets
1,   2,   3,
4,    5,    6,    7,
8,    9    &    10
Corrigés
1,   2,   3,
4,    5,    6,    7,
8,    9    &    10
11Examens
corrigté, 2004
Université
de Sherbrooke
Enoncés
et réponses
de 6 questions
12Support du cours
& 8 exercices corrigés de Base de données, 2004/2005
Université
de Lausanne - Ecole des Hautes Etudes Commerciales
Langage
de manipulation
relationnels

Enoncés
de 4 questions

Corrigés

Modèle
de document

XML
XML schéma
Enoncés
de 4 exercice

Corrigés
Des compétences au rendez-vous des choix technologiques
13Base de données avancé, 2010Lalia SAOUDI,
Université de Msila
Rappel,
- Base de données
actives

base de données
temporelle

bases de données
objet

OQL
- Modèle relationnel
objet


Enoncés
d'une question
et de 3 exercices

Corrigés
14Cours
de base de données, 2008

Phillipe RIGAUD, Université Paris Dauphine
Un cours

La téléinformatique et les télétraitement au service du progrès

ObjetAuteurLiens
1Téléinformatique
et télétraitement, 2011

BEUCHOT Gérard INSA, Lyon
 
- Bases techniques
pour les réseaux

- Logiciels
de communication

- Administration
et sécurité
des réseaux
Ouvrage de téléinformatique de l'INSA lYON
Trois ouvrages de téléinformatique
2Téléinformatique
et télétraitement, 2003
Revue- Notion générale
- Histoire
- Architecture
- Unités périphérique
- Technologie logicielle
- Système d'exploitation
- Téléinformatique
et télétraitemen
t
- Nouvelles technologie
de l'information

- Glossaire
3Téléinformatique
et protocole de communication
Mme Stella Marc-Swecker, Université Louis Pasteur
Strasbourg
Un cours
Enoncé
d'examens de :
2011   &   2010
Solutions de :
2011   &   2010
Puissance de la téléinformatique dans le monde
Puissance de la téléinformatique dans le monde
4Cours, 1999Télé-université- Elément de base
de téléinformatique
- Architecture
des système téléinformatiques
- Protocole
et architecture
- Type de réseau
5Réseau informatiques, 2012Nicolas Bredèche
Maître de Conférences
Université Paris-Sud
Une présentation
6EMDUniversité de Blida et d'OranEnoncés
2004   &   2013
Solutions de :
2004   &   2013
7Contröle continu Réseau & internet 2010/2013IUT,
Université de Bordeaux
Cours
1,   2,   3,
5   &   6
Travaux dirigés
1,   2,   3,   4,
5,   6,   7   &   8
Annales corrigées
1,   2,   3,   4,
5   &   6

themo 1

Recherche directe

Themo new 2

Contactez-nous

Si vous voulez exprimez une demande ou un avis, cliquez sur le formulaire de contact
suivant :

 

News

Loading...

Themo new 3

Aller au haut
JSN Boot template designed by JoomlaShine.com