1. RUA
  2. Teaching
  3. GITE
  4. INFMAT
  5. GITE - INFMAT - Manuales / Temas

Matemáticas 1. Apuntes Tema 1: Razonar con “Lógica”, con lógica formal de primer orden

Please use this identifier to cite or link to this item: http://hdl.handle.net/10045/23253
StatisticsStatistics
Información del item - Informació de l'item - Item information
Title: Matemáticas 1. Apuntes Tema 1: Razonar con “Lógica”, con lógica formal de primer orden
Authors: Castel de Haro, María Jesús
Research Group/s: INFMAT
Center, Department or Service: Universidad de Alicante. Departamento de Ciencia de la Computación e Inteligencia Artificial
Subject: Matemáticas 1
Studies: Grado en Ingeniería Informática
Code: 34002
Keywords: Razonamiento | Sistema de la lógica de primer orden
Knowledge Area: Ciencia de la Computación e Inteligencia Artificial
Issue Date: 17-Sep-2011
URI: http://hdl.handle.net/10045/23253
Language: spa
Tipe: learningObject
Rights: Licencia Creative Commons Reconocimiento-NoComercial-SinObraDerivada 3.0
Appears in Collections:GITE - INFMAT - Manuales / Temas

Files in This Item:
Files in This Item:
File Description SizeFormat 
ThumbnailApuntes_T1_(M1-GII_11'12).pdf475,42 kBAdobe PDFOpen Preview
Show full item record


This item is licensed under a Creative Commons License Creative Commons