Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 12h22min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Referências)
- 12h22min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Ciência da Computação)
- 12h22min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Sistemas da Informação)
- 12h21min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Comparação feita pelo CIn-UFPE)
- 12h21min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Comparação feita pelo CIn-UFPE)
- 12h19min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Comparação feita pelo CIn-UFPE)
- 12h19min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→= Comparação feita pelo CIn-UFPE)
- 12h19min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Introdução)
- 15h23min de 8 de agosto de 2009 (dif | hist) Maratona de Programação - Seletiva Regional 2009
- 15h23min de 8 de agosto de 2009 (dif | hist) Maratona de Programação - Seletiva Regional 2009
- 15h22min de 8 de agosto de 2009 (dif | hist) Maratona de Programação (→Vantagens para quem participa várias vezes de maratonas de programação)
- 15h21min de 8 de agosto de 2009 (dif | hist) Maratona de Programação
- 15h20min de 8 de agosto de 2009 (dif | hist) Maratona de Programação
- 15h19min de 8 de agosto de 2009 (dif | hist) N Maratona de programação (Maratona de programação foi movido para Maratona de Programação (erro)) (revisão atual)
- 15h19min de 8 de agosto de 2009 (dif | hist) m Maratona de Programação (erro) (Maratona de programação foi movido para Maratona de Programação (erro)) (revisão atual)
- 15h23min de 7 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→One-Minute Paper (OMP))
- 15h19min de 7 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Formato do One minute paper:)
- 15h19min de 7 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Formato do One minute paper:)
- 15h18min de 7 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2
- 13h38min de 7 de agosto de 2009 (dif | hist) Respostas dos Exercícios do livro "Lógica para Computação" (→Páginas 12-13)
- 13h38min de 7 de agosto de 2009 (dif | hist) Respostas dos Exercícios do livro "Lógica para Computação" (→Páginas 12-13)
- 13h38min de 7 de agosto de 2009 (dif | hist) Respostas dos Exercícios do livro "Lógica para Computação" (→= Páginas 12-13)
- 13h37min de 7 de agosto de 2009 (dif | hist) Respostas dos Exercícios do livro "Lógica para Computação" (→= Páginas 12-13)
- 13h36min de 7 de agosto de 2009 (dif | hist) N Respostas dos Exercícios do livro "Lógica para Computação" (Nova página: == Capítulo 1 == === Páginas 12-13 == 1.1 (a) - p <math>\wedge</math> q)
- 13h35min de 7 de agosto de 2009 (dif | hist) Lógica para Computação (→Bibliografia Básica)
- 13h35min de 7 de agosto de 2009 (dif | hist) Lógica para Computação (→Bibliografia Básica)
- 11h50min de 7 de agosto de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Descrição das Atividades)
- 11h49min de 7 de agosto de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Descrição das Atividades)
- 11h45min de 7 de agosto de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Descrição das Atividades)
- 11h45min de 7 de agosto de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Descrição das Atividades)
- 11h44min de 7 de agosto de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Descrição das Atividades)
- 11h17min de 7 de agosto de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Descrição das Atividades)
- 11h16min de 7 de agosto de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Descrição das Atividades)
- 11h15min de 7 de agosto de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Descrição das Atividades)
- 11h15min de 7 de agosto de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Descrição das Atividades)
- 19h21min de 6 de agosto de 2009 (dif | hist) Provadores de Teoremas (→Lista não organizada) (revisão atual)
- 19h20min de 6 de agosto de 2009 (dif | hist) Provadores de Teoremas
- 01h03min de 6 de agosto de 2009 (dif | hist) N Lógica para Computação - Turma S71 - 2009.2 (Nova página: == Informações == * Página Wiki da disciplina: Lógica para Computação * Página da disciplina no Moodle: a definir * Professor: Adolfo Neto == Datas Importantes == == ...)
- 23h26min de 4 de agosto de 2009 (dif | hist) Engenharia de Computação (→Projeto Pedagógico) (revisão atual)
- 18h47min de 4 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Recursos)
- 18h44min de 4 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Artigos)
- 18h43min de 4 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Artigos)
- 18h42min de 4 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2
- 15h13min de 4 de agosto de 2009 (dif | hist) Página principal (→Informações sobre o DAINF)
- 15h04min de 4 de agosto de 2009 (dif | hist) Página principal (→Informações sobre o DAINF)
- 15h03min de 4 de agosto de 2009 (dif | hist) Página principal
- 14h37min de 4 de agosto de 2009 (dif | hist) Lógica para Computação (→Referências fortemente relacionadas à Computação)
- 14h37min de 4 de agosto de 2009 (dif | hist) Lógica para Computação (→Referências fortemente relacionadas à Computação)
- 14h36min de 4 de agosto de 2009 (dif | hist) Lógica para Computação (→Referências fortemente relacionadas à Computação)
- 13h25min de 4 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
