Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 13h20min de 4 de agosto de 2009 (dif | hist) Lógica para Computação - Turma S73 - 2009.2
- 12h18min 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...)
- 12h13min de 4 de agosto de 2009 (dif | hist) Lógica para Computação (→Oferecimentos)
- 17h49min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Sítios)
- 17h49min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Sítios)
- 17h48min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Sítios)
- 17h48min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Livros para a disciplina)
- 16h54min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Informações)
- 16h46min de 3 de agosto de 2009 (dif | hist) Bacharelado em Sistemas de Informação (→Disciplinas do segundo período)
- 16h46min de 3 de agosto de 2009 (dif | hist) Bacharelado em Sistemas de Informação (→Disciplinas do segundo período)
- 16h46min de 3 de agosto de 2009 (dif | hist) Bacharelado em Sistemas de Informação (→Disciplinas do segundo período)
- 16h46min de 3 de agosto de 2009 (dif | hist) Bacharelado em Sistemas de Informação (→Disciplinas do segundo período)
- 16h41min de 3 de agosto de 2009 (dif | hist) Bacharelado em Sistemas de Informação (→No segundo semestre de 2009)
- 12h54min 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
- 12h48min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2
- 12h47min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2
- 12h46min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Professores Responsáveis)
- 12h45min de 3 de agosto de 2009 (dif | hist) Matemática Discreta
- 12h45min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Links para oferecimentos da disciplina em outras universidades)
- 12h44min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Links para oferecimentos da disciplina em outras universidades)
- 12h44min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Referências Complementares)
- 12h44min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Plano de Ensino)
- 12h43min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Plano de Ensino)
- 12h42min de 3 de agosto de 2009 (dif | hist) Matemática Discreta
- 12h36min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Informações)
- 12h36min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2
- 12h35min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2
- 12h35min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2
- 12h24min de 3 de agosto de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Informações)
- 12h23min 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 - ...)
- 12h21min de 3 de agosto de 2009 (dif | hist) Matemática Discreta (→Professores Responsáveis)
- 12h17min 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)
- 12h16min 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)
- 12h16min 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)
- 12h15min 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)
- 12h15min 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)
- 12h13min 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
- 12h13min 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
- 12h12min 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 ...)
- 12h11min de 3 de agosto de 2009 (dif | hist) Iniciação Científica (→Projetos em Andamento)
- 12h11min de 3 de agosto de 2009 (dif | hist) Iniciação Científica (→Projetos em Andamento)
- 11h35min de 3 de agosto de 2009 (dif | hist) Professores (→Em construção)
- 11h35min de 3 de agosto de 2009 (dif | hist) Professores
- 11h33min de 3 de agosto de 2009 (dif | hist) Adolfo Neto (→2009.1)
- 11h32min 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)
- 11h30min de 3 de agosto de 2009 (dif | hist) DAINF (revisão atual)
- 11h30min 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.)
- 11h29min de 3 de agosto de 2009 (dif | hist) SAITEC – Semana Acadêmica Integrada de Tecnologia (revisão atual)
- 11h27min de 3 de agosto de 2009 (dif | hist) SAITEC – Semana Acadêmica Integrada de Tecnologia
- 11h27min 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).
