All public logs
Jump to navigation
Jump to search
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).
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 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
