LOGICA MATEMATICA

PROPSITOS

Contribuir al desarrollo de habilidades de pensamiento en estudiantes de diferentes programas que oferta la UNAD mediante la activacin cognitiva de operaciones mentales que faciliten la apropiacin de nociones, definiciones, axiomas y leyes que constituyen fundamentos bsicos en teora de conjuntos. Desarrollar en el estudiante habilidades de comunicacin en contextos diversos mediante la articulacin de lenguajes icnicos, simblicos o artificiales como el de la lgica proposicional para dinamizar procesos de aprendizaje en diferentes campos del saber. Aportar elementos significativos que contribuyan a desarrollar en el estudiante la habilidad para argumentar, razonar o formular generalizaciones por induccin o deduccin a travs de la interpretacin de los fundamentos estructurales que caracterizan a tales mtodos de inferencia lgica. Despertar en el estudiante especial inters por reflexionar e investigar desde los diferentes contextos disciplinares la identificacin de sistemas axiomticos mediante el estudio y anlisis riguroso sobre los componentes estructurales que los componen. Desarrollar en el estudiante la habilidad para representar e interpretar circuitos lgicos de conmutacin a partir de la aplicacin sistemtica de los fundamentos que orientan la lgica proposicional.

Objetivos

Que el estudiante comprenda nociones, conceptos, definiciones y operaciones bsicas que configuran la fundamentacin terica sobre conjuntos mediante el estudio y anlisis de las fuentes documentales propuestas articuladas a situaciones especficas donde es pertinente su aplicacin. Que el estudiante relacione expresiones del lenguaje simblico y del lenguaje natural mediante anlisis comparativo e interpretacin de la funcionalidad de las variables lgicas y operacionabiliadad de los conectivos lgicos como elementos estructurales de la lgica proposicional transcribibles a otras formas de comunicacin en diferentes contextos del saber. Que el estudiante interprete la fundamentacin terica que soporta los mtodos de inferencia lgica por deduccin e induccin a travs del estudio, anlisis, aplicacin y ejercitacin de los axiomas y leyes de inferencia lgica en la formulacin y demostracin de razonamientos vlidos. Que el estudiante discrimine y caracterice los elementos constituyentes de sistemas axiomticos como el denominado Algebra Booleana mediante estudio, anlisis y comparacin de sistemas definidos en otros campos del conocimiento. Que el estudiante represente e interprete circuitos lgicos de conmutacin con base en los fundamentos de la lgica proposicional mediante el estudio y la relacin que surge entre conectores lgicos y compuertas lgicas.

Metas

El estudiante presentar y sustentar un informe personal de trabajo como resultado del estudio y anlisis de los fundamentos de la teora de conjuntos,

en donde evidencie la utilizacin de nociones, conceptos, definiciones y operaciones bsicas en el anlisis de situaciones especficas por l definidas. El estudiante plantear y formular expresiones lgicas en lenguaje natural y lenguaje simblico como evidencia del anlisis comparativo e interpretativo de la funcin que cumplen variables y conectores lgicos como elementos estructurales de las expresiones lgicas en el estudio de situaciones particulares propuestas para tal fin. El estudiante presentar una propuesta amplia de razonamientos y demostraciones como resultado del estudio, anlisis y ejercitacin en la interpretacin y aplicacin de los axiomas y leyes de inferencia lgica en los diferentes contextos disciplinares de formacin. El estudiante evidenciar un conocimiento significativo del lgebra Booleana como resultado del estudio, anlisis y comparacin de los elementos estructurales de los sistemas axiomticos en lgica proposicional, teora de conjuntos, sistemas numricos y circuitos lgicos. El estudiante mostrar dominio en propiedad sobre la esquematizacin e interpretacin de circuitos lgicos como producto del estudio y anlisis relacional entre conectores lgicos y compuertas lgicas en el rea de los circuitos digitales de amplia aplicacin en los ltimos desarrollos tecnolgicos.

Competencias

El estudiante comprende y aplica de manera suficiente nociones, conceptos, definiciones, axiomas y leyes que fundamentan la teora general de conjuntos en el estudio y anlisis de las fuentes documentales referenciadas para dinamizar el proceso de aprendizaje y en situaciones especficas donde es pertinente su aplicabilidad. El estudiante relaciona e interpreta expresiones del lenguaje simblico y del lenguajenatural en la formulacin y representacin de estructuras semnticas lgicas en trminos de variables y conectores lgicos como elementos estructurales de la lgica proposicional articulables a diferentes formas de comunicacin en diversos contextos. El estudiante interpreta e identifica en forma clara la estructura y fundamento conceptual que tipifica los mtodos de inferencia lgica por induccin y deduccin en formulaciones y demostraciones de razonamientos vlidos en situaciones especficas derivadas del estudio de contextos donde es pertinente su aplicabilidad. El estudiante discrimina y caracteriza los elementos constituyentes del Algebra Booleana en los sistemas numricos, la lgica proposicional, la teora de conjuntos y los circuitos lgicos. El estudiante representa esquemticamente e interpreta circuitos lgicos de conmutacin con base en los principios tericos de la lgica proposicional en el marco tecnolgico de las compuertas lgicas que basan su principio en la lgica binaria y que en la actualidad representan una amplia aplicacin en la electrnica moderna y la electrnica digital.

