Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 17h14min de 14 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Exercícios Resolvidos) (revisão atual)
- 17h14min de 14 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Exercícios Resolvidos) (revisão atual)
- 17h13min de 14 de setembro de 2009 (dif | hist) Respostas dos Exercícios do livro "Lógica para Computação" (→Versão Provisória)
- 12h35min 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)
- 12h14min 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)
- 12h13min 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)
- 12h13min 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)
- 12h12min 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)
- 10h36min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Links para oferecimentos da disciplina em outras universidades)
- 08h51min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Links para oferecimentos da disciplina em outras universidades)
- 08h42min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Referências Complementares)
- 08h41min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Referências Complementares)
- 08h32min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Links para oferecimentos da disciplina em outras universidades)
- 08h12min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Material do prof. Ricardo Luders)
- 08h12min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Material do prof. Ricardo Luders)
- 08h12min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Material do prof. Ricardo Luders)
- 08h11min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Material do prof. Ricardo Luders)
- 08h10min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Material do prof. Ricardo Luders)
- 08h10min de 14 de setembro de 2009 (dif | hist) Matemática Discreta (→Oferecimentos Anteriores na UTFPR)
- 22h11min de 13 de setembro de 2009 (dif | hist) m A lógica C1 (revisão atual)
- 22h10min de 13 de setembro de 2009 (dif | hist) A lógica C1
- 22h10min de 13 de setembro de 2009 (dif | hist) A lógica C1
- 22h09min de 13 de setembro de 2009 (dif | hist) A lógica C1
- 22h09min 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)
- 22h08min de 13 de setembro de 2009 (dif | hist) Emerson Shigueo Sugimoto (revisão atual)
- 17h31min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Artigos)
- 17h31min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Listas de Exercícios)
- 17h31min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Recursos)
- 17h31min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Exercícios Resolvidos)
- 17h30min de 11 de setembro de 2009 (dif | hist) Respostas dos Exercícios do livro "Lógica para Computação"
- 17h29min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Listas de Exercícios)
- 17h28min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Listas de Exercícios)
- 17h23min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Listas de Exercícios)
- 17h23min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Listas de Exercícios)
- 17h23min de 11 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Recursos)
- 17h00min de 10 de setembro de 2009 (dif | hist) Monitoria (→2009)
- 16h54min de 10 de setembro de 2009 (dif | hist) Max Raphael Sobroza Marques
- 16h54min de 10 de setembro de 2009 (dif | hist) Max Raphael Sobroza Marques
- 16h54min 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...)
- 16h53min de 10 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2 (→Informações)
- 16h52min de 10 de setembro de 2009 (dif | hist) Lógica para Computação - Turma S71 - 2009.2 (→Informações)
- 16h51min de 10 de setembro de 2009 (dif | hist) Monitoria (→2009)
- 16h51min de 10 de setembro de 2009 (dif | hist) Monitoria (→2009)
- 16h51min de 10 de setembro de 2009 (dif | hist) Monitoria (→2009)
- 16h51min de 10 de setembro de 2009 (dif | hist) Monitoria (→2009)
- 16h51min de 10 de setembro de 2009 (dif | hist) Monitoria (→2009)
- 16h30min de 10 de setembro de 2009 (dif | hist) Matemática Discreta (→Oferecimentos Anteriores na UTFPR)
- 16h26min de 10 de setembro de 2009 (dif | hist) Matemática Discreta (→Oferecimentos Anteriores na UTFPR)
- 16h22min de 10 de setembro de 2009 (dif | hist) Matemática Discreta (→Oferecimentos Anteriores na UTFPR)
- 16h21min 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).
