Lógicas de Programação Semântica de Programas e Algoritmos Conceito