Universidad Nacional de Salta - Sede Regional Orán: TP00: Introducción - Preliminares Matemáticos SECCIÓN 1: Lógica

Universidad Nacional de Salta – Sede Regional Orán
Carrera: Licenciatura en Análisis de Sistemas (LAS)

Cátedra: Teoría de la Computación I (uno) 2do.año – 1er. cuatrimestre Año: 2023
TP00: Introducción – Preliminares matemáticos
SECCIÓN 1: Lógica
1.1 Obtener la tabla de verdad de la bicondicional P ⟷ Q
1.2 Leyes de De Morgan. Probar que:
i. Tabla de verdad de ¬ (P ∧ Q) es equivalente a (¬ P) ∨ (¬ Q)
ii. Tabla de verdad de ¬ (P ∨ Q) es equivalente a (¬ P) ∧ (¬ Q).
1.3 Las siguientes proposiciones son tautologías?

i. (P ⟷ Q) ⟶ (P ⟶ Q) ii. (P ∨ ¬ P) ∧ (Q ∨ ¬ Q)
1.4 Probar que la siguiente proposición es una contradicción: (P ⟶ Q) ∧ (P ∧ ¬ Q)
1.5 Demostrar el Teorema: ¬ (⩝x P(x)) es equivalente a ∃x ¬ P(x). (Consultar pág. 5 D. Kelley)
SECCIÓN 2: Definiciones básicas

2.0 Demostrar el siguiente teorema: Si A ⊆ B y B ⊆ A, entonces A = B.
2.1 Se define conjunto potencia de A como 2A = {B| B ⊆ A}. Obtenga el conjunto potencia de A = {a, b, c, d}.
SECCIÓN 3: Operaciones con conjuntos

3.1 Demuestre:
i. A ∩ (B ∩ C) = (A ∩ B) ∩ C ii. ̅̅̅̅̅̅̅̅̅̅̅
(𝐴 ∩ 𝐵) = 𝐴̅ ∪ 𝐵̅
3.2 Probar o refutar las siguientes afirmaciones:
i. Si A ∪ B = A ∪ C, entonces B = C
3.3 Son ciertos los siguientes resultados?
i. 2A ∩ 2B = 2 𝐴 ∩ 𝐵 ii. 2A ∪ 2B = 2 𝐴 ∪ 𝐵 iii. A ⊆ B  2 𝐴 ⊆ 2B
SECCIÓN 4: Relaciones y funciones

4.1 Si 𝒰 = ℕ, A = { 1, 2, 3, 4 }, B = { 2, 5 } y C = { 3, 4, 7 }, determine:
i. AxB ii. B x A iii. A ∪ (B x C) iv. (A ∪ B) x C v. (A x C) ∪ (B x C)
4.2 Si 𝒰 = { 1, 2, 3, 4, 5 }, A = { 1, 2, 3 }, B = { 2, 4, 5 }, de ejemplos de:

i. Tres relaciones NO vacías de A en B
ii. Tres relaciones binarias NO vacías en A
4.3 Sea A1 = { 0, 1, 2, 3, 4 }, A2 = { 1, 3, 7, 12 }, A3 = { 0, 1, 2, 4, 8, 16, 32 } y A4 = { -3, -2, -1, 0, 1, 2, 3 }.

