456996
Ano: 2013
Disciplina: TI - Desenvolvimento de Sistemas
Banca: CESPE / CEBRASPE
Orgão: SERPRO
Disciplina: TI - Desenvolvimento de Sistemas
Banca: CESPE / CEBRASPE
Orgão: SERPRO
Provas:
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.