All public logs
Combined display of all available logs of Logic Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 18:07, 30 June 2021 Admin talk contribs deleted page LogicWiki (content was: "#REDIRECT LogicWiki", and the only contributor was "Admin" (talk))
- 18:06, 30 June 2021 Admin talk contribs deleted page Logic Wiki (content was: "=Group for Computability, Approximate Reasoning, Ordered structures, and Logics= CAROL is a research group of Federal University of Rio Grande do Norte (UFRN). It agglutinates researchers who are interested in the mathematical/formal aspects of Computing and its applications. == Matemática Discreta == * Fundamentos Matemáticos da Computação 1 * Fundamentos Matemáticos da Computação 2 * Fundamentos Matemáticos da Computação 3 == Ferramentas de L...")
- 18:04, 30 June 2021 Admin talk contribs deleted page LogicWiki (Deleted to make way for move from "Logic Wiki (LoLITA)")
- 18:04, 30 June 2021 Admin talk contribs moved page Logic Wiki (LoLITA) to LogicWiki without leaving a redirect
- 06:04, 30 June 2021 Admin talk contribs moved page Logic Wiki (LoLITA) to LogicWiki
- 06:04, 30 June 2021 Admin talk contribs moved page Logic Wiki (LoLITA) to Logic Wiki
- 13:43, 6 October 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a lógica de primeira ordem (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 13:12, 6 October 2020 Jmarcos talk contribs deleted page Semântica formal para a Lógica Proposicional (content was: "* Semântica formal para a Lógica Proposicional Clássica * Semântica formal para a Lógica Proposicional Intuicionista [AGUARDE!] == Para reflexão == * == Veja também == * Correção e completude * Introdução Computacional à Lógica Matemática == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 13:08, 6 October 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a lógica proposicional (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * Como caracterizar o principal objeto de estudos da '''Teoria das Demonstrações''' (EN: ''Proof Theory'')? == Veja também == * Formalismos dedutivos * Introdução Computacional à Lógica Matemática == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 13:00, 6 October 2020 Jmarcos talk contribs created page Sistemas dedutivos para a lógica proposicional (Created page with "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * Como caracterizar o principal objeto de estudos da '''...")
- 13:00, 6 October 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a Lógica Proposicional (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * Como caracterizar o principal objeto de estudos da '''Teoria das Demonstrações''' (EN: ''Proof Theory'')? == Veja também == * Formalismos dedutivos == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 12:57, 6 October 2020 Jmarcos talk contribs created page Sintaxe da lógica proposicional (Created page with "* '''Fórmulas'''<!-- --><p>{{#ev:youtube|OqcmQGaJjl0}}</p> * Algumas ''comparações'' entre as linguagens proposicional e de primeira ordem<!-- --><p>{{#ev:youtube|NuMzq-9i2...")
- 12:57, 6 October 2020 Jmarcos talk contribs deleted page Sintaxe da Lógica Proposicional (content was: "* '''Fórmulas'''<!-- --><p>{{#ev:youtube|OqcmQGaJjl0}}</p> * Algumas ''comparações'' entre as linguagens proposicional e de primeira ordem<!-- --><p>{{#ev:youtube|NuMzq-9i25o}}</p> == Para reflexão == * == Veja também == * Definição recursiva da linguagem proposicional * Sintaxe da Lógica de Primeira Ordem == Links externos == * [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)]")
- 12:55, 6 October 2020 Jmarcos talk contribs created page Lógica de primeira ordem (Created page with "* Sintaxe da lógica de primeira ordem * Sistemas dedutivos para a lógica de primeira ordem * Semântica formal para a lógica de primeira ordem == Para reflexã...")
- 12:55, 6 October 2020 Jmarcos talk contribs deleted page Lógica de Primeira Ordem (content was: "* Sintaxe da lógica de primeira ordem * Sistemas dedutivos para a lógica de primeira ordem * Semântica formal para a lógica de primeira ordem == Para reflexão == * == Veja também == * == Links externos == * [https://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem Lógica de primeira ordem]", and the only contributor was "Jmarcos" (talk))
- 12:54, 6 October 2020 Jmarcos talk contribs created page Lógica proposicional (Created page with "* Sintaxe da Lógica Proposicional * Sistemas dedutivos para a Lógica Proposicional * Semântica formal para a Lógica Proposicional == Para reflexão == * Que...")
- 12:53, 6 October 2020 Jmarcos talk contribs deleted page Lógica Proposicional (content was: "* Sintaxe da Lógica Proposicional * Sistemas dedutivos para a Lógica Proposicional * Semântica formal para a Lógica Proposicional == Para reflexão == * Que consequências tem o fato de que as fórmulas atômicas da lógica proposicional ''não possuem estrutura interna''? == Veja também == * == Links externos == * [https://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional Lógica proposicional]")
- 12:52, 6 October 2020 Jmarcos talk contribs created page Sistemas dedutivos para a lógica de primeira ordem (Created page with "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos ==...")
- 12:51, 6 October 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a Lógica de Primeira Ordem (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 12:50, 6 October 2020 Jmarcos talk contribs created page Sintaxe da lógica de primeira ordem (Created page with "* Assinatura de primeira ordem * Termos de primeira ordem * Fórmulas de primeira ordem * Substituição de variáveis por termos == Para reflexão == * ==...")
- 12:49, 6 October 2020 Jmarcos talk contribs deleted page Sintaxe da Lógica de Primeira Ordem (content was: "* Assinatura de primeira ordem * Termos de primeira ordem * Fórmulas de primeira ordem * Substituição de variáveis por termos == Para reflexão == * == Veja também == * Sistema dedutivo para a Lógica de Primeira Ordem * Semântica formal para a Lógica de Primeira Ordem * Sintaxe da Lógica Proposicional == Links externos == * [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)]")
- 12:47, 6 October 2020 Jmarcos talk contribs created page Semântica formal para a lógica de primeira ordem (Created page with "* Semântica formal para a Lógica de Primeira Ordem Clássica * Semântica formal para a Lógica de Primeira Ordem Intuicionista == Para reflexão == * == Veja ta...")
- 12:46, 6 October 2020 Jmarcos talk contribs created page Semântica formal para a lógica proposicional (Created page with "* Semântica formal para a Lógica Proposicional Clássica * Semântica formal para a Lógica Proposicional Intuicionista == Para reflexão == * == Veja também ==...")
- 12:45, 6 October 2020 Jmarcos talk contribs deleted page Semântica formal para a Lógica de Primeira Ordem (content was: "* Semântica formal para a Lógica de Primeira Ordem Clássica * Semântica formal para a Lógica de Primeira Ordem Intuicionista == Para reflexão == * == Veja também == * Correção e completude == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 21:58, 5 October 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica de Primeira Ordem Clássica (criando verbete)
- 21:53, 5 October 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica de Primeira Ordem Intuicionista (criando verbete)
- 21:48, 5 October 2020 Jmarcos talk contribs created page Sistemas dedutivos para a Lógica de Primeira Ordem (criando verbete)
- 21:44, 5 October 2020 Jmarcos talk contribs created page Correção e completude para a Lógica de Primeira Ordem Clássica (criando verbete)
- 21:43, 5 October 2020 Jmarcos talk contribs created page Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (criando verbete)
- 12:58, 26 September 2020 Jmarcos talk contribs created page Semântica formal para a Lógica de Primeira Ordem (criando página)
- 02:59, 26 September 2020 Jmarcos talk contribs created page Quantificadores (criando página)
- 20:01, 16 September 2020 Jmarcos talk contribs created page Semântica formal para a Lógica de Primeira Ordem Clássica (criando verbete)
- 13:38, 14 September 2020 Admin talk contribs blocked Kaline talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:37, 14 September 2020 Admin talk contribs blocked Williamaster talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:37, 14 September 2020 Admin talk contribs blocked Victor1237 talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:37, 14 September 2020 Admin talk contribs blocked Rnbruno talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:37, 14 September 2020 Admin talk contribs blocked Paulohq talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:37, 14 September 2020 Admin talk contribs blocked Marcielmanoel15 talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:37, 14 September 2020 Admin talk contribs blocked Lucchino talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:36, 14 September 2020 Admin talk contribs blocked Lucasdp talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:36, 14 September 2020 Admin talk contribs blocked Jpquirino talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:36, 14 September 2020 Admin talk contribs blocked Jeffersonwaa talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:36, 14 September 2020 Admin talk contribs blocked Jaimerson talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:36, 14 September 2020 Admin talk contribs blocked Igorolivei talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:36, 14 September 2020 Admin talk contribs blocked Gellyviana talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:36, 14 September 2020 Admin talk contribs blocked Francleidepsimao talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:35, 14 September 2020 Admin talk contribs unblocked Patrickterrematte talk contribs
- 13:35, 14 September 2020 Admin talk contribs changed block settings for Patrickterrematte talk contribs with an expiration time of 2 hours (autoblock disabled)
- 13:34, 14 September 2020 Admin talk contribs blocked Patrickterrematte talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
- 13:32, 14 September 2020 Admin talk contribs blocked Felipe vianna talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:32, 14 September 2020 Admin talk contribs blocked Eucharles talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
- 13:31, 14 September 2020 Admin talk contribs blocked Clah talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
- 13:30, 14 September 2020 Admin talk contribs blocked Atilacaetano talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
- 13:30, 14 September 2020 Admin talk contribs blocked Allangoncalves talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
- 13:30, 14 September 2020 Admin talk contribs blocked Adysonadler talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
- 13:30, 14 September 2020 Admin talk contribs blocked Eliedsonsmg talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
- 13:30, 14 September 2020 Admin talk contribs blocked Deeh talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
- 13:29, 14 September 2020 Admin talk contribs blocked Aclunga talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
- 13:18, 14 September 2020 User account Clodomirneto talk contribs was created by Admin talk contribs and password was sent by email
- 20:18, 3 September 2020 Jmarcos talk contribs created page Correção e completude para a Lógica Proposicional Clássica (criando verbete)
- 01:58, 2 September 2020 Jmarcos talk contribs created page Exercícios de semântica formal para a Lógica Proposicional Clássica (esqueleto da página)
- 01:57, 2 September 2020 Jmarcos talk contribs created page Poder expressivo dos operadores clássicos (criando boneco do verbete para o futuro)
- 01:47, 2 September 2020 Jmarcos talk contribs created page Correção e completude (esqueleto do verbete)
- 20:31, 30 August 2020 Jmarcos talk contribs created page Acarretamento (Created page with "* == Para reflexão == * == Veja também == * == Links externos == *")
- 20:30, 30 August 2020 Jmarcos talk contribs created page Semântica formal para a Lógica Proposicional Clássica (Created page with "* == Para reflexão == * == Veja também == * Acarretamento (consequência semântica, entailment) == Links externos == * [https://pt.wikipedia.org/wiki/%C3%81lgeb...")
- 20:07, 30 August 2020 Jmarcos talk contribs created page Semântica formal para a Lógica Proposicional (Created page with "* Semântica formal para a Lógica Proposicional Clássica * Semântica formal para a Lógica Proposicional Intuicionista == Para reflexão == * == Veja também ==...")
- 16:22, 28 August 2020 Jmarcos talk contribs deleted page DN para Lógica Proposicional Clássica (content was: "(Abreviatura: DN = Dedução Natural) * Regras para a conjunção, a disjunção, a implicação intuicionista, o bottom, o top, e a negação intuicionista: ver DN para Lógica Proposicional Intuicionista * Regras para a negação clássica (e o bottom clássico) [VIDEO] * Efeitos das regras clássicas da negação sobre os demais conectivos [VIDEO] == Para reflexão =...", and the only contributor was "Jmarcos" (talk))
- 16:22, 28 August 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica Proposicional Clássica (criando página)
- 16:21, 28 August 2020 Jmarcos talk contribs deleted page DN para Lógica Proposicional Intuicionista (content was: "(Abreviatura: DN = Dedução Natural) * Regras para a conjunção [VIDEO] * Regras para a implicação (intuicionista) [VIDEO] * Regras para a disjunção [VIDEO] * Regras para o bottom e para o top [VIDEO] * Regras para a negação intuicionista (primitivas versus derivadas) [VIDEO] * Regras para a bi-implicação intuicionista (primitivas versus derivadas) [VIDEO] == Para...", and the only contributor was "Jmarcos" (talk))
- 16:21, 28 August 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica Proposicional Intuicionista (criando página)
- 16:15, 28 August 2020 Jmarcos talk contribs deleted page Exercícios de DN (content was: "(Abreviatura: DN = Dedução Natural) == Dedução Natural para a Lógica Proposicional Intuicionista == [AGUARDE!] == Dedução Natural para a Lógica Proposicional Clássica == * ''Derivações na forma de árvores rotuladas com fórmulas'' # Terceiro Excluído / ''Tertium Non Datur'': <math>\vdash\varphi\lor\neg\varphi</math></p><!-- --><p>{{#ev:youtube|kNyjuCFUzC8}}</...", and the only contributor was "Jmarcos" (talk))
- 16:14, 28 August 2020 Jmarcos talk contribs created page Exercícios de Dedução Natural (criando página)
- 14:27, 28 August 2020 Jmarcos talk contribs created page Relação de consequência (criando página)
- 14:25, 28 August 2020 Jmarcos talk contribs deleted page Relações de Consequência (content was: "[AGUARDE!] == Para reflexão == * == Veja também == * == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 14:25, 28 August 2020 Jmarcos talk contribs created page Relações de Consequência (criando página)
- 22:14, 26 August 2020 Jmarcos talk contribs created page Fórmulas proposicionais (redirect simples) Tag: New redirect
- 22:09, 26 August 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a Lógica Proposicional Clássica (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 22:08, 26 August 2020 Jmarcos talk contribs created page Sistemas dedutivos para a Lógica Proposicional (Created page with "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos ==...")
- 22:04, 26 August 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a Lógica Clássica Proposicional (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 22:03, 26 August 2020 Jmarcos talk contribs created page Sistemas dedutivos para a Lógica Proposicional Clássica (criando verbete)
- 17:54, 26 August 2020 Jmarcos talk contribs created page Estratégias de demonstração (criando página)
- 17:30, 26 August 2020 Jmarcos talk contribs created page Exercícios de DN (criando página)
- 21:23, 25 August 2020 Jmarcos talk contribs created page DN para Lógica Proposicional Intuicionista (Created page with "* Regras para a conjunção [VIDEO] * Regras para a implicação (intuicionista) [VIDEO] * Regras para a disjunção [VIDEO] * Regras para o bottom e para o top [VIDEO] * Regr...")
- 21:22, 25 August 2020 Jmarcos talk contribs deleted page DN para Lógica Clássica Proposicional (content was: "* Regras para a conjunção [VIDEO] * Regras para a implicação (intuicionista) [VIDEO] * Regras para a disjunção [VIDEO] * Regras para o bottom e para o top [VIDEO] * Regras para a negação intuicionista (primitivas versus derivadas) [VIDEO] * Regras para a negação clássica (e o bottom clássico) [VIDEO] * Efeitos das regras clássicas da negação sobre os demais cone...", and the only contributor was "Jmarcos" (talk))
- 21:22, 25 August 2020 Jmarcos talk contribs created page DN para Lógica Proposicional Clássica (Created page with "* Regras para a conjunção [VIDEO] * Regras para a implicação (intuicionista) [VIDEO] * Regras para a disjunção [VIDEO] * Regras para o bottom e para o top [VIDEO] * Regr...")
- 23:44, 23 August 2020 User account Patrickterrematte talk contribs was created by Admin talk contribs
- 23:32, 22 August 2020 Admin talk contribs created page Template:Category (Created blank page)
- 22:11, 22 August 2020 Admin talk contribs created page 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:39, 22 August 2020 127.0.0.1 talk created page Property:Owl:differentFrom (Semantic MediaWiki default vocabulary import)
- 21:39, 22 August 2020 127.0.0.1 talk created page Property:Foaf:name (Semantic MediaWiki default vocabulary import)
- 21:39, 22 August 2020 127.0.0.1 talk created page Property:Foaf:homepage (Semantic MediaWiki default vocabulary import)
- 21:39, 22 August 2020 127.0.0.1 talk created page MediaWiki:Smw import skos (Semantic MediaWiki default vocabulary import)
- 21:39, 22 August 2020 127.0.0.1 talk created page MediaWiki:Smw import foaf (Semantic MediaWiki default vocabulary import)
- 21:39, 22 August 2020 127.0.0.1 talk created page MediaWiki:Smw import owl (Semantic MediaWiki default vocabulary import)
- 21:39, 22 August 2020 127.0.0.1 talk created page Property:Foaf:knows (Semantic MediaWiki default vocabulary import)
- 21:39, 22 August 2020 127.0.0.1 talk created page smw/schema:Group:Schema properties (Semantic MediaWiki group import)
- 20:13, 22 August 2020 Jmarcos talk contribs created page Sintaxe (lógica) (criando verbete)
- 18:36, 22 August 2020 Jmarcos talk contribs created page Formalismos dedutivos (recriando página apagada por equívoco)
- 18:35, 22 August 2020 Jmarcos talk contribs deleted page Sistemas dedutivos (content was: "* Formalismos dedutivos [VIDEO] * Dedução Natural * Cálculo de Sequentes == Para reflexão == * == Veja também == * == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 18:29, 22 August 2020 Jmarcos talk contribs created page Modelos (lógica) (criando verbete)
- 18:17, 22 August 2020 Jmarcos talk contribs created page DN para Lógica Clássica Proposicional (criando verbete)
- 18:10, 22 August 2020 Jmarcos talk contribs deleted page Formalismos dedutivos (content was: "* Estilos [VIDEO] == Para reflexão == * == Veja também == * == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 18:03, 22 August 2020 Jmarcos talk contribs created page 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 == *")
- 17:56, 22 August 2020 Jmarcos talk contribs created page Sistemas dedutivos (criando verbete)
- 16:28, 22 August 2020 Jmarcos talk contribs created page Formalismos dedutivos (criando página)
- 16:27, 22 August 2020 Jmarcos talk contribs created page Sistemas dedutivos para a Lógica Clássica Proposicional (criando página)
- 16:06, 22 August 2020 Jmarcos talk contribs created page Lógica Proposicional (criando página)
- 16:06, 22 August 2020 Jmarcos talk contribs created page Lógica de Primeira Ordem (criando página)
- 21:55, 21 August 2020 Jmarcos talk contribs created page 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:53, 21 August 2020 Jmarcos talk contribs created page Sintaxe da Lógica Proposicional (Created page with "[VIDEO] == Para reflexão == * == Veja também == * Definição recursiva da linguagem proposicional")
- 21:49, 21 August 2020 Jmarcos talk contribs created page Fórmulas de primeira ordem (Created page with "[VIDEO] == Para reflexão == * == Veja também == *")
- 21:49, 21 August 2020 Jmarcos talk contribs created page Termos de primeira ordem (Created page with "[VIDEO]")
- 20:16, 21 August 2020 Jmarcos talk contribs created page Assinatura de primeira ordem (versão 0)
- 15:19, 21 August 2020 Admin talk contribs created page File:Negate-conditional-equivalent-with-truth-table.png
- 15:19, 21 August 2020 Admin talk contribs uploaded File:Negate-conditional-equivalent-with-truth-table.png
- 01:19, 21 August 2020 Jmarcos talk contribs created page Editing tricks (some code to copy-paste)
- 00:21, 21 August 2020 Jmarcos talk contribs created page Sintaxe da Lógica de Primeira Ordem (Created page with "<div style="overflow:hidden;position: relative;"><iframe frameborder="0" scrolling="no" marginheight="0" marginwidth="0"width="800" height="443" type="text/html" src="https://...")
- 00:11, 21 August 2020 Jmarcos talk contribs created page Introdução Computacional à Lógica Matemática (adding links)
- 00:26, 20 August 2020 Admin talk contribs uploaded File:Falsetrue.jpeg
- 00:26, 20 August 2020 Admin talk contribs created page File:Falsetrue.jpeg
- 20:41, 18 August 2020 Patrickts talk contribs uploaded File:Faltre.jpeg
- 20:41, 18 August 2020 Patrickts talk contribs created page File:Faltre.jpeg
- 20:10, 18 August 2020 Patrickts talk contribs uploaded File:Wiki.png
- 20:10, 18 August 2020 Patrickts talk contribs created page File:Wiki.png
- 19:46, 18 August 2020 Patrickts talk contribs created page File:Lolita.gif
- 19:46, 18 August 2020 Patrickts talk contribs uploaded File:Lolita.gif
- 19:39, 18 August 2020 Patrickts talk contribs uploaded a new version of File:Lolita logo.png
- 19:17, 18 August 2020 Patrickts talk contribs uploaded File:Lolita logo.png
- 19:17, 18 August 2020 Patrickts talk contribs created page File:Lolita logo.png
- 18:26, 18 August 2020 Jmarcos talk contribs created page Fundamentos Matemáticos da Computação 3 (link to FMC3c)
- 17:50, 3 August 2020 Admin talk contribs changed group membership for Greati from (none) to administrator
- 17:49, 3 August 2020 Admin talk contribs changed group membership for Jmarcos from (none) to administrator
- 17:42, 3 August 2020 User account Greati talk contribs was created by Admin talk contribs and password was sent by email
- 23:36, 17 June 2016 Marcielmanoel15 talk contribs uploaded File:Q2.jpg (MsUpload)
- 22:40, 17 June 2016 Marcielmanoel15 talk contribs uploaded File:Q1.jpg (MsUpload)
- 21:33, 29 May 2016 Gellyviana talk contribs uploaded File:Captura de tela de 2016-05-29 20-25-36.png
- 21:33, 29 May 2016 Gellyviana talk contribs uploaded File:Captura de tela de 2016-05-29 20-25-21.png
- 21:33, 29 May 2016 Gellyviana talk contribs uploaded File:Captura de tela de 2016-05-29 20-24-41.png
- 21:32, 29 May 2016 Gellyviana talk contribs uploaded File:Captura de tela de 2016-05-29 20-23-27.png
- 21:32, 29 May 2016 Gellyviana talk contribs uploaded File:Captura de tela de 2016-05-29 20-22-52.png
- 15:21, 29 May 2016 Gellyviana talk contribs uploaded a new version of File:Imagem.png
- 14:35, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Capeta.png (MsUpload)
- 14:34, 29 May 2016 Gellyviana talk contribs uploaded File:Image33.png
- 14:34, 29 May 2016 Marcielmanoel15 talk contribs uploaded a new version of File:Imagem2.png (MsUpload)
- 14:33, 29 May 2016 Marcielmanoel15 talk contribs uploaded a new version of File:Imagem2.png (Reverted to version as of 03:46, 27 May 2016)
- 14:31, 29 May 2016 Marcielmanoel15 talk contribs uploaded a new version of File:Imagem2.png
- 14:30, 29 May 2016 Marcielmanoel15 talk contribs uploaded a new version of File:Imagem2.png
- 14:29, 29 May 2016 Marcielmanoel15 talk contribs uploaded a new version of File:Imagem2.png (MsUpload)
- 14:16, 29 May 2016 Marcielmanoel15 talk contribs uploaded a new version of File:Imagem2.png (Reverted to version as of 03:46, 27 May 2016)
- 14:14, 29 May 2016 Marcielmanoel15 talk contribs uploaded a new version of File:Imagem.png (Reverted to version as of 03:21, 27 May 2016)
- 13:41, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem28.png (MsUpload)
- 13:41, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem29.png (MsUpload)
- 13:41, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem24.png (MsUpload)
- 13:41, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem25.png (MsUpload)
- 13:41, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem26.png (MsUpload)
- 13:41, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem27.png (MsUpload)
- 13:41, 29 May 2016 Marcielmanoel15 talk contribs uploaded a new version of File:Imagem2.png (MsUpload)
- 13:41, 29 May 2016 Marcielmanoel15 talk contribs uploaded a new version of File:Imagem3.png (MsUpload)
- 13:41, 29 May 2016 Marcielmanoel15 talk contribs uploaded a new version of File:Imagem4.png (MsUpload)
- 13:41, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem22.png (MsUpload)
- 13:41, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem23.png (MsUpload)
- 13:41, 29 May 2016 Marcielmanoel15 talk contribs uploaded a new version of File:Imagem.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem21.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem17.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem18.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem19.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem20.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem12.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem13.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem14.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem15.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem16.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem8.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem9.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem10.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem11.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem5.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem6.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem7.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem1.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem3.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem4.png (MsUpload)
- 13:21, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Entrenseind.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem51.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem52.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagens.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem48.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem49.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem50.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem45.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem46.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem47.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem41.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem42.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem43.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem44.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem35.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem36.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem37.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem38.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem39.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem40.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem31.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem32.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem33.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem34.png (MsUpload)
- 13:09, 29 May 2016 Marcielmanoel15 talk contribs uploaded File:Imagem30.png (MsUpload)
- 11:35, 28 May 2016 User account Gellyviana talk contribs was created by Patrickts talk contribs
- 00:46, 27 May 2016 Clah talk contribs uploaded File:Imagem2.png (MsUpload)
- 00:21, 27 May 2016 Clah talk contribs uploaded a new version of File:Imagem.png (MsUpload)
- 22:47, 26 May 2016 Clah talk contribs uploaded File:Imagem.png (MsUpload)
- 08:34, 21 December 2015 User account Marcielmanoel15 talk contribs was created by Patrickts talk contribs
- 20:33, 30 November 2015 User account Aclunga talk contribs was created by Patrickts talk contribs
- 03:04, 24 November 2015 User account Lucchino talk contribs was created by Patrickts talk contribs
- 03:03, 24 November 2015 User account Jaimerson talk contribs was created by Patrickts talk contribs
- 03:02, 24 November 2015 User account Igorolivei talk contribs was created by Patrickts talk contribs
- 03:01, 24 November 2015 User account Lucasdp talk contribs was created by Patrickts talk contribs
- 03:00, 24 November 2015 User account Victor1237 talk contribs was created by Patrickts talk contribs
- 02:58, 24 November 2015 User account Atilacaetano talk contribs was created by Patrickts talk contribs
- 02:57, 24 November 2015 User account Francleidepsimao talk contribs was created by Patrickts talk contribs
- 02:11, 24 November 2015 User account Paulohq talk contribs was created by Patrickts talk contribs
- 02:10, 24 November 2015 User account Deeh talk contribs was created by Patrickts talk contribs
- 02:06, 24 November 2015 User account Clah talk contribs was created by Patrickts talk contribs
- 02:04, 24 November 2015 User account Rnbruno talk contribs was created by Patrickts talk contribs
- 02:03, 24 November 2015 User account Williamaster talk contribs was created by Patrickts talk contribs
- 02:02, 24 November 2015 User account Jpquirino talk contribs was created by Patrickts talk contribs
- 02:01, 24 November 2015 User account Eliedsonsmg talk contribs was created by Patrickts talk contribs
- 02:00, 24 November 2015 User account Felipe vianna talk contribs was created by Patrickts talk contribs
- 01:57, 24 November 2015 User account Allangoncalves talk contribs was created by Patrickts talk contribs
- 01:55, 24 November 2015 User account Eucharles talk contribs was created by Patrickts talk contribs
- 01:39, 24 November 2015 User account Jeffersonwaa talk contribs was created by Patrickts talk contribs
- 01:35, 24 November 2015 User account Adysonadler talk contribs was created by Patrickts talk contribs
- 22:13, 17 October 2014 Patrickts talk contribs uploaded File:Moodle-inscrever-listadeusuarios-2.png (MsUpload)
- 22:07, 17 October 2014 Patrickts talk contribs uploaded File:Moodle-listadeusuarios.png (MsUpload)
- 21:51, 17 October 2014 Patrickts talk contribs uploaded File:TryLogic-tutorial-Moodle-setting.png (MsUpload)
- 21:32, 17 October 2014 Patrickts talk contribs uploaded File:TryLogic-Moodle-setting.png (MsUpload)
- 20:41, 17 October 2014 Patrickts talk contribs uploaded File:TryLogic-Moodle.png (MsUpload)
- 16:26, 29 July 2013 Patrickts talk contribs uploaded File:Exams-stress.jpg (MsUpload)
- 18:00, 28 June 2013 User account Regivan talk contribs was created by Admin talk contribs
- 17:43, 28 June 2013 User account Kaline talk contribs was created by Admin talk contribs
- 17:22, 1 June 2013 Admin talk contribs uploaded File:Ferramenta-externa-2.png (MsUpload)
- 17:22, 1 June 2013 Admin talk contribs uploaded File:Ferramenta-externa-1.png (MsUpload)
- 17:22, 1 June 2013 Admin talk contribs uploaded File:Ferramenta-externa-3.png (MsUpload)
- 17:22, 1 June 2013 Admin talk contribs uploaded File:Ferramenta-externa-4.png (MsUpload)
- 09:53, 31 May 2013 User account Userlolita talk contribs was created by Admin talk contribs
- 07:25, 31 May 2013 User account Jmarcos talk contribs was created by Admin talk contribs
- 15:28, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-questionario 02.png (MsUpload)
- 15:28, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-questionario 01.png (MsUpload)
- 15:28, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-questionario 04.png (MsUpload)
- 15:28, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-questionario 03.png (MsUpload)
- 15:28, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-questionario 05.png (MsUpload)
- 15:28, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-questionario 06.png (MsUpload)
- 15:28, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-questionario 07.png (MsUpload)
- 15:25, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-pesquisa 04.png (MsUpload)
- 15:25, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-pesquisa 08.png (MsUpload)
- 15:25, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-pesquisa 05.png (MsUpload)
- 15:25, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-pesquisa 09.png (MsUpload)
- 15:19, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-pesquisa 02.png (MsUpload)
- 15:19, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-pesquisa 01.png (MsUpload)
- 15:19, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-pesquisa 03.png (MsUpload)
- 14:28, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-envio-de-arquivo-unico 01.png (MsUpload)
- 14:28, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-envio-de-arquivo-unico 02.png (MsUpload)
- 14:28, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-envio-de-arquivo-unico 03.png (MsUpload)
- 14:23, 27 May 2013 Admin talk contribs moved page Main Page to Logic Wiki (LoLITA)
- 13:43, 27 May 2013 Admin talk contribs moved page Adding a Activity:Forum to Fórum
- 13:42, 27 May 2013 Admin talk contribs moved page Adding a Activity:Chat to Chat
- 13:40, 27 May 2013 Admin talk contribs moved page Adding a Activity:Offline Activity to Atividade Offline
- 13:38, 27 May 2013 Admin talk contribs moved page Adding a Activity to Adicionando uma Atividade
- 13:35, 27 May 2013 Admin talk contribs moved page Creating Course to Criação de Curso
- 13:34, 27 May 2013 Admin talk contribs moved page Moodle Documentation Index to Moodle - Documentação
- 13:33, 27 May 2013 Admin talk contribs moved page Manage Groups and Groupping to Grupos e Agrupamentos
- 13:09, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-atividades-offline 02.png (MsUpload)
- 13:09, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-atividades-offline 01.png (MsUpload)
- 13:09, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-atividades-offline 03.png (MsUpload)
- 13:03, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-chat 01.png (MsUpload)
- 13:03, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-chat 02.png (MsUpload)
- 13:03, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividades-chat 03.png (MsUpload)
- 12:56, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividade-forum 03.png (MsUpload)
- 12:52, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividade-forum 02.png (MsUpload)
- 12:51, 27 May 2013 Admin talk contribs uploaded File:Adicao-de-atividade-forum.png (MsUpload)
- 12:44, 27 May 2013 Admin talk contribs uploaded File:Ativar edicao.png (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo3.jpg (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo2.jpg (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo5.jpg (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo4.jpg (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo8.jpg (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo7.jpg (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo6.jpg (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo10.jpg (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo9.jpg (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo12.jpg (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo11.jpg (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo14.jpg (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo13.jpg (MsUpload)
- 12:20, 27 May 2013 Admin talk contribs uploaded File:Grupo15.jpg (MsUpload)
- 12:10, 27 May 2013 Admin talk contribs uploaded File:Grupo1.jpg
- 10:12, 27 May 2013 Admin talk contribs uploaded File:Criacao-de-curso 04.png
- 10:11, 27 May 2013 Admin talk contribs uploaded File:Criacao-de-curso 03.png
- 10:07, 27 May 2013 Admin talk contribs uploaded File:Criacao-de-curso 02.jpg
- 10:06, 27 May 2013 Admin talk contribs uploaded File:Criacao-de-curso 01.jpg
- 08:20, 27 May 2013 Admin talk contribs changed group membership for Patrickts from (none) to administrator
- 08:19, 27 May 2013 User account Patrickts talk contribs was created by Admin talk contribs