i. Sea ℛ1 ⊆ A1 x A2 x A3 x A4, donde ℛ1 = { (w, x, y, z) | w.x.y.z = 0 }. ¿Cuántas 4uplas ordenadas (o
cuaternas) hay en la relación ℛ1?
ii. Si ℛ2 ⊆ A1 x A2 x A3 x A4 es la relación cuaternaria donde (a, b, c, d) ∈ ℛ2 si (y sólo si) abcd < 0.
¿Cuánto vale |ℛ2|?
Página 1 de 5
4.4 Determinar si cada una de las relaciones siguientes es una relación de equivalencia sobre el conjunto A =
{0, 1, 2, 3, 4, 5}
i. ℛ1 = {(0, 0), (1, 1), (1, 2), (2, 2), (3, 3), (4, 4), (5, 5)}
ii. ℛ2 = ℛ1 ∪ {(2, 1)}
iii. ℛ3 = ℛ1 − {(1, 2)}
iv. ℛ4 = ℛ2 ∪ {(2, 3), (1, 3), (3, 1), (3, 2)}
4.5 Sea A = { 1, 2, 3, 4 } y ℛ = {(x, y) ϵ 𝐴2 / x = y ∨ x + y = 3}.
i. Definir ℛ por extensión.

ii. ¿ ℛ es de equivalencia?
iii. Si ii) es verdadero, determinar la correspondiente partición o conjunto cociente de A.
4.6 Obtener la partición de un conjunto que es la colección {ℤ0, ℤ1, …, ℤm-1}, donde m es un entero positivo
fijado y ℤi se define como: ℤi = {x|x ϵ ℤ y x – i = km para algún k}.
4.7 Sea ℛ ⊆ ℕ x ℕ, donde (m, n) ∈ ℛ si (y sólo si) n = 5m + 2.

i. Dé una definición recursiva para ℛ
ii. Utilice la definición recursiva de la parte i. para mostrar que el par (4, 22) ∈ ℛ.
SECCIÓN 5: Inducción
5.1 Probar que, para todo n 𝜖 ℕ,
i. 20 + 21 + … + 2n = 2n + 1 – 1
ii. n3 – n es divisible por 3 para todo  n  ℕ.
5.2 Un palíndromo puede definirse como una cadena que se lee igual de izquierda a derecha y viceversa o
mediante la siguiente definición: (inducción sobre la longitud de x)
a.  es un palíndromo (cadena vacía).

b. Si a es cualquier símbolo, entonces a es un palíndromo.
c. Si a es cualquier símbolo y x es un palíndromo, entonces axa es un palíndromo.
d. Ninguna cadena será palíndromo a menos que se forme a través de (1) a (3).
Se pide:
i. Muestre cadenas que se generan por la aplicación de la definición.

ii. Demostrar la definición a través de inducción sobre la longitud de “x”
SECCIÓN 6: Cardinalidad
6.1 Probar que si A ⊆ B y A es infinito, entonces B es infinito.
Página 2 de 5
6.2 Dar, si es posible, un ejemplo de cada apartado:

i. Un subconjunto infinito de un conjunto finito.
ii. Unos conjuntos finitos A y B tales que | A ∪ B | ≠ |A| + |B|.
SECCIÓN 7: Grafos
7.1 Representar el siguiente grafo NO dirigido G = (N, A, P, C), donde
N = {A, B, C, D, E}, A = {a, b, c, d, e, f, g}
P: P(a) = {A, A}, P(b) = {A, B}, P(c) = {B, D}, P(d) = {D, D}, P(e) = {D, E},
P(f) = {E, B}, P(g) = {E, A}
C: C(a) = 5, C(b) = 7, C(c) = 11, C(d) = 3, C(e) = 1,

