User contributions
Jump to navigation
Jump to search
- 17:15, 26 August 2020 diff hist +122 m Dedução Natural Tag: 2017 source edit
- 14:55, 26 August 2020 diff hist 0 Dedução Natural Tag: 2017 source edit
- 14:54, 26 August 2020 diff hist -2 m Dedução Natural Tag: 2017 source edit
- 14:53, 26 August 2020 diff hist +63 m Dedução Natural Tag: 2017 source edit
- 14:50, 26 August 2020 diff hist -3 m Dedução Natural Tag: 2017 source edit
- 14:32, 26 August 2020 diff hist -6 m Dedução Natural Tag: 2017 source edit
- 14:31, 26 August 2020 diff hist +267 m Dedução Natural Tag: 2017 source edit
- 21:27, 25 August 2020 diff hist +4 m Dedução Natural Tag: 2017 source edit
- 21:21, 25 August 2020 diff hist +50 m Dedução Natural Tag: 2017 source edit
- 21:19, 25 August 2020 diff hist +229 m Dedução Natural Tag: 2017 source edit
- 19:30, 23 August 2020 diff hist +75 m Dedução Natural Tag: 2017 source edit
- 19:24, 23 August 2020 diff hist +6 m Dedução Natural Tag: 2017 source edit
- 19:19, 23 August 2020 diff hist +4 m Formalismos dedutivos Tag: 2017 source edit
- 19:18, 23 August 2020 diff hist -4 m Formalismos dedutivos Tag: 2017 source edit
- 19:17, 23 August 2020 diff hist -1 m Formalismos dedutivos Tag: 2017 source edit
- 19:15, 23 August 2020 diff hist -27 m Formalismos dedutivos Tag: 2017 source edit
- 19:14, 23 August 2020 diff hist +60 m Formalismos dedutivos Tag: 2017 source edit
- 19:03, 23 August 2020 diff hist +15 m Formalismos dedutivos Tag: 2017 source edit
- 14:10, 23 August 2020 diff hist +65 m Fórmulas de primeira ordem Tag: 2017 source edit
- 20:13, 22 August 2020 diff hist +156 N Sintaxe (lógica) criando verbete
- 20:11, 22 August 2020 diff hist +74 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 18:37, 22 August 2020 diff hist +10 m Formalismos dedutivos Tag: 2017 source edit
- 18:36, 22 August 2020 diff hist +135 N Formalismos dedutivos recriando página apagada por equívoco
- 18:35, 22 August 2020 diff hist +15 Dedução Natural Tag: 2017 source edit
- 18:35, 22 August 2020 diff hist +3 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 18:34, 22 August 2020 diff hist +47 Dedução Natural Tag: 2017 source edit
- 18:29, 22 August 2020 diff hist +75 N Modelos (lógica) criando verbete
- 18:28, 22 August 2020 diff hist +79 Dedução Natural Tag: 2017 source edit
- 18:03, 22 August 2020 diff hist +170 N Dedução Natural Created page with "* DN para Lógica Clássica Proposicional * DN para Lógica Clássica de Primeira Ordem == Para reflexão == * == Veja também == * == Links externos == *"
- 16:15, 22 August 2020 diff hist +99 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 16:13, 22 August 2020 diff hist +82 m Assinatura de primeira ordem Tag: 2017 source edit
- 16:08, 22 August 2020 diff hist +33 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 16:06, 22 August 2020 diff hist -285 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 15:55, 22 August 2020 diff hist +379 Introdução Computacional à Lógica Matemática reestruturação da página Tag: 2017 source edit
- 22:15, 21 August 2020 diff hist +25 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 22:14, 21 August 2020 diff hist +58 m Fórmulas de primeira ordem Tag: 2017 source edit
- 22:13, 21 August 2020 diff hist +33 m Termos de primeira ordem Tag: 2017 source edit
- 22:13, 21 August 2020 diff hist +25 m Termos de primeira ordem Tag: 2017 source edit
- 22:13, 21 August 2020 diff hist +25 m Assinatura de primeira ordem Tag: 2017 source edit
- 21:55, 21 August 2020 diff hist +183 N Definição recursiva da linguagem proposicional Created page with "* Como um conjunto indutivamente definido [VIDEO] * Como uma álgebra absolutamente livre [VIDEO] == Para reflexão == * == Veja também == * Sintaxe da Lógica Proposi..."
- 21:49, 21 August 2020 diff hist +56 N Fórmulas de primeira ordem Created page with "[VIDEO] == Para reflexão == * == Veja também == *"
- 21:49, 21 August 2020 diff hist +49 m Termos de primeira ordem Tag: 2017 source edit
- 21:49, 21 August 2020 diff hist +7 N Termos de primeira ordem Created page with "[VIDEO]"
- 21:47, 21 August 2020 diff hist +123 m Assinatura de primeira ordem Tag: 2017 source edit
- 20:18, 21 August 2020 diff hist -6 m Assinatura de primeira ordem Tag: 2017 source edit
- 20:16, 21 August 2020 diff hist +8 m Assinatura de primeira ordem Tag: 2017 source edit
- 20:16, 21 August 2020 diff hist +103 N Assinatura de primeira ordem versão 0
- 01:19, 21 August 2020 diff hist +608 N Editing tricks some code to copy-paste
- 00:11, 21 August 2020 diff hist +40 N Introdução Computacional à Lógica Matemática adding links
- 18:26, 18 August 2020 diff hist +53 N Fundamentos Matemáticos da Computação 3 link to FMC3c