Akce ČVUT

 Dnes
«  duben  2010  »
Po Út St Čt 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    

Zpět na kalendář

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