Lógicas e máquinas – parte I