Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 15h27min de 13 de junho de 2013 (dif | hist) Alunos destaque em Lógica para Computação (→2012.1)
- 15h27min de 13 de junho de 2013 (dif | hist) Alunos destaque em Lógica para Computação (→Turma S71 (Engenharia de Computação))
- 15h25min de 13 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 15h24min de 13 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 15h24min de 13 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 15h23min de 13 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 15h21min de 13 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 15h19min de 13 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 15h19min de 13 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 15h18min de 13 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 13h02min de 12 de junho de 2013 (dif | hist) Página principal (→Eventos) (revisão atual)
- 17h03min de 11 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 17h03min de 11 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 17h02min de 11 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 17h01min de 11 de junho de 2013 (dif | hist) Alunos destaque em Lógica para Computação (→2010.2)
- 16h58min de 11 de junho de 2013 (dif | hist) Alunos destaque em Lógica para Computação
- 16h58min de 11 de junho de 2013 (dif | hist) Alunos destaque em Lógica para Computação
- 16h56min de 11 de junho de 2013 (dif | hist) Alunos destaque em Lógica para Computação
- 16h56min de 11 de junho de 2013 (dif | hist) Alunos destaque em Lógica para Computação (→2012.2)
- 16h54min de 11 de junho de 2013 (dif | hist) Alunos destaque em Lógica para Computação
- 16h52min de 11 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 16h52min de 11 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 16h52min de 11 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 16h52min de 11 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 16h51min de 11 de junho de 2013 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 11h53min de 7 de junho de 2013 (dif | hist) Bibliografia Básica da disciplina Lógica para Computação (→Bibliografia Básica de Lógica para Computação) (revisão atual)
- 11h53min de 7 de junho de 2013 (dif | hist) Bibliografia Básica da disciplina Lógica para Computação (→Bibliografia Básica de Lógica para Computação)
- 17h58min de 29 de maio de 2013 (dif | hist) Lógica para Computação - Sistemas Computacionais de Auxílio ao Aprendizado de Lógica (revisão atual)
- 17h58min de 29 de maio de 2013 (dif | hist) Lógica para Computação - Outros materiais
- 17h58min de 29 de maio de 2013 (dif | hist) Lógica para Computação - Bibliografia Complementar (revisão atual)
- 17h58min de 29 de maio de 2013 (dif | hist) Lógica para Computação - Ementa e pré-requisitos (revisão atual)
- 17h57min de 29 de maio de 2013 (dif | hist) Lógica para Computação - Oferecimentos (revisão atual)
- 17h57min de 29 de maio de 2013 (dif | hist) Lógica para Computação - Professores responsáveis (revisão atual)
- 17h57min de 29 de maio de 2013 (dif | hist) Bibliografia Básica da disciplina Lógica para Computação
- 17h57min de 29 de maio de 2013 (dif | hist) Por que estudar Lógica (para Computação)? (revisão atual)
- 17h57min de 29 de maio de 2013 (dif | hist) Competências da disciplina Lógica para Computação (revisão atual)
- 17h56min de 29 de maio de 2013 (dif | hist) Objetivos da disciplina Lógica para Computação (revisão atual)
- 17h56min de 29 de maio de 2013 (dif | hist) Objetivos da disciplina Lógica para Computação
- 17h55min de 29 de maio de 2013 (dif | hist) Lógica para Computação - Professores responsáveis
- 17h55min de 29 de maio de 2013 (dif | hist) Lógica para Computação - Professores responsáveis
- 17h54min de 29 de maio de 2013 (dif | hist) N Bibliografia Básica da disciplina Lógica para Computação (Criou página com '= Bibliografia Básica = * SILVA, Flávio S. C. da; FINGER, Marcelo; MELO, Ana C. V. de. '''Lógica para Computação'''. São Paulo: Thomson Learning, 2006. ** Este livro c...')
- 17h54min de 29 de maio de 2013 (dif | hist) Lógica para Computação (revisão atual)
- 17h54min de 29 de maio de 2013 (dif | hist) Lógica para Computação
- 17h54min de 29 de maio de 2013 (dif | hist) N Por que estudar Lógica (para Computação)? (Criou página com '= Porque estudar lógica? = * [http://userweb.cs.utexas.edu/~rlc/whylog.htm Why Logic is Important for Computer Science and Mathematics] * [http://people.ucalgary.ca/~rzach/...')
- 17h54min de 29 de maio de 2013 (dif | hist) Lógica para Computação
- 17h53min de 29 de maio de 2013 (dif | hist) N Competências da disciplina Lógica para Computação (Criou página com '=== Em construção === Ao final da disciplina o aluno deverá será capaz de: * Sintaxe e Semântica de Lógica Proposicional * Sintaxe de Lógica de Predicados * Algum mé...')
- 17h53min de 29 de maio de 2013 (dif | hist) Lógica para Computação
- 17h52min de 29 de maio de 2013 (dif | hist) N Objetivos da disciplina Lógica para Computação (Criou página com '== Objetivos da disciplina == * Os objetivos da disciplina Lógica para Computação são "desenvolver conceitos de lógica proposicional e de predicados, prova automática ...')
- 17h52min de 29 de maio de 2013 (dif | hist) Lógica para Computação
- 17h51min de 29 de maio de 2013 (dif | hist) Lógica para Computação
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
