Logica Computacional T

UNIVER UNI VERSID SIDAD AD ANTONI ANTONIO O NARI O CONTENIDO CURSOS PROGRAMA INGENIERIA ELECTRONICA, MECANICA, ELECTROMECANICA, INDUSTRIAL ASIGNATURA  LOGICA COMPUTACIONAL Nº DE CREDITOS  3  No Horas Trabajo Independiente Independiente : 6   

SEMESTRE: I  TIPO: Teórica : X Práctica : X  No Horas Trabajo con acompañamient acompañamiento o : 3

Motivación, importancia y pertinencia de la Asignatura El desarrollo de programas computacionales es en la actualidad una actividad inherente a la mayoría de áreas del conocimiento, en particular a todas las ramas de la ingeniería. Esta actividad requiere de un conjunto de competencias asociadas al razonamiento lógico y el pensamiento algorítmico que posibilitan la resolución de problemas. En el área de las ciencias de la computación, la lógica hace referencia a la capacidad de estructurar el conjunto de acciones necesarias para encontrar una solución a un problema concreto. Esta se fundamenta en la lógica matemática y el cálculo proposicional, restringida a expresiones provenientes del álgebra booleana, que posibilita el tratamiento de datos de tipo digital. Este curso permitirá desarrollar las competencias necesarias para la formulación e implementación de soluciones algorítmicas en cualquier rama de la ingeniería.

             

 

    

   

  

Esta asignatura desarrolla las siguientes competencias  Competencias generales Interpretativa  Capacidad de contextualizar el problema, problema, e ide identificar ntificar sus sus ca características racterísticas esenciales (entradas, salidas, restricciones). Argumentativa Comprensión y justificación del p planteamiento lanteamiento y la solución propuesta ccon on respecto a otras alternativas de solución a un problema da dado. do. Propositiva Capacidad de elaborar elaborar algoritmos como e estrategia strategia de solución a problemas prop propuestos, uestos, haciendo uso apropiado d de e los conocimientos y recursos presentados en la asignatura. Comunicativa Uso del lenguaje lenguaje oral, es escrito crito y gráfico como herramienta herramienta de aprendizaje y socialización de problemas, soluciones soluciones y resultados.

  

Trabajo en equipo Reconocimiento del: trabajo trabajo en equipo como un requis requisito ito indispensable para el desarrollo de soluciones a problemas problemas reales e en n diferentes áreas.

         

Competencias humanistas  Actuar de manera ética en su dese desempeño mpeño personal, académico y pro profesional. fesional. Respetar y valorar valorar la dive diversidad rsidad cultural y las características características individuales como elementos elementos enriquecedores enriquecedores de la sana convivencia. convivencia. Promover la equidad, h honestidad, onestidad, libertad y fraternidad, como as aspectos pectos del quehacer cotidiano. Conocer y aplicar los principios de la d democracia emocracia y de la convivencia ciudadana ciudadana para garantizar el ejercicio de los derechos derechos y deberes.

         

Competencias específicas  Capacidad de pensamiento asociativo  Desarrollo del pensamiento crítico-analítico para la identificación y elaboración de algoritmo algoritmoss que sirvan para la resolució resolución n de problemas. Capacidad de análisis y desarrollo  Aplicación de la creatividad en el an análisis, álisis, diseño e implementación de de soluciones a problemas, obteniendo como como productos productos algoritmos, d diagramas, iagramas, seudocódigos, y codificaciones en Matlab.







 





  



Página 1

   





UNIVER UNI VERSID SIDAD AD ANTONI ANTONIO O NARI O   CONTENIDO CURSOS Facultad para abstraer   Desarrollo del del pensamiento pensamiento lóg lógico-espacial ico-espacial para para caracterizar caracterizar p problemas, roblemas, clasificarlos, y obtener soluciones genéricas pa para ra los mismos. Tabla de saberes

Saber   Conocimiento del concepto de sistema numérico y el proceso de cambio de base entre algunos algunos de e ellos. llos. (BIN, HEX, DEC, OCT).   Comprensión y manejo de la lógica Booleana y el álgebra de Boole, las leyes más importantes de la lógica proposicional, el uso de operadores lógicos y la construcción de tablas de verdad y la lógica de Primer Orden (operadores “para todo” y “existencial”)   Conocimiento de las características de los diferentes tipos de datos y operadores.   Conocimiento de la configuración básica de una expresión y del proceso para determinar su resultado.  Conocimiento del concepto de algoritmo y del proceso de resolución de problemas.   Conocimiento de la estructura básica de un algoritmo y diferentes esquemas de representación (diagramas de flujo y pseudocódigo)   Conocimiento de la configuración básica















