Plan de cours

Département d’informatique et de mathématique
PLAN DE COURS
Automne 2016
Informatique théorique
(8INF713)
Département d’informatique et de mathématique
Hugo Tremblay, chargé de cours
Bureau : P4-6465
Téléphone : 418-545-5011 ext. 2496
Courriel : [email protected]
Page web : http://www.uqac.ca/htremblay
Disponibilités : sur rendez-vous
8INF713 – Info. théorique
Plan de cours
Automne 2016
Page 1 de 6
Département d’informatique et de mathématique
Objectif général du cours
Étudier les fondements théoriques de l’informatique afin de comprendre quelles sont les
propriétés et les limites des ordinateurs.
Objectif et compétences spécifiques
Amener à une compréhension des notions et des outils de l’informatique théorique, en particulier la théorie des langages et des automates, la théorie de la computabilité et la théorie
de la complexité computationnelle.
Contenu du cours
Formalisation des notions de problème et de langage. Automates finis, expressions régulières
et langages réguliers. Automates à pile et langages hors-contextes. Machines de Turing,
langages récursifs et récursivement énumérables. Indécidabilité. Réductibilité. Classes de
complexité. Hiérarchies.
Préalable(s)
Les deux (2) cours suivants sont préalables à ce cours : 8MAT122 (Structures discrètes) et
8SIF109 (Programmation, algorithmique et structures de données).
Situation du cours dans les programmes
Ce cours est présent dans les programmes suivants :
• 0711 Programme court de premier cycle en informatique pour étudiants en séjour
d’études (optionnel)
• 4202 Certificat en informatique (optionnel)
• 6801 Baccalauréat avec majeure en mathématique (optionnel)
• 6908 Baccalauréat avec majeure en conception de jeux vidéo (optionnel)
• 7833 Baccalauréat en informatique (obligatoire)
Formule pédagogique
Les cours magistraux sont dispensés les lundis et les mercredis de 13h00 à 14h15. Les séances
de travaux dirigés ont lieu les mercredis de 14h30 à 15h45. L’enseignant se réserve la possibilité d’utiliser les périodes de travaux dirigés pour des séances de révision avant les examens.
8INF713 – Info. théorique
Plan de cours
Automne 2016
Page 2 de 6
Département d’informatique et de mathématique
Travaux dirigés
Des séances de travaux dirigés sont prévues afin de faciliter l’apprentissage de la matière du
cours. Elles sont offertes en une période d’une heure et quart après le cours magistral du
mercredi. La participation des étudiants n’est pas obligatoire, mais est fortement encouragée,
car les exercices proposés sont complémentaires à la matière dispensée dans les cours.
Les travaux dirigés se dérouleront sous la responsabilité d’une personne qui sera identifiée
au début du trimestre. Elle sera disponible lors des séances prévues à l’horaire.
Modalités d’évaluation
Les étudiants seront évalués selon le barème suivant :
Évaluation
Devoir 1
Examen 1
Devoir 2
Examen 2
Devoir 3
Examen 3
Date
26 septembre
5 octobre
7 novembre
16 novembre
5 décembre
14 décembre
Podération (%)
15
20
15
20
10
20
L’utilisation de matériel électronique durant les examens sera conforme à la résolution du
conseil de module d’ingénierie. Les locaux des examens seront annoncés en temps opportun.
Qualité du français écrit
Comme il en est fait mention dans le manuel de gestion, tout travail dont la qualité du
français serait jugée non conforme par l’enseignant pourra être pénalisé jusqu’à concurrence de 10% du résultat maximal prévu. Voir http://www.uqac.ca/direction_services/
secretariat_general/manuel/index.pdf (3.1.1-012) pour plus de détails.
Niveau d’utilisation des technologies de l’information et de la communication (TIC)
En vertu de la politique institutionnelle d’utilisation des TIC adoptée le 4 décembre 2012
par le Conseil d’administration de l’UQAC, le niveau d’utilisation des TIC est fixé à usage
permis si non perturbant pour ce cours. Voir http://www.uqac.ca/direction_services/
secretariat_general/manuel/3/083.pdf (3.1.0-015) pour plus de détails.
8INF713 – Info. théorique
Plan de cours
Automne 2016
Page 3 de 6
Département d’informatique et de mathématique
Pénalité pour retard
Tout devoir remis en retard sans motif valable sera pénalisé de 15% par jour de retard jusqu’à
concurrence de trois (3) jours. Au-delà de cette limite, la note de 0% sera attribuée.
Réussite du cours
La note de passage est fixée à 60% ou D pour le cours. De plus, la moyenne des examens
doit être égale ou supérieure à 55%. Plus de vingt pour cent (20%) de l’évaluation aura été
transmise à l’étudiant avant la date limite d’abandon sans mention d’échec, le 7 novembre
2016. Les cotes finales seront attribuées selon les intervalles suivants :
E
0-59
D
60-62
D+
63-65
C66-68
C
69-71
C+
72-74
B75-78
B
79-81
B+
82-84
A85-90
A
91-93
A+
94-100
Notez que ces intervalles sont donnés à titre indicatif seulement.
Soutien pédagogique
Les étudiants ont accès à différentes ressources pour la réussite de ce cours. L’enseignant
sera disponible sur rendez-vous. L’assistant d’enseignement sera quant à lui disponible lors
des séances de travaux dirigés.
En dernier lieu, il existe un service d’aide en mathématique gratuit disponible pour tous les
étudiants et offerts sur une base hebdomadaire (http://www.uqac.ca/dim/doc/InfoSMI.
htm).
Page web et Facebook
Toutes les informations pertinentes au cours (e.g. devoirs, exercices, dates de remises) se
trouvent sur la page web de l’enseignant au http://www.uqac.ca/htremblay dans la section
Enseignement/8INF713.
De plus, l’enseignant utilise couramment la page Facebook https://www.facebook.com/
Hugo-Tremblay-1477879475807274/ afin de communiquer avec les étudiants. Notez qu’elle
est aussi accessible via la page web pour consultation.
8INF713 – Info. théorique
Plan de cours
Automne 2016
Page 4 de 6
Département d’informatique et de mathématique
Évaluation de la qualité de l’enseignement
Ce cours sera évalué en fonction de la procédure relative à l’évaluation de la qualité de
l’enseignement par les étudiants de premier cycle. Comme il en est fait mention dans le
manuel de gestion disponible à http://www.uqac.ca/direction_services/secretariat_
general/manuel/index.pdf (3.1.1-005).
Absences de l’enseignant
L’enseignant sera absent pendant 5 semaines du 3 octobre au 4 novembre inclusivement.
Un remplaçant assurera l’intérim durant cette période. Veuillez noter que les exigences et
modalités demeurent les mêmes tout au long de la session (e.g. retard, qualité du français).
Bibliographie
Référence principale
• M. Sipser. Introduction to the Theory of Computation, Third Edition, Cengage Learning, 2012.
L’achat de ce livre n’est pas obligatoire. Cependant, il est disponible à la réserve de
la bibliothèque pour consultation. Il est aussi possible de le commander à la coop ou sur
Amazon.
Références secondaires
• J.-M. Autebert. Langages algébriques, Masson, 1987.
• J. E. Hopcroft. R. Motwani. J. D. Ullman. Introduction to Automata Theory, Languages, and Computation (3rd ed.), Pearson. ISBN 1292039051.
Références pour l’algorithmique
• T. H. Cormen, C. E. Leiserson, R. L. Rivest et C. Stein. Introduction to Algorithms,
3rd ed., MIT Press. ISBN 978-0-262-03384-8
• D. E. Knuth, The Art of Computer Programming. ISBN 978-0321751041.
Références pour les mathématiques discrètes
• R. L. Graham, D. E. Knuth, O. Patashnik. Concrete Mathematics, Second Edition,
Addison Wesley, 1994.
8INF713 – Info. théorique
Plan de cours
Automne 2016
Page 5 de 6
Département d’informatique et de mathématique
• K. H. Rosen. Mathématiques discrètes, Édition révisée, Chenelière McGraw-Hill, 2002.
• R. P. Grimaldi. Discrete and Combinatorial Mathematics : An Applied Introduction,
5th ed., Addison Wesley. ISBN 0-20-172634
8INF713 – Info. théorique
Plan de cours
Automne 2016
Page 6 de 6