Lógica matemática 4 Lenguajes de programación (Ordenadores) 3 Inteligencia artificial 2 Algoritmos 1 Bases de dades 1 Cambridge LCF (programa de ordenador) 1 Demostración automática 1 Estructuras de datos (Informática) 1 Integrales generalizadas 1 Lógica 1 Lógica de primer orden 1 Matemáticas (Informática) 1 Modalidad (Lingüística) 1 Modalidad (Lógica) 1 Métodos gráficos (Informática) 1 Pragmàtica (Lingüística) 1 Programació (Informàtica) 1 Programació (Matemàtica) 1 Programación lógica 1 Programación orientada al objeto 1 Recuperació de la informació 1 Semàntica 1 Software 1 Teoremas 1 Topología 1 Tractament del llenguatge natural (Informàtica) 1 modelos matemáticos 1 semántica 1