zpravodaj ČSKI
aktuální číslo
přednáška
archiv
  - 2019
  - 2018
  - 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 - květen 2013 [ pdf ]
[ zaslat oznámení o přednášce ]
leden|únor|březen|duben|květen|červen|říjen|listopad|prosinec


datum: 15.5.2013 v 14:00
název: Universal homogeneous objects
přednášející: Alexandr Kazda (MFF UK)
místo konání: UI, 2.patro, místnost č.318

souhrn: Given a set of relations R, we can define new relations by formulas that use relations from R, existential quantifiers, conjunction and the equality symbol. Such formulas are called primitive positive definitions. Primitive positive definitions are a natural match for the study of the Constraint Satisfaction Problem (CSP): Every instance of CSP is essentially a primitive positive definition of either the true or false predicate. We show how to prove theorems about finite relational structures by taking a suitable primitive positive definition and changing it.