C(f) = 3, C(g) = 9
7.2 Un grafo dirigido o dígrafo se denota como G = (V, E), donde V es un conjunto de nodos o vértices y E es
un conjunto de pares ordenados de vértices llamados arcos o aristas. Denotamos un arco de v a w como
v → w (v es el predecesor de w).
Representar el siguiente dígrafo: G = ({ 1, 2, 3, 4}, {i → j | i < j} )
7.3 En la orilla izquierda de un río se encuentra un hombre (H), junto con un lobo (L), una cabra (C) y un
repollo (R).
Hay un bote con la capacidad suficiente para llevar al hombre y a uno de los otros tres. El hombre con
un repollo y demás compañeros deber cruzar el río, y el hombre puede llevar a uno solo una vez. Sin
embargo, si el hombre deja solo al lobo y a la cabra en cualquier lado del río, con toda seguridad el lobo
se comerá a la cabra. Del mismo modo si la cabra y el repollo se quedan juntos, la cabra se comerá el
repollo. ¿Es posible que se pueda cruzar el río sin que nada sea comido por nadie?
El problema se modela observando que la información pertinente es la de quien ocupa cada ribera del
río después de un cruce, esos serán los posibles estados o nodos de un grafo.
Un estado o nodo se denotará, por ejemplo, LR − HC que significará que en la ribera izquierda están el
lobo y el repollo y en la ribera derecha están el hombre y la cabra. Algunos estados posibles, tal como
HL−CR, son fatales y por lo tanto nunca debemos “entrar" a ellos. Las aristas del grafo son las acciones
que el hombre toma. Él puede cruzar sólo (etiqueta de la arista con h), con el lobo (etiqueta de la arista
con l), con la cabra (etiqueta de la arista con c) o con el repollo (etiqueta de la arista con r).
Las aristas del grafo son las acciones que el hombre puede hacer:
(h) puede cruzar solo.

(l) llevando el lobo.
Página 3 de 5
(c) llevando la cabra.

(r) llevando el repollo.
El estado inicial es el nodo HLCR-  y el estado final el nodo -HLCR
7.4 V o F? Si todos los vértices tienen grado mayor a cero, el grafo es conexo.
SECCIÓN 8: Árboles
8.1 Dado el siguiente árbol binario, indique:
i. Nodo raíz,
ii. Subárbol Izquierdo y derecho
iii. Describa el árbol completo con notación (raíz, subArbol Izq, subArbol Der)
iv. Altura del árbol
v. Nodos internos y terminales
vi. Nodos que se encuentran en el nivel 2
vii. Grado de cada nodo
8.2 La final de tenis masculina en Wimbledon es ganada por el primer jugador que gane tres de cinco sets en
un juego. Si C y M denotan a los jugadores, dibuje un diagrama de árbol que muestre todas las formas
posibles en que se puede decidir el juego.
------------------------------------------------------------------------------------------------------------------------------------------
EJERCICIOS COMPLEMENTARIOS:
SECCIÓN 2: Definiciones básicas

i. Sea A = {5}, obtener el conjunto de partes de A, 2A:
ii. Cuántos elementos tiene 2A ?. Analizar distintos cardinales del conjunto A. Proponer una conjetura.
Pruebe su conjetura.
iii. Determinar cuántos elementos debe tener el conjunto A, sabiendo que |2A |= 32 ó 64.
SECCIÓN 4: Relaciones y funciones
Página 4 de 5
Definimos el conjunto “clase de equivalencia de a” como el subconjunto de A formado por todos los
elementos que son equivalentes a a, y su notación es: [a] = {b ∈ A / b  a}.
Definimos Partición de un conjunto (P(A)): “Dado A un conjunto, una Relación R y P un conjunto formado
por las clases de equivalencia de A, decimos que P es una partición de A si se verifican las siguientes
propiedades:
P1) P ≠ ∅ para todo [a] ∈ P (los elementos de la partición son no vacíos)
P2) Dados [a], [b] ∈ P, si [a] ≠ [b] entonces [a]  [b] = ∅ (dos elementos distintos de la partición
son disjuntos)
P3) ∀a ∈ A, a ∈ [a] pertenece a algún elemento de la partición o, lo que es lo mismo, A es la unión

de todos los elementos de la partición.
i. Sea A = {1, 2, 3, 4, 5, 6, 7, 8} y la relación R1 de equivalencia en A tal que:
R1 = { (1, 1), (2, 2), (3, 3), (4, 4), (5, 5), (6, 6), (7, 7), (8, 8), (1, 2), (2, 1), (1, 3), (3, 1), (2, 3), (3, 2), (4, 5), (5,
4), (6, 8), (8, 6) }
i.1) Encuentre los conjuntos [a] para todo a  A:

