Matemáticas 1. Apuntes Tema 2: el lenguaje de la lógica de primer orden y la teoría de conjuntos
Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10045/23254
Título: | Matemáticas 1. Apuntes Tema 2: el lenguaje de la lógica de primer orden y la teoría de conjuntos |
---|---|
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: | Lenguaje formal | Lógica de primer orden | Conjunto |
Á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/23254 |
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 | |
---|---|---|---|---|
Ap-T2-LLpo_(M1-GII_11'12).pdf | 695,04 kB | Adobe PDF | Abrir Vista previa | |
Este ítem está licenciado bajo Licencia Creative Commons