Ir para a página inicial
UNIRIO
Início » Sistemas de Informação - Bacharelado - Turno Integral (V/N) » Currículo » Introdução à Lógica Computacional
Sistemas de Informação - Bacharelado - Turno Integral (V/N)
210
Informações Gerais
Disciplina
Introdução à Lógica Computacional ( TIN0223 )
Unidade
Departamento de Informática Aplicada
Tipo
Obrigatória
Período Ideal no Curso
2
Nota Mínima para Aprovação
5.0
Carga Horária
60
Nº de Créditos
4
Docentes
Nenhum professor encontrado!
Objetivos
Não consta
Ementa

Introdução à linguagem da lógica proposicional e sua relação com a algebra Booleana. Sistemas formais de dedução completos e corretos. Introdução à lógica de primeira ordem. Regras específicas de dedução para lógica. Os princípios da indução e aplicações. Definições e algoritmos recursivos. Princípios e técnicas de contagem combinatórias fundamentais.

Programa
Não consta
V.2.0.201406091654 - Copyright © 2013 ASTEN. Conheça o Blog de produtos e serviços da AVMB !