This shows you the differences between two versions of the page.
cours:c-2-8-2 [2019/09/10 13:21]
bouyer [Dates] |
cours:c-2-8-2 [2020/02/21 13:56] (current)
bouyer [Description] |
| | ===== Dates ===== | | ===== Dates ===== |
| | | | |
| - | The lectures (5 x 2.5 + 4 x 3 hours) will take place on Thursday (12h45-15h15), in Bat. Sophie Germain, room 1003. | + | The lectures (8 x 3 hours) will take place on Thursday (12h45-15h45), in Bat. Sophie Germain, room 1013. |
| | + | |
| | + | :!: **There will be no lecture on December 5th 2019!!** |
| | + | |
| | + | The first lecture is on **December 12th 2019**. |
| | + | |
| | + | :!: **There will be no lecture on January 9th 2020!!** |
| | + | |
| | + | There will be no lecture on February 13th 2020. Last lecture will take place on February 20th 2020. |
| | + | |
| | + | **The exam will take place on February 27th 2020!** |
| | | | |
| - | The first lecture is on **December 5th 2019**. | |
| | | | |
| | Basic knowledge in Automata, Logics, Complexity. | | Basic knowledge in Automata, Logics, Complexity. |
| | | | |
| | We will focus on standard models and technics. | | We will focus on standard models and technics. |
| | + | |
| | + | * [[http://www.lsv.fr/~bouyer/mpri1920/mpri-lecture-notes-lect1.pdf|Lecture Notes]] 23/01/2020 [[http://www.lsv.fr/~bouyer/mpri1920/mpri-slides.pdf|Slides]] |
| | + | |
| | + | * [[http://www.lsv.fr/~bouyer/mpri1920/mpri-lecture-notes-lect2.pdf|Lecture Notes]] 30/01/2020 |
| | + | |
| | + | * [[http://www.lsv.fr/~bouyer/mpri1920/mpri-lecture-notes-lect3.pdf|Lecture Notes]] 06/02/2020 |
| | + | |
| | + | * [[http://www.lsv.fr/~bouyer/mpri1920/mpri-lecture-notes-lect4.pdf|Lecture Notes]] 20/02/2020 |
| | | | |
| | ===== Language ===== | | ===== Language ===== |