User contributions
19 September 2020
18 September 2020
17 September 2020
Dedução Natural
no edit summary
m+31
Dedução Natural
no edit summary
m+24
Dedução Natural
no edit summary
m+183
Dedução Natural
no edit summary
m+42
Dedução Natural
acrescentando video
+20
16 September 2020
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
m-62
Semântica formal para a Lógica de Primeira Ordem Clássica
criando verbete
Dedução Natural
acrescentando video
+60
15 September 2020
Fundamentos Matemáticos da Computação 3
no edit summary
m+30
Fundamentos Matemáticos da Computação 3
referência à estrutura da videopédia
+94
Dedução Natural para a Lógica Proposicional Clássica
acrescentando video
+38
Dedução Natural para a Lógica Proposicional Intuicionista
acrescentando video
+20
14 September 2020
Dedução Natural para a Lógica Proposicional Intuicionista
acrescentando video
+20
Dedução Natural para a Lógica Proposicional Intuicionista
acrescentando video
+20
Dedução Natural para a Lógica Proposicional Intuicionista
acrescentando video
+20
13 September 2020
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m+20
Exercícios de Dedução Natural
mudando as coisas de lugar
-19
Dedução Natural para a Lógica Proposicional Intuicionista
acrescentando video
+20
12 September 2020
Dedução Natural
adicionando video
+85
Formalismos dedutivos
no edit summary
m-2
Formalismos dedutivos
acrescentando video
+191
11 September 2020
Definição recursiva da linguagem proposicional
adicionando video
+19
Definição recursiva da linguagem proposicional
adicionando video
m+21
Fórmulas de primeira ordem
acrescentando video
+20
10 September 2020
9 September 2020
3 September 2020
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m+12
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m+10
Definição recursiva da linguagem proposicional
no edit summary
m+23
Definição recursiva da linguagem proposicional
no edit summary
m+36
Definição recursiva da linguagem proposicional
no edit summary
m+8
Assinatura de primeira ordem
no edit summary
m+3
Assinatura de primeira ordem
no edit summary
m+39
Correção e completude para a Lógica Proposicional Clássica
no edit summary
+4
Correção e completude para a Lógica Proposicional Clássica
no edit summary
m+30
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m+16
Dedução Natural para a Lógica Proposicional Clássica
no edit summary
m+67
Poder expressivo dos operadores clássicos
no edit summary
m+4
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m+2
Acarretamento
no edit summary
+34
Modelos (lógica)
no edit summary
m+4
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m+4
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m+53
Estratégias de demonstração
no edit summary
m+39
Dedução Natural
no edit summary
mDedução Natural
no edit summary
m+62