FT-003 — Lógica de Programação
Este curso ensina a pensar antes de codificar. Ele foi escrito para quem precisa de explicações detalhadas, exemplos concretos e prática guiada, sem presumir que termos como proposição, condição, algoritmo, invariante ou contrato já sejam conhecidos.
Python 3 aparece como ferramenta de verificação, mas a lógica é tratada de forma independente de linguagem por meio de português estruturado, pseudocódigo, tabelas, traçados e testes.
Como estudar
Cada aula parte de um problema concreto, constrói o modelo mental, apresenta termos técnicos, mostra um exemplo executável, exige previsão e termina com experimento, desafio, erros comuns e verificação de compreensão.
Resultado esperado
Ao concluir, você deverá ser capaz de transformar um problema em regras explícitas, decompor tarefas, construir e traçar algoritmos, modelar decisões e repetições, trabalhar com coleções, escolher casos de teste, detectar erros lógicos e explicar por que uma solução deve funcionar.