917 resultados para Lógica concreta


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Abordaje y reconstrucción del contexto histórico de las situaciones actuales que marcan los hechos de violencia en el ambiente familiar que repercute negativamente en los niños y niñas del municipio de San Miguel, implicando la intervención del Estado y la guerra civil que sufrió el país. Asimismo, analiza los factores actuales de la violencia: políticas estatales, seguridad económica y social. La investigación aplica el método dialéctico desde la lógica del descubrimiento y utilizando la categoría de la totalidad concreta de Kosik.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Kepa Fernández de Larrinoa (ed.)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

252 p.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

En este trabajo se describe una investigación en curso, en que se aborda una de las problemáticas que se presenta en los cursos de lógica o inteligencia artificial, en el tema de representación del conocimiento. Cuando se pide a los estudiantes formalizar enunciados del lenguaje común (natural) con el lenguaje de la lógica de predicados. Se describen algunos de los errores identificados con alumnos del nivel superior y se aplica la teoría de la actividad para caracterizar la habilidad de traducir enunciados del lenguaje común (natural) a fórmulas bien formadas del lenguaje de la Lógica de predicados. Se propone una base de orientación que se deben usar al resolver los problemas de formalización (traducción) que se plantean en los cursos mencionados.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Doutoramento em Arquitetura Paisagista - Instituto Superior de Agronomia - UL

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Direito, Pós-Graduação Stricto Sensu em Direito, 2016.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Projeto de Graduação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Licenciado em Fisioterapia