La lógica es el núcleo esencial para la formación del pensamiento lógico-computacional que es imprescindible en la ciencia de la computación. En la lógica se estudian tres grandes temáticas: la teoría de conjuntos, la lógica proposicional y la lógica de predicados.