Search

We investigate the following problem: given a sample of classified strings, find a first-order sentence of minimal quantifier rank that is consistent with the sample. We represent strings as successor string structures, that is, finite structures with unary predicates to denote symbols in an alphabet, and a successor relation. We use results of the Ehrenfeucht-Fra\"iss\'e game over successor string structures in order to design an algorithm to find such sentence. We use conditions characterizing the winning strategies for the Spoiler on successor strings structures in order to define formulas which distinguish two strings. Our algorithm returns a boolean combination of such formulas., Comment: In Proceedings GandALF 2018, arXiv:1809.02416

Embora os estudantes universitários tenham fácil acesso à informação sobre a transmissão do VIH e os comportamentos de risco associados à actividade sexual, esta informação nem sempre é correcta nem se baseia em fontes fiáveis ou conhecimentos científicos. Por outro lado, o nível de conhecimentos nem sempre se traduz numa utilização mais frequente do preservativo. Neste estudo analisaram-se as fontes de informação sobre os métodos contraceptivos e as doenças de transmissão sexual, os conhecimentos sobre a AIDS e o modo de transmissão do VIH e o uso do preservativo em 678 estudantes universitários portugueses e espanhóis. O nível de conhecimento é elevado em ambas as amostras, contudo os estudantes portugueses apresentam um melhor nível. Encontraram-se algumas diferenças no uso do preservativo e na utilização das fontes de informação entre países e sexo. Discutem-se as implicações para as actividades de promoção da saúde assim como o papel dos diferentes agentes educativos. Palavras-chave: AIDS; fontes de informação; conhecimentos; uso do preservativo; estudantes universitários.