CURRICULUM

DATOS PERSONALES

Nombre: Alejandro Luna Tedesqui.

Fecha de nacimiento: 08/10/1975
Estado civil : Soltero
Carnet de Identidad : 2290450 – LP
Domicilio: Av. Ramos Gavilan Nro. 1664, z. Achachicala
La Paz - Bolivia.
Teléfono: 76704864, 22306560
Correo Electrónico: alejandro.lunat@gmail.com

FORMACION ACADEMICA
Estudios primarios: Escuela José Manuel Indaburo
Estudios secundarios: Colegio Antonio Díaz Villamil
Bachiller en humanidades: Colegio Delfín Eyzaguirre
Estudios universitarios:
• Doctorado en Tecnologías Informáticas Avanzadas, Mención:
Cum Laude 1, Universidad de Castilla-La Mancha (España).
• Máster Oficial en Tecnologías Informáticas Avanzadas,
Universidad de Castilla-La Mancha (España).
• Diplomado en Educación Superior, Universidad Salesiana de
Bolivia.
• Licenciado en Informática, Universidad Mayor de San Andrés,
Carrera de Informática.
• Cursando Carrera de Filosofía, Universidad Mayor de San Andrés,
• Mantenimiento y reparación de computadoras, Universidad Central.
Profesión: Licenciado en Informática, mención en Ingeniería de Sistemas
Postgrado: Doctorado en Tecnologías Informáticas Avanzadas, en la
Universidad de Castilla-La Mancha, España, Máster en
Tecnologías Informáticas Avanzadas, en la Universidad de
Castilla-La Mancha, España

EXPERIENCIA PROFESIONAL
Año 2019-2020 Procuraduría General del Estado, Jefe de la Unidad de Tecnologías de
Información y Comunicación.
Año 2018 Servicio de Desarrollo de las Empresas Públicas Productivas - SEDEM,
Profesional en Administración de Sistema SAETA.
Año 2017 Empresa Boliviana de Almendra y Derivados – EBA, Profesional en Sistemas
Informáticos.

