zpravodaj ČSKI - červen 2018 [ pdf ] |
[ zaslat oznámení o přednášce ] |
únor | | | březen | | | duben | | | květen | | | červen | | | říjen | | | listopad | | | prosinec |
datum: 26.6.2018 v 14:00
název: A computational study of Open-Definability
přednášející: M. Campercholi
místo konání: UI, 2.patro, místnost č.318
souhrn: Let A be a structure. A set T of n-tuples from A is open-definable provided there is a quantifier-free first-order formula F(x1;...;xn) such that F holds exactly for the tuples in T. In our talk we shall discuss computational aspects of deciding open-definability.