Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 12h20min de 4 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2
- 11h18min de 4 de agosto de 2009 (dif | hist) N Lógica para Computação - Turma S73 - 2009.2 (Nova página: == Informações == * Página Wiki da disciplina: Lógica para Computação * Professor: Adolfo Neto == Datas Importantes == * 14/10/2009: Entrega do documento de especifica...)
- 11h13min de 4 de agosto de 2009 (dif | hist) Lógica para Computação (→Oferecimentos)
- 16h49min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Sítios)
- 16h49min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Sítios)
- 16h48min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Sítios)
- 16h48min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Livros para a disciplina)
- 15h54min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Informações)
- 15h46min de 3 de agosto de 2009 (dif | hist) Bacharelado em Sistemas de Informação (→Disciplinas do segundo período)
- 15h46min de 3 de agosto de 2009 (dif | hist) Bacharelado em Sistemas de Informação (→Disciplinas do segundo período)
- 15h46min de 3 de agosto de 2009 (dif | hist) Bacharelado em Sistemas de Informação (→Disciplinas do segundo período)
- 15h46min de 3 de agosto de 2009 (dif | hist) Bacharelado em Sistemas de Informação (→Disciplinas do segundo período)
- 15h41min de 3 de agosto de 2009 (dif | hist) Bacharelado em Sistemas de Informação (→No segundo semestre de 2009)
- 11h54min de 3 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
- 11h48min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2
- 11h47min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2
- 11h46min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Professores Responsáveis)
- 11h45min de 3 de agosto de 2009 (dif | hist) Matemática Discreta
- 11h45min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Links para oferecimentos da disciplina em outras universidades)
- 11h44min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Links para oferecimentos da disciplina em outras universidades)
- 11h44min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Referências Complementares)
- 11h44min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Plano de Ensino)
- 11h43min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Plano de Ensino)
- 11h42min de 3 de agosto de 2009 (dif | hist) Matemática Discreta
- 11h36min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Informações)
- 11h36min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2
- 11h35min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2
- 11h35min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2
- 11h24min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Informações)
- 11h23min de 3 de agosto de 2009 (dif | hist) N Matemática Discreta - Turma S71 - 2009.2 (Nova página: == Informações == * Página Wiki da Disciplina: Matemática Discreta * Professor: Adolfo Neto * Horários: ** Terças-feiras - 13h50-15h30 - Sala: E302. ** Quitas-feiras - ...)
- 11h21min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Professores Responsáveis)
- 11h17min de 3 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 (→Cronograma de Atividades)
- 11h16min de 3 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 (→Cronograma de Atividades)
- 11h16min de 3 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 (→Cronograma de Atividades)
- 11h15min de 3 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 (→Cronograma de Atividades)
- 11h15min de 3 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)
- 11h13min de 3 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
- 11h13min de 3 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
- 11h12min de 3 de agosto de 2009 (dif | hist) N Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (Nova página: == Descrição das Atividades == # Levantamento bibliográfico sobre implementações de provadores de teoremas para a lógica C1 # Estudo detalhado do sistema KEMS # Especificação ...)
- 11h11min de 3 de agosto de 2009 (dif | hist) Iniciação Científica (→Projetos em Andamento)
- 11h11min de 3 de agosto de 2009 (dif | hist) Iniciação Científica (→Projetos em Andamento)
- 10h35min de 3 de agosto de 2009 (dif | hist) Professores (→Em construção)
- 10h35min de 3 de agosto de 2009 (dif | hist) Professores
- 10h33min de 3 de agosto de 2009 (dif | hist) Adolfo Neto (→2009.1)
- 10h32min de 3 de agosto de 2009 (dif | hist) N Departamento Acadêmico de Informática (Nova página: O Departamento Acadêmico de Informática (DAINF) é um dos departamentos acadêmicos do [http://www.ct.utfpr.edu.br Campus Curitiba da UTFPR]. Veja a lista de departamentos acadêmic...) (revisão atual)
- 10h30min de 3 de agosto de 2009 (dif | hist) DAINF (revisão atual)
- 10h30min de 3 de agosto de 2009 (dif | hist) N DAINF (Nova página: DAINF é a sigla do Departamento Acadêmico de Informática da UTFPR - Campus Curitiba.)
- 10h29min de 3 de agosto de 2009 (dif | hist) SAITEC – Semana Acadêmica Integrada de Tecnologia (revisão atual)
- 10h27min de 3 de agosto de 2009 (dif | hist) SAITEC – Semana Acadêmica Integrada de Tecnologia
- 10h27min de 3 de agosto de 2009 (dif | hist) N SAITEC – Semana Acadêmica Integrada de Tecnologia (Nova página: A 1ª SAITEC – Semana Acadêmica Integrada de Tecnologia - é um evento que tem como objetivo promover a atualização dos estudantes e profissionais de computação em temas relacio...)
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
