Contribuições do(a) usuário(a) Dhudupires

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