Академический Документы
Профессиональный Документы
Культура Документы
VICERRECTORAACADMICA
DIRECCINDEEXTENSIN
TCNICOUNIVERSITARIO
ENCOMPUTACINEINFORMTICA
GUADEESTUDIO
MATEMTICAPARAINFORMTICAI
CDIGO50287
Elaboradapor
VIRGINIARAMREZCASCANTE
Produccinacadmicayasesorapedaggica:
AnaMaraSandovalPoveda
Encargadadectedra:
GrettelMenaAraya
Correccindeestilo:
Presentacin
ElcursodeMatemticaparaInformticaItienecomopropsitogeneral:
Estaguadeestudioesunaayudaparalograrelxitoenelcursocorrespondiente.
Se basa en dos libros de texto, el primero se llama Matemtica Discreta para
Informticos. Ejercicios resueltos y fue escrito por Rafael Caballero, Teresa Hortal,
Narciso Mart, Susana Nieva, Antonio Pareja y Mario Rodrguez. El otro texto se
llama Lgica Matemtica para Informticos. Ejercicios resueltos y fue escrito por
HortalG.Teresa,MartO.Narciso,PalominoT.Miguel,RodrguezA.Mario,Del
VadoV.Rafael,deestetextoseutilizarnicamenteelcaptulo8,correspondiente
alClculolgicoconTableaux.
Estaguadeestudiosedivideenlossiguientesapartados:
Ayudasparafacilitarelusodelostextosydelaguadeestudio:incluyeun
cuadrocontodalasimbologaysusignificado.
Distribucindetemasportutoras:incluyeeldesarrollodeloscaptulosque
sedebencubrirencadaunadelastutoras.
Contenido
Presentacin........................................................................................................................3
I. Ayudasparafacilitarelusodelostextosydelaguadeestudio.........................7
III.Estructuradelaguadeestudio..............................................................................15
IV.Distribucindetemasportutoras .........................................................................16
V. Tutoras .......................................................................................................................19
PRIMERATUTORA.........................................................................................................19
Instrucciones.........................................................................................................19
Conceptosclave ...................................................................................................19
Sugerenciasparaelaprendizaje ........................................................................20
Elconjuntodelosnmerosnaturales...............................................................20
Principiodeinduccinsimple ...........................................................................21
Ejerciciospropuestos.....................................................................................22
Principiodeinduccincompleta.......................................................................24
Ejerciciospropuestos.....................................................................................25
Definicionesrecursivas .......................................................................................26
Ejerciciospropuestos.....................................................................................27
Lanotacindelsumatorioyproductorio ........................................................30
Ejerciciospropuestos.....................................................................................31
Principiodeinduccinconunoovarioscasosbasepara IN m
yelprincipiodeinduccinenlaprctica ........................................................34
Captulo8dellibrodetextoLgicaMatemticaparaInformticos..................35
Seccin8.1Anlisissemnticodefrmulas ..............................................35
SEGUNDATUTORA ......................................................................................................37
Instrucciones.........................................................................................................37
Conceptosclave ...................................................................................................37
Sugerenciasparaelaprendizaje ........................................................................38
Mltiplosydivisores.Divisinentera .............................................................38
Ejerciciospropuestos.....................................................................................38
Sistemasdenumeracin .....................................................................................39
Ejerciciospropuestos.....................................................................................40
Mximocomndivisorymnimocomnmltiplo .......................................41
AlgoritmodeEuclidesyTeoremadeBzout ..................................................42
Ejerciciospropuestos.....................................................................................43
Nmerosprimos ..................................................................................................44
Ejerciciospropuestos.....................................................................................46
Congruenciasyaritmticamodular .................................................................47
Ejerciciospropuestos.....................................................................................48
Captulo8dellibrodetextoLgicaMatemticaparaInformticos..................49
Seccin8.2Reglasdeconstruccindetableaux.Heursticas ...................49
TERCERATUTORA.........................................................................................................51
Instrucciones.........................................................................................................51
Conceptosclave ...................................................................................................51
Sugerenciasparaelaprendizaje ........................................................................52
Conjuntosyoperacionesconconjuntos ...........................................................52
LeyesalgebraicasdeBoole .................................................................................55
Funciones.Operacionesypropiedades............................................................55
Sucesionesypalabrassobreunalfabeto ..........................................................57
Cardinalesyconjuntosfinitos ...........................................................................57
Ejerciciospropuestos.....................................................................................57
Captulo8dellibrodetextoLgicaMatemticaparaInformticos..................58
Seccin8.3Propiedadesfundamentalesdelostableaux ..........................58
CUARTATUTORA.........................................................................................................59
Instrucciones.........................................................................................................59
Conceptosclave ...................................................................................................59
Sugerenciasparaelaprendizaje ........................................................................60
Relaciones .............................................................................................................60
Relacionesdeequivalencia.................................................................................60
Relacionesdeorden.............................................................................................61
RetculosylgebradeBoole ..............................................................................61
Ejerciciospropuestos.....................................................................................62
Captulo8dellibrodetextoLgicaMatemticaparaInformticos..................62
Secciones8.4y8.5Preguntasdetestresueltas
yejerciciosresueltos,respectivamente .......................................................62
VI.Referencias..................................................................................................................63
ndicedecuadros
Cuadro1.Simbologa........................................................................................................7
Cuadro2.Ejemplosdelafuncinsucesor ...................................................................20
Cuadro3.Antecesoresysucesoresdenmerosnaturales........................................21
Cuadro4.Categorasdefrmulas.................................................................................35
Cuadro5.Reglasparalaigualdad ................................................................................35
Cuadro6.CribadeEratstenes .....................................................................................45
Cuadro7.Reglasparaloscuantificadoresyparalaigualdad..................................49
Cuadro8.Tabladepertenenciadelaunindeconjuntos ........................................54
Cuadro9.Tabladepertenenciadelainterseccindeconjuntos..............................54
Cuadro10.Tabladepertenenciadeladiferenciadeconjuntos ...............................54
Cuadro11.Propiedadesdelauninydelainterseccin..........................................55
Cuadro12.Propiedadesentrelauninylainterseccin ..........................................55
Ayudasparafacilitarelusodelostextos
ydelaguadeestudio
I.
Cuadro1.Simbologa
SMBOLO
IN
f : A B
f (a) = b
SIGNIFICADO
Conjuntodelosnmerosnaturales
f esunafuncindeAaB
Lafuncin f hacecorresponderaun
elementoadeA,elelementobdeB
s : IN IN
Funcinsucesor,leasignaacadanmero
naturalnelquelesigue,esdecir n + 1
IN m
SubconjuntodeINqueresultadegenerar
nmerosnaturalesmediantelafuncin
sucesor,peronoapartirde0sinodeun
cierto m 0
Talque
Pertenece
Nopertenece
Sumatoria
Productorio
nmod2
Restodeladivisinenteradenpor2
ndiv2
Cocientedeladivisinenteradenpor2
n !
Factorialden
modn
Indicaqueseutilizaunabasedistintaala
basedenumeracin10
Paratodo
f n = fib ( n )
Elensimotrminodelasucesinde
Fibonacci
b/a
besdivisordea
b / a
bnoesdivisordea
aesb
aesmltiplodeb
c = adivb
Clculodecapartirdeayb
r = a mod b
Clculoderapartirdeayb
(c , r ) = adiv mod b
Clculodecyrapartirdeayb
Conjuntodelosnmerosenteros
,, ,
Pertenece,nopertenece,subconjunto,noes
subconjunto
adivb = ( a ) div ( b )
Cocientedeladivisinenteracon
a Z, b Z, b < 0
a mod b = ( a ) mod ( b )
Restococientedeladivisinenteracon
a Z, b Z, b < 0
a = (d n d n-1 ...d 1 d 0 )b
Representacindeaenbaseb
d = mcd (a , b)
Mximocomndivisordeayb
m = mcm(a , b)
Mnimocomnmltiplodeayb
x = p1e1 p2e2
Descomposicindexcomoproductode
factoresprimos
... pnen
a m b
Dosenterosaybsoncongruentesmdulo
m
a m = {b Z / a m b} = {a + k m / k Z}
Clasedecongruenciadeamdulom
Z / m oZ /(m)
Conjuntocociente
Conjuntouniversal
Conjuntovaco
A B = {x / x A ox B}
UnindedosconjuntosAyB
A B = {x / x A yx B}
InterseccindedosconjuntosAyB
A\B = x / x A yx B
DiferenciadedosconjuntosAyB
U\A
ComplementariodeunconjuntoA
A B = ( A\ B) ( B\ A )
DiferenciasimtricadedosconjuntosAyB
(x, y )
Parordenadox,y
A B =
{( x, y ) / x A, y B}
ProductocartesianodedosconjuntosAyB
Familiadeconjuntos
C = {x / x S paraalgnS C}
Unindeunafamiliadeconjuntos
C = {x / x S paratodoS C}
Interseccindeunafamiliadeconjuntos
P ( A ) = {S / S A}
PotenciadeunconjuntoAoconjuntode
laspartesdeA
dom ( f ) = x A / f ( x ) estdefinido
Dominiodelafuncinf
ran ( f ) = f ( x ) B / x dom ( f )
Rangodelafuncinf
id A ( x) = x
FuncinidentidadsobreunconjuntoA
( f / C )( x ) = f ( x ) ,paratodox C dom ( f )
LarestriccindeunafuncinparcialfdeA
enBaunsubconjunto C A
Composicindedosfuncionesparcialesf
deAenBygdeBenC
f 1
Funcininversa
f ( S ) = f ( x ) B / x dom ( f ) S
Imagendeunconjunto S A mediante
lasfuncinf
f 1 (T ) = x dom ( f ) / f ( x ) T
Imageninversadeunconjunto T B
mediantelasfuncinf
f : A B
FuncinparcialdeAenB
s : IN C
SucesionesdeelementosdeC
s i os(i )
Imagendeipors
n = 0,..., n 1
s: n C
Sucesionesfinitas
AIoAI
Alfabeto,conjuntodetodaslassucesiones
finitasdeelementosde AI detodaslas
longitudesposibles
Palabras,elementosde AI
:0 A
Funcinpalabravaca
10
AI + = AI * \{ }
Conjuntodetodaslaspalabrasnovacas
sobreelalfabetoAI
CardinaldeA
R A B
RelacinbinariaentredosconjuntosAyB
xRy
xestrelacionadoconymediantela
relacinR
DominiodeR
RangodeR
idA =
{( x, x ) / x A}
RelacinidentidadsobreA
R S
Relacinunin
R S
Relacininterseccin
( A B) \ R
Relacincomplemento
R1 =
{( y , x ) / ( x, y ) R}
Relacininversa
( x , z ) / existey talque
R S=
( x , y ) R, ( y , z ) S
R A B, S B C
ComposicinoproductodeRyS
R An
RrelacinnariasobreA
x = { y A / x~y}
Clasedeequivalenciadex
A /~ = x / x A
ConjuntococientedeAconrespectoala
relacindeequivalencia~
( A, )
Conjuntoordenado
11
SupremodeS
Inf ( S ) = {x A / x esunacotainferiordeS}
Conjuntodelascotasinferiores
S = mxInf (S)
nfimodeS
Retculos
Elementomnimoyelementomximo
Smbolosdeproposicin
,T
Smboloslgicos,falsedadycerteza
respectivamente
Smboloslgicos,conectivaunaria,
negacin
,, ,
Smboloslgicos,conectivasbinarias,
conjuncin,disyuncin,condicionalo
implicacin,bicondicionalobiimplicacin
AI
= { , T , , , , , }
{( )}
Alfabetodesmbolosprimitivos
Representacualquieradelasconectivas
binarias
( At )
Frmulasdelgicaproposicional,frmulas
atmicas
Conjuntodetodaslasfrmulas
proposicionalesconsignatura
Letrasgriegas
Representanfrmulas
1y2
Frmulascondicionalesantecedentey
12
consecuenterespectivamente
Frmulasuniversales
(t)
Frmulasdeparticularizacindeparat
Frmulasexistenciales
(c)
Ejemplode
Testigo
(R )y(R )
Reglasparaloscuantificadores
Reglasparalaigualdad,reflexividad,
simetra,transitividad,sustitucin
respectivamente
Pruebalainsatisfactibilidadde
0 { }
Pruebaporrefutacin
Fuente:materialelaboradoporlaautora.
13
II. Objetivosdelcurso
Objetivogeneral
Objetivosespecficos
14
III. Estructuradelaguadeestudio
Esta gua de estudio se ha estructurado de forma que sea una ayuda para un
aprendizaje significativo, por lo que la distribucin es por tutoras y se sigue la
presentacin propuesta en los libros de texto. Adems, debe realizar todos los
ejerciciossugeridosparatutora,conelobjetivodereafirmarloaprendido.
Laprimeratutorasededicaalestudiodelcaptulo1Induccinyrecursindel
librodetexto MatemticaDiscretaparaInformticosydelaseccin8.1delcaptulo8
del libro Lgica Matemtica para Informticos; esta seccin corresponde al Anlisis
semnticodefrmulas.
Enlasegundatutoraseestudiaelcaptulo2dedicadoalaTeoradeNmeros
del libro de texto Matemtica Discreta para Informticos y de la seccin 8.2 del
captulo 8 del libro Lgica Matemtica para Informticos denominado Reglas de
construccindetableaux.Heursticas.
Enlaterceratutoraseestudiaelcaptulo3:Conjuntosyfuncionesdellibrode
texto Matemtica Discreta para Informticos y la seccin 8.3 del captulo 8 del libro
Lgica Matemtica para Informticos denominado Propiedades fundamentales de
lostableaux.
15
IV. Distribucindetemasportutora
Comoseindicenlaorganizacindelaguadeestudio,setrabajarcondoslibros
detexto;paraunaubicacinmssencilladelostemas,seleadjuntaelsiguiente
esquemadedistribucindetemas.
Esquema1.Lecturasaestudiarparacadatutora.
16
PRIMERATUTORA
CAPTULO1.
INDUCCINYRECURSIN
1.1. Elconjuntodelosnmerosnaturales
1.2. Principiodeinduccinsimple
1.3. Principiodeinduccincompleta
1.4. Definicionesrecursivas
1.5. Lanotacindelsumatorioydelproductorio
1.6. Principiodeinduccinconunoovarioscasosbasepara IN m
4
1.7 Elprincipiodeinduccinenlaprctica
1.8. Preguntasdetestresueltas
1.9. Ejerciciosresueltos
CAPTULO8.
CLCULOLGICOCONTABLEAUX
8.1 Anlisissemnticodefrmulas
Esquemaresumen
Glosario
SEGUNDATUTORA
CAPTULO2.
TEORADENMEROS
2.1. Mltiplosydivisores.Divisinentera
2.2. Sistemasdenumeracin
2.3. Mximocomndivisorymnimocomnmltiplo
2.4. AlgoritmodeEuclidesyteoremadeBzout
2.5 Nmerosprimos
2.6. Congruenciasyaritmticamodular
2.7. Preguntasdetestresueltas
2.8. Ejerciciosresueltos
CAPTULO8.
CLCULOLGICOCONTABLEAUX
8.2. Reglasdeconstruccindetableaux.Heursticas
Esquemaresumen
Glosario
4
5
9
293
55
55
56
57
58
58
59
67
294
17
TERCERATUTORA
CAPTULO3.
CONJUNTOSYFUNCIONES
3.1. Conjuntosyoperacionesentreconjuntos
3.2. LeyesalgebraicasdeBoole
3.3. Funciones.Operacionesypropiedades
3.4. Sucesionesypalabrassobreunalfabeto
3.5. Cardinalesyconjuntosfinitos
3.6. Preguntasdetestresueltas
3.7. Ejerciciosresueltos
CAPTULO8.
CLCULOLGICOCONTABLEAUX
8.3. Propiedadesfundamentalesdelostableaux
Esquemaresumen
Glosario
CUARTATUTORA
CAPTULO4.
REALCIONESYRDENES
4.1. Relaciones
4.2. Relacionesdeequivalencia
4.3. Relacionesdeorden
4.4. RetculosylgebrasdeBoole
4.5. Preguntasdetestresueltas
4.6. Ejerciciosresueltos
Esquemaresumen
Glosario
CAPTULO8.
CLCULOLGICOCONTABLEAUX
8.4. Preguntasdetestresueltas
8.5. Ejerciciosresueltos
18
101
102
103
104
104
105
111
295
163
164
165
167
168
174
295
298
CUARTATUTORA
Instrucciones
Debeestudiar:
Elcaptulo4,pginasdela163ala228dellibrodetextoMatemticaDiscreta
paraInformticos.
Las secciones 8.4 y 8.5 del captulo 8, pgina 295 y 298 del libro de texto
LgicaMatemticaparaInformticos.
Adems debe resolver los ejercicios propuestos y verificar sus soluciones con las
quesedanenloslibrosdetextocorrespondientes.
Conceptosclaves
Relaciones
Relacionesdeequivalencia
Relacionesdeorden
RetculosylgebrasdeBoole
59
Sugerenciasparaelaprendizaje
Relaciones
Relacinbinaria
SellamarelacinbinariaentredosconjuntosAyBacualquierconjuntoRdepares
ordenadostalque R A B .
Propiedadesdelasrelacionesbinarias
Acontinuacinsedefinenalgunasrelacionesbinarias:
Reflexiva:unarelacinbinariaesreflexivacuando x A secumplexRx.
Antireflexiva:unarelacinbinariaesantireflexivacuandoningn
x A cumplexRx .
Simtrica:unarelacinbinariaessimtricacuando
x , y A secumplesixRy yRx.
Antisimtrica:unarelacinbinariaesantisimtricacuando
x , y A secumplesixRy eyRz x = y.
Transitiva:unarelacinbinariaestransitivacuando
x , y , z A secumplesixRy eyRz xRz.
Conexa:unarelacinbinariaesconexacuando
x , y A , x y secumplexRy yRx.
Relacionesdeequivalencia
60
conelsmbolo~.Acontinuacinsetratanalgunosconceptosquedebemanejarcon
estasrelaciones.
Clasedeequivalencia
Se define la clase de equivalencia de x como el subconjunto
x = {y A talquex y} .
Conjuntocociente
Elconjuntocociente A / deAconrespectoalarelacindeequivalencia~sobreA
eslafamiliadesubconjuntosde Aformadaportodaslasclasesdeequivalenciade
~.Esdecir A / = x talquex A .
Relacionesdeorden
Relacindeordentotal
Una relacin de orden total es una relacin binaria R sobre un conjunto A que
cumplaserreflexiva,antisimtrica,transitivayconexa.
Conjuntoordenado
Unconjuntoordenadoesunparordenado ( A , ) formadoporunconjuntoAyun
orden definidosobreA.
RetculosylgebradeBoole
Un
retculo
es
un
conjunto
ordenado
( A, )
que
cumple
que
Recuerdeque:
Unelemento x A eselsupremodeSsieselmnimodelconjunto Sup ( S) .
61
lgebradeBoole
Se llama lgebra de Boole a cualquier retculo que sea distributivo y
complementario.
Ejerciciospropuestos
4.1,4.2,4.3pgina168;4.4pgina169.Enestosejerciciossepruebanrelacionesde
equivalencia.
4.5 pgina 169; 4.6, 4.7 pgina 170; 4.8 pgina 171. En estos ejercicios se usan las
propiedadesantireflexiva,antisimtricaydeorden.
4.9y4.10pgina171.Enestosejerciciosseutilizaelconceptodeordentotal.
4.12pgina172;4.13pgina173.Estosejerciciosserefierenamximosymnimos.
4.14 pgina 173; 4.15 pgina 174. En estos ejercicios se utiliza el concepto de
retculo.
Apartirdelejercicio4.16delapgina174hastael4.89delapgina227todosse
resuelvendetalladamenteenellibrocombinandolosdiferentesconceptosdeeste
captulo.
Captulo8dellibrodetextoLgicaMatemticaparaInformticos
Es importante que estudie y realice con cuidado todos los ejercicios de estas
secciones pginas de la 295 a la 337. Recuerde que la notacin se detalla en las
pginasinicialesdeestaguadeestudio.
62
VI. Referencias
Batalla,M.(2006,enero).DiagramasdeVenn.ElrincndelaCiencia,34.Extradoel
16deseptiembrede2009desde
<http://centros5.pntic.mec.es/ies.victoria.kent/RinconC/Alumnos/al18/al18.htm>.
Bianco,E.etal.(2003).MatemticaDiscreta.Versinpreliminar.Extradoel02de
octubrede2009desde
<http://www.logics.uns.edu.ar/~figallo/didactico/discreta.pdf>.