Contribuições do(a) usuário(a) Otávio Vera Cruz

15 de julho de 2016

• 00h56min00h56min de 15 de julho de 2016 dif his 0 Transformação de Tseytin Criado ao traduzir a página "Tseytin transformation" Etiqueta: Tradução de Conteúdo
• 00h53min00h53min de 15 de julho de 2016 dif his +3 883 N Problema da satisfatibilidade de circuito Criado ao traduzir a página "Circuit satisfiability problem" Etiqueta: Tradução de Conteúdo
• 00h50min00h50min de 15 de julho de 2016 dif his −1 155 Teorema de Fagin Criado ao traduzir a página "Fagin's theorem" Etiqueta: Tradução de Conteúdo
• 00h44min00h44min de 15 de julho de 2016 dif his +3 136 N Aritmética de Büchi Criado ao traduzir a página "Büchi arithmetic" Etiqueta: Tradução de Conteúdo
• 00h35min00h35min de 15 de julho de 2016 dif his 0 Problema da satisfatibilidade do circuito tradução errada do título Etiqueta: Editor Visual

9 de julho de 2016

• 01h42min01h42min de 9 de julho de 2016 dif his −2 Transformação de Tseytin O nome da porta estava errada. Etiqueta: Editor Visual
• 01h35min01h35min de 9 de julho de 2016 dif his +12 143 N Transformação de Tseytin Criado ao traduzir a página "Tseytin transformation" Etiqueta: Tradução de Conteúdo

8 de julho de 2016

• 23h34min23h34min de 8 de julho de 2016 dif his +3 883 N Problema da satisfatibilidade do circuito Criado ao traduzir a página "Circuit satisfiability problem" Etiqueta: Tradução de Conteúdo
• 00h24min00h24min de 8 de julho de 2016 dif his +4 574 N Teorema de Fagin Criado ao traduzir a página "Fagin's theorem" Etiquetas: Provável parcialidade Tradução de Conteúdo

8 de julho de 2015

• 23h32min23h32min de 8 de julho de 2015 dif his +3 480 N Problema da função exponencial de Tarski nova página: Na teoria dos modelos,o problema da '''função exponencial''' de Tarski pergunta se a teoria dos números reais junto com a função exponencial é decidível. Tarski tinha mostrad...