User contributions
Jump to navigation
Jump to search
- 16:58, 1 March 2021 diff hist +63 m Dedução Natural para a Lógica Proposicional Intuicionista adding links current Tag: 2017 source edit
- 19:15, 28 October 2020 diff hist -2 m Semântica formal para a Lógica Proposicional Clássica current Tag: 2017 source edit
- 19:13, 28 October 2020 diff hist +260 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 19:07, 28 October 2020 diff hist +160 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 15:45, 22 October 2020 diff hist -24 m Semântica formal para a Lógica de Primeira Ordem Clássica current Tag: 2017 source edit
- 15:37, 22 October 2020 diff hist +32 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 15:34, 22 October 2020 diff hist -2 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 15:24, 22 October 2020 diff hist +162 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 02:14, 16 October 2020 diff hist +20 Correção e completude para a Lógica de Primeira Ordem Clássica vídeo adicionado current Tag: 2017 source edit
- 15:57, 14 October 2020 diff hist +20 Dedução Natural para a Lógica de Primeira Ordem Intuicionista vídeo adicionado Tag: 2017 source edit
- 23:14, 13 October 2020 diff hist +5 m Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →Validade de sequentes em uma interpretação fixa Tag: 2017 source edit
- 23:13, 13 October 2020 diff hist +45 m Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →Validade de sequentes em uma interpretação fixa Tag: 2017 source edit
- 23:09, 13 October 2020 diff hist +20 m Dedução Natural para a Lógica de Primeira Ordem Clássica vídeo adicionado Tag: 2017 source edit
- 23:42, 12 October 2020 diff hist +27 m Dedução Natural →Para reflexão Tag: 2017 source edit
- 23:27, 12 October 2020 diff hist +163 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 17:58, 12 October 2020 diff hist +2 m Correção e completude current Tag: 2017 source edit
- 10:09, 12 October 2020 diff hist +20 Dedução Natural para a Lógica de Primeira Ordem Intuicionista vídeo adicionado Tag: 2017 source edit
- 21:25, 10 October 2020 diff hist +324 m Exercícios de Dedução Natural →Para reflexão Tag: 2017 source edit
- 16:58, 10 October 2020 diff hist +20 Dedução Natural para a Lógica de Primeira Ordem Intuicionista vídeo adicionado Tag: 2017 source edit
- 21:11, 8 October 2020 diff hist +66 Sintaxe da lógica de primeira ordem current Tag: 2017 source edit