de una estructura secuencial (con y siny condicionales), la definición de variables su aplicación en el desarrollo de algoritmos.   Conocimiento de la configuración básica de las estructuras repetitivas y anidadas y su aplicación en el desarrollo de algoritmos.  Conocimiento del concepto computacional de arreglo y matriz, su manejo en memoria, y los procesos usados para recorrerlos en un algoritmo.  Conocimiento del concepto de funciones,







procedimientos y recursividad.

Saber Hacer    Realizar cambios de base y elaborar el algoritmo para hacerlo.   Identificar y aplicar el Algebra de Boole para realizar operaciones binarias.  Analizar y sintetizar circuitos lógicos a partir de los operadores y sus tablas de verdad.  Identificar variables, constantes y predicados.   Identificar, interpretar y aplicar los operadores “para todo” y “existencial” en el cálculo de predicados.   Clasificar, declarar y manipular los datos de entrada y de salida de un problema según su tipo.

 



 





  relacionales, Aplicar adecuadamente adecuadament e los operadores lógicos, aritméticos, referenciación.  Proponer y resolver expresiones de diferentes tipos haciendo uso de diferentes tipos de datos y operadores.   Identificar y formular problemas que tengan solución algorítmica, siguiendo el proceso definido.   Representar algoritmos utilizando diagramas de flujo de datos y seudocódigos.   Construir algoritmos para solucionar problemas que hagan uso de estructuras secuencias y condicionales, usando los diferentes esquemas de representación e implementar éstos en Matlab.   Reconocer y utilizar adecuadamente adecuadamente las diferentes estructuras de acuerdo a la necesidad del problema planteado.













  Construir algoritmos para solucionar problemas que hagan uso de estructuras repetitivas y anidadas, usando los diferentes esquemas de representación e implementar éstos en Matlab.   Diferenciar en que contextos se requiere la aplicación de arreglas y matrices.   Utilizar estructuras repetitivas para diseñar e implementar algoritmos que requieran recorrer y buscar elementos dentro de arreglos y matrices   Implementar operaciones entre arreglos y matrices haciendo uso de estructuras repetitivas.   Definir funciones considerando los parámetros de entrada y salidas requeridas.  Analizar y determinar los casos en los cuales una función debe recibir parámetros por valor ó por referencia.   Sintetizar funciones usando técnicas recursivas, incluyendo la









Saber Ser     Muestra interés y cumplimiento en las tareas de la asignatura.   Muestra agrado y compromiso con lo que estudia.   Participa activamente en la discusión de los temas tratados en el aula.   Reconoce la diferencia de criterios y mantiene su propia identidad.











 Demuestra sentido desentido trabajo en equipo, solidaridad, de identidad y pertenencia enriqueciendo el ejercicio de la academia.   Respeta las apreciaciones que hacen sus docentes y compañeros.   Comparte sus conocimientos y habilidades con sus compañeros.  Es responsable en la entrega de trabajos y en la preparación de sus clases y evaluaciones.









  autonomía Reconoce, valora y asume la (interdependencia, autodeterminación) en su proceso de formación.   Piensa por sí mismo, expresa lo pensado y obra en consecuencia.   Manifiesta honestidad en la elaboración de trabajos, uso del tiempo destinado para la preparación y presentación de sus evaluaciones.









Página 2

 

UNIVER UNI VERSID SIDAD AD ANTONI ANTONIO O NARI O CONTENIDO CURSOS identificación de condiciones de parada de la recursión.

Estrategias pedagógicas pedagógicas del trabajo en aula.  



   





 



