1. La que corresponde a la física (estudio de dispositivos).
2. La parte de ingeniería (utilización de los dispositivos).

Todo sistema electrónico consta de 3 fases:

1. Transducción a señal eléctrica (sensor).
2. Tratamiento (y transporte) de la señal eléctrica.
3. Transducción a señal externa.

• Saber resolver circuitos eléctricos “a mano”.
• Conocer los transistores BJT y FET, sus aplicaciones y su resolución en circuitos.
• Conocer las reglas básicas de análisis de circuitos.
• Resolución de circuitos/sistemas en frecuencia.
• Conocer el amplificador operacional.
• Conocer la conversión analógico/digital.
• Conocer la electrónica detrás de algunos componentes (microprocesadores, memorias).

0.  Conceptos básicos para el análisis de circuitos

1. Teoria y tecnología de materiales para la electrónica

2. Diodos de unión PN

3. Transistores de unión bipolar

4. Transistores de efecto de campo

5. Señales, transferencia y respuesta

6. Procesado analógico de la señal con amplificadores operacionales

7. Circuitos de conversión de datos

Son los lenguajes más simples.

Definidos por:

• Átomos: frase declarativa que no puede dividirse.
• Conectivas lógicas: ¬ (negación), Λ (disyunción), ν (conjunción), → (implicación), ↔ (equivalencia)

Ejemplo:

“Si ningún banco concede interés, los ciudadanos dejan de ahorrar ó los precios suben”

P→(QνR)

2. Lenguajes de predicados

Son más complejos. Básicamente la diferencia radica en que en los Lenguajes de predicados los átomos no son solo letras, son expresiones en las que puede haber variables.

Sirven para representar, también, proposiciones formales; p.e. de propiedades de programas.

Usan cuantificadores: ∃, ∀

3. Demostración automática

Consiste en encontrar métodos para demostrar teoremas que se pueden implementar en un ordenador.

• Se estudiará el Método de resolución (es una regla que se puede implementar facilmente en un computador).

4. El lenguaje PROLOG

Está basado en el formalismo de la Lógica.

Se usa en IA y BBDD.

En el lenguaje natural un razonamiento es:

Frase1, …, Frasen. Por tanto, Frasen+1 ( = Premisas. Por tanto, Conclusión)

Lista de Temas

1. Lenguajes de Proposición
2. Lenguajes de predicados
3. Demostración automática
4. El lenguaje PROLOG

Bibliografía

• El arte de la Lógica para el tema 1.
• Lógica simbólica para informáticos para los temas 1 y 2.
• Programación lógica para los temas 3 y 4.
• Programación en PROLOG para el tema 4.
• Matemática Discreta y Lógica para el tema 4.