Asunto de reexamen 541 Matemáticas discretas y principios de compilación de la especialización en informática y tecnología de China Southern Airlines

"Matemáticas discretas" (tercera edición), editado por Geng Suyun, Qu Wanling y Zhang Liang, Tsinghua University Press, 2004;

Principios de compilación, editado por Chen Huowang, National Defense Industry Press, 2000, tercera edición.

Parte de Matemática discreta

1. Lógica proposicional y lógica de primer orden

1.1. Conectores, cuantificadores y predicados

1.2. Paradigma lógico

1.3. Fórmulas de combinación, explicaciones y fórmulas equivalentes

1.4 Teoría de la inferencia

2. Operaciones y propiedades de conjuntos

2.2. Operaciones, propiedades y cierres de relaciones

2.3. Relaciones de equivalencia y relaciones de orden parcial

2.4. /p>

3. Sistemas algebraicos

3.1. Sistemas algebraicos y sus homomorfismos e isomorfismos

3.2 Semigrupos y grupos

3.3. álgebra

4. Gráficos y árboles

4.1 Definición y representación de gráficos

4.2. Gráficos de Euler y conectividad de gráficos de Hamilton

4.3. Planos y planos de planta en dos partes

4.4 Árboles, árboles de expansión y árboles de raíz

Parte del principio de compilación

Capítulo 1: Comprender lo básico Conceptos y estructura de los compiladores.

Capítulo 2: Dominar los conceptos básicos, la terminología y los métodos de conversión gramatical de la definición del lenguaje y la descripción gramatical;

Capítulo 3: Dominar los conceptos y algoritmos de autómatas finitos y transformaciones entre paradigmas; formas normales y autómatas finitos y gramáticas regulares.

Capítulo 4: Método de análisis Master LL(1); método de análisis LR(K).

Capítulo 5: Domine el concepto de gramática de atributos; la definición de gramática de atributos S y gramática de atributos L, modo de traducción y métodos de cálculo de atributos heredados y atributos integrales.

Capítulo 6: Dominar la traducción de declaraciones de asignación y expresiones booleanas; controlar la traducción de llamadas a procedimientos y verificación de tipos;

Capítulo 7: Organización operativa del almacenamiento; gestión e implementación del almacenamiento estático y dinámico.

Capítulo 8: Dominar los conceptos de optimización y optimización local, ecuaciones de flujo de datos y métodos de optimización de bucles.