Matematicas para Ingieros Informaticos PDF
Matematicas para Ingieros Informaticos PDF
Matematicas para Ingieros Informaticos PDF
Del estudiante
Modalidad a distancia
Modulo
I SEMESTRE
DATOS DE IDENTIFICACION
E-mail leav70@gmail.com
BIENVENIDA
Autoformación: A partir del estudio auto programado del dialogo de saberes como resultado
del trabajo en equipo para la construcción y socialización del conocimiento de la investigación
y acción de las prácticas.
Trabajo Cooperativo: El curso propende por el trabajo en equipo con toda la comunidad para
el desarrollo de un proyecto de investigación.
El curso esta propuesto acorde a los principios expuestos por la universidad del Tolima, el
IDEAD y el programa de ingeniería de Sistemas los cuáles dan preeminencia a los procesos de
auto formación del ser humano y el ingeniero ya que la implementación de herramientas
didácticas y métodos mentales de la modalidad a distancia, que deben esforzarse a muchas
horas de estudio individual y grupal sin la presencia física del tutor.
INTRODUCCION
El considerable progreso habido en la ciencia y en la tecnología durante los últimos 150 años
procede en gran parte del desarrollo de las Matemáticas.
La LOGICA MATEMÁTICA estudia la forma del razonamiento, es una disciplina que por medio de
reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la
filosofía, matemáticas, computación, física. En la filosofía para determinar si un razonamiento es
válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica
permite saber el significado correcto. En las matemáticas para demostrar teoremas e inferir
resultados matemáticos que puedan ser aplicados en investigaciones. En la computación para
revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se
realiza tiene un procedimiento lógico, por el ejemplo; para ir de compras al supermercado una
ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una
persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede
pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó la
parte alta porque se mancharía lo que ya tiene pintado, también dependiendo si es zurdo o
derecho, él puede pintar de izquierda a derecha o de derecha a izquierda según el caso, todo esto
es la aplicación de la lógica.
La lógica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se
ha enfrentado el ser humano utilizando solamente su inteligencia y apoyándose de algunos
conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes
o simplemente utilización de los mismos.
En este trabajo se trata además de presentar las explicaciones con ejemplos que le sean
familiares. Nuestro objetivo es que el alumno aprenda a realizar demostraciones formales por
el método directo y el método por contradicción. Ya que la mayoría de los libros comerciales
únicamente se quedan en explicación y demostración de reglas de inferencia. Consideramos
que sí el alumno aprende lógica matemática no tendrá problemas para aprender ciencias
exacta y será capaz de programar computadoras, ya que un programa de computadora no es
otra cosa que una secuencia de pasos lógicos, que la persona establece para resolver n
problema determinado.
Es importante mencionar que en las demostraciones no hay un solo camino para llegar al
resultado. El camino puede ser mas largo o más corto dependiendo de las reglas de inferencia
y tautologías que el alumno seleccione, pero definitivamente deberá llegar al resultado. Puede
haber tantas soluciones como alumnos se tenga en clase y todas estar bien. Esto permite que
el estudiante tenga confianza en la aplicación de reglas y fórmulas. De tal manera que cuando
llegue a poner en practica esto, el sea capaz de inventar su propia solución, porque en la vida
cada quien resuelve sus problemas aplicando las reglas de inferencia para relacionar los
conocimientos y obtener el resultado.
Lógica y Conjuntos.
Lógica
o Proposiciones y operaciones lógicas.
o Conectivos lógicos y proposiciones compuestas
Operador and (y)
Operador Or (o)
Proposiciones condicionales
Proposición bicondicional.
o Tablas de verdad.
o Tautología y contradicción.
o Equivalencia lógica.
o Reglas de inferencia
o Métodos de demostración.
o Método de demostración Directo
o Demostración por contradicción
Teoría de Conjuntos
o definición
o Notación
o Conjunto Universal
o Conjunto Potencia
o Conjunto Vacio
o Diagramas de Venn
o Conjuntos finitos e infinitos
o Conjuntos disjuntos
o Operaciones Con Conjuntos
o Intersección
o Unión
o Complemento
o Diferencia Entre Conjuntos
o Diferencia Simétrica
o Producto Cartesiano
o Leyes del algebra de conjuntos
Asociatividad
conmutatividad
distributiva
absorción
Idempotencia
Complemento
Ley de Morgan
UNIDAD DE TRABAJO No.1
¿Cómo aplicar la lógica proposicional y la teoría de conjuntos en la
Ingeniería de Sistemas?
INDICADORES
A través de la lógica proposicional en que modelo de la carrera podemos
aplicar razonamientos lógicos?
El concepto
Historia
Lógica de proposiciones
-Conjunción (Λ, y)
Representa las múltiples salidas de una función lógica para todas las
combinaciones posibles de los valores de entrada.
TABLAS DE VERDAD
Proposición Proposición Doble
simple simple Conjunción Disyunción Implicación Implicación
p q pΛq pVq p q p q
1 1 1 1 1 1
1 0 0 1 0 0
0 1 0 1 1 0
0 0 0 0 1 1
Métodos de decisión en lógica de proposición. Una tautología es una
proposición que siempre es verdadera. Una contradicción es una proposición
que siempre es falsa. Una contingencia es proposición que puede ser
verdadera o falsa.
Método Directo
Para demostrar que P Q supondremos que la hipótesis P es verdadera y a
partir de este punto razonando como haga falta intentaremos llegar a que la
tesis Q es verdadera, con lo que quedaría demostrado P –> Q. Un ejemplo
clásico: Demostrar que en N todo múltiplo de 6 es también múltiplo de 3. Es
decir: Si x el múltiplo de 6 x también es múltiplo de 3. Supongamos que x el
múltiplo de 6 (hipótesis verdadera) luego x=6*m para todo m perteneciente a N,
pero sabemos que 6=3*2 luego x=3*2*m; n=2*m n pertenece a N Finalmente
tenemos que x=3n, x el múltiplo de 3 con lo que tenemos Q, por tanto P->Q.
Método reducción al absurdo
Sólo sabremos si es una tautología. Supondremos que es una contradicción,
por tanto podemos suponer que puede ser falsa. Sin con esta suposición se
llega a una contradicción quería decir que esa falsedad supuesta nunca podría
darse, por tanto la proposición sería siempre verdadera es decir una tautología
Método Inductivo
Sirve para demostrar fórmulas o propiedades que son verdaderas para infinitos
números naturales. Es decir para demostrar que las propiedades de la forma
P(m) se cumple casi siempre para todo número natural m € N siendo n+ el
conjunto de los característicos sin el cero V n € N+ (Siendo N* = N-{0}) Se trata
de demostrar P(n), V n € N* El método de demostración inductivo consta de 3
pasos.
1. Paso Básico
2. Paso Inductivo
3. Conclusión
Del paso básico y del paso inductivo se deduce que la proposición se cumple
para todos los n naturales mayores o iguales a 1 (n>=1).
Referencias
2.1. Conjuntos,
Un conjunto es una colección de objetos distintos, o elementos como
normalmente son llamados. Por ejemplo: el conjunto {3,5} consiste de los
enteros 3 y 5 y es el mismo conjunto que {5,3}. { } representa al conjunto vacío,
es decir, aquel que no contiene elementos. También se representa por .
La notación anterior describe a un conjunto de manera explícita o por
extensión, listando todos sus elementos. También podemos describir un
conjunto de manera implícita o por compresión:
{i: existe un natural j tal que i= 2j}.
web-grafía
http://www.ldc.usb.ve/~meza/ci-2615/cap2.pdf
NO
ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS V F
SÉ
p (q)
p q p q
1 1 1 V F
2
Esta es la tabla de la
conjunción 1 0 0
0 1 0
0 0 0
p q p q
1 1 1 V F
3
Esta es la tabla de la
bicondición 1 0 0
0 1 0
0 0 1
p q p q
1 1 1 V F
4
Esta es la tabla de la condición 1 0 0
0 1 0
0 0 0
p q p q
V F
1 1 1
5
Esta es la tabla de la
conjunción 1 0 1
0 1 0
0 0 0
p q pVq
1 1 1
Esta es la tabla de la V F
6 disyunción 1 0 1
incluyente
0 1 1
0 0 0
p q pWq
1 1 1 V F
7
Esta es la tabla de la
disyunción excluyente 1 0 1
0 1 1
0 0 0
p q q p q
1 1 0 1 V F
8 Esta es la tabla de
la prop. "Llueve y 1 0 1 1
no hace frío"
0 1 0 1
0 0 1 0
p q
1 0 V F
9
Esta es la tabla de la NEGACIÓN 1 0
0 1
0 1
p q pVq
1 1 1
Esta es la tabla de la V F
10 proposición "Mueres 1 0 1
o vives"
0 1 1
0 0 0
p p pW p
Esta es la tabla de
V F
la proposición 1 0 1
11 "Viene o no viene"
0 1 1
p p p p
Esta es la tabla de la
proposición "Hablo y no hablo" 1 0 1
V F
12 0 1 1
Esta es la formulación de la V F
13 proposición "Ella viene y no está p p
contenta"
V F
Esta es la formulación de "Si trabajas o estudias
15 (p q) r
te preparas mejor para el futuro"
1ª p p p p
Esta es la tabla de la
proposición "Ella 1 0 1
viene o no viene"
0 1 1
1 1 1
Esta es la tabla
de la proposición
"Te vas o estás 1 0 1
alegre"
0 1 1
0 0 0
V F
22 La Regla de la Eliminación de la Negación se formula así: pV p
La Regla de la Eliminación de la Conjunción se formula así:
(p q) p
V F
23
(p q) q
SI : (p q) p] q V F
24
NO: (p q) q] p
(p W q) p] q
Estas dos proposiciones son tautológicas
(p q) p V F
30
(p V p) ( p p)
1 p (q r) P
2 q P
Los dos primeros V F
p r Conclusión
pasos de este
31
cálculo están bien
hechos
3 p Supuesto
4 q r RE nc 1,3
1 p q P
2 r V s P
3 s q P
4 r P
p Conclusión V F
32
7 s RE V 2,4
6 r RE aa 3,5
7 p Conclusión
1 p r V n) P
2 m p P
3 m P
4 r P V F
33
n C
5 p RE aa 2,3
6 r V n RE aa 5,1
7 n RE V 4,6 Conclusión
1-pWq
2- q
Premisas
3-z r
4-z V F
34
p r Conclusión
6- r RE n c 3,4
p r REI 5,6 C
Este cálculo está perfectamente hecho
1-p q
2-pVz
3- q Premisas
4-z r
5-s
V F
s r Conclusión
35
6- p RE nc 1,3
8-r RE aa 4,7
2 pVz
3 q Premisas
4 z r
5 s
s r Conclusión
6 (s r) Supuesto RRA
V F
36 7 sV r R1ª MORGAN 6
8 r REV 7,5
9 p RE nc 1,3
10 z REV 2,9
11 r RE aa 4,10
12 r r RI 8,11
(s r) r r) RI 6-12
14 s r RRA 13
1 p q P
2 rW q P
3 s r P
4 s P
5 s t P
p t Conclusión V F
37
5 t RE aa 5,4
6 r RE aa 3,4
7 q RE W 6,2,
8 p RE nc 1,7
9 p t RI Conclusión
1 p q P
2 r V s P
3 s q P
4 r P V F
38
p C
5 s RE V 2,4
6 r RE aa 3,5
7 p Conclusión
El siguiente cálculo es correcto.
1 p q P
2 r V p) P
3 r z P
q z Conclusión
V F
39
4 r p R1ª Morgan 2
5 r RE 4
6 p RE 4
7 q RE aa 1,6
8 z RE aa 3,5
9 q z RI 7,8 Conclusión
1 p V q P
2 q P
3 p z P V F
40
z Conclusión
4 RE V 1,2
5 z RE aa 3,4 Conclusión
Este cálculo empieza por algo que hay en la línea primera.
1 (p V q) P
2 p r P
3 r s P
q s Conclusión
4 V F
41
5
10
1 (p q) P
2 p r P
3 p P
q r C V F
42
4 p V q) RRA1
5 q REV 4,3
6 r RE nc 2, 3
7 q r RE ,6
2 p s P
3 s t P
4 q t P
t t C
5 p RE 1
6 q RE 1
7 s RE nc 2, 5
9 t RE aa 4,6
10 t t RE ,8
ACTIVIDAD DE APRENDIZAJE 1
ACTIVIDAD DE APRENDIZAJE 2
ACTIVIDAD DE APRENDIZAJE 3
Bibliografía
3. HYPERLINK
"http://es.wikipedia.org/w/index.php?title=Evandro_Agazzi&action=edit&redlink=1"
\o "Evandro Agazzi (aún no redactado)" Agazzi, Evandro (1986). Lógica simbólica.
Editorial Herder. ISBN 978-84-254-0130
5. Cantor, Georg (11 de 2005). Fundamentos para una teoría general de conjuntos:
escritos y correspondencia selecta, Ferreirós Domínguez, José; Gómez-Caminero,
Emilio F.; Ferreirós Domínguez, José, 1 edición (en español), Editorial Crítica, pp. 320.
HYPERLINK "http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788484326953"
ISBN 978-84-8432-695-3 .
7. Climent Coloma, Joan Josep (10 de 2003). Álgebra: teoría de conjuntos y estructuras
algebraicas, 2 edición (en español), Editorial Club Universitario, pp. 512. HYPERLINK
"http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788484543022" ISBN 978-
84-8454-302-2 .
8. Setó, Jordi (7 de 2002). Teoría elemental de conjuntos, 1 edición (en español), Clag S.A,
pp. 168. HYPERLINK
"http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788492184767" ISBN 978-
84-921847-6-7 .
11. Climent Coloma, Joan Josep (6 de 2001). Álgebra. Teoría de conjuntos y estructuras
algebraicas, 1 edición (en español), Editorial Club Universitario, pp. 240. HYPERLINK
"http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788484540816" ISBN 978-
84-8454-081-6 .
12. Alonso Jiménez, José A; Pérez Jiménez, Mario de J.; Ruiz Reina, José L. (9 de 1998).
Teoría de conjuntos, 1 edición (en español), Ediciones La Ñ, S.L., pp. 348. HYPERLINK
"http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788489524453" ISBN 978-
84-89524-45-3 .
Trabajos citados