Aplicación de la teoría de la actividad a la formalización de enunciados con lógica de predicados: un primer acercamiento

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.

Entre o silêncio e a paisagem. Lógica e imaginação na construção de um pensamento devir paisagem

Doutoramento em Arquitetura Paisagista - Instituto Superior de Agronomia - UL

Formulación de un plan de seguridad lógica para la red del proyecto del consorcio FONPET

90 p.

Menos volume, mais valor pesquisador defende a lógica de biorrefinarias.

2015

Água como tema CTS no ensino médio : uma proposição

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Biológicas, Instituto de Física, Instituto de Química, Faculdade UnB Planaltina, Programa de Pós-Graduação em Ensino de Ciências, Mestrado Profissional em Ensino de Ciências, 2016.

Distintos enfoques hacia una teoría de la formalización en Lógica

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

Distintos enfoques hacia una teoría de la formalización en Lógica

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

Aplicação do método POLD® na redução da sintomatologia álgica da lombociatalgia

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

Efeitos do suster-relaxar na cinemática tridimensional, função neuromuscular e sintomatologia álgica de um atleta de crossfit com dor lombar

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

Proposição de descritores sensoriais para Análise Descritiva Quantitativa de Caquis ?Rama Forte?.

A análise sensorial utiliza os sentidos da visão, olfato, paladar e audição para interpretar as reações dos consumidores às características dos alimentos. A principal vantagem da Análise Descritiva Quantitativa (ADQ) é a possibilidade de avaliação dos atributos sensoriais dos produtos, independentemente da preferência do julgador. O objetivo deste trabalho foi estabelecer os descritores sensoriais, uma das etapas da ADQ, para a avaliação de caquis ?Rama Forte?.

Lógica de funconamento das EMAP

A imagem apresenta a lógica de cobertura das Equipes Multiprofissionais de Apoio (EMAP).