Lógica para Computação
De Wiki DAINF
(Diferença entre revisões)
(Nova página: == Referências == [http://www.dainf.ct.utfpr.edu.br/~kaestner/Logica.htm LÓGICA PARA COMPUTAÇÃO (IF61B), Prof. Celso Kaestner]) |
|||
(216 edições intermediárias de um usuário não apresentadas) | |||
Linha 1: | Linha 1: | ||
+ | = Informações Gerais = | ||
− | + | * [[Objetivos da disciplina Lógica para Computação]] | |
+ | * [[Competências da disciplina Lógica para Computação]] | ||
+ | * [[Por que estudar Lógica (para Computação)?]] | ||
+ | * [[Bibliografia Básica da disciplina Lógica para Computação]] | ||
− | [ | + | |
+ | |||
+ | |||
+ | * [[Lógica para Computação - Professores responsáveis | Professores responsáveis]] | ||
+ | * [[Lógica para Computação - Oferecimentos | Oferecimentos, dados de aprovação e alunos-destaque]] | ||
+ | * [[Lógica para Computação - Ementa e pré-requisitos | Ementa e pré-requisitos]] | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | = [[Lógica para Computação - Bibliografia Complementar | Bibliografia Complementar]] = | ||
+ | |||
+ | = [[Lógica para Computação - Outros materiais | Outros materiais]] = | ||
+ | |||
+ | = [[Lógica para Computação - Sistemas Computacionais de Auxílio ao Aprendizado de Lógica | Sistemas Computacionais de Auxílio ao Aprendizado de Lógica]] = |
Edição atual tal como 16h54min de 29 de maio de 2013
Tabela de conteúdo |
Informações Gerais
- Objetivos da disciplina Lógica para Computação
- Competências da disciplina Lógica para Computação
- Por que estudar Lógica (para Computação)?
- Bibliografia Básica da disciplina Lógica para Computação
- Professores responsáveis
- Oferecimentos, dados de aprovação e alunos-destaque
- Ementa e pré-requisitos