Matematicas para Ingieros Informaticos PDF

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 28

Guía Nº 1

Del estudiante
Modalidad a distancia

Modulo

MATEMÁTICA FUNDAMETAL PARA INGENIERÍA DE SITEMAS

I SEMESTRE

DATOS DE IDENTIFICACION

TUTOR Luis Enrique Alvarado Vargas

Teléfono 435 29 52 – CEL. 310 768 90 67

E-mail leav70@gmail.com

Lugar Madrid Cundinamarca

Corporación Universitaria Minuto de Dios – Rectoría Cundinamarca

BIENVENIDA

EL curso de Matemática fundamental permite indicar un proceso de formación de ingenieros


de sistemas que apropien competencias comunicativas, interpretativas, argumentativas y
propositivas y competencias ciudadanas como líderes integrales en sus desempeños, el curso
pretende fortalecer procesos.
Fundamentos del Pensamiento Humano: Que le permiten apropiarse del lenguaje y
herramientas lógicas para la contextualización de su entorno.
Pensamiento y sistemas numéricos: Solución de problemas e inducción investiguen en la
selección de herramientas matemáticas.

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 propósito de formación de este curso es facilitar al estudiante de Ingeniería de Sistemas


unas vivencias por contexto con las demás áreas del programa el desarrollo de las
competencias que le permitan utilizar el lenguaje y herramientas necesarias en las acciones
propias del trabajo en equipo.

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.

En el estudio de cualquier rama de la Matemática, sea análisis, Algebra, o Geometría, resulta


útil emplear la terminología de la Teoría de conjuntos. Esta teoría fue desarrollada por Boole y
Cantor a fines del siglo XIX, ha tenido una profunda influencia en el desarrollo de las
Matemáticas en el siglo XX, ha unificado muchas ideas aparentemente inconexas y ha
contribuido a reducir gran número de conceptos matemáticos a sus fundamentos lógicos por
un método elegante y sistemático.

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.

El orden en que se presenta el documento es el siguiente: Primeramente se establece la


importancia de la lógica matemática, después definimos el concepto de proposición. Se
establece el significado y utilidad de conectivos lógicos para formar proposiciones compuestas.
Más tarde abordamos las proposiciones condicionales y bicondicionales. Definimos tautología,
contradicción y contingente, y proporcionamos una lista de las tautologías más importantes,
así mismo explicamos a que se le llama proposiciones lógicamente equivalente apoyándonos
de tablas de verdad. Para finalizar; abordamos los métodos de demostración: directo y por
contradicción, en donde incluye reglas de inferencia.

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.

TEMAS A DESARROLLAR EN LA UNIDAD

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

<<Lógica matemática o también llamado Lógica simbólica es una parte de las


matemáticas que se encarga de los sistemas formales, también de los
conceptos tales como demostración matemática y computación;>>

Historia

<< Giuseppe Peano dio el nombre de Lógica Matemática a este apartado de


las matemáticas. Está basado en la lógica filosófica de Aristóteles, pero con
una visión más moderna aplicado a la nueva notación matemática >>

Lógica de proposiciones

Definición de Proposición: Es cualquier agrupación de palabras o símbolos


que tengan sentido y de la que en un momento determinado se pueda asegurar
si es verdadera o falsa. La verdad o falsedad de una proposición es lo que se
llama su valor lógico o valor de verdad. V ó 1 Verdadero F ó 0 Falso

A las proposiciones las representamos con letras minúsculas


Tipos de proposiciones Conectivas. -Singulares (⌐, No) y Binarias:

-Conjunción (Λ, y)

-Disyunción inclusiva (V,o)

-Disyunción exclusiva (Å, o... o... pero no ambas)

-Condicional ( , si... entonces...);

-Equivalencia lógica Dadas las proposiciones p, q, se define una


equivalencia p q como una nueva proposición que se lee "p si sólo si q"
que es verdadera cuando la p y la q tienen a la vez los mismos valores de
verdad. En el caso que p q sea verdadera se dice p y q son equivalentes y
también que p es condición necesaria y suficiente de q y viceversa.
Tablas de verdad:

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.

Validación de sentencias proposicionales. Sirven para decidir si una


