SILABO

CARRERA PROFESIONAL DE INGENIERA DE SISTEMAS Y

TELECOMUNICACIONES
I.

DATOS GENERALES
1.1
1.2
1.3
1.4
1.5
1.6

Asignatura
Ciclo
Cdigo
Ao acadmico
Requisito
Horas semanales
Horas de teora
Horas de prctica
1.7 Crditos
1.8 Docente
1.9 Semestre acadmico

II.

: LGICA
: 2014 -II
: IST101
:1
:: 04
: 02
: 02
: 04
: Lic. Gregorio Bautista Oblitas
: I (GRUPO A)

SUMILLA
Conjuntos. 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 CONTENIDOS

UNIDAD I: Lgica Matemtica y Conjuntos
CAPACIDAD: Aplica la lgica matemtica en resolucin de problemas, Formaliza inferencias y resuelve operaciones con conjuntos.
SEMANA
CONTENIDOS CONCEPTUALES
1
Proposicin lgica, proposicin simple y

CONTENIDOS PROCEDIMENTALES
Determinar el valor de verdad de

CONTENIDO ACTITUDINAL
Desarrolla una actitud positiva
frente a los nuevos conocimientos.

compuesta. Valor de verdad. Operadores

variables proposicionales y Evala

Lgicos, Tabla de Verdad, Evaluacin de

formulas lgicas identificndolas como

esquemas lgicos. Implicacin, Argumentos

tautologa, contradictorias y

Lgicos.

contingencia.

Leyes del algebra proposicional, Regla de

Aplica las leyes del algebra

Seguridad y perseverancia al

Inferencia, Cuantificadores, Razonamiento

proposicional para simplificar

resolver problemas y comunicar

Lgico

proposiciones. Establecer la validez o

resultados

veracidad de argumentos. Reconoce y

diferencia las premisas y las
conclusiones en los argumentos.
3

Conjunto. Idea Intuitiva de conjunto,

Representa un conjunto utilizando

Iniciativa para formular preguntas,

Determinacin de Conjuntos. Relacin de

diagramas de VENN EULER y

buscar conjeturas y plantear

Pertenencia e Inclusin. Diagramas de Venn

determina conjuntos por extensin y

problemas.

Euler. Clases de Conjuntos. Potencia de un

comprensin

Conjunto. Conjuntos Numricos

4

Operaciones con conjuntos: Unin, Interseccin,

Relaciona la lgica proposicional y la

Mostrar rigurosidad para representar

diferencia, diferencia simtrica, complemento.

terica de conjuntos estableciendo

relaciones, plantear argumentos y

Cardinal de un Conjunto y Algebra de Conjuntos.

equivalencias entre operaciones lgicas comunicar resultados.

y operaciones conjuntistas.

UNIDAD II: Sistemas de Numeracin y Compuertas Lgicas

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

CONTENIDOS CONCEPTUALES
Sistema de Numeracin, base de un sistema de
numeracin (Decimal, Binario, Octal,

conversin de base en problemas de

Hexadecimal), Conversin entre Bases

computacin o de ndole real.

preguntas, buscar conjetura

Iniciativa para formular preguntas,

decimal,

buscar conjeturas y plantear

binario,

Hexadecimal,

Octal,

BCD, sistemas binarios en aplicaciones reales

y tecnolgicas

problemas.

Operaciones con nmeros Binarios, Suma de Resuelve operaciones con nmeros

Perseverancia al resolver

Nmeros Binarios, Resta de Nmeros Binarios, binarios con el propsito de entender su

problemas y comunicar resultados.

Producto de Nmeros Binarios, Divisin de aplicacin en la tecnologa.

Nmeros Binarios.
8

CONTENIDO ACTITUDINAL
Toma la iniciativa para formular

Sistema Binario, Tabla de conversin entre Comprender y aplicar los diferentes

Exceso 3, Gray y Cdigos Alfanumricos.

7

CONTENIDOS PROCEDIMENTALES
Infiere y aplica los mtodos de

Examen parcial

UNIDAD III: Algebra de Boole y Circuitos

