COURS // INF1130 Mathématiques pour informaticien

Mes cours favoris

Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.

Trimestre Cours Groupe
  • Cycle : 1
  • Type de cours : Magistral
  • Nombre de crédits : 3
  • Discipline : Informatique

Description

Connaître les notions de base de la logique et les notions mathématiques qui sous-tendent la programmation, en particulier celles qui sont utilisées dans la vérification de programmes et l'analyse de la complexité des algorithmes. - Rappel des notions suivantes: théorie naïve des ensembles, opérations sur les ensembles, cardinalité d'un ensemble, ensembles dénombrables, relations (fonctions, relations d'ordre, relations d'équivalence et partitions) - Algèbre relationnelle et applications aux bases de données - Introduction à la logique propositionnelle et au calcul des prédicats - Preuves par induction - Sémantique d'un petit langage de programmation - Écriture de boucles simples à partir d'invariants - Introduction à la vérification de programmes - Preuves de boucles à l'aide d'invariants - Notions élémentaires sur la complexité temporelle et spatiale des algorithmes - Notation asymptotique - Algorithmes de fouille et de tri - Analyse de la complexité d'algorithmes récursifs - Équations de récurrence - Graphes orientés, graphes non orientés, arbres, arborescences - Chemins dans un graphe, hauteur d'une arborescence et exemples d'applications à l'analyse d'algorithmes - Parcours de graphes

Les horaires présentés dans cette page sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les coordonnées des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)

Enseignant

  • Marie-Jean Meurs

Horaire et lieu

Jour Date Heure Lieu Type
Lundi Du 5 septembre 2017
au 20 décembre 2017
De 18h00 à 20h00 SH-3420 | Campus de Montréal Exercices
Lundi Du 5 septembre 2017
au 20 décembre 2017
De 18h01 à 20h00 SH-3260 | Campus de Montréal Exercices
Mardi Du 5 septembre 2017
au 20 décembre 2017
De 18h00 à 21h00 SH-2420 | Campus de Montréal Cours magistral

Remarque

  • Examens: 29 oct. 09:30 à 12:30 et 17 déc. 09:30 à 12:30

Enseignant

  • Marie-Jean Meurs

Horaire et lieu

Jour Date Heure Lieu Type
Lundi Du 5 septembre 2017
au 20 décembre 2017
De 13h30 à 15h30 SH-3540 | Campus de Montréal Exercices
Lundi Du 5 septembre 2017
au 20 décembre 2017
De 13h30 à 15h30 SH-3140 | Campus de Montréal Exercices
Mercredi Du 5 septembre 2017
au 20 décembre 2017
De 09h30 à 12h30 PK-R310 | Campus de Montréal Cours magistral

Remarque

  • Examens: 29 oct. 09:30 à 12:30 et 17 déc. 09:30 à 12:30

Enseignant

  • Louise Laforest

Horaire et lieu

Jour Date Heure Lieu Type
Lundi Du 5 septembre 2017
au 20 décembre 2017
De 13h30 à 15h30 PK-R610 | Campus de Montréal Exercices
Lundi Du 5 septembre 2017
au 20 décembre 2017
De 13h30 à 15h30 PK-6605 | Campus de Montréal Exercices
Mercredi Du 5 septembre 2017
au 20 décembre 2017
De 09h30 à 12h30 PK-R650 | Campus de Montréal Cours magistral

Remarque

  • Examens: 29 oct. 09:30 à 12:30 et 17 déc. 09:30 à 12:30

Les horaires présentés dans cette page sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les coordonnées des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)

Enseignant

  • Louise Laforest

Horaire et lieu

Jour Date Heure Lieu Type
Lundi Du 8 janvier 2018
au 29 avril 2018
De 13h30 à 16h30 Cours magistral
Vendredi Du 8 janvier 2018
au 29 avril 2018
De 13h30 à 15h30 Exercices
Vendredi Du 8 janvier 2018
au 29 avril 2018
De 13h30 à 15h30 Exercices

Remarque

  • Examens: 03 mars 14:00 à 17:00 et 28 avr. 14:00 à 17:00

Enseignant

  • Marie-Jean Meurs

Horaire et lieu

Jour Date Heure Lieu Type
Jeudi Du 8 janvier 2018
au 29 avril 2018
De 18h00 à 21h00 Cours magistral
Vendredi Du 8 janvier 2018
au 29 avril 2018
De 18h00 à 20h00 Exercices
Vendredi Du 8 janvier 2018
au 29 avril 2018
De 18h00 à 20h00 Exercices

Remarque

  • Examens: 03 mars 14:00 à 17:00 et 28 avr. 14:00 à 17:00

Les horaires présentés dans cette page sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les coordonnées des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)
Ce cours n'est pas offert lors de ce trimestre.
Retour en haut de page