Upload File

comp-330 theory of computation · 2019. 10. 15. · comp 330 fall 2019 class schedule :...

  • Home
  • Documents
  • COMP-330 Theory of Computation · 2019. 10. 15. · COMP 330 Fall 2019 Class Schedule : Tuesday-Thursday 13:05-14:25 MAASS 112 Instructor : Prof. Claude Crépeau Office: Room 110N,
17
COMP-330 Theory of Computation Fall 2019 -- Prof. Claude Crépeau COURSE OUTLINE

Upload: others

Post on 27-Jan-2021

0 views

Category:

Documents


0 download

Report

TRANSCRIPT

  • COMP-330 Theory of Computation

    Fall 2019 -- Prof. Claude Crépeau

    COURSE OUTLINE

  • COMP 330 Fall 2019

    Class Schedule : 
Tuesday-Thursday 13:05-14:25 MAASS 112

    Instructor :
Prof. Claude Crépeau

    Office : Room 110N,
McConnell Eng. Building 
phone: (514) 398-4716 
email: [email protected]

    mailto:[email protected]

  • 2019 T.A.s : 





    Office Hours : 
 Claude : Wednesday 13:00-16:00 ENGMC 110N
 Pouriya : Friday 13:00-14:00 ENGTR 3090
Pierre-William : Monday 15:00-16:00 ENGTR 3110
 Anirudha : Monday 16:00-17:00 ENGTR 3090
 Justin : Tuesday 15:00-16:00 ENGTR 3110
 Yanjia : Friday 10:00-11:00 ENGTR 3110
 Shiquan : Thursday 15:00-16:00 ENGTR 3110

    Pouriya Alikhani Pierre-William Breau Anirudha Jita Justin Li Yanjia Li Shiquan Zhang 


    [email protected] [email protected]

    [email protected] [email protected] [email protected]

    [email protected]

    mailto:[email protected]:[email protected]:[email protected]:[email protected]:[email protected]:[email protected]

  • Mon 10:00 Tue 10:00 Wed 10:00 Thu 10:00 Fri 10:00

    Mon 10:30 Tue 10:30 Wed 10:30 Thu 10:30 Fri 10:30

    Mon 11:00 Tue 11:00 Wed 11:00 Thu 11:00 Fri 11:00

    Mon 11:30 Tue 11:30 Wed 11:30 Thu 11:30 Fri 11:30

    Mon 12:00 Tue 12:00 Wed 12:00 Thu 12:00 Fri 12:00

    Mon 12:30 Tue 12:30 Wed 12:30 Thu 12:30 Fri 12:30

    Mon 13:00 Tue 13:00 Wed 13:00 Thu 13:00 Fri 13:00

    Mon 13:30 Tue 13:30 Wed 13:30 Thu 13:30 Fri 13:30

    Mon 14:00 Tue 14:00 Wed 14:00 Thu 14:00 Fri 14:00

    Mon 14:30 Tue 14:30 WED 14:30 Thu 14:30 Fri 14:30

    Mon 15:00 Tue 15:00 Wed 15:00 Thu 15:00 Fri 15:00

    Mon 15:30 Tue 15:30 Wed 15:30 Thu 15:30 Fri 15:30

    Mon 16:00 Tue 16:00 Wed 16:00 Thu 16:00 Fri 16:00

    Tue 16:30 Wed 16:30 Thu 16:30 Fri 16:30

    Claude

    MC-110N

    office

    hours

    MC = MCENG = McConnell • TR = ENGTR = Trottier

    COMP-330 Fall 2019 — Weekly Schedule

    ClaudeMA-112course

    ClaudeMA-112course

    Pierre-W.TR-3110AnirudhaTR-3090

    YanjiaTR-3110

    JustinTR-3110

    ShiquanTR-3110

    PouriyaTR-3090

  • COMMUNICATIONWWW:

    http://crypto.cs.mcgill.ca/~crepeau/COMP330/

    email:

    [email protected]

    FaceBook:

    COMP 330 Fall 2019

    mailto:http://crypto.cs.mcgill.ca/~crepeau/COMP330/mailto:[email protected]:[email protected]

  • CSUS HelpdeskHOURS: 12pm – 5pm (mon-fri)LOCATION: Trottier 3090

    WHO ARE WE? WHAT DO WE DO? ●U2 and U3 students who have taken this course and want to help you! ●We are a FREE drop-in tutoring service, perfect for study help, and guidance on assignments.●We provide review sessions for midterms and finals for intro courses!

    COMP-330 Fall 2019 — Extra help !

    WHO ARE WE? WHAT DO WE DO? ●U2 and U3 students who have taken this course and want to help you! ●We are a FREE drop-in tutoring service, perfect for study help, and guidance on assignments.●We provide review sessions for midterms and finals for intro courses!

  • Mon 10:00 Tue 10:00 Wed 10:00 Thu 10:00 Fri 10:00

    Mon 10:30 Tue 10:30 Wed 10:30 Thu 10:30 Fri 10:30

    Mon 11:00 Tue 11:00 Wed 11:00 Thu 11:00 Fri 11:00

    Mon 11:30 Tue 11:30 Wed 11:30 Thu 11:30 Fri 11:30

    Mon 12:00 Tue 12:00 Wed 12:00 Thu 12:00 Fri 12:00

    Mon 12:30 Tue 12:30 Wed 12:30 Thu 12:30 Fri 12:30

    Mon 13:00 Tue 13:00 Wed 13:00 Thu 13:00 Fri 13:00

    Mon 13:30 Tue 13:30 Wed 13:30 Thu 13:30 Fri 13:30

    Mon 14:00 Tue 14:00 Wed 14:00 Thu 14:00 Fri 14:00

    Mon 14:30 Tue 14:30 WED 14:30 Thu 14:30 Fri 14:30

    Mon 15:00 Tue 15:00 Wed 15:00 Thu 15:00 Fri 15:00

    Mon 15:30 Tue 15:30 Wed 15:30 Thu 15:30 Fri 15:30

    Mon 16:00 Tue 16:00 Wed 16:00 Thu 16:00 Fri 16:00

    Tue 16:30 Wed 16:30 Thu 16:30 Fri 16:30

    CSUS


    HelpdeskTR-3090

    CSUS


    HelpdeskTR-3090

    CSUS


    HelpdeskTR-3090

    CSUS HelpdeskTR-3090

    CSUS HelpdeskTR-3090

    MC = MCENG = McConnell • TR = ENGTR = Trottier

    COMP-330 Fall 2019 — Weekly Schedule

    Pierre-W.TR-3110AnirudhaTR-3090

    YanjiaTR-3110

    JustinTR-3110

    ShiquanTR-3110

    PouriyaTR-3090

    Claude

    MC-110N

    office

    hours

    ClaudeMA-112course

    ClaudeMA-112course

  • COMP 330 Fall 2019Description: (3 credits, 3 hours).

    We study models of computation of increasing power.

    We begin with finite automata and regular languages.

    The next phase deals with context-free languages invented by linguists and now an essential aspect of every modern programming language.

    Finally we explore the limits of computability with the study of recursive sets, enumerable sets, self-reproducing programs and undecidability theory.

  • Part 1: Regular expressions & Deterministic Finite Automata

  • Part 2: Context-free Language & Pushdown Automata

  • Part 3: Turing Machines, Computability & Complexity

  • Mandatory Textbook

  • COMP 330 Fall 2019: Lectures Schedule

    1. Introduction 1.5. Some basic mathematics2. Regular expressions, DFAs3. Nondeterministic finite automata4. Determinization5. Closure properties, Kleene’s theorem6. The pumping lemma 7. The pumping lemma8. Minimization9. Lexical analysis10. Duality11. Myhill-Nerode theorem12. Labelled transition systems13. MIDTERM

    14. Context-free languages15. Pushdown automata16. Parsing17. The pumping lemma for CFLs18. Introduction to computability19. Models of computation

 Basic computability theory20. Reducibility, undecidability and Rice’s theorem21. Undecidable problems about CFGs22. Post Correspondence Problem23. Validity of FOL is RE / Gödel’s and Tarski’s thms24. Universality / The recursion theorem 25. Degrees of undecidability26. Introduction to complexity

  • COMP 330 Fall 2019

    Evaluation:
