Acuerdo de curso Logica

1. ACTA DE ACUERDO PEDAGÓGICO - LICENCIATURA EN INFORMÀTICA LOGICA MATEMÀTICA El acta de acuerdo pedagógico se debe entregar en la oficina donde funciona el CREAD, debidamente firmado por las partes con sus respectivas copias y con la planilla de los estudiantes que asistieron. PROGRAMA: LICENCIATURA EN INFORMATICA________________________________ FECHA: Agosto 29 de 2009 PERIODO : B_____________________ CREAD: 51 NIVEL: 05 GRUPO:01___CURSO: LOGICA__MATEMATICA__ NOMBRE DEL TUTOR: Lic ELISABETH ECHAVARRIA TELÉFONOS: 3428767 / 3202361512 E-MAIL: elisabethechavarria@yahoo.es MSN: elisabeth_echavarria@hotmail.com NOMBRE REPRESENTANTE DEL CURSO: ______________________________________ CODIGO:_________________________:TELEFONOS:___________________________ E-MAIL:__________________________DIRECCION RESIDÊNCIA______________________ _________________________________________CIUDAD __________________ Sitio en la Web http://matematicasbasicas.wordpress.com OBJETIVO GENERAL DEL CURSO Brindar al estudiante de Licenciatura en informática las herramientas básicas generales y especificas que le permitirán el desarrollo del pensamiento de tipo lógico - matemático capacitándolo en la habilidad de desarrollar competencias interpretativas, argumentativas, propositivas y comunicativas formándolo como una persona que presenta soluciones a los problemas del contexto. TEMÁTICA DE LA TUTORÍA NÚMERO UNO Teoría de conjuntos Concepto de lógica Inferencia lógica OBJETIVOS ESPECÍFICOS Determinar la conclusión de un grupo de premisas utilizando inferencias lógicas. MATERIALES A ESTUDIAR Y MEDIOS DIDÁCTICOS A UTILIZAR Introducción a La Lógica Matemática Suppes PRODUCTOS A ELABORAR Mapa conceptual sobre teoría de conjuntos, apoyándose en el material que aparece el el sitio web http://matematicasbasicas.wordpress.com, link Unitolima, Lic en informática. Del Libro Lógica Suppes desarrollar: E1 pag 47, A,C, y D; E3 pag 51, A,B; E4 pag 55, D; E7 pag 64, B; E8 pag 69,C; E9, pag75, B, E11 pag 82, impares del C y D; E12 impares del A y F; E13 pag91 C; E14 pag 96 impares del F; E15 pag 99 impares del C; E16 pag 103 E impares; E17 pag 107 D impares. Entrega en CIPAS del informe tipo artículo sobre “Aplicaciones e importancia de la lógica matemática”, entrega en físico y magnético SISTEMA DE EVALUACIÓN Y RETROALIMENTACIÓN Entre tutoría y tutoría aclaración de dudas, vía e-mail o telefónica, en la tutoría solución de dudas relevantes, posterior trabajo en grupo, y quiz individual TEMÁTICA DE LA TUTORÍA NUMERO DOS Certeza funcional Diagramas de valores de certeza Conclusiones no validas Consistencia Demostración Indirecta OBJETIVOS ESPECÍFICOS Reconocer cuando un enunciado conduce a razonamientos no válidos MATERIALES A ESTUDIAR Y MEDIOS DIDÁCTICOS A UTILIZAR Introducción a La lógica matemática de Suppes PRODUCTOS A ELABORAR Resumen de la teoría Logica Suppes: Capitulo 3 Ejerci ciosCap 3123456789101112A,BAA,BA,B(impares),CA,BA(impares),B,DA,B(impares),C,DB,C,Dtodotodotodo SISTEMA DE EVALUACIÓN Y RETROALIMENTACIÓN Entre tutoría y tutoría aclaración de dudas, vía e-mail o telefónica, en la tutoría solución de dudas relevantes, posterior trabajo en grupo, y quiz individual TEMÁTICA DE LA TUTORÍA NUMERO TRES Métodos de demostración OBJETIVOS ESPECÍFICOS Aplicar las leyes del algebra de proposiciones para realizar demostraciones. Definir y diferenciar conceptos tales como razonamiento, demostración y argumento Emplear los métodos directo, indirecto y de refutación en la demostración de algunos teoremas elementales MATERIALES A ESTUDIAR Y MEDIOS DIDÁCTICOS A UTILIZAR Introducción a La lógica matemática de Suppes, Algebra y Geometría 2. Barnett, Matemàtica progresiva 9º PRODUCTOS A ELABORAR Ejercicios Repaso Capitulo 3 Suppes el numeral IV a,c,e,g,i,j Ejercicios propuestos Algebra y geometria 2 Barnett Capitulo 1(Todos) Ejericicios propuestos Matemàtica progresiva 9, Capitulo 1(Todos) SISTEMA DE EVALUACIÓN Y RETROALIMENTACIÓN Entre tutoría y tutoría aclaración de dudas, vía e-mail o telefónica, en la tutoría solución de dudas relevantes, posterior trabajo en grupo, y quiz individual TEMÁTICA DE LA TUTORÍA NUMERO CUATRO Lógica de Predicados OBJETIVOS ESPECÍFICOS Analizar la estructura lógica de las proposiciones Simbolizar proposiciones haciendo uso de la notación de cuantificación MATERIALES A ESTUDIAR Y MEDIOS DIDÁCTICOS A UTILIZAR Introducción a La lógica matemática de Suppes PRODUCTOS A ELABORAR Mapa estructurado sobre la teoría, Logica Suppes: Capitulos 5 y 6 Ejerci ciosCap 51234567891112todotodotodoC, D,F,GtodoA,CtodoBBtodotodo Ejerci ciosCap 6123456789BtodotodoimparestodoAtodoBA SISTEMA DE EVALUACIÓN Y RETROALIMENTACIÓN Entre tutoría y tutoría aclaración de dudas, vía e-mail o telefónica, en la tutoría solución de dudas relevantes, posterior trabajo en grupo, y quiz individual TEMÁTICA DE LA TUTORÍA NUMERO CINCO Algebra Booleana y Circuitos lógicos OBJETIVOS ESPECÍFICOS Utilizar el algebra booleana para analizar y describir el funcionamiento de las combinaciones de las compuertas lógicas, relacionando la teoría de conjuntos, el algebra proposicional, el algebra booleana y las compuertas lógicas. MATERIALES A ESTUDIAR Y MEDIOS DIDACTICOS A UTILIZAR Texto guia Lógica Matemática UNAD, Texto Circuitos Electrónicos PRODUCTOS A ELABORAR Resumen, Resolver la guía asignada por el tutor. SISTEMA DE EVALUACIÓN Y RETROALIMENTACIÓN Entre tutoría y tutoría aclaración de dudas, vía e-mail o telefónica, en la tutoría solución de dudas relevantes, posterior trabajo en grupo, y quiz individual OTROS Se trabajará el 60% de la siguiente manera: Quiz por tutoría, trabajo en cipas por tutoría, Portafolio, que evidencie el desarrollo de cada una de las actividades,” individual, revisión cada tutoríal”. En la Primera tutoría, informe tipo artículo de la importancia de la materia en su carrera. El informe se entrega 1 por CIPAS, en copia física y en medio magnético. La distribución de porcentajes sobre el 60% acordados entre los estudiantes y el tutor es el siguiente: Cada tutoria tendrá igual valor porcentual, así mismo las actividades desarrolladas. Convocatoria: 40% TEXTOS GUIA Introducción a La Lógica Matemática Suppes Lógica matemática UNAD Introducción al calculo Stewart Matemática progresiva 9 Algebra y geometría Barnett 2 Matemáticas Discretas __________________________________________________ Firma tutorFirma Representante Curso ASISTENTES AL AP APELLIDOS Y NOMBRESFIRMA E IDENTIFICACIÓN