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

  • Louise Laforest

Horaire et lieu

Jour Date Heure Lieu Type
Lundi Du 8 janvier 2018
au 29 avril 2018
De 13h30 à 16h30 SH-R810 | Campus de Montréal Cours magistral
Vendredi Du 8 janvier 2018
au 29 avril 2018
De 13h30 à 15h30 SH-2540 | Campus de Montréal Exercices
Vendredi Du 8 janvier 2018
au 29 avril 2018
De 13h30 à 15h30 SH-R810 | Campus de Montréal 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 SH-3620 | Campus de Montréal Cours magistral
Vendredi Du 8 janvier 2018
au 29 avril 2018
De 18h00 à 20h00 SH-2120 | Campus de Montréal Exercices
Vendredi Du 8 janvier 2018
au 29 avril 2018
De 18h00 à 20h00 SH-3620 | Campus de Montréal 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)

Enseignant

  • Anne Bergeron

Horaire et lieu

Jour Date Heure Lieu Type
Mardi Du 30 avril 2018
au 27 juillet 2018
De 13h30 à 17h00 Cours magistral
Jeudi Du 30 avril 2018
au 27 juillet 2018
De 13h30 à 16h00 Exercices

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