Coordonnées

Département d'informatique
Université du Québec à Montréal
CP 8888, Succ. Centre-ville
Montréal (Québec) H3C 3P8
Tél: 514-987-3000, #5516
Bureau: PK-4525
Courriel: blondin_masse[point]alexandre
[arobase]uqam[point]ca

À propos

J'ai complété mon doctorat en mathématiques-informatique sous la supervision des professeurs Srecko Brlek, de l'Université du Québec à Montréal, au Canada, et de Laurent Vuillon, de l'Université de Savoie, en France.

Depuis le 1er août 2014, je suis professeur adjoint à l'Université du Québec à Montréal, au Canada.

Liens utiles

Mathématiques pour informaticiens

Bienvenue sur le site du cours Mathématiques pour informaticiens - INF1130 que j'ai enseigné à l'hiver 2015.

Annonces

30 avril 2015
  • L'énoncé et la solution de l'examen 2 sont maintenant disponibles
24 avril 2015
  • La solution du devoir 2 est maintenant disponible
23 avril 2015
  • L'examen final aura lieu samedi, le 25 avril 2015, de 13h30 à 16h30
  • Les locaux pour l'examen final sont les suivants
    • BELP-LAMC : PK-R610
    • LEBA-ZAND : PK-R650
13 avril 2015
  • La question 4(b) du devoir a été reformulée, car elle contenait certaines erreurs
11 avril 2015
  • Une erreur a été corrigée dans l'énoncé du devoir : À la question 4(a), il y a 11 partages à donner et non 10
3 avril 2015
28 mars 2015
  • Une erreur s'est glissée dans le devoir 2, à la question 4(b). On indique que Partage (4, 2) devrait retourner les partages (4) et (3, 1). On devrait plutôt lire que les partages retournés sont (4), (3, 1) et (2, 2) (ce dernier avait été oublié). L'énoncé a donc été corrigé.
27 mars 2015
  • L'énoncé du devoir 2 est maintenant disponible
3 mars 2015
  • L'examen intra aura lieu samedi, le 7 mars 2015, de 13h30 à 16h30
  • Les locaux pour l'examen intra sont les suivants
    • BELP-LAMC : PK-R610
    • LEBA-ZAND : PK-R650
27 février 2015
  • Ajout de la solution du devoir 1
13 février 2015
  • La date de remise du devoir 1 est reportée au vendredi, 27 février 2015, avant 16h00
  • Une coquille s'est glissée dans l'énoncé du devoir 1 : à la question 1(b), on devrait lire Q3 : ∃y∀xP(x, y) plutôt que Q3 : ∃x∀yP(x, y) (la version corrigée a été déposée sur le site et sur Moodle)
4 février 2015
  • Ajout de l'énoncé du devoir 1
22 janvier 2015
  • Ajout d'exercices supplémentaires
6 janvier 2015
  • Activation du site

Documents

Devoirs et examen

Échéancier

Le tableau ci-bas donne un aperçu de la matière abordée à chaque cours.

Remarque : Je me réserve la possibilité de modifier les sujets abordés au fur et à mesure que le trimestre avance, par exemple si certaines notions demandent plus de temps que prévu.

Semaine Date Contenu Exercices
1 8 janv Présentation du cours, logique 1.1 #6, 7, 15, 17, 22 1.2 #7, 9, 12, 13 1.3 #5, 6, 13, 22, 23, 26, 27
2 15 janv Ensembles 1.4 #4, 5, 6, 7, 9, 11, 15, 16, 20, 24 1.5 #1, 3, 5, 6, 18, 19, 24, 30
3 22 janv Fonctions 1.6 #2, 5, 6, 8, 9, 14, 15, 16, 19 Ex. supp. section 1
4 29 janv Suites, mots et sommes 1.7 #5, 7, 9, 11, 12, 13, 15, 16, 19
5 5 fév Sommes (suite), entiers et division 2.3 #8, 9, 10, 11, 13, 14, 17, 24, 27, 28
6 12 fév Entiers et division (suite)
7 19 fév Démonstrations mathématiques 3.1 #1, 3, 8, 9, 10, 11, 12, 13, 15, 16, 17
8 26 fév Révision  
9 5 mars Semaine de relâche (pas de cours)  
10 12 mars Algorithmes 2.1 #1, 3, 4, 7, 9, 20 1.8 #1, 2
11 19 mars Complexité des algorithmes 1.8 #13, 15, 19, 20, 21 2.2 #1, 3, 4, 7, 8, 9
12 26 mars Induction 3.2 #7, 8, 12, 13, 14, 15, 19, 34
13 2 avril Grève (pas de cours)  
14 9 avril Récursivité 3.3 #1, 5, 7, 20, 21, 23, 26, 27, 31, 36, 37, 38, 39, 40 3.4 #2, 4, 6, 9, 10, 11, 14, 15, 16
15 16 avril Relations 6.1 #2, 3, 4, 6, 15, 17, 19, 20, 21 6.3 #1, 2, 4, 7, 8, 9, 10, 13, 14, 15, 16, 17
16 23 avril Relations (suite) 6.4 #16, 17, 19, 20, 25, 27, 29 6.5 #1, 2, 11, 12, 13, 14, 15, 19, 22, 25