https://padlet.com/caetano051068/wmxxdyl5wzkplh16 en-us 2022-03-24 19:20:29 UTC 2022-03-25 18:57:50 UTC hello@padlet.com caetano051068 https://padlet.com/caetano051068/wmxxdyl5wzkplh16/wish/2113141470 São um conjunto de instruções organizadas, que tem por objetivo obter um resultado de uma pesquisa ou resolver problemas do cotidiano. A lógica de programação tem como principal estudo, aplicar as leis gerais do pensamento, estudando como aplica-las corretamente a fim de obter um resultado.

Um programador deve ter a capacidade de dividir um problema em partes menores, para chegar a uma solução.
Começo, meio, fim, respectivamente entrada, processamento e saída.

]]> 2022-03-25 03:56:25 UTC https://padlet.com/caetano051068/wmxxdyl5wzkplh16/wish/2113141470 caetano051068 https://padlet.com/caetano051068/wmxxdyl5wzkplh16/wish/2113864195 Inicio
Atravessar a rua
     Olhar para direita.
     Olhar para esquerda.
     Se estiver vindo carro
         Não atravesse
     se não
         Atravesse
 Fim

Inicio
Tomar banho
Pegar as vestes limpas e a toalha
Entrar no banheiro
Tirar a roupa que usa 
Entrar no box e ligar o chuveiro
Molhar-se, ensaboar-se, enxaguar-se 
Fechar o chuveiro
Pegar a toalha e secar-se
Sair do box
Vestir-se com roupas limpas
Sair do banheiro
Fim]]> 2022-03-25 14:03:52 UTC https://padlet.com/caetano051068/wmxxdyl5wzkplh16/wish/2113864195 caetano051068 https://padlet.com/caetano051068/wmxxdyl5wzkplh16/wish/2114095480 Fases fundamentais

Entrada
São os dados de entrada.

Processamento
Procedimentos utilizados para alcançar o resultado desejado.

Saída
São os dados processados, resultado final.]]> 2022-03-25 16:12:53 UTC https://padlet.com/caetano051068/wmxxdyl5wzkplh16/wish/2114095480 caetano051068 https://padlet.com/caetano051068/wmxxdyl5wzkplh16/wish/2114098565
Informal
É o estudo da argumentação em língua natural. O estudo de falácias é um ramo particularmente importante da lógica informal. Os Diálogos de Platão são bons exemplos de lógica informal.

Formal
É o estudo da inferência com conteúdo puramente formal. Uma inferência possui um conteúdo puramente formal se ele pode ser expresso como um caso particular de uma regra totalmente abstrata, isto é, uma regra que não é sobre uma coisa qualquer em particular.
    
Simbolica
É o estudo das abstrações simbólicas que capturam as características formais da inferência lógica. A lógica simbólica é frequentemente dividida em dois ramos: lógica proposicional e a lógica de predicados.

Matemática
É uma extensão da lógica simbólica em outras áreas, em especial para o estudo da teoria dos modelos, teoria da demonstração, teoria dos conjuntos e teoria da recursão.]]> 2022-03-25 16:14:57 UTC https://padlet.com/caetano051068/wmxxdyl5wzkplh16/wish/2114098565