O estudo de técnicas de formalização, dedução e análise, que...
Próximas questões
Com base no mesmo assunto
Ano: 2013
Banca:
CESPE / CEBRASPE
Órgão:
SERPRO
Prova:
CESPE - 2013 - SERPRO - Analista - Administração de Serviços de Tecnologia da Informação |
Q315471
Programação
Texto associado
Com relação a linguagens de programação, julgue os próximos itens.
O estudo de técnicas de formalização, dedução e análise, que possibilitam a verificação da validade de argumentos, é um dos objetivos da lógica.