User contributions
Jump to navigation
Jump to search
- 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
- 21:57, 3 September 2020 diff hist +36 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 21:56, 3 September 2020 diff hist +8 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 21:55, 3 September 2020 diff hist +3 m Assinatura de primeira ordem Tag: 2017 source edit
- 21:55, 3 September 2020 diff hist +39 m Assinatura de primeira ordem Tag: 2017 source edit
- 21:54, 3 September 2020 diff hist +4 Correção e completude para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:53, 3 September 2020 diff hist +30 m Correção e completude para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:53, 3 September 2020 diff hist +16 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 21:52, 3 September 2020 diff hist +67 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:30, 3 September 2020 diff hist +4 m Poder expressivo dos operadores clássicos Tag: 2017 source edit
- 21:29, 3 September 2020 diff hist +2 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:29, 3 September 2020 diff hist +34 Acarretamento Tag: 2017 source edit
- 21:28, 3 September 2020 diff hist +4 m Modelos (lógica) Tag: 2017 source edit
- 21:27, 3 September 2020 diff hist +4 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 21:27, 3 September 2020 diff hist +53 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 21:25, 3 September 2020 diff hist +39 m Estratégias de demonstração Tag: 2017 source edit
- 21:23, 3 September 2020 diff hist 0 m Dedução Natural Tag: 2017 source edit
- 21:23, 3 September 2020 diff hist +62 m Dedução Natural Tag: 2017 source edit