1La mención cum laude es la máxima puntuación, aplicable solo a los doctorandos que alcanzan la puntuación
sobresaliente y la unanimidad mediante voto secreto individual del tribunal evaluador.
Año 2016(Septiembre)-Año 14/02/2017: Ministerio de Culturas y Turismo, Jefe de la
Unidad de Planificación y Tecnologías de Información.
Año 2015(Octubre)-2016(Marzo): Universidad de Castilla-La Mancha, Contratado por
Obra y Servicio para el Proyecto "UNA APROXIMACIÓN DECLARATIVA AL
MODELADO, ANÁLISIS Y RESOLUCIÓN DE PROBLEMAS" con referencia
TIN2013-45732-C04-2-P.
Año 2015(Julio-Septiembre): Ministerio de Salud, Bono Juana Azurduy. Responsable de
Planificación y Sistemas de Información.
Año 2014(Enero)-2015(Junio): Ministerio de Planificación del Desarrollo, Consultoría
Individual de Línea “Desarrollo de Sistemas”, para la Conclusión del
Diseño y Desarrollo Informático del SI-SPIE (Sistema de Planificación
Integral del Estado).
Año 2013: Ministerio de Planificación del Desarrollo, Consultoría Individual de Línea
“Programador de Sistemas”, Desarrollo de Sistemas de Información
Geográfico.
Año 2012: Universidad de Almería (España), Contratado por Obra y Servicio para el
Proyecto Titulado LENGUAJES DECLARATIVOS Y HERRAMIENTAS
PARA DATOS WEB, con referencia TIN2008-06622-C03-03.
Año 2011: CAUDAL – Consultores S.R.L., Consultor en Redes y Desarrollo de
Sistemas.
Año 2011: Universidad de Castilla-La Mancha (España), Contratado por Obra y Servicio
para el Proyecto ALDDEIA: Aplicaciones de la Lógica Difusa al Desarrollo
de Entornos Informáticos Avanzados, financiado por la MEC, Ref. TIN2007-
65749,
Año 2009-2010: Consultor Administrador de Redes y Servidores, Institución de
Desarrollo - COSAPI.
Año 2008-2009: Jefe de la Unidad de Tecnologías de Información, Ministerio de
Economía y Finanzas Públicas – República de Bolivia.
Año 2005-2007: Analista Administrador de Red de Servidores, Ministerio de Hacienda –
República de Bolivia.
Año 2004: Desarrollador de Sistemas - Ministerio de Hacienda (Sistema de
Correspondencia, Sistemas de POAIs y otros.)
Año 2004: Soporte Técnico – Ministerio de Hacienda
Año 2003: Auxiliar de docencia titular de "Internet-Intranet TIC"
Año 2002: Auxiliar de docencia titular de "Internet", carrera de Filosofía.
Año 2002: Diseño de una TIC facultativa en la facultad de humanidades.
Año 2001: Auxiliar de docencia de la Cátedra de lógica en la Carrera de Filosofía.
Año 2001: Auxiliar de docencia del Preuniversitario de la Facultad de Humanidades.
Año 2000: Diseño, Implementación y Elaboración del sitio Web del "Departamento De
Investigación, Postgrado E Interacción Social - DIPGIS".
Año 1999: Encargado del Diseño de Páginas web, de UMSANET.
Año 1997: Ingreso al proyecto UMSANET.
Año 1997: Diseño y Elaboración de las páginas Web, correspondiente a la
"Información general de la UMSA"
Año 1997: Administrativo III, Participación Popular
Año 1995: Encuestador de "Encuestas y Estudios"
Año 1994: Programación del Manual del Colegio de Trabajadoras Sociales
OTROS ESTUDIOS
Año 2015: Especialista en Sistemas de Información Geográfico
Año 2014: Información Gerencial en Aplicaciones del Satélite Túpac Katari
Año 2014: Diplomado en Educación Superior en la Universidad Salesiana.
Año 2013: Administración de Base de Datos en PostgreSQL
Año 2011: Diseño Gráfico Computarizado, en el Centro de Capacitación y
Actualización Profesional ATENEA S.R.L.
Año 2010: Programación en java 2 Estándar Edition
Año 2009: Asistencia al Segundo Congreso Internacional de Diseño Gráfico “Diseño y
Packaging”, ATENA.
Año 2007: Tecnologías de redes Inalámbricas Aplicadas en PYMES
Año 2006: Cisco CCNA 3, Principios Básicos de Conmutación y Enrutamiento
Intermedio
Año 2006: Cisco CCNA 4, Tecnologías Wan
Año 2006: Responsabilidad por la Función Pública.
Año 2005: Cisco CCNA 1, Redes de Computadoras
Año 2005: Programación de Microcontroladores, CESBOL
Año 2005: Cisco CCNA 2, Principios Básicos de Routers
Año 2004: LEY 1178, Ministerio de Hacienda
Año 2002: Curso De Capacitación En Redes Universitarias – UMSA.
Año 2002: Asistencia al 2do Encuentro Nacional de Estudiantes de Filosofía
Año 2001: Asistencia Al 1er Encuentro Internacional De Estudiantes De Historia.
Año 2000: Asistencia Al Primer Congreso De Software Libre Gnu/Linux
Tutoriales:
 Interfaz Samba Y Aplicaciones
 Programacion en Ambientes Visual y Librerias Gtk+.
 Acceso a Objetos De Base De Datos Postgresql Con Glade.
Seminarios:

 La Optimización Y Aprovechamiento De Recursos

Informáticos En Países Del Tercer Mundo.
 La Optimización Y Aprovechamiento De Recursos
Informáticos En Países Del Tercer Mundo.
 La Generación De Políticas De Investigación Y Desarrollo
De Software En Plataforma Gnu/Linux.
 El Software Libre Y La Democratización Del Conocimiento.
 Educación, Calidad Educativa Y Software Libre.
 La Independencia Tecnológica En El Área De Informatica.
 El Rol De Las Instituciones Públicas En El Movimiento Del
Software Libre.
Año 1999: Asistencia Al "III Encuentro Boliviano De Filosofía, Hacia El Tercer Milenio:
¿Final O Renovación De La Filosofía?"
Año 1995: Curso De Capacitación En Hardware
Año 1995: Curso De Capacitación En Turbo Assembler, En La Universidad Mayor De
San Andrés.
Año 1992: Curso De Programación En El "Centro De Especialización En
Computación", CEC

