Akce ČVUT
Dnes | ||||||
---|---|---|---|---|---|---|
« | květen 2009 | » | ||||
Po | Út | St | Čt | Pá | So | Ne |
1 | 2 | 3 | ||||
4 | 5 | 6 | 7 | 8 | 9 | 10 |
11 | 12 | 13 | 14 | 15 | 16 | 17 |
18 | 19 | 20 | 21 | 22 | 23 | 24 |
25 | 26 | 27 | 28 | 29 | 30 | 31 |
Matematická kolokvia: Modální logika trochu jinak
07.05.2009 11:30-12:30
Libor Nentvich: Modální logika trochu jinak
V této přednášce ukážeme aplikaci teorie kategorií v modální logice. Hledání vhodné logiky je důležitým problémem v computer science (automaty, model checking, umělá inteligence, ...), ekonomice (teorie her), apod. Odpověď: Popište chování systému a teorie kategorií kanonickým způsobem vygeneruje modální logiku.
- Místo konání
- Zikova 4, Praha 6, 2. poschodí, dveře č. 30
- Pořadatel
- Katedra matematiky FEL ČVUT v Praze
- Kontaktní osoba
- RNDr. Veronika Sobotíková, CSc., katedra matematiky
- Podrobnější informace
- http://math.feld.cvut.cz/0misc/kolokvia_LS_0809.htm