proposición es una tautología, una contradicción o una contingencia. Validación
mediante tablas de verdad. (Bueno para pocas variables). Validación mediante
refutación. (Suposición de que la sentencia es falsa)
Métodos de demostración:

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

Demostrar que la propiedad se cumple para el primer valor de de N que nos


digan, casi siempre será 1. Se trata de demostrar P(1).

2. Paso Inductivo

Consiste en demostrar que si se cumple para un cierto n entonces también se


cumple para n+1. Es decir que si se cumple para P(n) entonces se tiene que
cumplir P(n+1). Se trata de demostrar la implicación P(n) P(n+1).
Supondremos como hipótesis P(n) (hipótesis de inducción).

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

Lógica Matemática en Wikipedia


Fuentes

Lógica Matemática en monografías.com


Apuntes de Algebra Ingeniería Informática.
2. Nociones sobre Teoría de Conjuntos y Lógica

Para llevar a cabo nuestro propósito de especificar formalmente los problemas


y demostrar rigurosamente la correctitud de nuestros programas,
introduciremos algunas nociones sobre Teoría de Conjuntos y Lógica. Los
conceptos y notación dados nos permitirán unificar la notación que utilizaremos
en las especificaciones y las demostraciones de correctitud de programas.

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}.

La cardinalidad o tamaño de un conjunto es el número de elementos del


conjunto, y se denota por A o card(A). Así card ({3,5})=2.
Luego definiremos más formalmente lo que es una operación, sin embargo
damos algunas operaciones que todos conocemos sobre conjuntos:
Operaciones entre conjuntos: Unión, Intersección, Diferencia.
Operaciones que producen un valor booleano (verdadero o falso): la igualdad
entre conjuntos, la pertenencia (a A), la no pertenencia (a A), la inclusión
(A B)
Operaciones que producen un número: Si A es un conjunto de números
entonces min A es el menor elemento de A y máx. A es el mayor elementos de
A.
El conjunto de partes de un conjunto A, detonado por p(A), es el conjunto cuyos
elementos son todos los subconjuntos de A, p(A) = { B : B A }. Una partición
de un conjunto A es un conjunto cualquiera P = { A1, A2, ... , An } tal que para
todo i entre 1 y n se cumple que Ai A y cualesquiera dos elementos de P, Ai y
Aj, con i distinto de j, tienen intersección vacía y la unión de todos es el
conjunto A.

web-grafía
http://www.ldc.usb.ve/~meza/ci-2615/cap2.pdf
NO
ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS V F

p (q)

Esta es la tabla de la proposición V F


1
atómica
1

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"

Esta es la formulación de " Si ella no V F


p q
viene entonces nos vamos al cine"
14

V F
Esta es la formulación de "Si trabajas o estudias
15 (p q) r
te preparas mejor para el futuro"

Esta es la formulación de "Ser bachiller o titulado V F


en Ciclo Superior y tener 18 años cumplidos son
16 (pVq) r s
condiciones para poder ingresar en la
Universidad"

Esta es la formulación de "Si dominas las V F


asignaturas y te relacionas bien con todas las
17 (pVq s)
personas del Instituto entonces no has perdido el
tiempo"

Esta es la formulación de "Si tengo


muchos exámenes que corregir y he V F
descansado un poco al mediodía,
18 (p q) r r q
trabajo hasta las doce de la noche. Pero
hoy no trabajo hasta las doce. Por
tanto, será que no he descansado al "
Esta es la formulación de "Si te cuesta entender las
cosas , pero te esfuerzas diariamente, seguro que no (p q) r V F
19 suspendes "

Esta es la formulación de "Si


has trabajado V F
razonablemente y si estabas
20 (p q) r
matriculado en el Instituto,
entonces sacarás el título de
bachiller "

1ª p p p p

Esta es la tabla de la
proposición "Ella 1 0 1
viene o no viene"
0 1 1

La primera es tautológica y la segunda consistente.


V F
21 2ª p q pVq

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

La regla de la Eliminación del Condicional se formula así:

SI : (p q) p] q V F
24
NO: (p q) q] p

La regla de Eliminación de la Disyunción excluyente mediante la afirmación de un V F


