S I L A B O

CARRERA PROFESIONAL DE INGENIERA DE SISTEMAS Y TELECOMUNICACIONES

I. DATOS GENERALES

1.1 Asignatura : LGICA1.2 Ciclo : 2014 -II1.3 Cdigo : IST1011.4 Ao acadmico : 11.5 Requisito : -1.6 Horas semanales : 04Horas de teora : 02Horas de prctica : 021.7 Crditos : 041.8 Docente : Lic. Gregorio Bautista Oblitas1.9 Semestre acadmico : I (GRUPO A)

II. SUMILLAConjuntos. Algebra de conjuntos. Conjuntos de nmeros. Lgica. Algebra de proposiciones. Leyes. Cuantificadores. Funciones lgicas. Cuantificadores. Algebra booleana. Teoremas. Circuitos. Induccin, sucesiones y series. Sistemas de numeracin. Sistemas binarios.III. COMPETENCIAS

3.1. Conceptuales: Comprende los conceptos y propiedades bsicas de Lgica proposicional y conjuntos, sistema de numeracin, teoremas de Morgan, Compuertas lgicas, aplicacin prctica del algebra de Boole y de los circuitos en problemas de ndole real, induccin matemtica, sucesiones y series.3.2. Habilidades: Realizar demostracin de tautologas, contradicciones o contingencias, aplicando las leyes de la lgica. Aplicando las reglas de inferencia lgica en situaciones reales. Resolver y optimizar circuitos utilizando Algebra de Boole Realizar demostraciones de funciones proposicionales usando induccin matemtica

3.3. Actitudes: Valoracin de los aprendizajes desarrollados en la asignatura como parte de su proceso formativo.

IV. PROGRAMACIN DE CONTENIDOSUNIDAD I: Lgica Matemtica y Conjuntos

CAPACIDAD: Aplica la lgica matemtica en resolucin de problemas, Formaliza inferencias y resuelve operaciones con conjuntos.

SEMANACONTENIDOS CONCEPTUALESCONTENIDOS PROCEDIMENTALESCONTENIDO ACTITUDINAL

1Proposicin lgica, proposicin simple y compuesta. Valor de verdad. Operadores Lgicos, Tabla de Verdad, Evaluacin de esquemas lgicos. Implicacin, Argumentos Lgicos.Determinar el valor de verdad de variables proposicionales y Evala formulas lgicas identificndolas como tautologa, contradictorias y contingencia.Desarrolla una actitud positiva frente a los nuevos conocimientos.

2Leyes del algebra proposicional, Regla de Inferencia, Cuantificadores, Razonamiento LgicoAplica las leyes del algebra proposicional para simplificar proposiciones. Establecer la validez o veracidad de argumentos. Reconoce y diferencia las premisas y las conclusiones en los argumentos.Seguridad y perseverancia al resolver problemas y comunicar resultados

3Conjunto. Idea Intuitiva de conjunto, Determinacin de Conjuntos. Relacin de Pertenencia e Inclusin. Diagramas de Venn Euler. Clases de Conjuntos. Potencia de un Conjunto. Conjuntos NumricosRepresenta un conjunto utilizando diagramas de VENN EULER y determina conjuntos por extensin y comprensinIniciativa para formular preguntas, buscar conjeturas y plantear problemas.

4Operaciones con conjuntos: Unin, Interseccin, diferencia, diferencia simtrica, complemento.Cardinal de un Conjunto y Algebra de Conjuntos.

Relaciona la lgica proposicional y la terica de conjuntos estableciendo equivalencias entre operaciones lgicas y operaciones conjuntistas.Mostrar rigurosidad para representar relaciones, plantear argumentos y comunicar resultados.

UNIDAD II: Sistemas de Numeracin y Compuertas Lgicas

CAPACIDAD: Distinguir ya aplicar los diferentes sistemas de numeracin en operaciones definidas

SEMANACONTENIDOS CONCEPTUALESCONTENIDOS PROCEDIMENTALESCONTENIDO ACTITUDINAL

5Sistema de Numeracin, base de un sistema de numeracin (Decimal, Binario, Octal, Hexadecimal), Conversin entre BasesInfiere y aplica los mtodos de conversin de base en problemas de computacin o de ndole real.Toma la iniciativa para formular preguntas, buscar conjetura

6Sistema Binario, Tabla de conversin entre decimal, binario, Hexadecimal, Octal, BCD, Exceso 3, Gray y Cdigos Alfanumricos.

Comprender y aplicar los diferentes sistemas binarios en aplicaciones reales y tecnolgicasIniciativa para formular preguntas, buscar conjeturas y plantear problemas.

7Operaciones con nmeros Binarios, Suma de Nmeros Binarios, Resta de Nmeros Binarios, Producto de Nmeros Binarios, Divisin de Nmeros Binarios.Resuelve operaciones con nmeros binarios con el propsito de entender su aplicacin en la tecnologa.Perseverancia al resolver problemas y comunicar resultados.

8Examen parcial

UNIDAD III: Algebra de Boole y Circuitos

CAPACIDAD: Aplicar el lgebra de Boole como una estructura matemtica para resolver problemas relacionados con circuitos

SEMANACONTENIDOS CONCEPTUALESCONTENIDOS PROCEDIMENTALESCONTENIDO ACTITUDINAL

9Algebra de Boole, Definicin, Dualidad, Teoremas del algebra de Boole, Leyes de Morgan Identificar, inferir y Aplicar los diferentes principios y postulados de la lgica booleana, sus aplicaciones reales y tecnolgicas.Actitud positiva frente a los nuevos conocimientos del algebra de Boole.

