Mostrando recursos 1 - 20 de 36

  1. Inductive-deductive systems: a mathematical logic and statistical learning perspective

    Baskiotis , Nicolas; Sebag , Michèle; Teytaud , Olivier
    National audience

  2. La propiedad industrial en el ámbito del Derecho penal cubano

    González Medina, Alexeys; Mendoza Pérez, Juan Carlos; Arias Hernández, Yalennis
    La problemática que hoy genera la deficiente regulación de la Propiedad Industrial en la legislación penal cubana, al no contener los diferentes supuestos de hechos que tipifique las conductas antijurídicas lesivas de este bien jurídico, motiva esta investigación en la que a partir de un estudio doctrinal y exegético de la teoría del bien jurídico se aportan elementos para su adecuada configuración y tutela en sede penal, que garanticen el respeto a la seguridad jurídica. Fueron utilizados como métodos científicos los propios de las investigaciones jurídicas (el teórico y el exegético), así como los generales de las investigaciones teóricas (análisis-síntesis, inductivo-deductivo,...

  3. Modelo de Monitorização e Controlo do Ruído na Linha da Frente das Esquadras de Voo da Força Aérea

    Estragadinho, Paulo
    A exposição ao ruído no local de trabalho é das causas de doença profissional mais frequentes originando, frequentemente, outras perturbações fisiológicas e psicológicas. O objetivo deste estudo é conhecer o contexto das perdas auditivas, relacionadas com o ruído nas esquadras de voo da Força Aérea (FA) e propor um Modelo de Monitorização e Controlo, para as perdas auditivas nos militares expostos ao ruído, de forma a evitar possíveis consequências para a sua saúde. O estudo usou um raciocínio dedutivo com uma estratégia quantitativa. Como instrumentos de recolha de dados utilizou um inquérito por questionário, exames audiométricos, medição de níveis de pressão sonora e entrevistas. Estudam-se as influências do ruído...

  4. A implementação nas Forças Armadas da certificação de serviços, produtos e pessoal

    Vareta, José
    O objeto de estudo deste trabalho é a certificação na Força Aérea Portuguesa (FA) da formação ministrada no Centro de Formação Militar e Técnica da Força Aérea (CFMTFA), no âmbito das especialidades relacionadas com a manutenção de aeronaves. O objetivo geral consiste em analisar o atual modelo escolar da Escola de Manutenção Aeronáutica da Força Aérea, de forma a assegurar o cumprimento da sua função, nos domínios da certificação dos cursos homologados pela Autoridade Nacional da Aviação Civil. O objetivo desta investigação é avaliar o contributo da certificação Parte 147 na EMAFA. Será empregue um raciocínio hipotético-dedutivo que é resultado das leituras, observações e entrevistas, tendo sido adotado no...

  5. Implementação de um Modelo de Inspeção dos Imóveis da Força Aérea

    Dias, Emanuel
    A Força Aérea (FA) possui um parque de imóveis vasto e disperso territorialmente, exigindo um grande esforço na componente de manutenção e conservação. O atual processo de inspeção de imóveis tem um forte caráter reativo, apresentando algumas falhas que comprometem a afetação dos recursos, tanto humanos como económicos. Assim e para dotar a FA com ferramentas que agilizem e tornem a inspeção de imóveis mais eficiente, estudou-se a implementação de um Modelo de Inspeção de Imóveis (MII), na FA, através do estudo e análise do processo atual. Para tal empregou-se um raciocínio hipotético-dedutivo, com investigação através de sete entrevistas estruturadas,...

  6. A autoproteção das aeronaves da Força Aérea e qualificação das tripulações

    Boita, João
    A recente participação da Força Aérea (FA) em cenários com ameaça real incita a que se reflita sobre a capacidade de autoproteção atual das aeronaves e na forma como são preparadas as tripulações e as plataformas. Os sistemas de Guerra Eletrónica (GE), como parte integrante da autoproteção, assumem um papel preponderante no domínio do Espectro Eletromagnético (EEM), o qual é explorado pelas ameaças Radio Frequência (RF) e Eletro-óticos (EO). A confiança das tripulações nos sistemas GE e a forma como são explorados são fatores chave, que, por isso, urgem estudar. O presente Trabalho de Investigação Individual (TII) debruçou-se sobre a perceção...

  7. Evolução recente e tendências da Iniciativa 5+5

    Santos, Álvaro
    A Iniciativa 5+5 Defesa foi criada, em 2004, para desenvolver a cooperação multilateral político-militar com o objetivo de promover a segurança no Mediterrâneo Ocidental, deixando de fora as dinâmicas turbulentas do Mediterrâneo Oriental. Neste trabalho, que segue o raciocínio hipotético-dedutivo, procura-se refletir sobre a cooperação multilateral de defesa no quadro da Iniciativa 5+5 Defesa desde 1990 até 2030 com os objetivos de analisar a sua génese, avaliar o impacto das Primaveras Árabes e da crise da Líbia no ambiente estratégico, bem como, avaliar a evolução da cooperação desde a génese da Iniciativa até ao presente, procurando perceber como pode evoluir nos...

  8. The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics

    ,; Retoré , Christian
    International audience

  9. Ars erotica

    Borrillo , Daniel
    Desde hace algún tiempo, estoy reflexionando junto a un grupo de juristas y politólogos acerca de la necesidad de pensar el género y las sexualidades desde la perspectiva del Derecho continental propio al mundo latino. A fin de descartar cualquier malentendido, es necesario señalar que el concepto de latinidad no se refiere únicamente a una tradición cultural relacionada con la herencia greco-romana, el Renacimiento, el humanismo y, desde la perspectiva del Derecho, ciertos principios como la preeminencia de la ley, la lógica deductiva, el arte de la retórica, o ciertas expresiones artísticas como el barroco o la opera sino que...

  10. Obstáculos epistemológicos en matemática: una experiencia didáctica sobre lógica proposicional

    Calderón, Pablo; Olea, María Mercedes; Tellechea, Mariana Edith
    La experiencia que presentamos surgió como propuesta de la materia humanística de posgrado de la (UNLP), “Fundamentos epistemológicos e históricos de la enseñanza de las ciencias'', materia obligatoria para la obtención del título de Doctor de la Facultad de Ciencias Exactas, dictada en el segundo semestre del año 2015. Los responsables de la materia fueron el Dr. Diego Petrucci, el Dr. Osvaldo Capannini y el Lic. Daniel Badagnani. El objetivo de nuestra experiencia fue detectar una situación particular que ocurre en los diferentes niveles educativos (en mayor o menor medida), que se conoce como obstáculo epistemológico y analizar en qué medida...

  11. Logic, deductive and inductive /

    Read, Carveth, 1848-1931
    Mode of access: Internet.

  12. Entimemas probatorios

    Bonorino, Pablo Raúl
    En este trabajo se abordan dos problemas relacionados con los entimemas (entendidos como argumentos incompletos) formulados en procedimientos penales para apoyar la verdad de un enunciado fáctico: (1) ¿Cómo se puede justificar la atribución de un enunciado a un texto que no lo contiene?, y (2) ¿Cómo se puede escoger la premisa tácita a incorporar durante la reconstrucción cuando el texto admite más de una interpretación? Se rechazan dos variantes de deductivismo (ingenua y sofisticada) por no ser capaces de responder a sus críticos sin abandonar su compromiso con la lógica deductiva. Se defiende un modelo interpretativo como alternativa, basado...

  13. compte rendu d'ouvrage : Richard Moot et Chrisitan Retoré, The logic of categorial grammars: a deductive account of natural language syntax and semantics

    Godart-Wendling, Béatrice
    Revue électronique internationale Traitement Automatique des Langues, 2012, 53/2.

  14. compte rendu d'ouvrage : Richard Moot et Chrisitan Retoré, The logic of categorial grammars: a deductive account of natural language syntax and semantics

    Godart-Wendling, Béatrice
    Revue électronique internationale Traitement Automatique des Langues, 2012, 53/2.

  15. Logic, deductive and inductive [microform].

    Read, Carveth, 1848-1931.
    Microfilm.

  16. Elements of deductive logic [microform]...

    Fowler, Thomas, 1832-1904.
    His logic deductive and inductive.

  17. The theory of thought : a treatise on deductive logic.

    Davis, Noah Knowles, 1830-1910.
    Preface signed: Noah K. Davis.

  18. The role of logical interpretations on program development

    Martins, Manuel A.; Madeira, Alexandre; Barbosa, L. S.
    Stepwise refinement of algebraic specifications is a well known formal methodology for program development. However, traditional notions of refinement based on signature morphisms are often too rigid to capture a number of relevant transformations in the context of software design, reuse, and adaptation. This paper proposes a new approach to refinement in which signature morphisms are replaced by logical interpretations as a means to witness refinements. The approach is first presented in the context of equational logic, and later generalised to deductive systems of arbitrary dimension. This allows, for example, refining sentential into equational specifications and the latter into modal...

  19. Logic: deductive and inductive [microform].

    Bain, Alexander, 1818-1903.
    Microfilm.

  20. Logic for children [microform] : deductive and inductive : being the substance of two addresses to teachers delivered before the College of Preceptors ... /

    Ellis, Alexander John, 1814-1890.
    "The first lecture reprinted from the Educational Times for June, July, and August, 1872; the second from the same for March, April, and May, 1873; both with numerous additions."

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.