Contenido Terico
El curso de Lgica Matemtica tipificado como de fundamentacin terica, se proyecta como facilitador de los principios bsicos que dinamizan este campo del saber para contextualizarlo en las diferentes disciplinas de formacin que oferta la UNAD y direccionarlo en el sentido de motivar y promover en el estudiante el desarrollo de habilidades y destrezas en su quehacer disciplinar, profesional, socio humanstico e investigativo.

A travs del desarrollo de interesantes temticas que parten desde la teora fundamental de conjuntos, seguida de los principios bsicos de la lgica formal o proposicional que conducen al reconocimiento de la importancia de mtodos de inferencia lgica como induccin y deduccin, para finalmente aterrizar esta conceptualizacin en una de las aplicaciones tecnolgicas ms importantes y significativas que han contribuido al desarrollo de la electrnica, informtica y telemtica como son los denominados circuitos lgicos de conmutacin o compuertas lgicas.

Todo esta gama de temticas, para algunos desconocida, tienen como propsito generar con su desarrollo la activacin de procesos cognitivos que contribuyan al cultivo y fortalecimiento de habilidades de pensamiento en el estudiante como: abstraccin, anlisis, comparacin, clasificacin, induccin y deduccin, entre otras. El logro de este propsito es fundamentalmente importante para desarrollar y alcanzar niveles ptimos de desempeo en la realizacin de las metas de ndole personal, acadmica y profesional que cada ser humano acostumbra formularse.

Metododologa
En todo acto pedaggico intervienen cinco componentes: el que ensea, el que aprende, el sistema de comunicacin, el contenido de lo que va ser enseado y el bagaje cultural y acadmico del estudiante. En el diseo de este curso se tuvieron en cuenta las experiencias que promueven la articulacin de los anteriores elementos; por eso en su estructura se encuentran: Actividades previas: corresponden a las actividades en las cuales se identifican los propsitos del curso, sus intencionalidades y se presenta el desarrollo del curso. Puede desarrollarse de manera individual a travs del estudio del protocolo del curso o a travs de actividades grupales propuestas. Actividades de ejecucin: se llevan a cabo por medio de diversas actividades con el fin de alcanzar los propsitos de formacin. Se dan a travs de: Estudio independiente, desarrollado por el estudiante, a travs de: Estudio del material sugerido por la UNAD. Consulta de fuentes documentales ( bibliografa de documentos impresos en papel: libros y revistas; bibliografa de documentos situados en Internet; direcciones de sitios Web de informacin especializada, bibliotecas y hemerotecas virtuales, etc. ) Trabajo en grupo: desarrolladas por estudiantes a travs de pequeos grupos colaborativos, con el propsito de: Crear grupos de estudio o discusin, para resolver dudas y preparar consultas estructuradas al tutor. Consultas al tutor: teniendo en cuenta las inquietudes, el tutor estar dispuesto a resolver dichas consultas. Se puede realizar a travs de:

Tutora: Sesiones formativas cuya finalidad es asesorar a los estudiantes en los puntos crticos del curso. Se puede realizar de forma individual, en pequeos grupos o en grupo de clase. Medios tecnolgicos: a travs de herramientas como correo electrnico, salas de conversacin, foros, etc. Actividades de evaluacin: permiten identificar los logros alcanzados en cada una de las unidades didcticas, establecer las dificultades en el aprendizaje y afianzar los conocimientos adquiridos. Lea cuidadosamente la programacin y organizacin de dichas actividades dentro del curso. Esto le brindar la oportunidad de desarrollar un proceso de aprendizaje evidenciado en sus fases de reconocimiento, profundizacin y transferencia. Al poner en operacin estas fases, propias del proceso de aprendizaje, cada uno de los participantes del curso tiene la oportunidad de materializar su propio proyecto de aprendizaje, esto es, su propio proceso de descubrimiento que por su misma naturaleza, es individual y que se reafirma desde la cooperacin de cada uno de los compaeros de pequeo y gran grupo.