On the EA-style integrated processing of self-contained mathematical texts

A sound and complete first-order goal-oriented sequent-type calculus is developed with ``large-block'' inference rules. In particular, the calculus contains formal analogues of such natural proof-search techniques as handling definitions and applying auxiliary propositions.

Adaptive languages and a new programming style

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Estilo parental percebido e adaptação psicológica de adolescentes adotados

Nas últimas décadas, diversos autores têm indicado que a condição de ser filho adotivo implica maior risco de desadaptação psicológica. Frente a isto, esta pesquisa investigou as relações existentes entre auto-estima, depressão, estilo parental percebido e adoção. A amostra foi composta por 524 adolescentes entre 14 e 15 anos de idade (68 adotados e 456 criados pelas famílias biológicas). Os instrumentos utilizados foram um questionário demográfico, as Escalas de Responsividade e Exigência Parental, o CDI e a Escala de Auto-Estima de Rosenberg. Análises de Regressão apontaram que as variáveis que apresentaram maior efeito sobre os índices de saúde emocional foram a responsividade parental, o sexo e o tipo de filiação. Os achados indicaram que pais adotivos são significativamente mais indulgentes do que pais biológicos. Em comparação, pais biológicos foram descritos por seus filhos como mais negligentes. Os resultados demonstraram ainda que a adoção isoladamente não resulta em maior depressão entre os jovens, mas a interação da afiliação com diversos outros fatores determina diferenças nestes escores. Os achados corroboraram o efeito transcultural dos estilos parentais sobre a adaptação psicológica e confirmaram a hipótese de que as estratégias de socialização parental moderam o desenvolvimento dos adolescentes adotados.

Tradução, adaptação e validação do Defensive Style Questinnaire (DSQ-40) para o português brasileiro

O estudo dos mecanismos de defesa do ego tem servido como indicativo do modo típico de um indivíduo lidar com os conflitos. Os mecanismos de defesa podem ser agrupados em três fatores alocados de forma hierárquica: fatores maduros, neuróticos e imaturos. Bond desenvolveu um questionário objetivo e auto-aplicável, o Defensive Style Questionnaire – DSQ, que visa identificar os derivados conscientes dos mecanismos de defesa. O objetivo desse estudo é o de descrever o processo de tradução do Defensive Style Questionnaire (DSQ-40) versão em português e avaliar a confiabiidade, validade de conteúdo de constructo dessa versão do instrumento. Métodos: A primeira versão da escala foi apresentada para cinco indivíduos, com graus diferentes de escolaridade, que efetuaram pequenos ajustes de linguagem. Posteriormente, a escala foi apresentada para três “experts”, que avaliaram a validade de conteúdo do instrumento. A versão final foi retraduzida e apresentada para o autor do instrumento original que aceitou essa versão do DSQ-40. Posteriormente foi avaliada a confiabilidade e validade da versão em português do Defensive Style Questionnaire (DSQ-40). A amostra constitui-se de 339 indivíduos. Uma subamostra (n=75) foi avaliada também pelo MMPI, e outra subamostra (n=66) foi também avaliada pelo DFS (Escala de Funcionamento Defensivo). Resultados: Houve necessidade de pequenos ajustes no vocabulário em oito questões e modificações na linguagem em quatro questões, resultando na versão final do instrumento. A média de correlação dos “experts” com cada defesa foi de 89%, e dos fatores maduros, imaturos e neuróticos foi de 100%. A análise fatorial do instrumento forneceu uma distribuição das defesas semelhante ao instrumento original. A avaliação teste-reteste demonstrou boa correlação intraclasse em todos os fatores. O uso de defesas imaturas e neuróticas foi maior entre os pacientes que os controles (p<0,05). Houve correlação entre o nível defensivo de acordo com o DFS (p=0,006) e MMPI (p=0,004) e as defesas imaturas. Conclusões: A adaptação do DSQ-40 por diferentes indivíduos com diferentes graus de escolaridade e pelo grupo de experts possibilitou o ajuste à realidade sociocultural brasileira. Os dados do presente estudo indicam que a versão em português do DSQ-40 possui características psicométricas que permite o seu uso na nossa cultura.