Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

"Sacando" o voleibol : do amadorismo a espetacularização da modalidade no Brasil (1970-2000)

Universidade Estadual de Campinas . Faculdade de Educação Física

A lógica da compaixão

Tomando como ponto de partida os trabalhos de Nietzsche, Hannah Arendt e Michel Foucault, este escrito pretende problematizar a lógica interna da compaixão piedosa, pois, como tentaremos mostrar, ela parece instaurar uma modalidade peculiar de exercício de poder que se estrutura a partir do binômio servir-obedecer. A partir desses autores, pretendemos ler alguns exemplos que a história da humanidade nos apresenta para ilustrar o exercício dessa "cruel compaixão".

Lógica BDI fuzzy

Intendding to understand how the human mind operates, some philosophers and psycologists began to study about rationality. Theories were built from those studies and nowadays that interest have been extended to many other areas such as computing engineering and computing science, but with a minimal distinction at its goal: to understand the mind operational proccess and apply it on agents modelling to become possible the implementation (of softwares or hardwares) with the agent-oriented paradigm where agents are able to deliberate their own plans of actions. In computing science, the sub-area of multiagents systems has progressed using several works concerning artificial intelligence, computational logic, distributed systems, games theory and even philosophy and psycology. This present work hopes to show how it can be get a logical formalisation extention of a rational agents architecture model called BDI (based in a philosophic Bratman s Theory) in which agents are capable to deliberate actions from its beliefs, desires and intentions. The formalisation of this model is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access relations: B, D and I. And here, it will show two possible extentions that tranform BDI logic in a modal-fuzzy logic where the formulae and the access relations can be evaluated by values from the interval [0,1]

Construção de exemplos didáticos para o ensino do voleibol a partir dos critérios da lógica interna

O objetivo deste estudo foi elaborar exemplos didáticos para o ensino para o Voleibol apresentando a relevância das açoes táticas presentes nos esportes coletivos, oriundas da sua lógica interna. Para a elaboraçao de uma Unidade Didática de ensino do voleibol, alguns procedimentos foram priorizados para as a construçao das atividades, tais como: manter o princípio de interaçao motriz (colaboraçao/oposiçao); priorizar o processo de tomada de decisao; utilizaçao parcial do método situacional através dos momentos do exercício situacional e jogo motriz. Entendemos que esses conhecimentos sobre a estrutura e elementos centrais no voleibol devem compor o ensino da modalidade em questao, tanto em âmbito teórico como na organizaçao do trabalho pedagógico do professor. Assim, acreditamos pertinente que é necessário que o professor de Educaçao Física se aproprie de conhecimentos da Praxiologia Motriz para que possa compreender melhor o que está ensinando para realizar análises e construir alternativas didáticas para suas aulas ou treinamentos de voleibol

Construção de exemplos didáticos para o ensino do voleibol a partir dos critérios da lógica interna

O objetivo deste estudo foi elaborar exemplos didáticos para o ensino para o Voleibol apresentando a relevância das açoes táticas presentes nos esportes coletivos, oriundas da sua lógica interna. Para a elaboraçao de uma Unidade Didática de ensino do voleibol, alguns procedimentos foram priorizados para as a construçao das atividades, tais como: manter o princípio de interaçao motriz (colaboraçao/oposiçao); priorizar o processo de tomada de decisao; utilizaçao parcial do método situacional através dos momentos do exercício situacional e jogo motriz. Entendemos que esses conhecimentos sobre a estrutura e elementos centrais no voleibol devem compor o ensino da modalidade em questao, tanto em âmbito teórico como na organizaçao do trabalho pedagógico do professor. Assim, acreditamos pertinente que é necessário que o professor de Educaçao Física se aproprie de conhecimentos da Praxiologia Motriz para que possa compreender melhor o que está ensinando para realizar análises e construir alternativas didáticas para suas aulas ou treinamentos de voleibol

Construção de exemplos didáticos para o ensino do voleibol a partir dos critérios da lógica interna