PARTICIPACION EN PROYECTOS DE INVESTIGACION FINANCIADOS

Título del Proyecto:
 LENGUAJES DECLARATIVOS Y HERRAMIENTAS PARA DATOS WEB
Entidad Financiadora: MEC Ref, TIN2008-06622-C03-03
Duración: del 15 octubre 2012 al 14 de diciembre de 2012
Investigador Principal: Jesús Manuel Almendros Jimenez

Título del Proyecto:

ALDDEIA: Aplicaciones de la Lógica Difusa al Desarrollo de Entornos
Informáticos Avanzados
Entidad Financiadora: MEC Ref, TIN2007-65749
Duración: del 21 julio 2010 al 20 octubre de 2011
Investigador Principal: Ginés Moreno Valverde

GRUPOS DE INVESTIGACION:
• DEC-TAU, Declarative Programming and Automatic Program
Transformation, Universidad de Castilla-La Mancha, Instituto de
Investigación en Informática, Campus de Albacete.
• UMSANET, Universidad Mayor de San Andrés, Carrera de Informática, La
Paz – Bolivia, desde 1997, hasta que el proyecto se transformó en UMSATIC
en el 2004.

BECAS Y AYUDAS
Se terminó el Máster en Tecnologías Informáticas Avanzadas (2009) gracias
a la Beca otorgada por la prestigiosa Fundación Carolina (se escogió a 6
personas de entre más de 600 postulantes de toda Iberoamérica y el
Caribe), el tema de Tesis de Máster fue "Buscadores Semánticos sobre
Recursos Educativos".

PUBLICACIONES
AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno
TÍTULO: A FLEXIBLE XPATH-BASED QUERY LANGUAGE IMPLEMENTED WITH
FUZZY LOGIC PROGRAMMING
REF. REVISTA/LIBRO: LNCS Lecture Notes in Computer Science (Proc. of 5th
International Symposium on Rules, RULEML 2011). Editores: N. Bassiliades,
G. Governatori and A. Pasckhe. Volumen 6826 . Páginas 186-193. ISBN:
978-3-642-22545-1. ISSN: 0302-9743. Editorial: Springer. AÑO: 2011.

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: FUZZY LOGIC PROGRAMMING FOR IMPLEMENTING A FLEXIBLE XPATH-
BASED QUERY LANGUAGE
REF. REVISTA/LIBRO: XI Jornadas sobre Programación y Lenguajes, Editores: Puri
Arenas, Víctor M. Gulías y Pablo Nogueira. Páginas: 1-15 (sección de
trabajos originales). Editorial: Universidade da Coruña. ISBN: 978-84-9749-
487-8. AÑO: 2011.

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: FUZZY LOGIC PROGRAMMING FOR IMPLEMENTING A FLEXIBLE XPATH-
BASED QUERY LANGUAGE
REF. REVISTA/LIBRO: Electronic Notes in Theoretical Computer Science. Editores:
Puri Arenas y Víctor M. Gulías. Volumen: 282. Páginas: 3-18. Editorial:
Elsevier Science (Amsterdam). ISSN: 1571-0661.
doi:10.1016/j.entcs.2011.12.002. AÑO: 2012.

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: DEBUGGING FUZZY XPATH QUERIES
REF. REVISTA/LIBRO: XII Jornadas sobre Programación y Lenguajes. Editores: M.M.
Gallardo, M. Villaret y L. Iribarne. Páginas: 119-133 (sección de trabajos en
curso). Editorial: Universidad de Almería. ISBN 978-84-15487-27-2. AÑO:
2012.

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: A XPATH DEBUGGER BASED ON FUZZY CHANCE DEGREES
REF. REVISTA/LIBRO: LNCS Lecture Notes in Computer Science (OTM 2012
Workshops, Proc. of 11th. Intl. Conference on Ontologies, DataBases, and
Applications of Semantics, ODBASE 2012). Editor: P. Herrero et al.
Volumen: 7567. Páginas: 669-672. Editorial: Springer.
http://dx.doi.org/10.1007/978-3-642-33618-8_91 AÑO: 2012.

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: Annotating “Fuzzy Chance Degrees” When Debugging XPath Queries
REF. REVISTA/LIBRO: LNCS Lecture Notes in Computer Science (Advances in
Computational Intelligence – Proc. of 12th International Work-Conference on
Artificial Neural Networks, IWANN 2013, special session on “Fuzzy Logic,
Soft Computing and Applications”). Editores: Ignacio Rojas, Gonzalo Joya
Caparrós y Joan Cabestany, PART II, Volumen 7903. Páginas 300-311.
ISBN: 978-3-642-38681-7. Editorial: Springer. AÑO: 2013.

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno, Carlos
Vázquez
TÍTULO: Analyzing Fuzzy Logic Computations with Fuzzy XPath
REF. REVISTA/LIBRO: XIII Jornadas sobre Programación y Lenguajes. Editores: Lars-
Ake Fredlund & Laura M. Castro. Páginas: 136-150 (sección de trabajos
originales). Editorial: Universidad Politécnica de Madrid. ISBN 978-84-695-
8331-9. AÑO: 2013.

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: Dynamic Filtering of Ranked Answers When Evaluating Fuzzy XPath Queries.
REF. REVISTA/LIBRO: LNAI Lecture Notes in Artificial Intelligence (Proc. of 9th
International Conference on Rough Sets and Current Trends in Computing,
RSCTC 2014). Editores: C. Cornelis et al. Volumen 8536 . Páginas 319-330.
ISBN: 978-3-642-22545-1. ISSN: 0302-9743. Editorial: Springer. AÑO: 2014.

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: FUZZY XPATH QUERIES IN XQUERY
REF. REVISTA/LIBRO: LNCS Lecture Notes in Computer Science (OTM 2014
Workshops, Proc. of 13th. Intl. Conference on Ontologies, DataBases, and
Applications of Semantics, ODBASE 2014). Volumen: 8841. Páginas: 457-
472. Editorial: Springer-Verlag Berlin Heidelberg . DOI:
http://dx.doi.org/10.1007/978-3-662-45563-0_27 AÑO: 2014.

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: Fuzzy XPath Through Fuzzy Logic Programming
REF. REVISTA/LIBRO: “New Generation Computing”. Vol. 33 (no. 2). Páginas: 173-209.
ISSN: 0288-3635. DOI: 10.1007/s00354-015-0201-y. AÑO: 2015.

