TADS:Matemática Aplicada

EXA 101 - Matemática

Carga Horária

60 horas -> 72 aulas (72 teóricas)

Objetivos

• Fornecer ao acadêmico subsídio necessário para o Desenvolvimento do raciocínio lógico, capacidade de comparação e análise das situações, através do embasamento para soluções de algoritmos e programação;
• Proporcionar ao aluno bases para desenvolvimento de argumentos com sequência lógica, desenvolvendo sua criticidade;
• Possibilitar ao aluno a ampliação da capacidade de análise de problemas para propor possíveis soluções;
• Fornecer para aluno conhecimento sobre conjuntos, relações.

Ementa

Lógica proposicional. Método dedutivo. Construção de tabelas-verdade. Tautologias, contradições e contingências. Implicação lógica. Álgebra das proposições. Conjuntos. Álgebra de conjuntos. Relações. Funções. Análise Combinatória. Probabilidade.

Bibliografia Básica

1. Gersting, Judith L. , Fundamentos Matemáticos para a Ciência da Computação : Um tratamento moderno de matemática discreta - 5ª edição, LTC Editora, 2004
2. BOULOS, PAULO; Pré-Cáculo/São Paulo: Makron Books, 1999.
3. MENEZES, P.B.; Matemática discreta para Computação e Informática; Porto Alegre, Sagra-Luzzatto. Instituto de Informática da UFRGS, Série Livros Didáticos
4. Bussab, W. O.; Hazzan, S.; Morettin, P. A., Cálculo - Funções de Uma e Várias Variáveis, 2ª. Ed., Saraiva, 2010.
5. SOUZA, João Nunes de. Lógica para ciência da computação: uma introdução concisa. 2. ed. rev. atual. Rio de Janeiro: Elsevier, 2008. 220 p.

Bibliografia Complamentar

1. MENEZES, P. B.; TOSCANI, L. V.; LÓPEZ, J. G. Aprendendo Matemática Discreta com Exercícios. Porto Alegre: Bookman, 2009.
2. ALENCAR FILHO, Edgard. Iniciação à Lógica Matemática. Nobel.
3. Abe,J.M. e outros, INTRODUÇÃO À LÓGICA E APLICAÇÕES, Ed. Plêiade, 1999.
4. SÉRATES, Jonofon. Raciocínio Lógico: lógico matemático, lógico quantitativo, lógico numérico, lógico analítico, lógico crítico. Ed.Jonofon Ltda, BRASÍLIA, 1998. VOL 1.
5. KOJIMA, H., TOGAMI, S., CO., B.; Guia Mangá de Cálculo Diferencial e Integral, Ed. Novatec, 2010. (ISBN: 978-85-7522-208-9).

Diários de Aula

• Semestre 2014-1: Mauro César Scheer <mauro.scheer@ifpr.edu.br>

Semestre 2015-1

Professor

Mauro César Scheer <mauro.scheer@ifpr.edu.br>

Lista de Exercicios 1

Texto-Conjuntos