Beruflich Dokumente
Kultur Dokumente
CONSOLIDADO 2
ASIGNATURA
MATEMÁTICA DISCRETA
FACULTAD: INGENIERÍA
INSTRUCCIONES:
1. Si:
g
I
q a b
q1 q0
q0
q1 q2
q1
q3 q0
*q2
*q3 q1 q2
A) Determine la quíntupla (1 p)
B) Dibuje el diagrama de transición de la máquina de estado finito el estado (1
p)
C) Determine si el arreglo baabaa es aceptado por la máquina de estado
finito escribir el recorrido. (1 p)
MATEMÁTICA DISCRETA
a) Encuentre la quíntupla (1 p)
= ሼ𝒂, 𝒃ሽ
𝜹 = función de transición
Q0= ൛q0ൟ
F= ൛q2;q3ൟ
b
b a
a b a
q0 q1 q2 q3
0 1
a
b
b a a b a a
q0----q0---- q1----q1----q2----q3---- q1 no es aceptado
|
Peso:2+4+4+1+2+2+1+2+1+3+2+3=27
A B C D E F G H I J K L M
A - 1 ∞ ∞ 2 5 ∞ ∞ ∞ ∞ ∞ ∞ ∞
B 1 - 7 ∞ ∞ ∞ 2 1 ∞ ∞ ∞ ∞ ∞
C ∞ 7 - 3 ∞ ∞ ∞ 3 ∞ ∞ ∞ ∞ ∞
D ∞ ∞ 3 - ∞ ∞ ∞ ∞ 3 ∞ ∞ ∞ ∞
E 2 ∞ ∞ ∞ - ∞ ∞ ∞ ∞ ∞ 4 ∞ ∞
F 5 ∞ ∞ ∞ ∞ - 10 ∞ ∞ ∞ 1 7 ∞
G ∞ 2 ∞ ∞ ∞ 10 - ∞ ∞ 8 ∞ ∞ ∞
H ∞ 1 3 ∞ ∞ ∞ ∞ - 2 8 ∞ ∞ ∞
I ∞ ∞ ∞ 3 ∞ ∞ ∞ 2 - ∞ ∞ ∞ 5
J ∞ ∞ ∞ ∞ ∞ ∞ 8 8 ∞ - ∞ 2 9
K ∞ ∞ ∞ ∞ 4 1 ∞ ∞ ∞ ∞ - 4 ∞
L ∞ ∞ ∞ ∞ ∞ 7 ∞ ∞ ∞ 2 4 - 2
M ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ 5 9 ∞ 2 -
A B C D E F G H I J K L M
A - 1A ∞ ∞ 2A 5A ∞ ∞ ∞ ∞ ∞ ∞ ∞ A-B
A-B - - 8B ∞ 2A 5A 3B 2B ∞ ∞ ∞ ∞ ∞ A-E
A-E - - 8B ∞ - 5A 3B 2B ∞ ∞ 6E ∞ ∞ A-B-H
A-B-H - - 5H ∞ - 5A 3B - 4H 10H 6E ∞ ∞ A-B-G
A-B-G - - 5H ∞ - 5A - - 4H 10H 6E ∞ ∞ A-B-H-I
A-B-H-I - - 5H 7I - 5A - - - 10H 6E ∞ 9I A-B-H-C
A-B-H-C - - - 7I - 5A - - - 10H 6E ∞ 9I A-F
A-F - - - 7I - - - - - 10H 6F 12F 9I A-F-K
A-F-K - - - 7I - - - - - 10H - 10K 9I A-B-H-I-D
A-B-H-I-D - - - - - - - - - 10H - 10K 9I A-B-H-I-M
A-B-H-I-M - - - - - - - - - 10H - 10K - A-B-H-J
A-B-H-J - - - - - - - - - - - 10K - A-F-K-L
A B C D E F G H I J K L M
A - 1A ∞ ∞ 2A 5A ∞ ∞ ∞ ∞ ∞ ∞ ∞ A-B
A-B - - 8B ∞ 2A 5A 3B 2B ∞ ∞ ∞ ∞ ∞ A-E
A-E - - 8B ∞ - 5A 3B 2B ∞ ∞ 6E ∞ ∞ A-B-H
A-B-H - - 5H ∞ - 5A 3B - 4H 10H 6E ∞ ∞ A-B-G
A-B-G - - 5H ∞ - 5A - - 4H 10H 6E ∞ ∞ A-B-H-I
A-B-H-I - - 5H 7I - 5A - - - 10H 6E ∞ 9I A-B-H-C
A-B-H-C - - - 7I - 5A - - - 10H 6E ∞ 9I A-F
A-F - - - 7I - - - - - 10H 6E 12F 9I A-E-K
A-E-K - - - 7I - - - - - 10H - 10K 9I A-B-H-I-D
A-B-H-I-D - - - - - - - - - 10H - 10K 9I A-B-H-I-M
A-B-H-I-M - - - - - - - - - 10H - 10K - A-B-H-J
A-B-H-J - - - - - - - - - - 10K - A-E-K-L
Recorrido Peso
A 0
A-B 1
A-B-H-C 5
A-B-H-I-D 7
A-E 2
A-F 6
A-B-G 3
A-B-H 2
A-B-H-I 4
A-B-H-J 10
A-E-K 6
A-F-K
A-E-K-L 10
A-F-K-L
4. Prueba, por inducción, que para n ≥ 1 , 3(52𝑛+1 ) + 23𝑛+1 , es divisible por 17.
(3 p)
∑ 𝟑(𝟓𝟐𝒏+𝟏 ) + 𝟐𝟑𝒏+𝟏
n= 𝑘 𝑛=1
𝟐𝒌+𝟏 𝒂 + 𝒃 = 𝟏𝟕ሶ
𝟑(𝟓 )=a
𝒂 = 𝟏𝟕ሶ − 𝒃
𝟐𝟑𝒌+𝟏 = 𝑏
𝑘+1
n= 𝑘 + 1 ∑ 𝟑(𝟓𝟐𝒌+𝟏 ) + 𝟐𝟑𝒌+𝟏
𝑛=1
𝟐
𝟑(𝟓 𝟐𝒌+𝟏
) (𝟓 ) + 𝟐𝟑𝒌+𝟏 (𝟐𝟑 )= 𝟏𝟕ሶ
a b
𝒂(𝟐𝟓) + 𝒃(8)= 𝟏𝟕ሶ
𝟏𝟕ሶ = 𝟏𝟕ሶ
EVALUACIÓN 2021-10 Página 8
MATEMÁTICA DISCRETA
P1: (p ^ ~q)→( r v s)
P2: p → ~r
P3: s →q
∴ q
Rpta: { ( [(p ^ ~q)→( r v s)] ^ (p → ~r) ) ^ (s →q) } → q no
es válido por que no es tautología
p q r s p ^ ~q → ( r v s) ^ p → ~r) ^ (s →q) → q
V V V V F V V F F F V V V
V V V F F V V F F F V V V
V V F V F V V V V V V V V
V V F F F V F V V V V V V
V F V V V V V F F F F V F
V F V F V V V F F F V V F
V F F V V V V V V F F V F
V F F F V F F F V F V V F
F V V V F V V V V V V V V
F V V F F V V V V V V V V
F V F V F V V V V V V V V
F V F F F V F V V V V V V
F F V V F V V V V F F V F
F F V F F V V V V V V F F
F F F V F V V V V F F V F
F F F f F V F V V v V F F