Universidade Federal do Espírito Santo

Portal do Ementário

Início > Engenharia da Computação - São Mateus (33 ) > Tópicos Especiais em Lógica para Computação

Informações Gerais

Disciplina:
Tópicos Especiais em Lógica para Computação ( DCE08448 )

Unidade:
Departamento de Computação e Eletrônica

Tipo:
Optativa

Período Ideal no Curso:
Sem período ideal

Nota Mínima para Aprovação:
5.00

Carga Horária:
60

Número de Créditos:
4

Objetivos

Ao término da disciplina o aluno deverá ser capaz de identificar e resolver funções (1º e 2ºgrau , logarítmica, exponenciais e trigonométricas), equações algébricas, polinômios, logaritmos, exponencial.

Ementa

Introdução a temas avançados relacionados à lógica temporal, lógica modal, formulações lógicas, etc.

Bibliografia

IEZZI, Gelson. Fundamentos de Matemática Elementar, vol 1 (Conjuntos e Funções), Atual Editora. IEZZI, Gelson. Fundamentos de Matemática Elementar, vol 3 (Trigonometria), Atual Editora. IEZZI, Gelson. Fundamentos de Matemática Elementar, (Polinômios), Atual Editora D.C.de Morais Filho, Umconvite à Matemática- 2a. edição, Campina Grande: EDUFCG, 2007.

Bibliografia Complementar

E. Mendelson, ÁlgebraBooleana e Circuitos de Chaveamento, São Paulo: MacGraw Hill. E.de Alencar Filho, E. Nobel, Iniciação à Lógica Matemática, 1984.

Carregando...