Akce ČVUT
Dnes | ||||||
---|---|---|---|---|---|---|
« | duben 2010 | » | ||||
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 |
Matematická kolokvia: Logické konexe a modální logika ve světech mimo množiny
12.04.2010 11:15
Jiří Velebil: Logické konexe a modální logika ve světech mimo množiny
Modální logika je vhodným jazykem pro popis chování automatů. Syntaxi takové logiky je možné zadat zcela abstraktně pomocí takzvaných logických konexí metodami teorie kategorií. Popíšeme, jak logické konexe vznikají a vysvětlíme úlohu schizofrenních modulů při vzniku logických konexí. Daný přístup má aplikace v modální logice nad posety, okruhy, atd.
- Místo konání
- Zikova 4, Praha 6, 2. poschodí, místnost č. 30 (Z4:B2-351)
- Kontaktní osoba
- RNDr. Veronika Sobotíková, CSc., katedra matematiky FEL, sobotik@fel.cvut.cz
- Podrobnější informace
- http://math.feld.cvut.cz/0rese/kolokvia/kolokvia.htm