questoes_de_logica_para_computacao
This is an old revision of the document!
Table of Contents
Questões de Lógica para Computação
Questões mais conceituais
Introdução à Lógica
- O que é Lógica?
- O que é um Argumento?
- Para quê serve a Lógica?
- Dê exemplos de aplicações da Lógica na Computação.
- Por que a linguagem da Lógica é formalizada?
Lógica Proposicional Clássica
Sintaxe
- O que são proposições?
- O que são conectivos lógicos?
Semântica
- O que é uma valoração?
questoes_de_logica_para_computacao.1474055692.txt.gz · Last modified: 2020/11/19 11:42 (external edit)