Estudo das formas de representação do pensamento lógico através de técnicas de desenvolvimento de algoritmos e da representação e manipulação de dados na memória principal e secundária de um computador.