O objetivo deste estudo foi elaborar exemplos didáticos para o ensino para o Voleibol apresentando a relevância das açoes táticas presentes nos esportes coletivos, oriundas da sua lógica interna. Para a elaboraçao de uma Unidade Didática de ensino do voleibol, alguns procedimentos foram priorizados para as a construçao das atividades, tais como: manter o princípio de interaçao motriz (colaboraçao/oposiçao); priorizar o processo de tomada de decisao; utilizaçao parcial do método situacional através dos momentos do exercício situacional e jogo motriz. Entendemos que esses conhecimentos sobre a estrutura e elementos centrais no voleibol devem compor o ensino da modalidade em questao, tanto em âmbito teórico como na organizaçao do trabalho pedagógico do professor. Assim, acreditamos pertinente que é necessário que o professor de Educaçao Física se aproprie de conhecimentos da Praxiologia Motriz para que possa compreender melhor o que está ensinando para realizar análises e construir alternativas didáticas para suas aulas ou treinamentos de voleibol

Mães ouvintes com filhos surdos: concepção de surdez e escolha da modalidade de linguagem

The aim of this study was to analyze the conceptions that hearing mothers of deaf children have about deafness and relate it to the language mode used by the mother and the child. We interviewed 10 mothers of deaf children, five of whom were prescholars and five of school age. The content was analyzed as to thematic and category types, with emphasis on the categories conception of deafness and choice of language mode . Data analysis showed that one mother seems to see deafness as a disease, another as a difference and the other mothers were found to be somewhere between these two views. In relation to the preferred language mode, half the mothers reported that their children predominantly use signs, the other half uses speech and signs, with the exception of one child who uses only speech. The child whose mother acts as if deafness is a disease uses speech while another one whose mother acts as if deafness is a difference uses speech as well as signs.

Esgrima em cadeira de rodas : pedagogia de ensino a partir das dimensões e contexto da modalidade

Universidade Estadual de Campinas . Faculdade de Educação Física

Pedagogia do esporte : identificação, discussão e aplicação de procedimentos pedagogicos no processo de ensino-vivencia aprendizagem da modalidade basquetebol

Universidade Estadual de Campinas . Faculdade de Educação Física

Estudos dos desniveis e desvios posturais nas atletas que praticam a modalidade esportiva voleibol

Universidade Estadual de Campinas. Faculdade de Educação Física

O Taekwondo como modalidade paradesportiva

Universidade Estadual de Campinas . Faculdade de Educação Física

Basquetebol masculino paulista : apropriação das caracteristicas do esporte profissional na estrutura organizacional das categorias de base

Universidade Estadual de Campinas . Faculdade de Educação Física

Performance da resistencia muscular de membros inferiores em praticantes da modalidade esportiva voleibol, atraves do salto vertical

Universidade Estadual de Campinas. Faculdade de Educação Física

Preg??o: uma nova modalidade de licita????o

Inseridos no contexto de log??stica globalizada e economia digital e, objetivando minimizar os efeitos burocratizantes das modalidades em uso, o Minist??rio do Planejamento, Or??amento e Gest??o, por interm??dio da Secretaria de Log??stica e Tecnologia da Informa????o/SLTI e, do seu Departamento de Log??stica e Servi??os Gerais/DLSG, gestor das compras e contrata????es do Governo Federal, respons??vel pela formula????o de diretrizes e pol??ticas p??blicas neste segmento, idealizou e direcionou esfor??os para a cria????o de uma nova modalidade de licita????o, que atendesse aos anseios mais emergentes do governo, dos fornecedores e da sociedade em geral. Assim, em 4 de maio de 2000, instituiu-se no ??mbito da Uni??o, nos termos do art. 37 da Constitui????o Federal, a modalidade de licita????o denominada ???Preg??o???, realizada inicialmente de forma presencial, direcionada ??s aquisi????es de bens e servi??os comuns