extremo se formula así:
25
(p W q) p] q

La primera regla de Morgan se formula así:


V F
26 (p p) ( p p)

La regla de reducción al absurdo se enuncia así:


V F
27 (p (q p) ] p

La segunda regla de Morgan se formula así: V F


28
(p V p) ( p p)

Estas dos expresiones son contradictorias


V F
29 (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

Este cálculo está bien hecho.


El siguiente cálculo no contiene errores

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

Este cálculo está perfectamente hecho.

1-pWq

2- q
Premisas
3-z r

4-z V F
34
p r Conclusión

5-p REW 1,2

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

7-z REV 2,3

8-r RE aa 4,7

9-s r RI 7,8 Conclusión


1 p q

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

Este cálculo por la técnica de reducción al absurdo está mal resuelto


Este cálculo está bien hecho

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

El siguiente cálculo está equivocado en la sexta línea.

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

La línea 4ª de este cálculo debe ser: p.

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

Este cálculo está bien hecho por el sistema de reducción al absurdo.

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

43 Este cálculo es correcto y su conclusión es una tautología. V F


1 p q P

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

Resuelve los siguientes ejercicios.


1. Una persona tiene tres monedas, cada una de uno o cinco pesos. Escribir los
elementos del conjunto de las posibles sumas de capital que puede tener dicha
persona. (Por ejemplo, si fuesen tres monedas de un peso, tendría 3 pesos; si fuesen
dos de un peso y una de cinco pesos tendría 7 pesos, etc.).
2. Sean A = {1, 2, 3}, B = {1, 2, 3, 4, 5, 6}. Completar las afirmaciones que
siguen, poniendo el símbolo adecuado en el espacio correspondiente.
a) ∈ o ∉
2____A A____C 1,2,3,____C 4_____B 0____A
b) ⊂ o ⊄
A____C ∅____∅ A____B {2, 3, 1}____A
∅____A B____B B____C B____A

3. Sea H = {1, 2, 3, 4, 5}.


a) Escribe todos los subconjuntos de H de cardinalidad uno.
Llama C al conjunto de dichos subconjuntos.
b) Escribe todos los subconjuntos de H de cardinalidad dos.
Llama D al conjunto de dichos subconjuntos.
4. Clasifica los conjuntos siguientes según sean finitos o infinitos.
a) N = conjunto de todos los números naturales
b) P = conjunto de todos los números pares
c) H = conjunto de todos los seres humanos
d) G = el conjunto de todos los números naturales inferiores a 90 trillones
e) M = el conjunto de todos los números naturales superiores a 90 trillones
f) ∅
g) {∅, N}

ACTIVIDAD DE APRENDIZAJE 2

1. En los siguientes ejercicios, encuentra la unión o intersección pedidas, en dos


formas por comprensión y por extensión.
a) { x ∈ N | 0 < x < 8 } ∩ { x ∈ N | 2 < x < 6 }
b) { x ∈ N | x < 10 } ∩ { x ∈ N | 9 < x }
c) { x ∈ N | x < 10 } ∪ { x ∈ N | 9 < x }
d) { x ∈ N | x < 10 } ∪ { x ∈ N | 5 < x < 12 }
e) { 2, 4, 5 } ∪ { y ∈ N | 4 < y }
2. Describe la relación entre A y B en cada uno de los casos siguientes:
a) A ∩ B = ∅
b) A ∩ B = B
c) A ∪ B = A

3. Dibujar un diagrama de Venn similar a la figura para cada ejercicio y sombrear


sólo el área que represente el conjunto dado. Si el conjunto es el conjunto vacío,
decirlo.
ABC
a) A ∪ B
b) B ∩ C
c) A ∪ ( B ∩ C )
d) A ∩ ( B ∪ C )
e) A ∩ ( B ∩ C )
f) A ∪ ( B ∪ C )
g) A’ ∩ ( B’ ∪ C )
h) A ∩ ( B ∪ C’ )

ACTIVIDAD DE APRENDIZAJE 3

Resuelve los siguientes ejercicios.


