User contributions
Jump to navigation
Jump to search
- 11:07, 23 July 2021 diff hist -11 Exercícios de Dedução Natural →Dedução Natural para a Lógica de Primeira Ordem Clássica current Tag: 2017 source edit
- 11:07, 23 July 2021 diff hist -11 m Exercícios de Dedução Natural →Dedução Natural para a Lógica de Primeira Ordem Intuicionista Tag: 2017 source edit
- 11:05, 23 July 2021 diff hist -43 m Introdução Computacional à Lógica Matemática current Tag: 2017 source edit
- 11:03, 23 July 2021 diff hist +57 m Main Page current Tag: 2017 source edit
- 18:05, 30 June 2021 diff hist +1,115 Main Page Removed redirect to Logic Wiki (LoLITA) Tags: 2017 source edit Removed redirect
- 21:51, 23 August 2020 diff hist -4 Graphs with Mermaid current Tag: Visual edit
- 01:25, 23 August 2020 diff hist -1 Fundamentos Matemáticos da Computação 1 current Tag: Visual edit
- 23:46, 22 August 2020 diff hist -50 Graphs with Mermaid Tag: 2017 source edit
- 23:32, 22 August 2020 diff hist 0 N Template:Category Created blank page current
- 23:29, 22 August 2020 diff hist +19 Graphs with Mermaid
- 23:15, 22 August 2020 diff hist +58 Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 23:07, 22 August 2020 diff hist -1 Graphs with Mermaid →Result Tag: 2017 source edit
- 23:06, 22 August 2020 diff hist +32 Graphs with Mermaid →Result Tag: 2017 source edit
- 22:48, 22 August 2020 diff hist -69 Graphs with Mermaid →Result Tag: 2017 source edit
- 22:46, 22 August 2020 diff hist -12 Graphs with Mermaid Tag: 2017 source edit
- 22:35, 22 August 2020 diff hist +14 Graphs with Mermaid Tag: 2017 source edit
- 22:18, 22 August 2020 diff hist -47 Graphs with Mermaid Tag: 2017 source edit
- 22:11, 22 August 2020 diff hist +676 N Graphs with Mermaid Created page with " == Syntax == <pre> {{#mermaid:graph TD; A-->B; A-->C; B-->D; C-->D; click A "https://sandbox.semantic-mediawiki.org/wiki/A" click B "https://sandbox.semantic-m..." Tag: 2017 source edit
- 21:56, 22 August 2020 diff hist -68 Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 21:49, 22 August 2020 diff hist +100 Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 18:43, 21 August 2020 diff hist +6 Editing tricks current Tag: 2017 source edit
- 18:42, 21 August 2020 diff hist -6 Editing tricks Tag: 2017 source edit
- 18:42, 21 August 2020 diff hist +4 Editing tricks Tag: 2017 source edit
- 18:36, 21 August 2020 diff hist +24 Editing tricks →Images Editing tricks Tag: 2017 source edit
- 18:35, 21 August 2020 diff hist +104 Editing tricks Tag: 2017 source edit
- 17:19, 21 August 2020 diff hist +1 Editing tricks Tag: 2017 source edit
- 15:36, 21 August 2020 diff hist +130 Editing tricks Tag: 2017 source edit
- 15:19, 21 August 2020 diff hist +46 N File:Negate-conditional-equivalent-with-truth-table.png current
- 15:15, 21 August 2020 diff hist +1 Editing tricks Tag: 2017 source edit
- 15:12, 21 August 2020 diff hist -3 Editing tricks →Images Editing tricks Tag: 2017 source edit
- 15:11, 21 August 2020 diff hist -21 Editing tricks Tag: 2017 source edit
- 15:09, 21 August 2020 diff hist +11 Editing tricks Tag: 2017 source edit
- 15:08, 21 August 2020 diff hist +547 Editing tricks Tag: 2017 source edit
- 15:01, 21 August 2020 diff hist +49 Editing tricks Tag: 2017 source edit
- 14:57, 21 August 2020 diff hist +89 Editing tricks Tag: 2017 source edit
- 14:55, 21 August 2020 diff hist +77 Editing tricks Tag: 2017 source edit
- 14:53, 21 August 2020 diff hist +22 Editing tricks Tag: 2017 source edit
- 02:31, 21 August 2020 diff hist +33 Editing tricks
- 00:26, 20 August 2020 diff hist 0 N File:Falsetrue.jpeg current
- 00:25, 20 August 2020 diff hist 0 Criação de Curso current
- 17:28, 1 June 2013 diff hist -4 Ferramenta Externa (IMS LTI) current
- 17:26, 1 June 2013 diff hist +4 Ferramenta Externa (IMS LTI)
- 17:25, 1 June 2013 diff hist +70 Ferramenta Externa (IMS LTI)
- 17:23, 1 June 2013 diff hist +164 Ferramenta Externa (IMS LTI)
- 17:22, 1 June 2013 diff hist +8 N File:Ferramenta-externa-2.png MsUpload current
- 17:22, 1 June 2013 diff hist +8 N File:Ferramenta-externa-1.png MsUpload current
- 17:22, 1 June 2013 diff hist +8 N File:Ferramenta-externa-3.png MsUpload current
- 17:22, 1 June 2013 diff hist +8 N File:Ferramenta-externa-4.png MsUpload current
- 21:20, 27 May 2013 diff hist +2 Uma lista de Ferramentas para o Ensino de Lógica current
- 21:18, 27 May 2013 diff hist +58 Uma lista de Ferramentas para o Ensino de Lógica →Modal Logic Playground
