28.04.2013 Views

Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Redes Modalidad 1.pdf - RUA - Universidad de Alicante

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Guía Docente <strong>de</strong> Lógica Computacional. Curso 2004/2005<br />

una serie <strong>de</strong> sugerencias que le facilitarán el aprendizaje <strong>de</strong> la asignatura para su puesta<br />

al día.<br />

4. BLOQUES Y TEMAS DE CONTENIDO<br />

4.1. Bloques <strong>de</strong> contenidos <strong>de</strong> aprendizaje<br />

Bloque I. El Lenguaje <strong>de</strong> la Lógica <strong>de</strong> Primer Or<strong>de</strong>n.<br />

Tema 0: ¿Qué es la Lógica? Precursores y evolución.<br />

Tema 1: El lenguaje <strong>de</strong> la lógica <strong>de</strong> primer or<strong>de</strong>n.<br />

Tema 2: El lenguaje <strong>de</strong> la lógica <strong>de</strong> proposiciones.<br />

Tema 3: El lenguaje <strong>de</strong> la lógica <strong>de</strong> predicados.<br />

Bloque II. Teoría Semántica.<br />

Tema 4: Interpretación lógica.<br />

Tema 5: Estudio semántico <strong>de</strong> fórmulas proposicionales.<br />

Tema 6: Estudio semántico <strong>de</strong> fórmulas cuantificadas.<br />

Tema 7: Estudio semántico <strong>de</strong> la vali<strong>de</strong>z <strong>de</strong> argumentos.<br />

Bloque III. Sistemas <strong>de</strong> Deducción.<br />

Tema 8: Razonamiento lógico.<br />

Tema 9: El sistema <strong>de</strong> Deducción Natural.<br />

Tema 10: ¿Cualquier verdad se pue<strong>de</strong> <strong>de</strong>mostrar?<br />

Bloque IV. Demostración Automática <strong>de</strong> Teoremas y Programación Lógica.<br />

Tema 11: Depurando el lenguaje para su tratamiento automático<br />

Tema 12: La Demostración Automática <strong>de</strong> Teoremas.<br />

Tema 13: Introducción a la Programación Lógica.<br />

4.2. Desarrollo <strong>de</strong> los temas o unida<strong>de</strong>s <strong>de</strong> contenido<br />

Desarrollo <strong>de</strong>l Bloque I: El Lenguaje <strong>de</strong> la Lógica <strong>de</strong> Primer Or<strong>de</strong>n.<br />

Entendiendo que el propósito <strong>de</strong> la lógica es llevar a cabo la formalización<br />

<strong>de</strong>l conocimiento y la manipulación <strong>de</strong>l mismo, se introduce el lenguaje formal <strong>de</strong> la<br />

lógica <strong>de</strong> primer or<strong>de</strong>n con el que formalizaremos sentencias <strong>de</strong>l lenguaje natural.<br />

Contaremos con dos niveles <strong>de</strong> abstracción bien caracterizados, el lenguaje<br />

proposicional y el lenguaje predicativo al que llamaremos lenguaje <strong>de</strong> la lógica <strong>de</strong><br />

primer or<strong>de</strong>n.<br />

Tema 0: ¿Qué es la Lógica?. Precursores y evolución.<br />

0.1. La lógica como motor <strong>de</strong> inferencia.<br />

0.2. El sistema formal <strong>de</strong> la lógica <strong>de</strong> primer or<strong>de</strong>n.<br />

0.3. La lógica nace con la filosofía y se formaliza.<br />

0.4. La lógica en la informática.<br />

Tema 1: El Lenguaje <strong>de</strong> la Lógica <strong>de</strong> Primer Or<strong>de</strong>n.<br />

1.1. El lenguaje natural y formal.<br />

1.2. Manipulación computacional <strong>de</strong> los lenguajes.<br />

1.3. ¿Todo se pue<strong>de</strong> formalizar? Enunciado y argumento.<br />

1.4. Abstracción en la formalización y características generales.<br />

Tema 2: El Lenguaje <strong>de</strong> la Lógica <strong>de</strong> Proposiciones.<br />

2.1. Enunciados atómicos y moleculares.<br />

17

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!