Libros (Ciencias de la Computación e Inteligencia Artificial)

URI permanente para esta colecciónhttps://hdl.handle.net/11441/25297

Examinar

Examinando Libros (Ciencias de la Computación e Inteligencia Artificial) por Autor "Borrego Díaz, Joaquín"

Seleccione resultados tecleando las primeras letras
Mostrando 1 - 5 de 5
  • Miniatura
    Acceso AbiertoLibro
    Curso Práctico de Teoría de Conjuntos
    (Ediciones La Ñ, 1998) Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Pérez Jiménez, Mario de Jesús; Ruiz Reina, José Luis; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Universidad de Sevilla. TIC137: Logica, Computacion e Ingenieria del Conocimiento
    Todos los que hemos impartido tópicos diversos relativos a la Teoría de Conjuntos, en primer o segundo ciclo universitario, hemos echado de menos, en mayor o menor medida, un texto en el que apareciera un amplio espectro de problemas resueltos estructurados de manera sistemática. El Curso Práctico de Teoría de Conjuntos que presentamos, trata de cubrir ese vacío bibliográfico y consideramos que puede ser de interés tanto para profesores como para alumnos universitarios que necesiten trabajar con elementos varios de la Teoría de Conjuntos (órdenes, funciones, inducción, recursión, ordinales, finitud, numerabilidad, cardinales,...). Por tanto, puede ser un buen libro de consulta sobre estos temas, a niveles de primer y/o segundo ciclo universitario. Los temas del curso están estructurados en tres partes: en la primera se presenta un breve resumen teórico de los conceptos y resultados más importantes que se abordan; en la segunda parte se describen exhaustivamente soluciones de problemas relativos al contenido del mismo, y la última se expone una lista de ejercicios propuestos (muchos de ellos con indicaciones clarificadoras).
  • Miniatura
    Acceso AbiertoLibro
    Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)
    (Kronos, 2002) Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Universidad de Sevilla. TIC137: Logica, Computacion e Ingenieria del Conocimiento
    Este libro constituye el primer volumen de una serie sobre deducción automática. Su objetivo es la presentación de Prolog como un sistema de deducción automática y la construcción en Prolog de sistemas de deducción proposicional. En el primer capítulo presentamos la programación lógica en Prolog como una aplicación de la deducción automática a la vez que se introducen los conocimientos de Prolog necesarios en los siguientes capítulos del libro. En el segundo capítulo se formaliza en Prolog los conceptos básicos de la lógica proposicional y se muestra cómo pueden resolverse algunos problemas con OTTER y MACE. En el tercer capítulo se construyen en Prolog distintos cálculos lógicos proposicionales. En los siguientes volúmenes continuaremos la construcción de sistemas lógicos (para la lógica de primer orden con igualdad), estudiaremos el razonamiento asistido por ordenador (con OTTER, MACE y ACL2) y aplicaciones del razonamiento automático. El material de este volumen y los siguientes forma parte de cursos impartidos por los autores en el Departamento de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla. Se puede acceder a dichos cursos en la Red a través de http://www.cs.us.es/~jalonso.
  • Miniatura
    Acceso AbiertoLibro
    FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013
    (Fidetia, 2014) Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Miguel Rodríguez, Jaime de; Borrego Díaz, Joaquín; Sancho Caparrini, Fernando; Aranda Corral, Gonzalo A.; Domínguez Sánchez de la Blanca, Ismael; Junta de Andalucía
  • Miniatura
    Acceso AbiertoLibro
    FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014
    (Fidetia, 2015) Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Miguel Rodríguez, Jaime de; Borrego Díaz, Joaquín; Sancho Caparrini, Fernando; Aranda Corral, Gonzalo A.; Domínguez Sánchez de la Blanca, Ismael; Junta de Andalucía
  • Miniatura
    Acceso AbiertoLibro
    FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015
    (Fidetia, 2016) Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Miguel Rodríguez, Jaime de; Borrego Díaz, Joaquín; Sancho Caparrini, Fernando; Aranda Corral, Gonzalo A.; Domínguez Sánchez de la Blanca, Ismael; Ministerio de Economía y Competitividad (MINECO). España