Lógica Matemática para Computação

Ementa

Lógica Proposicional, Lógica de Predicados, Aplicações Práticas para Computação, Tópicos Avançados e Lógicas não Clássicas.

Objetivos

A disciplina Lógica Matemática para Computação tem por objetivo estimular e desenvolver a procura de uma base teórico-prática em fundamentos de lógica matemáticos de maneira a possibilitar sua aplicação nas diversas áreas da Ciência da Computação.

Para isto, a disciplina introduz os fundamentos de lógica proposicional, lógica de predicados, aplicações práticas para computação, tópicos avançados e lógicas não clássicas, os quais serão utilizados na solução de problemas matemáticos que aparecem comumente na ciência da computação.

Promover a utilização dos conteúdos estudados durante o semestre através de implementação computacional.

Recursos

Os recursos utilizados nas aulas incluem computadores, slides, ferramentas digitais, baralhos, jogos para a realização de atividades analógicas.

A carga horária diária da disciplina é de 120 minutos.

Metodologias de Aprendizagem

A metodologia de ensino adotada baseia-se em aulas expositivas dialogadas, debates, estudos de caso, dinâmicas e apresentações de trabalhos realizados pelos alunos, valorizando a dimensão crítica, participativa e construtiva, com especial atenção à capacidade de expressão oral e escrita.

Como suporte às atividades, será utilizado um Ambiente Virtual de Aprendizagem (Google Classroom), além de ferramentas como Slack, e-mail, Zoom, Google Meet, projetor, computador, materiais em PDF e videoaulas.

Metodologia de Avaliação

O processo avaliativo é composto por duas avaliações: Avaliação 1 (AV1) e Avaliação 2 (AV2), cada uma totalizando 10 pontos.

Média Final = (AV1 + AV2) / 2

Legenda:
AV1 = média parcial da etapa 1
AV2 = média parcial da etapa 2
Média Final = média final na disciplina

Observação: Trabalhos entregues fora do prazo não serão aceitos.

Informações Institucionais

CESAR School | Cais do Apolo, 77, Bairro do Recife - Recife/PE CEP: 50030-390 - Fone: +55 (81) 3419.6700

BACHARELADO / TECNOLÓGICO EM NOME DO CURSO
PLANO DE ENSINO - NOME DISCIPLINA

Bibliografia Básica

• Alencar Filho, Edgard de. Iniciação à lógica matemática. São Paulo: Editora Nobel, 2002.
• Nicolleti, Maria do Carmo. A cartilha da lógica. Ed. EdUFCar, 2010.
• Souza, João Nunes de. Lógica para Ciências da Computação. São Paulo: Editora Campus, 2014.

Bibliografia Complementar

• Silva, Flávio Soares Corrêa da. Lógica para computação. Ed. THORSON, 2006.
• Barbieri Filho, Plínio. Fundamentos de Informática: Lógica para Computação. Ed. LTC, 2013.
• Don, Eugene. Mathematica. Schaum’s Outlines, 2ª ed., 2009.
• Tocci, Ronald J.; Widmer, Neal S.; Moss, Gregory L. Sistemas Digitais: Princípios e Aplicações. 11ª ed. Pearson, 2011.
• Souza, João Nunes de. Lógica para Ciências da Computação e áreas afins. Editora Campus, 2014.

Conteúdo Programático

O cronograma é atualizado continuamente e pode sofrer alterações, sendo todas previamente comunicadas em aula.