El trabajo en el aula incluirá la revisión teórica de los conceptos fundamentales fundamentales de la asignatura y ejemplos ejemplos de aplicación. Tales conceptos deberán deberán ser revisados previamente por el estudiante haciendo uso del material bibliográfico sugerido, y el desarrollo de ejercicios de aplicación referentes al tema, previamente seleccionados por el docente. Por cada tema se diseñaran guías o ta talleres lleres que deberá desarrollar desarrollar el estud estudiante iante en el el laboratorio co con n la asesoría asesoría del docente. docente. Los estudiantes elaborarán reporte reportess escritos de su trabajo, los cuales cuales deben evidenciar evidenciar el proce proceso so de formulación, diseño (con los dos esquemas d de e representación) e implementación (Matlab) de las soluciones. Así como un análisis de las dificultades encontradas en él, esto con el fin de fomentar la autoevaluación y la autocrítica. Se fomentará el desarrolllo o de trabajo en equipo equiposs interdisciplinarios aprove aprovechando chando la diversidad de ramas de la ingeniería que toman toman el curso. Sin embargo, la evaluación evidenciará el desempeño de cada estudiante con relación a las tres ramas del saber propuestas: saber-saber, saber-hacer y saber-ser.

Criterios de evaluación.  Se entiende por evaluación académica académica la medición del rendimiento académico del estudiante en cu cumplimiento mplimiento del conjunto de actividades efectuadas de manera individual y/o grupal.  Al final de la semana 12 del curso, se evaluará un trabajo donde se consolide lo alcanzado durante el desarrollo de la materia, el cual será asignado en l a primera semana de clases; se deben entregar avances semanales del mismo. La calificación de dichas entregas parciales solo hará parte de la nota del tercer corte; este trabajo se sustentará mediante ponencia pública. Las actividades de lectura, investigaciones y talleres realizados por los l os estudiantes se sustentarán por escrito o en fforma orma oral. El proceso evaluativo está enmarcado en los lineamientos consignados en el capítulo 8 artículos 28, 29, 30 y sucesivos del reglamento estudiantil.

Evidencias de Aprendizaje  De conocimiento (lo que sabe) 1. Objeto de la lógica lógica,, Clase de problema problemas, s, principios lógicos: IIdentidad, dentidad, No contradicción, D De e tercero excluido, otros principios. Razonamiento y lógica, pensamiento formal, pensamiento lateral. Funcionamiento de la mente, diferencia del pensamiento lateral y el pensamiento vertical, el pensamiento lateral su naturalez a 2. Problemas y solucio soluciones, nes, casos de estudio, compresión y especificación del problema, requerimientos requerimientos funcionales, El mo modelo delo del Mundo del problema, los requerimientos no funcionales. Casos de estudio. 3. Concepto de alg algoritmo, oritmo, tipos de dato datos, s, variables, opera operadores, dores, instrucciones de asignación, estructur estructuras as de entra y salidas. 4. Expresiones Operado Operadores res relacionales lógicos sobr sobre e cadenas de carac caracteres, teres, manejo de variables, otros operadores de asignación. asignación. 5. Instrucciones condicionales simples en cascada y compuestas compuestas 6. Estructuras de control sentencias, sentencias, ex expresiones, presiones, asignación asignación y repetición 7. Arreglos Funciones Declara Declaración de s. prototipos. prototipos. Argumentos Argumento s y pará parámetros. metros. Parámetros por valor 8. Vectore Vectores, s, ción Matrice Matrices. Arreglos de n dimensiones 9. Manejo de estru estructuras cturas de 2 dimen dimensiones siones (ma (matrices) trices)

Página 3

 

UNIVER UNI VERSID SIDAD AD ANTONI ANTONIO O NARI O CONTENIDO CURSOS

De desempeño (lo que sabe hacer)   1. Organizar los conceptos de un problema para para interpretar su comportamiento. comportamiento. 2. Identifica diferentes vistas de cómo interpretar y organizar las posibles soluciones de un problema. 3. Identifica las características y simbología en la interpretación de un problema. 4. 5. 6. 7. 8. 9. 10. 11.

Reconoce y describe las características d de e los algoritmos. algoritmos. Identificar la simbolo simbología gía y estru estructura ctura de los los algoritmos. Describir las características de los tipos de datos, operadores y expresiones expresiones disponibles en un algoritmo. Analiza los elementos que con conforman forman la estructura de un alg algoritmo oritmo para ejecutar mediante el computador. Conceptualiza las altern alternativas ativas para las estructuras de de decisión cisión y repetición, q que ue se incorpora en un algoritmo en particular. Describir la sintaxis emp empleada leada en la definición y uso de funciones. funciones. Comparar la forma de declaración declaración de arreglos de una o más dimensiones. Implementar adecuadamente adecuadamente los a algoritmos lgoritmos diseñados.

