Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
lat [2011/03/01 20:50] jobstman |
lat [2011/03/01 20:51] jobstman |
||
|---|---|---|---|
| Line 52: | Line 52: | ||
| **Outline of the first week** (19/04/2010 - 24/04/2010) : | **Outline of the first week** (19/04/2010 - 24/04/2010) : | ||
| - //Monday.// Introduction, First and Second Order Logics {{:w1_mon.pdf|}} (4h, Radu Iosif) | - //Monday.// Introduction, First and Second Order Logics {{:w1_mon.pdf|}} (4h, Radu Iosif) | ||
| - | - //Tuesday.// Automata on Finite Words. Definitions of Recognizability {{w1_tue.pdf|}} (4h, Radu Iosif) | + | - //Tuesday.// Automata on Finite Words. Definitions of Recognizability {{:w1_tue.pdf|}} (4h, Radu Iosif) |
| - //Wednesday.// Regular, Star Free and Aperiodic Languages {{:w1_wed.pdf|}} (4h, Radu Iosif) | - //Wednesday.// Regular, Star Free and Aperiodic Languages {{:w1_wed.pdf|}} (4h, Radu Iosif) | ||
| - //Thursday.// Automata on Infinite Words {{:w1_thu.pdf|}} (4h, Radu Iosif) | - //Thursday.// Automata on Infinite Words {{:w1_thu.pdf|}} (4h, Radu Iosif) | ||