User contributions
Jump to navigation
Jump to search
- 03:55, 30 September 2020 diff hist -32 Semântica formal para a Lógica de Primeira Ordem Clássica vídeo adicionado Tag: 2017 source edit
- 13:55, 29 September 2020 diff hist +88 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 10:28, 29 September 2020 diff hist +117 m Semântica formal para a Lógica Proposicional Clássica →Para reflexão Tag: 2017 source edit
- 00:36, 29 September 2020 diff hist +20 Semântica formal para a Lógica de Primeira Ordem Clássica vídeo adicionado Tag: 2017 source edit
- 20:57, 28 September 2020 diff hist +20 Semântica formal para a Lógica de Primeira Ordem Clássica vídeo adicionado Tag: 2017 source edit
- 17:45, 28 September 2020 diff hist +20 Semântica formal para a Lógica de Primeira Ordem Clássica vídeo adicionado Tag: 2017 source edit
- 12:04, 28 September 2020 diff hist +93 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 11:57, 28 September 2020 diff hist +20 Semântica formal para a Lógica de Primeira Ordem Clássica vídeo adicionado Tag: 2017 source edit
- 11:20, 28 September 2020 diff hist -10 m Assinatura de primeira ordem Tag: 2017 source edit
- 11:19, 28 September 2020 diff hist +20 Semântica formal para a Lógica de Primeira Ordem Clássica acrescentando video Tag: 2017 source edit
- 11:19, 28 September 2020 diff hist +67 m Assinatura de primeira ordem Tag: 2017 source edit
- 16:42, 26 September 2020 diff hist +10 m Exercícios de Dedução Natural →Para reflexão Tag: 2017 source edit
- 16:41, 26 September 2020 diff hist 0 m Exercícios de Dedução Natural →Raciocínio por redução ao absurdo: \Gamma_1, \neg\varphi\vdash\neg\psi; \Gamma_2, \neg\varphi\vdash\psi \, / \, \Gamma_1, \Gamma_2 \vdash \varphi Tag: 2017 source edit
- 16:41, 26 September 2020 diff hist -200 m Exercícios de Dedução Natural Tag: 2017 source edit
- 16:33, 26 September 2020 diff hist -25 m Exercícios de semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 16:31, 26 September 2020 diff hist +206 m Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 16:23, 26 September 2020 diff hist +4 Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 16:22, 26 September 2020 diff hist -2 m Exercícios de Dedução Natural Tag: 2017 source edit
- 16:18, 26 September 2020 diff hist +1 m Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 16:17, 26 September 2020 diff hist +95 m Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 16:13, 26 September 2020 diff hist +309 m Correção e completude Tag: 2017 source edit
- 15:24, 26 September 2020 diff hist +122 m Exercícios de Dedução Natural →Para reflexão Tag: 2017 source edit
- 15:20, 26 September 2020 diff hist +16 m Exercícios de Dedução Natural →Para reflexão Tag: 2017 source edit
- 15:18, 26 September 2020 diff hist -2 m Exercícios de Dedução Natural →Para reflexão Tag: 2017 source edit
- 15:15, 26 September 2020 diff hist +807 Exercícios de Dedução Natural Tag: 2017 source edit
- 14:01, 26 September 2020 diff hist +60 m Exercícios de semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 13:06, 26 September 2020 diff hist +4 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:05, 26 September 2020 diff hist +47 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:02, 26 September 2020 diff hist +10 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 13:01, 26 September 2020 diff hist +23 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 12:56, 26 September 2020 diff hist -12 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 12:51, 26 September 2020 diff hist -36 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 12:02, 26 September 2020 diff hist +6 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 12:01, 26 September 2020 diff hist +262 Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 11:54, 26 September 2020 diff hist +50 Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 11:49, 26 September 2020 diff hist +86 m Fórmulas de primeira ordem Tag: 2017 source edit
- 11:49, 26 September 2020 diff hist +86 m Termos de primeira ordem Tag: 2017 source edit
- 11:47, 26 September 2020 diff hist +4 m Assinatura de primeira ordem
- 11:22, 26 September 2020 diff hist +194 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 03:00, 26 September 2020 diff hist -8 Quantificadores Tag: 2017 source edit
- 02:59, 26 September 2020 diff hist +423 N Quantificadores criando página
- 02:45, 26 September 2020 diff hist +20 m Correção e completude para a Lógica Proposicional Clássica vídeo adicionado Tag: 2017 source edit
- 02:35, 26 September 2020 diff hist +22 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 01:15, 26 September 2020 diff hist +128 m Correção e completude vídeo adicionado Tag: 2017 source edit
- 04:05, 25 September 2020 diff hist +40 Acarretamento vídeo adicionado Tag: 2017 source edit
- 00:39, 24 September 2020 diff hist +20 Semântica formal para a Lógica Proposicional Clássica vídeo adicionado Tag: 2017 source edit
- 23:56, 23 September 2020 diff hist +40 Acarretamento vídeo adicionado Tag: 2017 source edit
- 23:35, 22 September 2020 diff hist +3 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 23:34, 22 September 2020 diff hist +315 Semântica formal para a Lógica Proposicional Clássica vídeo adicionado Tag: 2017 source edit
- 23:34, 22 September 2020 diff hist +39 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
