tisk | prohledávání 
 
 
zpravodaj ČSKI
aktuální číslo
přednáška
archiv
  - 2017
  - 2016
  - 2015
  - 2014
  - 2013
  - 2012
  - 2011
  - 2010
  - 2009
  - 2008
  - 2007
  - 2006
  - 2005
  - 2004
  - 2003
  - 2002
  - 2001
  - 2000
  - 1999
  - 1998
  - 1997
  - 1996
  - 1995
  - 1994
 
 
zpravodaj ČSKI - listopad 2012 [ pdf ]
[ zaslat oznámení o přednášce ]
únor|březen|duben|květen|červen|červenec|říjen|listopad|prosinec


datum: 7.11.2012 v 14:00
název: Vícehodnotová koalgebraická logika
přednášející: Matěj Dostál
místo konání: UI, 2.patro, místnost č.318

souhrn: Koalgebry jsou vhodným nástrojem pro studium reaktivních systémů. Účelem koalgebraické logiky je uniformní popis chování těchto systémů. Ve speciálním případě (pro systémy tvaru kripkovských rámců) získáváme jazyk s expresí klasické modální logiky. Co se stane, když budeme chtít tento přístup dále zobecnit a zavést vícehodnotovou relaci splnitelnosti? Tímto způsobem bychom mohli získat například vícehodnotovou modální logiku kripkovských rámců a modelů. Předvedu techniku zobecnění, některá úskalí, se kterými jsem se setkal, a ukážu sémantiku některých logik vzniklých touto technikou.