Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 16h14min de 14 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Exercícios Resolvidos) (revisão atual)
- 16h14min de 14 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Exercícios Resolvidos) (revisão atual)
- 16h13min de 14 de setembro de 2009 (dif | hist) Respostas dos Exercícios do livro "Lógica para Computação" (→Versão Provisória)
- 11h35min de 14 de setembro de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Tarefas)
- 11h14min de 14 de setembro de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Tarefas)
- 11h13min de 14 de setembro de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Tarefas)
- 11h13min de 14 de setembro de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Tarefas)
- 11h12min de 14 de setembro de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Informações)
- 09h36min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Links para oferecimentos da disciplina em outras universidades)
- 07h51min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Links para oferecimentos da disciplina em outras universidades)
- 07h42min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Referências Complementares)
- 07h41min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Referências Complementares)
- 07h32min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Links para oferecimentos da disciplina em outras universidades)
- 07h12min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Material do prof. Ricardo Luders)
- 07h12min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Material do prof. Ricardo Luders)
- 07h12min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Material do prof. Ricardo Luders)
- 07h11min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Material do prof. Ricardo Luders)
- 07h10min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Material do prof. Ricardo Luders)
- 07h10min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Oferecimentos Anteriores na UTFPR)
- 21h11min de 13 de setembro de 2009 (dif | hist) m A lógica C1 (revisão atual)
- 21h10min de 13 de setembro de 2009 (dif | hist) A lógica C1
- 21h10min de 13 de setembro de 2009 (dif | hist) A lógica C1
- 21h09min de 13 de setembro de 2009 (dif | hist) A lógica C1
- 21h09min de 13 de setembro 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)
- 21h08min de 13 de setembro de 2009 (dif | hist) Emerson Shigueo Sugimoto (revisão atual)
- 16h31min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Artigos)
- 16h31min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Listas de Exercícios)
- 16h31min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Recursos)
- 16h31min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Exercícios Resolvidos)
- 16h30min de 11 de setembro de 2009 (dif | hist) Respostas dos Exercícios do livro "Lógica para Computação"
- 16h29min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Listas de Exercícios)
- 16h28min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Listas de Exercícios)
- 16h23min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Listas de Exercícios)
- 16h23min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Listas de Exercícios)
- 16h23min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Recursos)
- 16h00min de 10 de setembro de 2009 (dif | hist) Monitoria (→2009)
- 15h54min de 10 de setembro de 2009 (dif | hist) Max Raphael Sobroza Marques
- 15h54min de 10 de setembro de 2009 (dif | hist) Max Raphael Sobroza Marques
- 15h54min de 10 de setembro de 2009 (dif | hist) N Max Raphael Sobroza Marques (Nova página: * Estudante de Engenharia de Computação. * Monitor da disciplina Lógica para Computação de 2009.1 a 2010.1. Veja os horários e local de atendimento na página [[Monitori...)
- 15h53min de 10 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Informações)
- 15h52min de 10 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Informações)
- 15h51min de 10 de setembro de 2009 (dif | hist) Monitoria (→2009)
- 15h51min de 10 de setembro de 2009 (dif | hist) Monitoria (→2009)
- 15h51min de 10 de setembro de 2009 (dif | hist) Monitoria (→2009)
- 15h51min de 10 de setembro de 2009 (dif | hist) Monitoria (→2009)
- 15h51min de 10 de setembro de 2009 (dif | hist) Monitoria (→2009)
- 15h30min de 10 de setembro de 2009 (dif | hist) Matemática Discreta (→Oferecimentos Anteriores na UTFPR)
- 15h26min de 10 de setembro de 2009 (dif | hist) Matemática Discreta (→Oferecimentos Anteriores na UTFPR)
- 15h22min de 10 de setembro de 2009 (dif | hist) Matemática Discreta (→Oferecimentos Anteriores na UTFPR)
- 15h21min de 10 de setembro de 2009 (dif | hist) Matemática Discreta (→Oferecimentos Anteriores na UTFPR)
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
