Contribuições do(a) usuário(a) Dhudupires
De Dhudupires discussão registo de bloqueios carregamentos registos conta global registo do filtro de edições
Um utilizador com 40 edições. Conta criada a 16 de abril de 2013.
5 de março de 2014
- 22h27min22h27min de 5 de março de 2014 dif his +2 031 Máquina de estados finitos não determinística Desfeita a edição 38325140 de Salebot
- 22h25min22h25min de 5 de março de 2014 dif his −1 543 Usuário(a) Discussão:Dhudupires Desfeita a edição 38325142 de Salebot
- 21h57min21h57min de 5 de março de 2014 dif his +7 Máquina de estados finitos não determinística adição de exemplos
- 18h32min18h32min de 5 de março de 2014 dif his +305 Máquina de estados finitos não determinística adição de exemplo Etiqueta: Editor Visual
- 18h26min18h26min de 5 de março de 2014 dif his +582 Máquina de estados finitos não determinística Adição de exemplo Etiqueta: Editor Visual
- 18h15min18h15min de 5 de março de 2014 dif his +593 Máquina de estados finitos não determinística Adição de novo exemplo Etiqueta: Editor Visual
- 18h08min18h08min de 5 de março de 2014 dif his +544 Máquina de estados finitos não determinística Adição de Exemplo Etiqueta: Editor Visual
4 de março de 2014
- 23h48min23h48min de 4 de março de 2014 dif his −7 Máquina de estados finitos não determinística Modificação de formatação Etiqueta: Editor Visual
- 23h47min23h47min de 4 de março de 2014 dif his +446 Máquina de estados finitos não determinística adição de um novo exemplo Etiqueta: Editor Visual
- 23h40min23h40min de 4 de março de 2014 dif his +951 Máquina de estados finitos não determinística Adição de um exemplo de concatenação de linguagens em um afn. Etiqueta: Editor Visual
22 de abril de 2013
- 20h49min20h49min de 22 de abril de 2013 dif his +121 Cálculo de sequentes
21 de abril de 2013
- 13h32min13h32min de 21 de abril de 2013 dif his +6 Cálculo de sequentes
- 13h20min13h20min de 21 de abril de 2013 dif his −2 Cálculo de sequentes →Introdução
- 13h20min13h20min de 21 de abril de 2013 dif his −2 Cálculo de sequentes →Introdução
- 13h18min13h18min de 21 de abril de 2013 dif his +1 Cálculo de sequentes →Introdução
- 13h17min13h17min de 21 de abril de 2013 dif his +2 Cálculo de sequentes →Introdução
- 13h16min13h16min de 21 de abril de 2013 dif his +2 Cálculo de sequentes →Introdução
- 13h14min13h14min de 21 de abril de 2013 dif his 0 Cálculo de sequentes
- 13h12min13h12min de 21 de abril de 2013 dif his −1 Cálculo de sequentes
20 de abril de 2013
- 18h22min18h22min de 20 de abril de 2013 dif his −2 Cálculo de sequentes
- 16h27min16h27min de 20 de abril de 2013 dif his −29 Cálculo de sequentes →Propriedades do sistema LK
- 16h26min16h26min de 20 de abril de 2013 dif his +8 Cálculo de sequentes →Propriedades do sistema LK
- 16h25min16h25min de 20 de abril de 2013 dif his −23 Cálculo de sequentes →Uma explicação intuitiva
- 16h24min16h24min de 20 de abril de 2013 dif his −44 Cálculo de sequentes →Regras de Inferência
- 16h24min16h24min de 20 de abril de 2013 dif his −39 Cálculo de sequentes →Introdução
- 16h22min16h22min de 20 de abril de 2013 dif his +5 Cálculo de sequentes →Alternativas estruturais menores
- 16h20min16h20min de 20 de abril de 2013 dif his −33 Cálculo de sequentes →Lógica Substrutural
- 16h18min16h18min de 20 de abril de 2013 dif his −230 Cálculo de sequentes →Regras estruturais
- 16h17min16h17min de 20 de abril de 2013 dif his −1 194 Usuário(a) Discussão:Dhudupires →O artigo Cálculo de sequentes foi proposto para eliminação
- 16h16min16h16min de 20 de abril de 2013 dif his −145 Cálculo de sequentes
- 15h10min15h10min de 20 de abril de 2013 dif his −164 Cálculo de sequentes
- 13h45min13h45min de 20 de abril de 2013 dif his −369 Cálculo de sequentes →Propriedades do sistema LK
- 13h44min13h44min de 20 de abril de 2013 dif his −37 Cálculo de sequentes →Derivações de exemplo
- 13h26min13h26min de 20 de abril de 2013 dif his +1 Cálculo de sequentes →Regras de Inferência
- 13h25min13h25min de 20 de abril de 2013 dif his +31 Cálculo de sequentes →Regras de Inferência
- 13h23min13h23min de 20 de abril de 2013 dif his +1 Cálculo de sequentes →Regras de Inferência
- 13h22min13h22min de 20 de abril de 2013 dif his −190 Cálculo de sequentes →Regras de Inferência
- 13h20min13h20min de 20 de abril de 2013 dif his −43 Cálculo de sequentes
- 13h18min13h18min de 20 de abril de 2013 dif his −66 Cálculo de sequentes →Veja também Etiqueta: Seção eliminada
- 13h16min13h16min de 20 de abril de 2013 dif his +35 463 N Cálculo de sequentes Tradução do verbete de Lógica sobre Cálculo de Sequentes, passado pelo professor Ruy de Queiroz e feito por Eduardo Pires, eap3 Etiqueta: Espaçamento excessivo
