Djamila BOUBACHA

Maryam Mirzakhani

Ingéniorat Informatique

2 cours et 97 sujets corrigés de mathématiques pour l'informatique ajoutés sur www.cours-examens.org. 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

 

Contexte Date Lieux Liens
1 Contrôle continu 2005/2006 EFP Lausanne Enoncés de séries de 20 exercices n° 1, 23 & 4 - Réponses des séries de 20 exercices n° 123 & 4
 2  Examen  1999/2003  EFP Lausanne  Enoncés de séries d'examens de 50 problèmes n°  12345, 6789 & 10

Réponses de séries d'examens n° 1,  23456789 & 10

   

 Modèle de recherche opérationnelle

Ce cours vise à introduire l'étudiant au domaine de la recherche opérationnelle (RO), en tant que science (quels sont les problèmes traités, de même que les modèles et les algorithmes pour les résoudre) et en tant qu'activité humaine (aspects historiques et culturels, liens avec les autres champs du savoir, en particulier les mathématiques et l'informatique)

 

 2007

 

Professeur Bernard GERBON,
Université de Montréal

Cours et exercices de recherche opérationnelle

Ce cours propose une introduction à la modélisation et à la résolution de problèmes de décision et d'optimisation à l'aide des outils de la recherche opérationnelle.
 2013

Professeur Michelle BIERLAIRE,
EFPL
 

Transparents :
Recherche opérationnelleAnalyse du problèmeOptimisation sans contrainte : conditions d'optimalitéRésolution d'équationsMéthode de Newton locale pour l'optimisation Méthodes de descenteProblème des moindres carrésOptimisation linéaireDualité - GraphePlus court chemin Optimisation en nombres entiers
Exercices :

Enoncés des séries n° 1, 2, 3, 4, 5, 6, 7, 8, 9, 10  & 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

 

 

         
Contexte Dates Lieux Liens
1 Support du cours de Base de données - Ecole Fédérale Polytechnique de Lausanne Concepts fondamentaux
2 Support du cours de Base de données - Ecole Fédérale Polytechnique de Lausanne Un modèle conceptuel : Le modèle
Entité-Association
3 Support du cours de Base de données - Ecole Fédérale Polytechnique de Lausanne Conception d'un schéma Entité-Association
4 Support du cours de Base de données - Ecole Fédérale Polytechnique de Lausanne Le modèle relationnel
5 Support du cours de Base de données - Ecole Fédérale Polytechnique de Lausanne Normalisation d'une relation
6 Support du cours de Base de données - Ecole Fédérale Polytechnique de Lausanne Langages de manipulation relationnels
7 Support du cours de Base de données - Ecole Fédérale Polytechnique de Lausanne Langages de manipulation relationnels : Les calculs relationnels
8 Support du cours de Base de données - Ecole Fédérale Polytechnique de Lausanne Langages de manipulation relationnels : SQL
9 Examen Mai 2005 Université de Bordeaux Enoncés et réponses de 8 exercices
10 Examen Janvier 2002 Université de Paul Valery Montpellier II Enoncés et réponse de 3 questions
11 Examen Septembre 2002 Université de Paul Valery Montpellier II Enoncés et réponses de 2 questions
12 Examen Novembre 2005 Université de Paul Valery Montpellier II Enoncés de 3 exercices - Corrigés
13 Tutorial du cours de Base de données   Université de Lyon, Faculté des sciences économiques et de gestion Bases de données
14 Support de cours d'initiation aux Bases de données Février 2006 Université de Pau et des pays de l'Adour Bases de données
15 Exercices Ingénierie Base de données Mars 2005 Ecole Fédérale Polytechnique de Lausanne Enoncés de 2 questions - Corrigés
16 Exercices Ingénierie Base de données Avril 2005 Ecole Fédérale Polytechnique de Lausanne Enoncés de 3 questions - Corrigés
17 Exercices Ingénierie Base de données Avril 2005 Ecole Fédérale Polytechnique de Lausanne Enoncé d'un exercice - Corrigés
18 Exercices Ingénierie Base de données Mai 2005 Ecole Fédérale Polytechnique de Lausanne Enoncés de 4 exercices - Corrigés
19 Exercices Ingénierie Base de données Mai 2005 Ecole Fédérale Polytechnique de Lausanne Enoncés de 2 exercices - Corrigés
20 Exercices Ingénierie Base de données Juin 2005 Ecole Fédérale Polytechnique de Lausanne Enoncés de 2 questions - Corrigés
21 Exercices Ingénierie Base de données 2005 Ecole Fédérale Polytechnique de Lausanne Enoncés de 2 questions - Corrigés
22 Exercices Ingénierie Base de données 2005 Ecole Fédérale Polytechnique de Lausanne Enoncés de 4 exercices - Corrigés
23 Examen partiel Novembre 2005 Université Pierre et Marie Curie Enoncés de 2 questions
24 Examen partiel Avril 2005 Université Pierre et Marie Curie Enoncés de 5 exercices - Corrigés
25

Examen

Juin 2005 Université Pierre et Marie Curie Enoncés de 3 exercices - Corrigés
26

Examen

Juin 2005 Université Pierre et Marie Curie Enoncés de 3 questions - Corrigés
27 Support de cours Mars 2006 CNAM Modèle relationnel
28 Contrôle continu Mars 2006 CNAM Enoncé d'un exercice - Corrigé
29 Contrôle continu Mars 2006 CNAM Enoncé d'un exercice - Corrigé
30 Contrôle continu Mars 2006 CNAM Enoncé d'un exercice
31 Contrôle continu Mars 2006 CNAM Enoncé d'un exercice - Corrigé
32 Contrôle continu Mars 2006 CNAM Enoncé d'un exercice - Corrigé
33 Contrôle continu Mars 2006 CNAM Enoncé d'un exercice - Corrigé
34 Contrôle continu Mars 2006 CNAM Enoncé d'un exercice - Corrigé
35 Support de cours Mai 2006 CNAM Langage SQL
36 Contrôle continu Mars 2006 CNAM Enoncés de 2 exercices - Corrigés
37 Révision Juin 2006 CNAM Enoncés de 4 exercices - Corrigés
38 Examen Avril 2004 Université de Sherbrooke Enoncés et réponses de 6 questions
39 Support du cours de Base de données 2004/2005 Université de Lausanne - Ecole des Hautes Etudes Commerciales Conception d'un schéma entité-association
40 Contrôle continu 2005 CNAM Enoncé de 15 exercices - Corrigés
41 Support du cours de Base de données 2004/2005 Université de Lausanne - Ecole des Hautes Etudes Commerciales Le modèle relationnel
42 Contrôle continu 2004/2005 Université de Lausanne - Ecole des Hautes Etudes Commerciales Enoncés de 2 exercices - Corrigés
43 Support du cours de Base de données 2004/2005 Université de Lausanne - Ecole des Hautes Etudes Commerciales Normalisation
44 Contrôle continu 2004/2005 Université de Lausanne - Ecole des Hautes Etudes Commerciales Enoncés de 7 exercices - Corrigés
45 Support du cours de Base de données 2004/2005 Université de Lausanne - Ecole des Hautes Etudes Commerciales Langage de manipulation relationnels
46 Contrôle continu 2004/2005 Université de Lausanne - Ecole des Hautes Etudes Commerciales Enoncés de 4 questions - Corrigés
47 Support du cours de Base de données 2004/2005 Université de Lausanne - Ecole des Hautes Etudes Commerciales Modèle de document
48 Support du cours de Base de données 2004/2005 Université de Lausanne - Ecole des Hautes Etudes Commerciales XML
49 Support du cours de Base de données 2004/2005 Université de Lausanne - Ecole des Hautes Etudes Commerciales XML schéma
50 Contrôle continu 2004/2005 Université de Lausanne - Ecole des Hautes Etudes Commerciales Enoncés de 4 exercices - Corrigés
51 Base de données avancée 2010 Lalia 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
         

 

Contexte Dates Lieux Liens
1

Cours
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

2 Devoirs Série de 1998 à 2009 Université du Quebec à Montreal (UQAM) Enoncés n° 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38 & 39
Réponses n° 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18 (1 à 4), 18 (5), 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38 & 39
3 Examens Série de 1995 à 2009 Université du Quebec à Montreal (UQAM) Enoncés n° 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 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, 15, 16, 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
4 Cours et exercices 2008

 

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

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° 12345679 & 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é

5 Fondements pour les mathématiques et l'informatiques  2012/2013

 

Maître de conférence Renaud COULANGEON, Institut de mathématiques de Bordeaux

Cours, chapitres 1, 2, 3 & 4

Enoncés de l'année 2011
des devoirs surveillés n° 12 et terminal - Réponses n° 12 et terminal 

Enoncés de l'année 2012
des devoirs surveillés n° 12 et terminal - Réponses n° 12 et terminal  

         
Contexte Dates Lieux Liens
1 1° EMD Février 2004 Université de Blida Questions de cours et énoncés de 4 exercices - Réponses

Menu principal

PUB 2

Contactez-nous

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

 

Consultation de fichiers PDF

our visualiser, imprimer et annoter les documents PDF téléchargés sur notre site, nous vous recommandons Adobe reader téléchargeable :

 

 

PUB 1

Pub

Aller au haut
JSN Boot template designed by JoomlaShine.com