User contributions
Jump to navigation
Jump to search
- 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