Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 17h22min de 5 de agosto de 2010 (dif | hist) Lógica para Computação
- 17h20min de 5 de agosto de 2010 (dif | hist) Lógica para Computação (→Porque estudar lógica?)
- 17h19min de 5 de agosto de 2010 (dif | hist) Lógica para Computação (→Porque estudar lógica?)
- 17h19min de 5 de agosto de 2010 (dif | hist) Lógica para Computação (→Porque estudar lógica?)
- 17h18min de 5 de agosto de 2010 (dif | hist) Lógica para Computação (→Porque estudar lógica?)
- 17h16min de 5 de agosto de 2010 (dif | hist) Lógica para Computação
- 17h16min de 5 de agosto de 2010 (dif | hist) Lógica para Computação - Outros materiais (→Material Adicional)
- 17h15min de 5 de agosto de 2010 (dif | hist) Lógica para Computação
- 17h00min de 5 de agosto de 2010 (dif | hist) Lógica para Computação
- 17h00min de 5 de agosto de 2010 (dif | hist) Lógica para Computação - Outros materiais
- 16h59min de 5 de agosto de 2010 (dif | hist) Lógica para Computação
- 16h58min de 5 de agosto de 2010 (dif | hist) N Lógica para Computação - Outros materiais (Nova página: === Alguns slides === * [http://www.slideshare.net/adolfont/introducao-a-logica Introdução à Lógica] * [http://www.slideshare.net/adolfont/logica-proposicional Lógica Proposicion...)
- 16h58min de 5 de agosto de 2010 (dif | hist) Lógica para Computação
- 16h57min de 5 de agosto de 2010 (dif | hist) N Lógica para Computação - Sistemas Computacionais de Auxílio ao Aprendizado de Lógica (Nova página: === Simuladores de lógica digital === * [http://www.tkgate.org/ TkGate] ** Roda em Linux! Testado no Fedora 11 por Adolfo Neto * [http://ksimus.berlios.de/ KSimus] ** Descriçã...)
- 16h57min de 5 de agosto de 2010 (dif | hist) Lógica para Computação (→Sistemas Computacionais de Auxílio ao Aprendizado de Lógica)
- 16h57min de 5 de agosto de 2010 (dif | hist) Lógica para Computação (→Sistemas Computacionais de Auxílio ao Aprendizado de Lógica)
- 16h56min de 5 de agosto de 2010 (dif | hist) Lógica para Computação (→Bibliografia)
- 15h25min de 5 de agosto de 2010 (dif | hist) N Lógica para Computação - Ementa e pré-requisitos (Nova página: == Ementa == * Lógica Proposicional. * Linguagem e Semântica. * Sistemas Dedutivos. * Aspectos Computacionais. * O Princípio da Resolução. * Lógica de Predicados. * Substi...)
- 15h24min de 5 de agosto de 2010 (dif | hist) Lógica para Computação
- 13h59min de 5 de agosto de 2010 (dif | hist) Lógica para Computação - Oferecimentos
- 13h58min de 5 de agosto de 2010 (dif | hist) Lógica para Computação (→Informações Gerais)
- 13h58min de 5 de agosto de 2010 (dif | hist) Lógica para Computação (→Informações Gerais)
- 11h31min de 5 de agosto de 2010 (dif | hist) Lógica para Computação (→Informações Gerais)
- 11h31min de 5 de agosto de 2010 (dif | hist) N Lógica para Computação - Oferecimentos (Nova página: * Lógica para Computação - Turma S71 - 2010.1 * Lógica para Computação - Turma S73 - 2010.1 * Lógica para Computação - Turma S71 - 2009.2 * [[Lógica para Computa...)
- 11h30min de 5 de agosto de 2010 (dif | hist) Lógica para Computação (→Informações Gerais =)
- 11h30min de 5 de agosto de 2010 (dif | hist) N Lógica para Computação - Professores responsáveis (Nova página: * Celso Kaestner ** O prof. Celso ministrou a disciplina no períodos 2007.1, 2007.2, 2008.1 e 2008.2 no curso de Engenharia de Computação. Em virtude de ter assumido o cargo...)
- 11h29min de 5 de agosto de 2010 (dif | hist) Lógica para Computação
- 11h17min de 5 de agosto de 2010 (dif | hist) Lógica para Computação (→Bibliografia)
- 11h15min de 5 de agosto de 2010 (dif | hist) Lógica para Computação
- 11h11min de 5 de agosto de 2010 (dif | hist) Lógica para Computação - Bibliografia Complementar
- 11h11min de 5 de agosto de 2010 (dif | hist) Lógica para Computação
- 11h10min de 5 de agosto de 2010 (dif | hist) N Lógica para Computação - Bibliografia Complementar (Nova página: a)
- 11h10min de 5 de agosto de 2010 (dif | hist) Lógica para Computação
- 21h29min de 4 de agosto de 2010 (dif | hist) N Motivação para estudar computação (Motivação para estudar computação foi movido para Motivos para estudar computação) (revisão atual)
- 21h29min de 4 de agosto de 2010 (dif | hist) m Motivos para estudar computação (Motivação para estudar computação foi movido para Motivos para estudar computação)
- 16h52min de 4 de agosto de 2010 (dif | hist) Motivos para estudar computação (→Abrir sua própria empresa (e ficar rico))
- 16h51min de 4 de agosto de 2010 (dif | hist) Motivos para estudar computação (→Abrir sua própria empresa (e ficar rico))
- 16h50min de 4 de agosto de 2010 (dif | hist) Motivos para estudar computação
- 16h49min de 4 de agosto de 2010 (dif | hist) Motivos para estudar computação
- 16h21min de 4 de agosto de 2010 (dif | hist) Motivos para estudar computação (→Pessoas (relativamente) famosas formadas em Engenharia de Computação)
- 16h20min de 4 de agosto de 2010 (dif | hist) Motivos para estudar computação (→Pessoas (relativamente) famosas formadas em Engenharia de Computação)
- 16h19min de 4 de agosto de 2010 (dif | hist) Motivos para estudar computação (→Trabalhar com animação computadorizada)
- 15h46min de 4 de agosto de 2010 (dif | hist) Motivos para estudar computação
- 15h43min de 4 de agosto de 2010 (dif | hist) N Motivos para estudar computação (Nova página: * [http://online.wsj.com/public/resources/documents/st_BESTJOBS2010_20100105.html Best and Worst Jobs 2010])
- 15h14min de 4 de agosto de 2010 (dif | hist) Lógica para Computação (→Razões para Estudar Lógica)
- 15h14min de 4 de agosto de 2010 (dif | hist) Lógica para Computação (→Razões para Estudar Lógica)
- 15h13min de 4 de agosto de 2010 (dif | hist) Lógica para Computação (→Exemplos de especificação formal)
- 17h47min de 2 de agosto de 2010 (dif | hist) Iniciação Científica (→Informações)
- 19h52min de 1 de agosto de 2010 (dif | hist) Iniciação Científica (→2010.2 a 2011.1)
- 19h51min de 1 de agosto de 2010 (dif | hist) Iniciação Científica (→Lista de espera)
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).