The Settlements of the Dark Ages

2017

El contenido de Lógica para Informática se basa en la asignatura Lógica e Inteligencia Artificial (capítulos 1, 2 y 3, sobre la lógica proposicional o de enunciados, la lógica de predicados de primer orden y la lógica modal, respectivamente) y en parte de las asignaturas Teoría de la Computación y Verificación de Programas y Teoría de la Computación y Verificación de Programas Avanzada (capítulo 4, sobre la verificación axiomática de programas), asignaturas que los autores dictamos desde hace tiempo en la Licenciatura en Informática de la Universidad Nacional de La Plata. Los cuatro tópicos referidos conforman el objeto de estudio de este libro: la lógica (matemática), considerando tres de las lógicas más difundidas, y una de sus aplicaciones más interesantes en el contexto de la informática. El título del libro puede parecer restrictivo, pero nuestra intención es la contraria. El libro es efectivamente para Informática porque nuestra idea primaria es aportar material bibliográfico ...

Wiley-Blackwell eBooks, 2014

Aboriginal Culture Today, 1988

SEQUESTRO DE CRIANÇAS E CONVENÇÃO DE HAIA, 2024

O sequestro internacional praticado por mães que fogem do país em que residem com seus filhos por causa da violência doméstica sofrida é hoje tema recorrente de discussão em processos judiciais, que visam decidir sobre o destino dessas crianças. Ocorre que a “Convenção de Haia sobre os Aspectos Civis do Sequestro Internacional de Crianças” é omissa sobre se o sequestro motivado pela violência deve ser tratado como causa de exceção à regra geral de retorno, gerando insegurança jurídica aos envolvidos e diferentes desfechos em casos semelhantes. Diante disso, buscou-se averiguar, no decorrer deste livro, como devem ser tratadas as exceções do diploma internacional a partir de uma investigação da jurisprudência brasileira e estrangeira, sugerindo um padrão a ser seguido pelos Tribunais pátrios. Para isso, perpassou-se pela análise do contexto geral em que a Convenção foi instituída e qual a importância conferida à época às questões de gênero e proteção da criança, e o que mudou até os dias atuais. Ademais, observou-se como o contexto de sua aplicação no Brasil ganhou outro caráter a partir da condenação do país pela violação dos direitos humanos das mulheres no plano internacional, resultando na criação da Lei Maria da Penha, o que repercutiu diretamente em uma mudança de concepção em relação ao texto da própria Convenção. O livro traz todas essas questões sob uma conotação prática, buscando oferecer caminhos para uma solução do problema enfrentado por tantos operadores do Direito: se e sob quais circunstâncias poderia a violência doméstica enquadrar-se como hipótese de exceção ao retorno da criança ao país de origem.

Tuberculosis disease is a public health problem in Brazil, with high population mortality rates. The main problem with this pathology is the high number of people at the mercy of society, such as homeless people and those with the HIV virus, who, when affected, have a greater chance of causing undesirable outcomes. This work aims to demonstrate to the scientific community the impact of this problem in Brazil, based on the quantification of numbers offered by the federal government DATA SUS. The methodology of this study is a systematic observational review, searching for data from 2001 to 2024 on Tuberculosis. As a result, in this period almost one hundred thousand people were diagnosed with TB, mainly men aged around 20 – 30 years. Therefore, the high power of contamination of this disease in the population is demonstrated, as well as the continued need for public policies, which still appear to be flawed, such as ditero combat.