Teoria da computação

Introdução à Teoria da Computação oferece uma visão global dos conceitos fundamentais da computação. Começa por definir a computação como o processo de execução de uma sequência de operações baseadas em algoritmos para alcançar resultados específicos englobando processos naturais e artificiais. O desenvolvimento histórico da computação desde os primeiros dispositivos computacionais como o ábaco até ao advento dos computadores mecânicos e electrónicos é explorado destacando marcos importantes como a invenção do transístor e o desenvolvimento da Internet. O capítulo introduz conceitos essenciais como algoritmos estruturas de dados e linguagens formais juntamente com modelos de computação incluindo autómatos finitos autómatos pushdown e máquinas de Turing.