Libros (Ciencias de la Computación e Inteligencia Artificial)
URI permanente para esta colecciónhttps://hdl.handle.net/11441/25297
Examinar
Envíos recientes
Libro Eighteenth Brainstorming Week on Membrane Computing Sevilla, February 4 - 7, 2020 : RGNC REPORT 1/2020(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020) Orellana Martín, David; Paun, Gheorghe; Riscos Núñez, Agustín; Pérez Hurtado de Mendoza, Ignacio; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; Ministerio de Economia, Industria y Competitividad (MINECO). España; TIC193: Computación NaturalLibro Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5 - 8, 2019 : RGNC REPORT 1/2019(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019) Orellana Martín, David; Paun, Gheorghe; Riscos Núñez, Agustín; Andreu Guzmán, José A.; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; TIC193: Computación NaturalLibro 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; Ciencias de la Computación e Inteligencia Artificial; TIC137: Logica, Computacion e Ingenieria del ConocimientoEste 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.Libro 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; Ciencias de la Computación e Inteligencia Artificial; TIC137: Logica, Computacion e Ingenieria del ConocimientoTodos 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).Libro 15th Brainstorming Week on Membrane Computing Sevilla, January 31 - February 3, 2017, RGNC REPORT 1/2017 Research Group on Natural Computing Sevilla University(Fenix Editora, 2017) Graciani Díaz, Carmen; Paun, Gheorghe; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; TIC193: Computación NaturalLibro Información : tratamiento y representación(Universidad de Sevilla, 2001) Infante Macías, Rafael; Nepomuceno Fernández, Ángel; Salguero Lamillar, Francisco J.; Quesada Moreno, José Francisco; Alarcón Cabrera, Carlos; Díaz Estévez, Emilio; Amores Carredano, José Gabriel De; Yanguas Álvarez de Toledo, Ángel; Hernández Martín, María Carmen; Gutiérrez Pozo, Gabriel; Marín Rodríguez, Antonio; Escudero González, Miguel; Pérez Jiménez, Mario de Jesús; Estadística e Investigación Operativa; Filosofía y Lógica y Filosofía de la Ciencia; Lengua Española, Lingüística y Teoría de la Literatura; Ciencias de la Computación e Inteligencia Artificial; Filología Inglesa (Lengua Inglesa); Genética; Fisiología; Nepomuceno Fernández, Ángel; Quesada Moreno, José Francisco; Salguero Lamillar, Francisco J.; Ministerio de Ciencia y Tecnología (MCYT). España; HUM609: Grupo de Lógica, Lenguaje e InformaciónLibro FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015(Fidetia, 2016) 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ñaLibro FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014(Fidetia, 2015) 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íaLibro FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013(Fidetia, 2014) 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íaLibro 14th Brainstorming Week on Membrane Computing Sevilla, February 1 - 5, 2016 : RGNC Report 1/2016(Fénix, 2016) Graciani Díaz, Carmen; Orellana Martín, David; Riscos Núñez, Agustín; Romero Jiménez, Álvaro; Valencia Cabrera, Luis; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; TIC193 : Computación NaturalLibro Ninth Brainstorming Week on Membrane Computing, Sevilla, January 31 - February 4, 2011 : RGNC REPORT 1/2011(Fénix Editora, 2011) Martínez del Amor, Miguel Ángel; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Romero Campero, Francisco José; Valencia Cabrera, Luis; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; TIC193: Computación NaturalLibro Eighth Brainstorming Week on Membrane Computing, Sevilla, February 1-5, 2010 : RGNC REPORT 1/2010(Fénix Editora, 2010) Martínez del Amor, Miguel Ángel; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; TIC193: Computación NaturalLibro Seventh Brainstorming Week on Membrane Computing. Sevilla, February 2-February 6, 2009, Volume II : RGNC REPORT 2/2009(Fénix Editora, 2009) Martínez del Amor, Miguel Ángel; Orejuela Pinedo, Enrique Francisco; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; TIC193: Computación NaturalLibro Seventh Brainstorming Week on Membrane Computing. Sevilla, February 2-February 6, 2009 Volume I : RGNC REPORT 1/2009(Fénix Editora, 2009) Gutiérrez Escudero, Rosa; Gutiérrez Naranjo, Miguel Ángel; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; TIC193: Computación NatualLibro Sixth Brainstorming Week on Membrane Computing Sevilla, February 4–February 8, 2008 : RGNC REPORT 01/2008(Fénix Editora, 2008) Díaz Pernil, Daniel; Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; TIC193: Computación NaturalLibro Fifth Brainstorming Week on Membrane Computing.Sevilla, January 29–February 2, 2007 : RGNC REPORT 01/2007(Fénix Editora, 2007) Gutiérrez Naranjo, Miguel Ángel; Paun, Gheorghe; Romero Jiménez, Álvaro; Riscos Núñez, Agustín; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; TIC193: Computación NaturalLibro Tenth Brainstorming Week on Membrane Computing Sevilla, January 30 - February 3, 2012 Volume II : RGNC REPORT 2/2012(Fénix Editora, 2012) García Quismondo, Manuel; Macías Ramos, Luis Felipe; Paun, Gheorghe; Valencia Cabrera, Luis; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; TIC193: Computación NaturalLibro Tenth Brainstorming Week on Membrane Computing Sevilla, January 30 – February 3, 2012 Volume I : RGNC REPORT 1/2012(Fénix Editora, 2012) Martínez del Amor, Miguel Ángel; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Romero Campero, Francisco José; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; TIC193: Computación NaturalLibro Eleventh Brainstorming Week on Membrane Computing Sevilla, February 4-8, 2013 : RGNC REPORT 1/2013(Fénix Editora, 2013) Valencia Cabrera, Luis; García Quismondo, Manuel; Macías Ramos, Luis Felipe; Martínez del Amor, Miguel Ángel; Paun, Gheorghe; Riscos Núñez, Agustín; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; TIC193: Computación NaturalLibro Twelfth Brainstorming Week on Membrane Computing Sevilla, February 3-7, 2014: RGNC REPORT 1/2014(Fénix Editora, 2014) Macías Ramos, Luis Felipe; Martínez del Amor, Miguel Ángel; Paun, Gheorghe; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Ciencias de la Computación e Inteligencia Artificial; Research Group on Natural Computing; TIC193: Computación Naturalo