User contributions
Jump to navigation
Jump to search
- 22:15, 21 September 2020 diff hist -29 m Exercícios de Dedução Natural Tag: 2017 source edit
- 22:11, 21 September 2020 diff hist +6 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 22:10, 21 September 2020 diff hist +4 m Fórmulas de primeira ordem Tag: 2017 source edit
- 22:09, 21 September 2020 diff hist +33 m Correção e completude Tag: 2017 source edit
- 22:08, 21 September 2020 diff hist -33 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 22:07, 21 September 2020 diff hist -6 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 22:04, 21 September 2020 diff hist +1 m Modelos (lógica) Tag: 2017 source edit
- 21:57, 21 September 2020 diff hist +20 Relação de consequência vídeo adicionado
- 01:53, 21 September 2020 diff hist +117 Relação de consequência vídeo adicionado Tag: 2017 source edit
- 23:54, 20 September 2020 diff hist +20 m Semântica formal para a Lógica Proposicional Clássica acrescentando video Tag: 2017 source edit
- 23:53, 20 September 2020 diff hist +20 Dedução Natural para a Lógica Proposicional Intuicionista acrescentando video Tag: 2017 source edit
- 23:49, 20 September 2020 diff hist +20 Relação de consequência adicionando video Tag: 2017 source edit
- 23:24, 20 September 2020 diff hist +20 Dedução Natural acrescentando video Tag: 2017 source edit
- 01:13, 20 September 2020 diff hist +7 Relação de consequência Tag: 2017 source edit
- 01:09, 20 September 2020 diff hist +155 m Relação de consequência Tag: 2017 source edit
- 01:08, 20 September 2020 diff hist -6 Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:06, 20 September 2020 diff hist +11 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 23:20, 19 September 2020 diff hist +151 Relação de consequência acrescentando video Tag: 2017 source edit
- 22:08, 18 September 2020 diff hist +20 Dedução Natural adicionando video Tag: 2017 source edit
- 02:46, 18 September 2020 diff hist +20 m Dedução Natural acrescentando video Tag: 2017 source edit
- 02:46, 17 September 2020 diff hist +31 m Dedução Natural Tag: 2017 source edit
- 02:39, 17 September 2020 diff hist +24 m Dedução Natural Tag: 2017 source edit
- 02:38, 17 September 2020 diff hist +183 m Dedução Natural Tag: 2017 source edit
- 02:11, 17 September 2020 diff hist +42 m Dedução Natural Tag: 2017 source edit
- 02:10, 17 September 2020 diff hist +20 Dedução Natural acrescentando video Tag: 2017 source edit
- 20:02, 16 September 2020 diff hist -62 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 20:01, 16 September 2020 diff hist +1,117 N Semântica formal para a Lógica de Primeira Ordem Clássica criando verbete
- 02:01, 16 September 2020 diff hist +60 Dedução Natural acrescentando video Tag: 2017 source edit
- 13:42, 15 September 2020 diff hist +30 m Fundamentos Matemáticos da Computação 3 current Tag: 2017 source edit
- 13:41, 15 September 2020 diff hist +94 Fundamentos Matemáticos da Computação 3 referência à estrutura da videopédia Tag: 2017 source edit
- 04:51, 15 September 2020 diff hist +38 Dedução Natural para a Lógica Proposicional Clássica acrescentando video Tag: 2017 source edit
- 04:51, 15 September 2020 diff hist +20 Dedução Natural para a Lógica Proposicional Intuicionista acrescentando video Tag: 2017 source edit
- 05:07, 14 September 2020 diff hist +20 Dedução Natural para a Lógica Proposicional Intuicionista acrescentando video Tag: 2017 source edit
- 02:19, 14 September 2020 diff hist +20 Dedução Natural para a Lógica Proposicional Intuicionista acrescentando video Tag: 2017 source edit
- 01:35, 14 September 2020 diff hist +20 Dedução Natural para a Lógica Proposicional Intuicionista acrescentando video Tag: 2017 source edit
- 18:53, 13 September 2020 diff hist +20 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 18:45, 13 September 2020 diff hist -19 Exercícios de Dedução Natural mudando as coisas de lugar Tag: 2017 source edit
- 01:23, 13 September 2020 diff hist +20 Dedução Natural para a Lógica Proposicional Intuicionista acrescentando video Tag: 2017 source edit
- 21:21, 12 September 2020 diff hist +85 Dedução Natural adicionando video Tag: 2017 source edit
- 16:37, 12 September 2020 diff hist -2 m Formalismos dedutivos Tag: 2017 source edit
- 16:36, 12 September 2020 diff hist +191 Formalismos dedutivos acrescentando video Tag: 2017 source edit
- 23:39, 11 September 2020 diff hist +19 Definição recursiva da linguagem proposicional adicionando video Tag: 2017 source edit
- 22:34, 11 September 2020 diff hist +21 m Definição recursiva da linguagem proposicional adicionando video Tag: 2017 source edit
- 01:23, 11 September 2020 diff hist +20 Fórmulas de primeira ordem acrescentando video Tag: 2017 source edit
- 21:44, 10 September 2020 diff hist 0 m Termos de primeira ordem Tag: 2017 source edit
- 21:24, 10 September 2020 diff hist +20 Termos de primeira ordem adicionando video Tag: 2017 source edit
- 22:55, 9 September 2020 diff hist +20 Assinatura de primeira ordem acrescentando video
- 22:00, 3 September 2020 diff hist +12 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:59, 3 September 2020 diff hist +10 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 21:58, 3 September 2020 diff hist +23 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