De actitud (lo que sabe ser)   1. Manifiesta un una a actitud científica ha hacia cia el pensamiento lógico 2. Participa con res responsabilidad ponsabilidad e en n cada una de las actividades de la as asignatura. ignatura. 3. Comparte sus conocimientos y habilidades habilidades con sus comp compañeros. añeros. 4. Demuestra sen sentido tido de pertenencia hacia el desarrollo de de la materia 5. Asume con autonomía el desarrollo de las actividades de de la asignatura asignatura 6. Realiza el trabajo d de e la materia con res responsabilidad ponsabilidad 7. Asume co con n actitud positiva el el trabajo individual y grupal 8. Entrega en los tiempos establecidos los trabajos trabajos asignados asignados 9. Reconoce, valora y asume la autonomía (interdependencia, (interdependencia, autodeterminació autodeterminación) n) en su proc proceso eso de formación formación

Trabajo Independiente Independiente  Estudiar las unidades previas a la clase y analizar el estado del arte de la herramienta para conocer su impacto y los avances tecnológicos generados generados.. Realización y elaboración en en el laboratorio de los talleres propuestos por el docente y genera la discusión correspondiente para enriquecer el proceso de aprendizaje.

- Presentación de talleres - Elaboración de algoritmos algoritmos propuestos

Textos Guía  Fundamentos de Programación. Aprendizaje activo basado en casos. Jorge A. Villalobos Vil lalobos y Rubby Casallas G.(Existe en la Biblioteca suficientes ejemplares para el curso) Edward De Bono, El pensamiento lateral, Manual de creatividad, Ediciones Paidós, Barcelona-Buenos Aires-México (Entrega en Medio Magnético) Fundamentos de informática lógica resolución de problemas programas y computadoras, Tucker, Allen B / Bradley, W. James / Cupper, Robert B McGraw-Hill Fundamentos de programación programación libro de problemas, Joyanes Aguilar, Luis McGraw-Hill

Página 4

UNIVER UNI VERSID SIDAD AD ANTONI ANTONIO O NARI O CONTENIDO CURSOS Textos Complementarios Complementarios  GALVE, JAVIER Y OTROS, ALGORITMICA, Diseño y análisis de algoritmos algoritmos funcionales e imperativos, Computec Rama-AlfaOmega. LOGICA, Introduccion Introduccion a la ciencia ciencia del razonamiento, P. Chavez Chavez C.,Decimaqu C.,Decimaquinta inta reimpres reimpresion, ion, Publicaciones Cultural, Mexico 1998. CAIRO Battistutti, Oswaldo, M Metodología etodología de la programación, Tomo I y II, Computec Rama-AlfaOmega. BAASE G. Computer alg algorithms: orithms: Introduction Introduction to design and a analysis. nalysis. Editorial Addison Wesley.  

       



 



Revistas  178 The Journal of Logic Programming Programming Science Journals 247 Science of Computer Programming Programming Science Journals Jou Journal rnal Journal

COMPROMISOS Y POLITICAS DEL CURSO: Horario de atención a estudiantes.  Martes: 18:00 20:00 Sábado: 15:00 a 17:00 RECURSOS El estudiante debe disponer de medios de almacenamiento que le permita mantener su portafolio de actividades en medios digitales. Para la gestión del curso se cuenta con la plataforma MOODLE del CAV. EVALUACIÓN Para efectos de evaluación, cada uno de los l os 3 cortes tendrá los sigu ientes componentes de evaluación:

Criterios de evaluación: Trabajo colaborativo. Trabajo autónomo. Trabajo participativo. acumulativa durante las sesiones de clase e incluye: La evaluaciónEsdeuna losevaluación trabajos realizados durante l as sesiones las de clase. El grado de participación activa en las actividades propuestas. propuestas.   La puntualidad en la llegada y salida. La asistencia.  asistencia.  Se calificara negativamente el uso de celulares o cualquier otro medio distractor durante las clases. Se calificara negativamente el realizar reali zar otras actividades que no correspondan a las planteadas. Evaluación de conocimientos que se realizara al final de cada uno de los cortes y será una prueba individual.

Porcentajes de evaluación. Parciales 60% trabajos y autoevaluación (tercer corte) 40% Quices, talleres,

Página 5