CAPACIDAD: Aplicar el lgebra de Boole como una estructura matemtica para resolver problemas relacionados con circuitos
SEMANA
CONTENIDOS CONCEPTUALES
CONTENIDOS PROCEDIMENTALES
CONTENIDO ACTITUDINAL
Actitud positiva frente a los nuevos
Algebra
de
Boole,
Definicin, Identificar, inferir y Aplicar los diferentes
9
Dualidad, Teoremas del algebra de principios y postulados de la lgica booleana, conocimientos del algebra de Boole.

10

Boole, Leyes de Morgan

sus aplicaciones reales y tecnolgicas.

Definiciones de Compuertas Lgicas:

Identifica y grafica funciones utilizando

Participa en forma permanente y

NOT, AND, OR, NAND, NOR, XOR,

compuertas lgicas

Autnoma en el tema y en la solucin

NXOR, Tablas de Verdad de las

de ejercicios.

Compuertas lgicas

11

Representacin de Funciones

Expresa una funcin lgicas en formas

Perseverancia en representar una

Lgicas, Formas cannicas suma de

cannicas y aplica el teorema de expansin

funcin de sus formas cannicas,

productos, Formas cannicas

cannica para encontrar la tabla de verdad.

aprendiendo de sus errores.

producto de sumas, Teorema de

Expansin Cannica.
Circuitos Lgicos, Simplificacin de Disea circuitos ms simples que realicen la
12

funciones,

Implementacin

de misma funcin utilizando un menor nmero

Circuitos a partir de expresiones de puertas logias

booleanas

Muestra inters representar circuitos y

simplificarlos.

UNIDAD IV: Induccin Matemtica, sucesiones y series

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

SEMANA
13

14

CONTENIDOS PROCEDIMENTALES

CONTENIDOS CONCEPTUALES
La induccin, demostracin por induccin.

CONTENIDO

Utiliza el mtodo de induccin matemtico

Iniciativa para form

para hacer demostraciones

conjeturas y plante

Sucesiones numricas, monotona de una Resolver problemas que implican sucesiones

Seguridad y perse

sucesin, subsecciones, convergencia de numricas

problemas y com

una sucesin
15

Series numricas, serie armnica, serie

Resuelve problemas que implican Series

Seguridad y perse

geomtrica, condicin necesaria de

numricas.

problemas y com

convergencia
16

EXAMEN FINAL

17

EXAMEN SUSTITUTORIO
V. MTODOS Y TCNICAS DIDCTICAS
Las sesiones de aprendizaje se desarrollaran de forma terica practica,
aplicando

metodologas

activas

fomentando

la

discusin

crtica

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:
Escritos
Virtuales
Materiales:
Textos bsicos
Revistas especializadas
Calculadora
Equipo 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 Final
PP = Promedio de Practicas y participaciones Calificadas
En 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 INFORMACIN

8.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 2002
7. GARCIA, Construccin lgica de programas. Edit. Alfaomega 2002
8. ECHAVE, Lgica, Proposicin y Norma. Ed. Astrea, 1980.
9. COPI. introd. a la Lgica. Editorial Limusa. 1995.

8.2 Hemerogrficas

Direccin Internet

Descripcin

http://www.tecFolleto de Induccin Matemtica.

digital.itcr.ac.cr/file/12704715/folleto_inducc Sucesiones y Series
ion
http://galia.fc.uaslp.mx/~uragani/algebra1/T
Algebra de Boole
extos/Algebra_Boole.pdf
http://www.uv.es/~ivorra/Libros/Logica.pdf Libro: Lgica y Teora de Conjuntos
http://es.wikipedia.org/wiki/Sistema_binario Wikipedia
http://recursostic.educacion.es/secundaria/ Recursos educativos, conversin de
edad/4esotecnologia/quincena5/4q2_conte sistemas binarios
nidos_4d.htm#
https://es.khanacademy.org/math/precalcul Sucesiones y Series e Induccin
us/seq_induction

Bagua Grande, Septiembre del 2014

--------------------------------------------------------Lic. Gregorio Bautista Oblitas

Docente Responsable de Asignatura