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
