Linguagem de programação

Linguagem de

Programação
Construindo
o Pensamento Estruturado

http://br.linkedin.com/in/rmalta http://lattes.cnpq.br/5971466215979342 versão: 1.1 - 01/2015

Linguagem de Programação
Construindo
o Pensamento Estruturado
• Lógica • Lógica matemática • Lógica de programação • Pensamento estruturado

http://br.linkedin.com/in/rmalta http://lattes.cnpq.br/5971466215979342 versão: 1.1 - 01/2015

Linguagem de Programação
Construindo
o Pensamento Estruturado
• Lógica -­‐

O que é lógica?

Etimologicamente vem do Latim ARS LOGICA, do Grego LOGIKE TEKHNE, “arte de raciocinar”, de LOGIKÓS, “relativo ao raciocínio”, de LOGOS, “razão, ideia, palavra”. Fonte: http://origemdapalavra.com.br/site/palavras/logica/

É parte da filosofia que estuda o fundamento, a estrutura e as expressões humanas do conhecimento.

Ganhou notoriedade através dos trabalhos desenvolvidos por Aristóteles no século IV a.C, estabelecendo a lógica formal. http://br.linkedin.com/in/rmalta http://lattes.cnpq.br/5971466215979342 versão: 1.1 - 01/2015

Linguagem de Programação
Construindo
o Pensamento Estruturado
• Evolução da Lógica

http://br.linkedin.com/in/rmalta http://lattes.cnpq.br/5971466215979342 versão: 1.1 - 01/2015

Linguagem de Programação
Construindo
o Pensamento Estruturado
• Lógica formal

-­‐
-­‐
-­‐

Princípio da identidade Princípio da não contradição Princípio do terceiro excluído

http://br.linkedin.com/in/rmalta http://lattes.cnpq.br/5971466215979342 versão: 1.1 - 01/2015

Linguagem de