10Definiciones de Compuertas Lgicas: NOT, AND, OR, NAND, NOR, XOR, NXOR, Tablas de Verdad de las Compuertas lgicas

Identifica y grafica funciones utilizando compuertas lgicasParticipa en forma permanente y Autnoma en el tema y en la solucin de ejercicios.

11Representacin de Funciones Lgicas, Formas cannicas suma de productos, Formas cannicas producto de sumas, Teorema de Expansin Cannica.Expresa una funcin lgicas en formas cannicas y aplica el teorema de expansin cannica para encontrar la tabla de verdad.Perseverancia en representar una funcin de sus formas cannicas, aprendiendo de sus errores.

12Circuitos Lgicos, Simplificacin de funciones, Implementacin de Circuitos a partir de expresiones booleanasDisea circuitos ms simples que realicen la misma funcin utilizando un menor nmero de puertas logias Muestra inters representar circuitos y simplificarlos.

UNIDAD IV: Induccin Matemtica, sucesiones y series

CAPACIDAD: Analiza, resuelve problemas y ejercicios de sucesiones y series numercias

SEMANACONTENIDOS CONCEPTUALESCONTENIDOS PROCEDIMENTALESCONTENIDO ACTITUDINAL

13La induccin, demostracin por induccin. Utiliza el mtodo de induccin matemtico para hacer demostracionesIniciativa para formular preguntas, buscar conjeturas y plantear problemas.

14Sucesiones numricas, monotona de una sucesin, subsecciones, convergencia de una sucesinResolver problemas que implican sucesiones numricas Seguridad y perseverancia al resolver problemas y comunicar resultados

15Series numricas, serie armnica, serie geomtrica, condicin necesaria de convergenciaResuelve problemas que implican Series numricas.Seguridad y perseverancia al resolver problemas y comunicar resultados

16EXAMEN FINAL

17EXAMEN SUSTITUTORIO

V. MTODOS Y TCNICAS DIDCTICAS

Las sesiones de aprendizaje se desarrollaran de forma terica practica, aplicando metodologas activas fomentando la discusin crtica y el planteamiento de criterios personales respecto a los temas tratados y complementadas por sesiones magistrales por parte del docente Se aplicaran estrategias de: Diseo de Instructivos de parte del docente, trabajo individual o grupal, orientacin y asesoramiento para la elaboracin de trabajos prcticos.VI. MEDIOS MATERIALES EDUCATIVOS Medios:EscritosVirtuales

Materiales:Textos bsicosRevistas especializadas CalculadoraEquipo multimedia Plumn - pizarra

VII. EVALUACIN

Se utilizar la escala vigesimal de 00 a 20 puntos, siendo la nota aprobatoria 11 y se considerar la fraccin 0.5 como un punto. Las inasistencias en 30% al curso invalidan para la aprobacin en el curso.A. Examen Parcial (EP) 30%B. Examen Final (EF) 30% C. Tareas Acadmicas (Evaluacin Permanente) 40% Seminarios, participacin en clase, talleres y otros. Primera prctica calificada: Prctica A Segunda prctica calificada: Prctica B Frmula para el clculo del Promedio Final

PF = 0.3EP+0.3EF+0.4PP Donde: PF = Promedio FinalPP = Promedio de Practicas y participaciones CalificadasEn la 17 ava semana se tomara un examen Sustitutorio opcional que abarcara todo el curso, la nota obtenida en este examen remplazara a la nota ms baja entre el examen parcial y el examen final.

VIII. FUENTES DE INFORMACIN8.1 Bibliogrficas

1. AGUILERA, Gabriel y Prez de Guzmn. Lgica para Computacin I. Ed. gora. Mlaga.1995.2. ASENSIO, Julin. Selectividad Matemtica. Ed. Guadelmena. Sevilla. 1995.3. LIPSCHUTZ, SEYMOUR. Matemticas para Computacin. Compaa Editora Continental. Mxico. 1993.4. MARTNEZ FREIRE, Pascual. Introduccin a la Lgica Matemtica. Ed. Agora. Mlaga.1995.5. ROSALES, Digenes. Introduccin a la lgica. Ed. Prentice Hall. Mxico. 1994.6. CASES, Lenguajes, gramticas y autmatas. Edit. Alfaomega 20027. GARCIA, Construccin lgica de programas. Edit. Alfaomega 20028. ECHAVE, Lgica, Proposicin y Norma. Ed. Astrea, 1980.9. COPI. introd. a la Lgica. Editorial Limusa. 1995.

8.2 Hemerogrficas

Direccin InternetDescripcin

http://www.tec-digital.itcr.ac.cr/file/12704715/folleto_induccionFolleto de Induccin Matemtica. Sucesiones y Series

http://galia.fc.uaslp.mx/~uragani/algebra1/Textos/Algebra_Boole.pdfAlgebra de Boole

http://www.uv.es/~ivorra/Libros/Logica.pdfLibro: Lgica y Teora de Conjuntos

http://es.wikipedia.org/wiki/Sistema_binario Wikipedia

http://recursostic.educacion.es/secundaria/edad/4esotecnologia/quincena5/4q2_contenidos_4d.htm#Recursos educativos, conversin de sistemas binarios

https://es.khanacademy.org/math/precalculus/seq_inductionSucesiones y Series e Induccin

Bagua Grande, Septiembre del 2014

--------------------------------------------------------- Lic. Gregorio Bautista OblitasDocente Responsable de Asignatura