Matemáticas 1. Apuntes Tema 1: Razonar con “Lógica”, con lógica formal de primer orden
Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10045/23253
| Título: | Matemáticas 1. Apuntes Tema 1: Razonar con “Lógica”, con lógica formal de primer orden |
|---|---|
| Autor/es: | Castel de Haro, María Jesús |
| Grupo/s de investigación o GITE: | INFMAT |
| Centro, Departamento o Servicio: | Universidad de Alicante. Departamento de Ciencia de la Computación e Inteligencia Artificial |
| Asignatura/s: | Matemáticas 1 |
| Estudios en los que se imparte: | Grado en Ingeniería Informática |
| Código: | 34002 |
| Palabras clave: | Razonamiento | Sistema de la lógica de primer orden |
| Área/s de conocimiento: | Ciencia de la Computación e Inteligencia Artificial |
| Fecha de publicación: | 17-sep-2011 |
| URI: | http://hdl.handle.net/10045/23253 |
| Idioma: | spa |
| Tipo: | learningObject |
| Derechos: | Licencia Creative Commons Reconocimiento-NoComercial-SinObraDerivada 3.0 |
| Aparece en las colecciones: | GITE - INFMAT - Manuales / Temas |
Archivos en este ítem:
| Archivo | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
 Apuntes_T1_(M1-GII_11'12).pdf | 475,42 kB | Adobe PDF | Abrir Vista previa | |
Ver citas en Google Académico
Este ítem está licenciado bajo Licencia Creative Commons
