Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 14h32min de 28 de abril de 2009 (dif | hist) Lógica para Computação - Turmas S71 e S73 - 2009.1 (→Bacharelado em Sistemas de Informação (S73))
- 13h03min de 28 de abril de 2009 (dif | hist) Lógica para Computação - Turmas S71 e S73 - 2009.1
- 12h08min de 24 de abril de 2009 (dif | hist) Visão Geral dos Provadores Automáticos de Teoremas (→O que é Prova Automática de Teoremas?) (revisão atual)
- 12h08min de 24 de abril de 2009 (dif | hist) Visão Geral dos Provadores Automáticos de Teoremas (→Siglas)
- 12h08min de 24 de abril de 2009 (dif | hist) Visão Geral dos Provadores Automáticos de Teoremas (→O que é Prova Automática de Teoremas)
- 12h08min de 24 de abril de 2009 (dif | hist) Visão Geral dos Provadores Automáticos de Teoremas (→O que é Prova Automática de Teoremas)
- 12h07min de 24 de abril de 2009 (dif | hist) Visão Geral dos Provadores Automáticos de Teoremas
- 12h01min de 24 de abril de 2009 (dif | hist) Visão Geral dos Provadores Automáticos de Teoremas (→Para que a Prova Automática de Teoremas tem sido realmente útil?)
- 11h49min de 24 de abril de 2009 (dif | hist) Visão Geral dos Provadores Automáticos de Teoremas
- 11h49min de 24 de abril de 2009 (dif | hist) Visão Geral dos Provadores Automáticos de Teoremas
- 11h44min de 24 de abril de 2009 (dif | hist) N Visão Geral dos Provadores Automáticos de Teoremas (Nova página: Tradução e Adaptação do texto de Geoff Sutcliffe, disponível em http://www.cs.miami.edu/~tptp/OverviewOfATP.html)
- 13h02min de 23 de abril de 2009 (dif | hist) Provador de teoremas (→Baseados em Tablôs KE) (revisão atual)
- 13h01min de 23 de abril de 2009 (dif | hist) Provador de teoremas (→Baseados em Tablôs KE)
- 13h01min de 23 de abril de 2009 (dif | hist) Provador de teoremas (→Baseados em Tablôs KE)
- 13h01min de 23 de abril de 2009 (dif | hist) Provador de teoremas (→Baseados em Tablôs Analíticos)
- 13h00min de 23 de abril de 2009 (dif | hist) Provador de teoremas (→Baseados em Tablôs Analíticos)
- 12h51min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Exemplos de execução)
- 12h50min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Exemplos de execução)
- 12h50min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Exemplos de execução)
- 12h47min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Exemplos de execução)
- 12h36min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Código-fonte)
- 12h26min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Descrição)
- 12h24min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Descrição)
- 12h24min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Descrição)
- 12h24min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Descrição)
- 12h22min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→= Exemplo 2: Gamma1 com tablôs KE)
- 12h22min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→= Exemplo 1: Gamma1 com tablôs analíticos)
- 12h22min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Exemplos de execução)
- 12h20min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Como executar)
- 12h19min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Código-fonte)
- 12h18min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Código-fonte)
- 12h18min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Descrição)
- 12h18min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Descrição)
- 12h17min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Exemplos de execução)
- 12h17min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover
- 12h03min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Descrição)
- 11h58min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover
- 11h57min de 23 de abril de 2009 (dif | hist) WDTP - Wagner Dias Tableau Prover (→Código-fonte)
- 11h48min de 23 de abril de 2009 (dif | hist) N WDTP - Wagner Dias Tableau Prover (Nova página: == Descrição == O WDTP é um provador de teoremas baseado no método de tablôs implementado por [http://www.ime.usp.br/~dias/ Wagner Dias] durante seu mestrado em Ciência da Compu...)
- 11h34min de 23 de abril de 2009 (dif | hist) Provador de teoremas (→Baseados em Tablôs Analíticos)
- 11h34min de 23 de abril de 2009 (dif | hist) Provador de teoremas (→Baseados em Tablôs Analíticos)
- 22h53min de 22 de abril de 2009 (dif | hist) Provador de teoremas (→Baseados em Tablôs)
- 20h24min de 22 de abril de 2009 (dif | hist) Formas Normais: Emerson Shigueo Sugimoto, Rodrigo Cirino De Andrade, Vagner Vengue (→ALGORITIMO 1 - TRANSFORMAÇÃO DA FNC SEM NOVOS ÁTOMOS)
- 14h26min de 22 de abril de 2009 (dif | hist) Provador de teoremas (→Páginas de Provadores de Teoremas)
- 14h24min de 22 de abril de 2009 (dif | hist) Provador de teoremas (→Páginas de Provadores de Teoremas)
- 14h24min de 22 de abril de 2009 (dif | hist) Provador de teoremas (→Alguns links sobre provadores de teoremas)
- 14h19min de 22 de abril de 2009 (dif | hist) Provador de teoremas (→Alguns links sobre provadores de teoremas)
- 14h17min de 22 de abril de 2009 (dif | hist) Provador de teoremas (→Alguns links sobre provadores de teoremas)
- 14h17min de 22 de abril de 2009 (dif | hist) N Provador de teoremas (Nova página: == Alguns links sobre provadores de teoremas == * [http://www.nytimes.com/library/cyber/week/1210math.html "Computer Math Proof Shows Reasoning Power", notícia do New York Times de 1...)
- 14h15min de 22 de abril de 2009 (dif | hist) Seminários de Pesquisa do DAINF (→22/04/2009 (quarta-feira) - 10:30 - "KEMS - Um provador de teoremas multi-estratégia" - Prof. Adolfo Neto)
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
