Es una descripción de alto nivel compacta e informal del principio operativo de un programa informático u otro algoritmo.
B.
Es una secuencia ordenada de elementos que pertenecen a un cierto lenguaje formal o alfabeto análogas a una fórmula o a una oración.
C.
Es la ciencia formal y rama tanto de la filosofía como de las matemáticas que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
D.
Unidad léxica constituida por un sonido o conjunto de sonidos articulados que tienen un significado fijo y una categoría gramatical.