AUTORES (p.o. de firma): Jesús M. Almendros-Jiménez, Miquell Bofill, Alejandro Luna-

Tedesqui, Ginés Moreno, Carlos Vázquez and Mateu Villaret
TÍTULO: Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models
REF. REVISTA/LIBRO: LNCS Lecture Notes in Computer Science (Proc. of the 9th
International Conference on Scalable Uncertainty Management, SUM'15).
Páginas 14. En prensa. Editorial: Springer. AÑO: 2015.

AUTORES (p.o. de firma): Jesús M. Almendros-Jiménez, Alejandro Luna and Ginés

Moreno
TÍTULO: Thresholded Debugging of XPath Queries
REF. REVISTA/LIBRO: Proc. of the 2015 IEEE International Conference on Fuzzy
Systems, FUZZIEEE’15. Páginas 9. En prensa. Editorial: IEEE. AÑO: 2015.

AUTORES (p.o. de firma): Jesús M Almendros-Jiménez, Alejandro Luna, Ginés Moreno,

and Carlos Vázquez
TÍTULO: ANALIZING FUZZY LOGIC COMPUTATIONS WITH FUZZY XPATH
REF. REVISTA/LIBRO: Electronic Communications of the EASST (European Association
of Software Science and Technology). En prensa. Páginas: 1-19. ISSN:
01863-2122. AÑO: 2015.

CONGRESOS
AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno
TÍTULO: A Flexible XPath based Query Language implemented with Fuzzy Logic
Programming
TIPO DE PARTICIPACIÓN: Ponente
CONGRESO: 5th International Symposium on Rules, RuleML’11 (CORE C, 2013).
PUBLICACIÓN: Actas del congreso en la serie LNCS de Springer (ver apartado de
publicaciones)
LUGAR DE CELEBRACIÓN: Barcelona (España)
AÑO: 19-21 de Julio de 2011

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: Fuzzy Logic Programming for Implementing a Flexible XPath-based Query
Language
TIPO DE PARTICIPACIÓN: Autor
CONGRESO: XI Jornadas sobre Programación y Lenguajes, PROLE 2011
PUBLICACIÓN: Actas del congreso publicadas por la “Universidade da Coruña” con ISBN
978-84-9749-487-8 (ver apartado de publicaciones). Artículo presentado dentro de la
categoría de trabajos originales y seleccionado para su posterior publicación en la serie
“Electronic Notes in Theoretical Computer Science” de Elsevier.
LUGAR DE CELEBRACIÓN: A Coruña (España)
AÑO: 5-7 de Septiembre de 2011

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: Debugging Fuzzy XPath Queries
TIPO DE PARTICIPACIÓN: Ponente
CONGRESO: XII Jornadas sobre Programación y Lenguajes, PROLE 2012
PUBLICACIÓN: Actas del congreso con ISBN (ver apartado de publicaciones). Artículo
presentado dentro de la categoría de trabajos en curso.
LUGAR DE CELEBRACIÓN: Almería (España)
AÑO: 18-19 de Septiembre de 2012

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: A XPath Debugger Based on Fuzzy Chance Degrees
TIPO DE PARTICIPACIÓN: Autor
CONGRESO: The 11th International Conference on Ontologies, DataBases, and
Applications of Semantics, ODBASE 2012
PUBLICACIÓN: Actas del congreso en la serie LNCS de Springer (ver apartado de
publicaciones).
LUGAR DE CELEBRACIÓN: Roma (Italia)
AÑO: 10-14 de Septiembre de 2012

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: Annotating “Fuzzy Chance Degrees” When Debugging XPath Queries
TIPO DE PARTICIPACIÓN: Autor
CONGRESO: 12th International Work-Conference on Artificial Neural Networks,
IWANN’13.
(CORE B, 2013).
PUBLICACIÓN: Actas del congreso en la serie LNCS de Springer (ver apartado de
publicaciones)
LUGAR DE CELEBRACIÓN: Tenerife (España)
AÑO: 12-14 de Junio de 2013

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno, Carlos
Vázquez
TÍTULO: Analyzing Fuzzy Logic Computations with Fuzzy XPath
TIPO DE PARTICIPACIÓN: Autor
CONGRESO: XIII Jornadas sobre Programación y Lenguajes, PROLE 2013
PUBLICACIÓN: Actas del congreso con ISBN (ver apartado de publicaciones). Artículo
presentado dentro de la categoría de trabajos originales.
LUGAR DE CELEBRACIÓN: Madrid (España)
AÑO: 17-20 de Septiembre de 2013

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: Dynamic Filtering of Ranked Answers When Evaluating Fuzzy XPath
Queries
TIPO DE PARTICIPACIÓN: Autor.
CONGRESO: 9th International Conference on Rough Sets and Current Trends in
Computing, RSCTC 2014
PUBLICACIÓN: Actas del congreso en la serie LNAI de Springer (ver apartado de
publicaciones)
LUGAR DE CELEBRACIÓN: Granada-Madrid (España)
FECHA: 9-13 de Julio de 2014

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: Fuzzy XPath Queries in XQuery
TIPO DE PARTICIPACIÓN: Autor
CONGRESO: The 13th International Conference on Ontologies, DataBases, and
Applications of Semantics, ODBASE 2014
PUBLICACIÓN: Actas del congreso en la serie LNCS de Springer (ver apartado de
publicaciones).
LUGAR DE CELEBRACIÓN: Amantea (Italia)
AÑO: 27-31 de Octubre de 2014

AUTORES (p.o. de firma): Jesús Almendros, Alejandro Luna, Ginés Moreno

TÍTULO: Towards an XQuery-based implementation of Fuzzy XPath
TIPO DE PARTICIPACIÓN: Autor
CONGRESO: XIV Jornadas sobre Programación y Lenguajes, PROLE 2014
PUBLICACIÓN: Actas del congreso. Páginas 73-88. Artículo presentado dentro de la
categoría de trabajos en curso.
LUGAR DE CELEBRACIÓN: Cádiz (España)
AÑO: 17-19 de Septiembre de 2014

AUTORES (p.o. de firma): Jesús M. Almendros-Jiménez, Alejandro Luna and Ginés

Moreno
TÍTULO: Thresholded Debugging of XPath Queries
TIPO DE PARTICIPACIÓN: Autor
CONGRESO: 2015 IEEE International Conference on Fuzzy Systems, FUZZIEEE’15
(CORE A).
PUBLICACIÓN: Actas del congreso publicadas por IEEE (ver apartado de publicaciones)
LUGAR DE CELEBRACIÓN: Istanbul (Turkey)
AÑO: 2-5 de Agosto de 2015

AUTORES (p.o. de firma): Jesús Manuel Almendros-Jiménez, Miquell Bofill, Alejandro

Luna-Tedesqui, Ginés Moreno, Carlos Vázquez and Mateu Villaret
TÍTULO: Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models
TIPO DE PARTICIPACIÓN: Autor
CONGRESO: 9th International Conference on Scalable Uncertainty Management,
SUM'15.
PUBLICACIÓN: Actas del congreso en la serie LNCS de Springer (ver apartado de
publicaciones)
LUGAR DE CELEBRACIÓN: Quebec (Canada)
AÑO: 16-18 de Septiembre de 2015

OTROS CONOCIMIENTOS
Dispositivos de comunicación: Manejo de Routers, Modems, Hub's, Swich's, Cableado
estructurado, etc. Además de conocer los protocolos de comunicación TCP/IP, SNMPT,
POP3, HTTP.

Sistemas operativos: Instalación y Configuraciones de Sistemas Operativos Windows,

Linux Red Hat, Linux Fedora Core, Ubuntu.

Servidores: ESRI ArcGIS Server 10.2, Microsoft Exchange, Microsoft Isa Server,
Sendmail, Squid, Apache, Named, Webmail, Webmin, MRTG, Sarg, etc. Administración
de Sitios web en Ambientes windows y Linux, Microsoft SQL Server, Microsoft Access,
Foxpro, Dbase, MySQL, postGreSQL.

Lenguajes de programación: Programación Funcional, Programación Lógica, PHP,

Visual Studio C#, Visual Basic, Delphi, Visual Foxpro, Turbo C, Turbo Pascal, Lenguaje
de bajo Nivel Assembler, Fortran, Java, VB script, ASP, Java Script.

Paquetes: Microsoft Office, Image Composer, Paint, Adobe

Flash/Dreamweaber/Fireworks, Corel, Visio, Active Worlds, Adobe Photoshop Cs,
Graficadores De Propósito General, Herramientas De Internet, Etc.

Lógica Formal: Nociones de Teoría de Conjuntos (operaciones con conjuntos, relaciones,

funciones, etc.), lógica proposicional (sintaxis de los lenguajes proposicionales,
semántica de los lenguajes proposicionales, equivalencia lógica, consecuencia lógica,
formas normales, lógica proposicional y lenguaje natural, métodos de decisión en la lógica
de proposiciones, deducción natural en el cálculo de proposiciones), axiomatización del
cálculo de proposiciones, etc.

Lógica Simbólica: Lógica de enunciados (cálculo de conectores), Lógica de predicados

(cuantificacional), Axiomatización de la lógica, Automatización de la lógica (las bases
lógicas de la informática), Cálculo proposicional., Relaciones, descripciones definidas e
identidad, etc.

REFERENCIAS PERSONALES
Entidad: Procuraduría General del Estado
Nombre: Pablo Menacho Diederich
Cargo: Procurador General del Estado
Teléfono: 70161177, Email: menacho.pablo@gmail.com

Entidad: Universidad de Castilla-La Mancha (España)

Nombre: Ginés Moreno Valverde
Cargo: Profesor Titular de Universidad, Departamento de Sistemas Informáticos
Teléfono: +34 967 599200 (ext. 2471), Email: Gines.Moreno@uclm.es

Entidad: Universidad de Almería (España)

Nombre: Jesús Manuel Almendros Jiménez
Cargo: Profesor Titular de Universidad, Departamento de Informática
Teléfono: +34 950 015687, Email: jalmen@ual.es