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
- 21:05, 27 May 2013 diff hist -4 Uma lista de Ferramentas para o Ensino de Lógica →References
- 21:04, 27 May 2013 diff hist 0 Uma lista de Ferramentas para o Ensino de Lógica →References
- 21:04, 27 May 2013 diff hist -16 Uma lista de Ferramentas para o Ensino de Lógica →References
- 18:13, 27 May 2013 diff hist +5 Uma lista de Ferramentas para o Ensino de Lógica →References
- 18:13, 27 May 2013 diff hist -1 Uma lista de Ferramentas para o Ensino de Lógica →References
- 18:12, 27 May 2013 diff hist -3 Uma lista de Ferramentas para o Ensino de Lógica →References
- 17:10, 27 May 2013 diff hist +2 Uma lista de Ferramentas para o Ensino de Lógica →References
- 17:09, 27 May 2013 diff hist -10 Uma lista de Ferramentas para o Ensino de Lógica →References
- 15:54, 27 May 2013 diff hist +1 Uma lista de Ferramentas para o Ensino de Lógica
- 15:53, 27 May 2013 diff hist +1 Uma lista de Ferramentas para o Ensino de Lógica →References
- 15:51, 27 May 2013 diff hist +1,499 N Ferramenta Externa (IMS LTI) Created page with " O processo de adição de uma ferramenta externa começa pela ativação do modo de edição - clique no botão superior direito da tela. Com o modo de edição ativo, clic..."
- 15:45, 27 May 2013 diff hist +7 Atividade Offline current
- 15:45, 27 May 2013 diff hist +7 Chat current
- 15:45, 27 May 2013 diff hist +7 Fórum current
- 15:44, 27 May 2013 diff hist -13 Moodle - Documentação
- 15:43, 27 May 2013 diff hist -7 Questionário current
- 15:41, 27 May 2013 diff hist -7 Questionário
- 15:41, 27 May 2013 diff hist +950 N Questionário Created page with " Em poucas palavras, um questionário funciona como uma pesquisa, mas com correção automática e outros tipos possíveis de resposta. Para adicionar um questionário, c..."
- 15:28, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-questionario 02.png MsUpload current
- 15:28, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-questionario 01.png MsUpload current
- 15:28, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-questionario 04.png MsUpload current
- 15:28, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-questionario 03.png MsUpload current
- 15:28, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-questionario 06.png MsUpload current
- 15:28, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-questionario 05.png MsUpload current
- 15:28, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-questionario 07.png MsUpload current
- 15:25, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-pesquisa 04.png MsUpload current
- 15:25, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-pesquisa 08.png MsUpload current
- 15:25, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-pesquisa 05.png MsUpload current
- 15:25, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-pesquisa 09.png MsUpload current
- 15:25, 27 May 2013 diff hist +299 Pesquisa current
- 15:22, 27 May 2013 diff hist +812 N Pesquisa Created page with " '''Uma Pesquisa pode ser realizada, por exemplo, para consultar os participantes sobre um horário de disponibilidade para a realização de um chat ou horários de monitoria..."
- 15:19, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-pesquisa 02.png MsUpload current
- 15:19, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-pesquisa 01.png MsUpload current
- 15:19, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-pesquisa 03.png MsUpload current
- 15:14, 27 May 2013 diff hist -3 Uma lista de Ferramentas para o Ensino de Lógica →Plato
- 15:13, 27 May 2013 diff hist -19 Uma lista de Ferramentas para o Ensino de Lógica
- 15:08, 27 May 2013 diff hist -3 Uma lista de Ferramentas para o Ensino de Lógica →LoTREC
- 15:08, 27 May 2013 diff hist +67 Uma lista de Ferramentas para o Ensino de Lógica
- 15:05, 27 May 2013 diff hist +1 Uma lista de Ferramentas para o Ensino de Lógica →ASA-CalcPro
- 15:04, 27 May 2013 diff hist -3 Uma lista de Ferramentas para o Ensino de Lógica →Alfie
- 15:04, 27 May 2013 diff hist +10,099 N Uma lista de Ferramentas para o Ensino de Lógica Created page with " Listamos aqui uma seleção de softwares para o Ensino de Lógica com suas respectivas descrições. Além de nossa lista, há uma lista mantida pelo grupo da Association ..."
- 14:30, 27 May 2013 diff hist +7 Envio de arquivo único current
- 14:29, 27 May 2013 diff hist +908 N Envio de arquivo único Created page with " Para adicionar atividades, é preciso que o modo de edição esteja ativo: {| border="1" |1040px |} Para adicionar um envio de arquivo único, ..."
- 14:29, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-envio-de-arquivo-unico 01.png MsUpload current
- 14:28, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-envio-de-arquivo-unico 02.png MsUpload current
- 14:28, 27 May 2013 diff hist +8 N File:Adicao-de-atividades-envio-de-arquivo-unico 03.png MsUpload current
- 14:26, 27 May 2013 diff hist -182 Adicionando uma Atividade current
- 14:23, 27 May 2013 diff hist +33 N Main Page Admin moved page Main Page to Logic Wiki (LoLITA)
- 13:49, 27 May 2013 diff hist -11 Moodle - Documentação
- 13:48, 27 May 2013 diff hist +3 Moodle - Documentação