UNIVERSIDAD TECNOLOGICA DE PANAMA

FACULTAD DE INGENIERIA DE SISTEMAS COMPUTACIONALES

LIC. EN INGENIERA DE SISTEMAS DE INFORMACIN
LIC. EN INGENIERA DE SISTEMAS Y COMPUTACIN
PLAN VIGENTE A PARTIR DEL II SEMESTRE DE 2003
7. Asignatura: un!a"#nt$s !# C$"%uta&i'n
Pre-requisitos: Tecnologa de Informacin y Comunicacin
Cdigo: 8448 Crdito: 4
Horas de Clases: 4 Horas de La!: "
O()#ti*$s G#n#ra+#s:
#uministrar a los estudiantes los fundamentos de com$utacin m%s
im$ortantes sin los cuales las estructuras de datos& las ases de
datos& sistemas o$erati'os y dem%s $aquetes de a$licacin no
seran $osiles!
Conocer los conce$tos fundamentales sore los que descansan las
estructuras inform%ticas m%s esenciales& con miras a una me(or
com$rensin de las ciencias com$utacionales!
)studiar las estructuras que facilitan la re$resentacin y
transformacin de datos en la com$utadora!
*otar al estudiante de tcnicas $ara que $uedan de+nir las me(ores
estructuras de datos& de manera que otengan una $tima solucin
algortmica a los $rolemas que se le $resenten!
*esarrollar las ideas %sicas de la teora de gru$os $ara a$licarlas
a la teora de cdigos!
#uministrar los elementos necesarios $ara la construccin de
lengua(es formales de utilidad!
D#s&ri%&i'n:
- )structuras de o(etos discretos $ara la com$utacin!
- ,todos $ara la re$resentacin de o(etos!
- -unciones em$leadas en la a$licacin de las ciencias de la
com$utacin!
- Teora %sica de los semigru$os y gru$os!
- .a/onamiento lgico en las ciencias de la com$utacin!
- Introduccin a los autmatas +nitos!
- Teora de la codi+cacin!
C$nt#ni!$:
I. Estru&turas !# $()#t$s !is&r#t$s %ara +a &$"%uta&i'n
"" 0oras
"!" Teora de con(untos y sucon(untos
"!1 2$eraciones con con(untos
"!3 #ucesiones
II. M,t$!$s %ara +a r#%r#s#nta&i'n !# $()#t$s.
1!" Con(unto de $ares ordenados y $articiones de o(etos
1!1 Trayectoria en las relaciones y en los digrafos
1!1!" .elaciones y digrafos
1!1!1 Pro$iedades de las relaciones y digrafos
1!1!3 .elaciones de equi'alencia
1!1!4 ,ani$ulacin de relaciones
1!3 .e$resentacin en las com$utadoras de las relaciones y los digrafos
III. un&i$n#s #"%+#a!as #n +a a%+i&a&i'n !# +as &i#n&ias !# +a
&$"%uta&i'n.
3!" *e+nicin de funcin
3!1 Ti$os de funciones es$eciales
3!1!" -uncin inyecti'a
3!1!1 -uncin su$ryecti'a
3!1!3 -uncin in'ertida
3!3 -unciones idnticas
3!4 Com$osicin de funciones
3!4 -uncin de $ermutacin y an%lisis cominatorio

IV. T#$r-a (.si&a !# +$s s#"igru%$s / gru%$s
4!" 2$eraciones inarias sore un gru$o
4!"!" *e+niciones
4!"!1 Pro$iedades de las o$eraciones inarias
4!1 #emigru$os
4!1!" *e+niciones
4!1!1 Teorema de los semigru$os
4!1!3 Producto y cociente de los semigru$os
4!3 5ru$os
4!3!" *e+niciones
4!3!1 Teoremas de los gru$os
4!3!3 Productos y cocientes de los gru$os
V. Ra0$na"i#nt$ +'gi&$ #n +as &i#n&ias !# +a &$"%uta&i'n
4!" Pro$siciones y o$eraciones lgicas
4!1 Pro$siciones condicionales
4!3 ,todos de demostracin
4!3!" ,odus Ponens 6 mtodo de a+rmacin
4!3!1 ,odus Tollens 6 mtodo de refutacin
4!3!3 *emostracin $or contradiccin
VI. Intr$!u&&i'n a +$s aut'"atas 1nit$s
7!" 8n%lsis l9ico
7!1 8utmatas +nitos deterministas
7!3 8utmatas +nitos no deterministas
VII. T#$r-a !# +a &$!i1&a&i'n
:!" Codi+cacin de informacin inaria
:!1 *eteccin de errores
:!3 *ecodi+cacin de informacin inaria
:!4 Correcin de errores

EVALUACI2N.
La cali+cacin +nal se recomienda que se otenga de acuerdo a la siguiente
taulacin:
)lemento de )'aluacin Porcenta(e
8sistencia: ;4<
Prueas $arciales =1 a 3>: 34<
Traa(os $r%cticos: 14<
Pruea semestral: 34<
Total ";;<
CRONOGRAMA DE ACTIVIDADES TENTATIVO.
#e entender% que la columna de e'aluacin se?alar% los mdulos que ser%n
cuiertos dentro de cada $ruea $arcial! La $ruea $arcial slo utili/ar% un
$erodo de clases de la semana en que se desarrollar%! 8dem%s& se 0a
reali/ado una $laneacin sore un calendario de "7 semanas& as que no se
$uede $erder ninguna leccin& o la $lani+cacin no se cum$lir%!
REERENCIAS 3I3LIOGR4ICAS
"! 5rassmann& @infried y Tremlay& Aean Paul! Mat#".ti&a Dis&r#ta /
L'gi&a!
Prentice-Hall!
1! Isasi& PedroB ,artne/& Palomay Corra(o& *aniel! L#ngua)#s5 gra".ti&as
/
aut'"atas. Un #n6$7u# %r.&ti&$! 8ddison-@esley Ieroamericana!
3! A! 5lenn CrooDs0ear! T#$r-a !# +a C$"%uta&i'n. L#ngua)#s
$r"a+#s5 Aut'"atas / C$"%+#)i!a!! Primera edicin! 8ddison-
@esley Ieroamericana!
4! Ao0nsonaug0& .ic0ard! Mat#".ti&as Dis&r#tas! Cuarta edicin!
Prentice-Hall!
4! Eolman& Cernard! Cusy& .oert y .oss& #0aron! Estru&turas !#
Mat#".ti&as Dis&r#tas %ara +a C$"%uta&i'n! Tercera edicin!
Prentice-Hall!
7! Liu& C! L! E+#"#nt$s !# Mat#".ti&as Dis&r#tas! #egunda edicin!
,c5raF-Hill!
:! .oss& Eennet0 8!& @rig0t& C0arles .! C! Mat#".ti&as Dis&r#tas!
#egunda edicin! Prentice-Hall!
8! @inston& PatricD Henry! Int#+ig#n&ia Arti1&ia+! Tercera edicin!
8ddison-@esley Ieroamericana!