There will be
• 4 assigments worth 40%,
• a midterm exam worth 10%, and
• a final exam worth 50%
of your final grade.

  • COMP 330 Fall 2019

    In accord with McGill University’s Charter of Students’ Rights, students in this course have the right to submit in English or in French any written work that is to be graded.

    En vertu de la chartre des droits des étudiants de l'université McGill, les étudiants de ce cours ont le droit de soumettre leurs travaux écrits en anglais ou en français, à leur guise.

  • COMP 330 Fall 2019

    Academic integrity : McGill University values academic integrity. Therefore all students must understand the meaning and consequences of cheating, plagiarism and other academic offences under the Code of Student Conduct and Disciplinary Procedures (see http://www.mcgill.ca/students/srr/honest for more info).

    Honnêteté académique : L'université McGill attache une grande importance à l'honnêteté académique. Il incombe par conséquent à tous les étudiants de comprendre ce que l'on entend par tricherie, plagiat et autres infractions académiques, ainsi que les conséquences que peuvent avoir de telles actions, selon le Code de conduite de l'étudiant et des procédures disciplinaires (pour de plus amples renseignements, consultez
http://www.mcgill.ca/students/srr/honest).

    http://www.mcgill.ca/integrityhttp://www.mcgill.ca/integrity

  • COMP-330 Theory of Computation

    Fall 2019 -- Prof. Claude Crépeau

    COURSE OUTLINE


François Crépeau Fondements du droit canadien Moot Court – 23 janvier 2012

Immigration & Refugee Law François Crépeau United Nations Special Rapporteur on the Human Rights of Migrants Hans &Tamar Oppenheimer Professor of Public

COMP-330 Theory of Computationcrypto.cs.mcgill.ca/~crepeau/COMP330/LECTURE-2.pdf · Theory of Computation Fall 2017 -- Prof. Claude Crépeau Lecture 2 : Regular Expressions & DFAs

Entre mythes et crises: Repenser les politiques migratoires et la place du migrant dans nos sociétés François Crépeau United Nations Special Rapporteur

Blue – comp red - ext. blue – comp red - ext blue – comp red - ext

A7THOR John, Patricia LaCaille, Comp. TITLE Rural ... · ED 330 541. A7THOR TITLE. INSTITUTION. REPORT NO PUB DATE NOTE AVAILABLE FROM. PUB TYPE. EDRS PRICE DESCRIPTORS. ABSTRACT

COMP-330 Theory of Computation - McGill Universitycrypto.cs.mcgill.ca/~crepeau/COMP330/LECTURE-3.pdf · Theory of Computation Fall 2017 -- Prof. Claude Crépeau LECTURE 3 : (NON)

François Crépeau Fondements du droit canadien Moot Court – 21 janvier 2013 Crépeau Foundations Plenary 2013

COMP-330 Theory of Computation - McGill Universitycrypto.cs.mcgill.ca/~crepeau/COMP330/LECTURE-1opt.pdfWe are a FREE drop-in tutoring service, perfect for study help, and guidance

Post-Quantum Cryptography #2 - crypto.cs.mcgill.cacrypto.cs.mcgill.ca/~crepeau/WATERLOO/LEC-2.pdf · Post-Quantum Cryptography #2 Prof. Claude Crépeau McGill University jeudi 18

Comp Gov Politics SF Teach Comp Meth07

Academic Advancement Network · homework and example writing efforts of various faculty, postdocs, and grad students involved in the ... COMP COMP COMP COMP COMP COMP COMP COMP COMP

COMP-330 Theory of Computationcrypto.cs.mcgill.ca/~crepeau/COMP330/Outline.pdf · COMP-330 Theory of Computation Fall 2017 -- Prof. Claude Crépeau COURSE OUTLINE

François Crépeau United Nations Special Rapporteur on the Human Rights of Migrants

COMP 330: BIG DATA N INTRO TO MAPREDUCEcmj4.web.rice.edu/HadoopLec.pdf · — So the files in the DFS are not accessible from “My Computer” in Windows • Why “on top of”

THE GEISA DATABASE 2009 EDITION: A TOOL FOR HYPERSPECTRAL EARTH TROPOSPHERIC SATELLITE OBSERVATIONS STUDIES N. Jacquinet-Husson, L. Crépeau, R. Armante,

COMP-330 Theory of Computation - McGill Universitycrypto.cs.mcgill.ca/~crepeau/COMP330/LECTURE-8.pdfCOMP 330 Fall 2017: Lectures Schedule 14. Context-free languages 15. Pushdown automata

COMP-330 Theory of Computation - McGill Universitycrypto.cs.mcgill.ca/~crepeau/COMP330/LECTURE-7.pdf · 2017-10-03 · COMP 330 Fall 2012: Lectures Schedule 14. Context-free languages

World Bank Documentdocuments.worldbank.org/curated/en/620791468313770824/pdf/E14170v20RUSSI1blic0...3-- 330 330 , 330 , 330 330 330 330 330 220 220 -– – – 330 750 - - -750 -

330-1453 Byzantine Empire. 330-565 The Beginning

Non-Refoulement and Extraterritorial Immigration Control ...eur-int-comp-law.univie.ac.at/fileadmin/user... · Crépeau. Regional study: management of the external borders of the

Marcia Zarembka TAG SALE - Akron · and bonded. 330-666-8689 or 330- ... Marx $5188 Streamliner Sparking train set in box, Comp doll, cars, ... Marcia Zarembka TAG SALE

PAVIMENTOS-330-320-330 (1).pptx

index [] · index p 02—09 comp. 175 p 10—19 comp. 176 p 20—25 comp. 177 p 26—31 comp. 178 p 32—37 comp. 179 p 38—43 comp. 180 p 44—49 comp. 181 p 50—55 comp. 182 p

Ec2perf Sci Comp 09 Cloud Comp 2

CATERPILLAR MACHINE PRICE LIST 330 330 HYDRAULIC …

COMP-330 Theory of Computation - McGill University School ...We are a FREE drop-in tutoring service, perfect for study help, and guidance on assignments. We provide review sessions

GO Comp Comp

Unbenannt-1 - AUDIUM · Test Report comp comp 3 , ! , comp 3 Air, , comp 3 Air Super AV 1-157

Pennsylvania Historical and Museum Commission › bah › dam › rg › di › r17-528LastPurchWarrantReg › r17...330 330 330 330 330 -3

MEDICAL PROVIDER NETWORK UPDATEmoodledata.workcompacademy.com/CIGA_2011/Handouts/...2 VALDEZ V. WAREHOUSE DEMO SERVICES (2011) 79 Cal. Comp. Cases 330 (en banc) • Applicant sustained

THE GEISA 2008 EDITION : PRESENTATION AND EVALUATION FOR PLANETARY ATMOSPHERE STUDIES N. Jacquinet-Husson (1), V. Capelle (1), L. Crépeau (1), N.A. Scott

Scanned Image - spitalzalau.ro · Comp. hematologie Comp. Gatoenterologie Comp. Diabet Cardiologie dn care: Comp. Cardiologie TI Neonatologie din care Comp. Prematuri Comp. Tl Boli

21 055-330-3418 e 055-330-3441 ß1357 330-0300 a 310-6000 …pdf.gimhaeilbo.com/157/15702.pdf · 2020-06-17 · 21 055-330-3418 e 055-330-3441 ß1357 330-0300 a 310-6000 330-8888

Model 330 Model 330