User contributions
21 September 2020
Exercícios de Dedução Natural
no edit summary
m-29
Definição recursiva da linguagem proposicional
no edit summary
m+6
Fórmulas de primeira ordem
no edit summary
m+4
Correção e completude
no edit summary
m+33
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m-33
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m-6
Modelos (lógica)
no edit summary
m+1
Relação de consequência
vídeo adicionado
+20
Relação de consequência
vídeo adicionado
+117
20 September 2020
Semântica formal para a Lógica Proposicional Clássica
acrescentando video
m+20
Dedução Natural para a Lógica Proposicional Intuicionista
acrescentando video
+20
Relação de consequência
adicionando video
+20
Dedução Natural
acrescentando video
+20
Relação de consequência
no edit summary
+7
Relação de consequência
no edit summary
m+155
Semântica formal para a Lógica Proposicional Clássica
no edit summary
-6
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m+11
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