Lógica para Computação

De Wiki DAINF
(Diferença entre revisões)
(Professores responsáveis)
 
(214 edições intermediárias de um usuário não apresentadas)
Linha 1: Linha 1:
== Professores responsáveis ==
+
= Informações Gerais =
  
* [[Celso Kaestner]]
 
* [[Adolfo Neto]]
 
  
== Ementa ==
+
* [[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 Proposicional. Linguagem e Semântica. Sistemas Dedutivos. Aspectos Computacionais. O Princípio da Resolução. Lógica de Predicados. Substituição e Resolução. Introdução ao PROLOG. Aplicações em Computação: Introdução à Especificação e Verificação de Programas.
 
  
== Referências ==
 
  
[http://www.dainf.ct.utfpr.edu.br/~kaestner/Logica.htm LÓGICA PARA COMPUTAÇÃO (IF61B), Prof. Celso Kaestner]
+
* [[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 17h54min de 29 de maio de 2013

Tabela de conteúdo

Informações Gerais






Bibliografia Complementar

Outros materiais

Sistemas Computacionais de Auxílio ao Aprendizado de Lógica

Ferramentas pessoais