Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 11h22min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Referências)
- 11h22min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Ciência da Computação)
- 11h22min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Sistemas da Informação)
- 11h21min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Comparação feita pelo CIn-UFPE)
- 11h21min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Comparação feita pelo CIn-UFPE)
- 11h19min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Comparação feita pelo CIn-UFPE)
- 11h19min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→= Comparação feita pelo CIn-UFPE)
- 11h19min de 12 de agosto de 2009 (dif | hist) Comparação entre os cursos da Área de Computação (→Introdução)
- 14h23min de 8 de agosto de 2009 (dif | hist) Maratona de Programação - Seletiva Regional 2009
- 14h23min de 8 de agosto de 2009 (dif | hist) Maratona de Programação - Seletiva Regional 2009
- 14h22min de 8 de agosto de 2009 (dif | hist) Maratona de Programação (→Vantagens para quem participa várias vezes de maratonas de programação)
- 14h21min de 8 de agosto de 2009 (dif | hist) Maratona de Programação
- 14h20min de 8 de agosto de 2009 (dif | hist) Maratona de Programação
- 14h19min 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)
- 14h19min 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)
- 14h23min de 7 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→One-Minute Paper (OMP))
- 14h19min de 7 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Formato do One minute paper:)
- 14h19min de 7 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Formato do One minute paper:)
- 14h18min de 7 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2
- 12h38min de 7 de agosto de 2009 (dif | hist) Respostas dos Exercícios do livro "Lógica para Computação" (→Páginas 12-13)
- 12h38min de 7 de agosto de 2009 (dif | hist) Respostas dos Exercícios do livro "Lógica para Computação" (→Páginas 12-13)
- 12h38min de 7 de agosto de 2009 (dif | hist) Respostas dos Exercícios do livro "Lógica para Computação" (→= Páginas 12-13)
- 12h37min de 7 de agosto de 2009 (dif | hist) Respostas dos Exercícios do livro "Lógica para Computação" (→= Páginas 12-13)
- 12h36min 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)
- 12h35min de 7 de agosto de 2009 (dif | hist) Lógica para Computação (→Bibliografia Básica)
- 12h35min de 7 de agosto de 2009 (dif | hist) Lógica para Computação (→Bibliografia Básica)
- 10h50min 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)
- 10h49min 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)
- 10h45min 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)
- 10h45min 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)
- 10h44min 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)
- 10h17min 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)
- 10h16min 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)
- 10h15min 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)
- 10h15min 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)
- 18h21min de 6 de agosto de 2009 (dif | hist) Provadores de Teoremas (→Lista não organizada) (revisão atual)
- 18h20min de 6 de agosto de 2009 (dif | hist) Provadores de Teoremas
- 00h03min 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 == == ...)
- 22h26min de 4 de agosto de 2009 (dif | hist) Engenharia de Computação (→Projeto Pedagógico) (revisão atual)
- 17h47min de 4 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Recursos)
- 17h44min de 4 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Artigos)
- 17h43min de 4 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Artigos)
- 17h42min de 4 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2
- 14h13min de 4 de agosto de 2009 (dif | hist) Página principal (→Informações sobre o DAINF)
- 14h04min de 4 de agosto de 2009 (dif | hist) Página principal (→Informações sobre o DAINF)
- 14h03min de 4 de agosto de 2009 (dif | hist) Página principal
- 13h37min de 4 de agosto de 2009 (dif | hist) Lógica para Computação (→Referências fortemente relacionadas à Computação)
- 13h37min de 4 de agosto de 2009 (dif | hist) Lógica para Computação (→Referências fortemente relacionadas à Computação)
- 13h36min de 4 de agosto de 2009 (dif | hist) Lógica para Computação (→Referências fortemente relacionadas à Computação)
- 12h25min 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).
