Act. 2 Logica Matematica

RECONOCIMIENTO GENERAL Y DE ACTORES. FASEII APORTE INDIVIDUAL

LUIS CARLOS EALO HERAZO

C.C 92.529.640

HERMES BONILLA CARDOSO

C.C 93.402.565

Tutor:

JAVIER FRANCISCO RODRIGUEZ MORA

Semestre 2.013 - I

UNIVERISDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS

PROGRAMA INGENIERIA DE SISTEMAS

CEAD COROZAL

SINCELEJO, SUCRE

2.013

INTRODUCCIÓN

El presente trata sobre reconocer en forma general el curso Lógica matemática, el grupo de trabajo y protocolo del mismo.

Por estudios previos realizados y lectura del contenido temático se entiende que la lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas.

Con el desarrollo del programa Lógica Matemática se estudiaran sistemas formales en relación con el modo en el que se codifican nociones intuitivas de objetos matemáticos como conjuntos, números y demostraciones.

Se estudiará la proposición lógica como aquel elemento fundamental de la lógica y se realizaran actividades prácticas para que el estudiante aprenda a implementar su representación gráfica.

En la primera unidad se estudiaran los Principios de la lógica, como son su definición, proposiciones y representaciones, conectivos lógicos y tablas de verdad entre otros temas como Tautología y cuantificadores y proposiciones categóricas.

En la segunda Unidad se estudiará el Razonamiento lógico y el método científico, las leyes de la inferencia lógica y finalmente se culmina el curso con el estudio de los argumentos inductivos

OBJETIVO

GENERAL

Realizar una presentación Individual de los datos académicos y perfil de cada estudiante, identificando a los demás participantes del grupo y el protocolo del curso con el fin de destacar la importancia del mismo en la carrera ingeniería de sistemas.

OBJETIVOS ESPECÍFICOS

Actualización del perfil del estudiante.

Desarrollar la guía de actividades Reconocimiento General y de Actores.

Determinar la Pertinencia del curso LógicaMatemática en la ingeniería de sistemas.

Determinar la Pertinencia del curso LógicaMatemática en el proyecto de vida.

Realizar la actividad de apareamiento lógico propuesta en la guía justificando la respuesta.

.

Númerodelequipo:586

Nombredelosintegrantesdelequipoqueparticiparon:

Luis Carlos Ealo Herazo

Ejerciciodeapareamiento:Debatecontuscompañeroslasoluciónalsiguienteejerciciodeapareamiento,enelcualseproponenalgunasdelascompetenciasqueelcursodelógicaMatemáticatepermitedesarrollarysuposibleaplicaciónenelcontexto:

En el cajón de la derecha, deben escribir el número o números que consideran corresponden a las aplicaciones que la competencia desarrollada permite

La competencia tiene aplicación en: Competencia desarrollada:

1 Investigación 4 Establecimientoderelacionesentreconjuntos

2 Solucióndeproblemas 2 ExpresarlenguajeNaturalenSimbólico

3 Interpretacióndetextos 3 SolucióndeTablasdeverdad

4 DebatedeIdeas 1 Clasificaciónderazonamientoslógicos

5 EscrituradeTextos 6 Validacióndeunrazonamientológico

6 Organizacióndelasideas IdentificacióndeTautologías

7 Seguimientoordenadodeprocesos 7 Identificacióndeequivalenciaslógicas

5 Simplificacióndeexpresioneslógicas

JUSTIFICACION:

Apareamiento Investigación: Clasificación de razonamientos lógicos: El estudiante en el proceso de investigación debe observar y experimentar, proceso que implica analizar diferentes situaciones y sus posibles soluciones, recopila datos los cuales deben ser organizados o tabulados en función al objetivo e interacción de cada elemento observado de manera coherente y lógica.

“Entre las competencias que debe tener un estudiante, se destaca su capacidad para

Construir razonamientos deductivos e inductivos (lógicos), tal que le permitan verificar hipótesis así como generar nuevas, una competencia necesaria, no sólo para la investigación científica, sino necesaria para actividades como proponer argumentos válidos en un ensayo o para debatir ideas.”

Solucióndeproblemas: ExpresarlenguajeNaturalenSimbólico, desarrollar la capacidad de convertir el lenguaje natural en lenguaje simbólico dota al estudiante de una herramienta en la solución de problemas los cuales al ser planteados en forma de notaciones permite una mejor compresión del mismo y aplicación de soluciones matemáticas y/o lógicas.

Interpretacióndetextos: SolucióndeTablasdeverdad, Al interpretar textos el estudiante simplifica el mismo llevándolo a lenguaje simbólico; pero si se encuentra con un número mayor de proposiciones el trabajo de solución se le hace mas difícil por la cantidad de datos. Para ello el matemático inglés George Boole inventó las tablas de verdad las cuales representan esquemáticamente las relaciones entre proposiciones halladas en el texto.

DebatedeIdeas: Establecimientoderelacionesentreconjuntos, Un debate de ideas puede ser analizado como el conjunto de ideas que establecen o giran entorno a un tema, al ser tratado como un conjunto de ideas se le pueden aplicar relaciones entre las mismas y por ende determinar sus proposiciones y hallar una solución mediante el algebra de Boole.

EscrituradeTextos: Simplificacióndeexpresioneslógicas, En la aplicación de las leyes de inferencia, Para analizar y construir la prueba de validez, es necesario utilizar un lenguaje simbólico que permita simplificar los enunciados, enunciados que se hayan en los textos escritos como por ejemplos: las preguntas en los exámenes de evaluación.

Organizacióndelasideas: Validacióndeunrazonamientológico, la ideas deben ser organizadas de manera lógica y coherentes para darles

...