i.2) Compruebe que las clases de equivalencia son disjuntas dos a dos, no vacías y su unión es A.
i.3) Encuentre el conjunto P(A).
ii. Considere la relación R en Z definida por: a  b si y sólo si b - a es divisible por 4.
ii.1) Muestre algunos pares de la relación R:

ii.2) Verifique que es una relación de equivalencia.
ii.3) Encuentre las clases de equivalencia y la partición P inducida en Z por la relación R
ii.4) Verificar que en P se cumplen las propiedades P1, P2 y P3.
Página 5 de 5

Universidad Nacional de Salta - Sede Regional Orán: TP00: Introducción - Preliminares Matemáticos SECCIÓN 1: Lógica

Cargado por

Copyright:

Formatos disponibles

Universidad Nacional de Salta - Sede Regional Orán: TP00: Introducción - Preliminares Matemáticos SECCIÓN 1: Lógica

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Universidad Nacional de Salta - Sede Regional Orán: TP00: Introducción - Preliminares Matemáticos SECCIÓN 1: Lógica

Cargado por

Copyright:

Formatos disponibles

Universidad Nacional de Salta – Sede Regional Orán

Carrera: Licenciatura en Análisis de Sistemas (LAS)

TP00: Introducción – Preliminares matemáticos

1.3 Las siguientes proposiciones son tautologías?

1.4 Probar que la siguiente proposición es una contradicción: (P ⟶ Q) ∧ (P ∧ ¬ Q)

SECCIÓN 2: Definiciones básicas

SECCIÓN 3: Operaciones con conjuntos

3.2 Probar o refutar las siguientes afirmaciones:

3.3 Son ciertos los siguientes resultados?

SECCIÓN 4: Relaciones y funciones

4.2 Si 𝒰 = { 1, 2, 3, 4, 5 }, A = { 1, 2, 3 }, B = { 2, 4, 5 }, de ejemplos de:

4.3 Sea A1 = { 0, 1, 2, 3, 4 }, A2 = { 1, 3, 7, 12 }, A3 = { 0, 1, 2, 4, 8, 16, 32 } y A4 = { -3, -2, -1, 0, 1, 2, 3 }.

4.5 Sea A = { 1, 2, 3, 4 } y ℛ = {(x, y) ϵ 𝐴2 / x = y ∨ x + y = 3}.

i. Definir ℛ por extensión.

4.7 Sea ℛ ⊆ ℕ x ℕ, donde (m, n) ∈ ℛ si (y sólo si) n = 5m + 2.

a.  es un palíndromo (cadena vacía).

i. Muestre cadenas que se generan por la aplicación de la definición.

6.1 Probar que si A ⊆ B y A es infinito, entonces B es infinito.

6.2 Dar, si es posible, un ejemplo de cada apartado:

C: C(a) = 5, C(b) = 7, C(c) = 11, C(d) = 3, C(e) = 1,

Representar el siguiente dígrafo: G = ({ 1, 2, 3, 4}, {i → j | i < j} )

(h) puede cruzar solo.

(c) llevando la cabra.

El estado inicial es el nodo HLCR-  y el estado final el nodo -HLCR

SECCIÓN 2: Definiciones básicas

SECCIÓN 4: Relaciones y funciones

P1) P ≠ ∅ para todo [a] ∈ P (los elementos de la partición son no vacíos)

P3) ∀a ∈ A, a ∈ [a] pertenece a algún elemento de la partición o, lo que es lo mismo, A es la unión

i. Sea A = {1, 2, 3, 4, 5, 6, 7, 8} y la relación R1 de equivalencia en A tal que:

i.1) Encuentre los conjuntos [a] para todo a  A:

ii. Considere la relación R en Z definida por: a  b si y sólo si b - a es divisible por 4.

ii.1) Muestre algunos pares de la relación R:

También podría gustarte