1. Si tienes los intervalos
U = (-4,7) A = (3,7) B = [0,6] y C = [-1,6]
Determina el intervalo solución de ( A’ ∩ C ) ∩ B’
22
2. Teniendo los conjuntos
A={x∈R/1≤x ≤8}
B = { x ∈ R / -5 < x ≤ 5 }
C = { x ∈ R / -7 ≤ x < 2 }
Determina el intervalo que indica la intersección de A, B y C.
3. Dados los conjuntos
A = { x ∈ R / -5 < x ≤ 4 }
B = { x ∈ R / (-7 ≤ x ≤ 5) ∩ (0 < x 8)}
C = { x ∈ R / (- 7< x < -4) ∪ (4 ≤ x <8 ) }
Determina A ∩ B ∩ C’.
4. Si tienes los intervalos reales
A = (-4,4) B = (-2,2) C = (-3,3]
D = [-5,15) E = [-7,7] F = (0, 8)
Determina: { [ ( A’ ∪ B ) ∩ ( C ∪ D’) ] – ( E’ ∩ F’ ) }’
5. Resuelve las siguientes desigualdades.
a) 4 < (x + 4) / (-3) ≤ 5
b) | 6x – 4 | < 3
c) | x/2 + 10 | ≥ 4
23
6. Las calificaciones de un estudiante fueron 85, 57 y 78 en los tres primeros
exámenes parciales, ¿qué puntuación debe obtener en su próximo examen a fin
de obtener una calificación promedio entre 70 y 80.

CALENDARIO DEL MODULO

UNIDAD DE ACTIVIDADES DE APRENDIZAJE SEMANA


APRENDIZAJE
Acuerdo Presentación del modulo, firma de acuerdos, entrega del 1
Pedagógico PIC y asignación de actividades y consultas para ser 30 de Abril
discutidas el 7 de Mayo de 2010
Lógica y Conjuntos Trabajo individual, en pequeños grupos y socialización 2
de la temática, Durante la semana del 30 de abril al 6 de 7 de mayo
mayo el estudiante debe haber resuelto las actividades
propuestas en la guía , Evaluación y control de
actividades.
3
4
5
6
7
8

Bibliografía

1. Pactrick SUPPES y Shirley HILL, Introducción a la Lógica Matemática, editorial Reverté


S. A. Bogotá D. C. 1979.

2. Jagdish C. Arya/ Robin W. Lardner, Matemáticas Aplicadas a la Administración y a la


Economía. Editorial Prentice – Hall. Tercera edición. México 1989.

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

4. González Carlomán, Antonio (6 de 2006). Retículo completo de Boole, lógica


matemática, teoría de conjuntos, 2 edición (en español), Universidad de Oviedo.
Servicio de Publicaciones, pp. 232. HYPERLINK
"http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788483175347" ISBN 978-
84-8317-534-7 .

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 .

6. Fernández Laguna, Víctor (2 de 2004). Teoría de conjuntos elemental, Bachillerato, 2


edición (en español), Anaya, pp. 168. HYPERLINK
"http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788466726146" ISBN 978-
84-667-2614-6 .

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 .

9. Arrieche Alvarado, Mario (7 de 2002). Iniciación de la teoría de conjuntos, en la


formación de profesores de matemáticas, 1 edición (en español), Arrieche Alvarado,
Mario Jose, pp. 169. HYPERLINK
"http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788460747741" ISBN 978-
84-607-4774-1 .

10. González Carlomán, Antonio (9 de 2001). Retículo completo de Boole. Lógica


matemática teoría de conjuntos, 1 edición (en español), Universidad de Oviedo.
Servicio de Publicaciones, pp. 204. HYPERLINK
"http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788483172643" ISBN 978-
84-8317-264-3 .

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

José Alfredo Jiménez Murillo.


e-mail: HYPERLINK "mailto:ppalf@yahoo.com" ppalf[arroba]yahoo.com
Ma. Aleida Hernández Yánez
e-mail: HYPERLINK "mailto:aleidahy@yahoo.com" aleidahy[arroba]yahoo.com
Alumnos del Centro Interdisciplinario
De Investigación y Docencia en
Educación Técnica (CIIDET)
Querétaro Qro. México.

También podría gustarte