1. Preguntas de opción múltiple (2 puntos por cada pregunta, * * * 20 puntos)
1. Haga la fórmula de la proposición p→(p∧). q) La asignación a falso es (a)
a 10 b 01 c 00d 11
2. Supongamos que hoy nieva. P: El camino está resbaladizo. , entonces la proposición "Aunque hoy nevó, el camino no está resbaladizo" se puede simbolizar como (a)
A.p∧┐q B.p∨┐q
D.p→┐q
3. Supongamos que b no contiene x, cuál de las siguientes equivalencias lógicas de primer orden es incorrecta es ()
A.
B.
C.
D.
4. Supongamos que x, y, z son un conjunto. ¿Cuál de las siguientes conclusiones es incorrecta? (b)
A. Si X Y, entonces x y = x B. (x-y)-z = x-(y ∩ z)
C.D.
5. A, e IA se establecen A IA R Las siguientes cuatro proposiciones son verdaderas (A).
A.R es reflexivo, B.R es transitivo, C.R es simétrico y D.R es antisimétrico.
6. Supongamos que la función f: n → n (n es un conjunto de números naturales), f(n)=n+1, y las siguientes cuatro proposiciones son verdaderas (A).
A.f es inyectiva, B.f es sobreyectiva, C.f es biyectiva y D.f no es inyectiva ni sobreyectiva.
7. Supongamos que A={1, 2, 3, 4}, entonces los elementos de A se clasifican correctamente como (D).
A.{, {1, 2}, {3, 4}} B. {{1, 2, 3}, {3, 4}}
C.{ {1}, {3, 4}} D. {{1, 2, 3, 4}}
8. Un gráfico completo no dirigido tiene (d) aristas.
A.n b . N2 c . n(n-1)d n(n-1)/2
9. gráfica, entonces el número de caras de G es (c).
A.2 B.3 C.4 D.5
10. El resultado del recorrido posterior al orden de un árbol binario es bdeca, y el resultado del recorrido en orden. es malo, entonces
Hay un nodo (C) en el subárbol derecho del nodo raíz.
A.1
II. Complete los espacios en blanco (2 puntos por cada pregunta, ***10 puntos)
1 El cuantificador niega la fórmula equivalente _ _ _ _ _ _ _ _ _ _ _ _ _ _.
2. Supongamos que R es una relación binaria en a = {1, 2, 3, 4}, R = {
3.A = {1, 2}, esto es un grupo y una operación de diferencias simétricas de un conjunto. El elemento unitario de este grupo es
El recíproco de {1} es.
4. La condición necesaria y suficiente para que el gráfico G sea un gráfico plano es que no haya ningún subgrafo que se reduzca a _K3, 3__ o K5.
5. Gráfico no dirigido g =
0 1 1 1
0 0 1 0
0 0 0 0
El complemento de esta gráfica tiene 12 lados.
2 preguntas de "Matemática Discreta"
1 Preguntas de verdadero o falso (1 punto cada una, ***10 puntos)
1. tiene paradigma disyuntivo único. (ton)
2. Una fórmula cerrada se convierte en una proposición bajo cualquier interpretación. ( )
El número de capas de 3 es 3 ()4..()
5. Supongamos que A, B y C son tres conjuntos. A C, entonces debe Hay B = C. (F).
6. La equivalencia, la similitud y la contracción de matrices son todas relaciones de equivalencia. (ton)
7. Se sabe que A es el elemento de segundo orden del grupo, entonces
8. Si el elemento en una red acotada tiene más de un complemento, entonces no es red de distribución. (6)
9. Si un grafo dirigido está fuertemente conexo, entonces debe ser unidireccional débilmente conexo. (tonelada)
10. Un gráfico bipartito es a la vez un gráfico de Otto y un gráfico hamiltoniano.
(6)
2. Rellena los espacios en blanco (2 puntos por cada pregunta, * * * 20 puntos)
1. En cuanto al tipo de fórmula, es una fórmula. .
2.____________________.
3. Supongamos que F(x):x es una persona, H(x):x respira. En lógica de primer orden, la forma simbólica de la proposición "mortal"
"murmullo" es _ _(f(x)->;H(x))______.
El grupo cíclico de orden 4.6 tiene cuatro subgrupos.
5.A={a,b}, entonces hay _ _ 24 biyecciones del conjunto potencia P(A) de A a sí mismo.
6.A={1, 2, 3}, donde S es el conjunto de todas las permutaciones sobre A, formando un grupo, entonces el elemento identidad es Ia (permutación unitaria), y su elemento inverso es que es un Prefacio.
7. La secuencia de grados de un gráfico dirigido de tercer orden es 2, 2, 4, la secuencia de grados es 2, 0, 2 y la secuencia de grados es 0, 2, 2. .
8. La condición necesaria y suficiente para que un grafo no dirigido tenga un árbol de expansión es que G sea un grafo conexo.
9. Si el árbol binario óptimo tiene n hojas, tiene n-1 ramas.
10. La conectividad del siguiente punto es igual a y la conectividad del borde es igual a _ _ _ _ _ _ _ _ _.