PLANO DE ENSINO E APRENDIZAGEM

CURSO: Cincia da Computao Disciplina: Perodo Letivo: Srie: Periodo: Matemtica Aplicada IV 1 sem/2014 4 Srie No definido Semestre de Ingresso: 2 Ano de Ingresso: 2012 C.H. Terica: C.H. Outras: C.H. Total: 40 20 60

Ementa
Conceitos bsicos de teoria de conjuntos. lgebra de conjuntos. Cardinalidade de conjuntos. Relaes. Funes parciais e totais. lgebras e homomorfismo.

Objetivos
Resolver problema sobre teoria de conjuntos, relaes e funes.

Contedo Programtico
Conceitos bsicos de teoria de conjuntos: Introduo a matemtica discreta; Conjuntos; Pertinncia; Conjuntos Finitos e Infinitos; Subconjunto e Igualdade de conjuntos; Conjuntos nas linguagens de programao lgebra de conjuntos: Diagramas de Venn; Unio; Interseco; Complemento; Conjunto das Partes; Produto cartesiano; Unio disjunta; Relao entre lgica e lgebra de conjunto; lgebra de conjuntos nas linguagens de programao Cardinalidade de conjuntos: Cardinalidade finita e infinita; Conjunto contvel e no contvel; Cardinalidade de conjunto no contvel Relaes: Relao; Endorrelao como grafo; Relao como matriz; Tipos de relao; Banco de dados relacional Rede de Petri Funes parciais e totais: Funo parcial, definio e introduo; Composio de funes parciais; Introduo ao autmato finito; Funo total, definio e introduo;

Composio de funes; Construes matemticas como funes; Funo de Hashing Funes nas linguagens de programao lgebras e homomorfismo: Operaes binrias; Propriedades das operaes binrias; Grupides, Semigrupos, Monides e Grupos; Homomorfismos; Grafos Categorias

Procedimentos Metodolgicos Indicados

Aula expositiva, exerccio em classe.

Sistema de Avaliao
1 Avaliao - PESO 4,0 Atividades Avaliativas a Critrio do Professor Prticas: 0,00 Tericas: 10,00 Total: 10 2 Avaliao - PESO 6,0 Prova Escrita Oficial Prticas: 0,00 Tericas: 10,00 Total: 10

Bibliografia Bsica Padro

1) MENEZES, Paulo F. B.. MATEMTICA DISCRETA PARA COMPUTAO E INFORMTICA.. 4 ed. So Paulo: Bookman, 2013.

Bibliografia Bsica Unidade:

Faculdade Anhanguera de Valinhos (FAV)

1) LIPSCHUTZ, Seymour; LIPSON, Marc Larcs. Matemtica Discreta. 2 ed. Porto Alegre: Bookman, 2004. 2) GERSTING, Judith L.. Fundamentos Matemticos para a Cincia da Computao. 1 ed. Rio de Janeiro: LTC - Livros Tcnicos e Cientficos, 2008.

Bibliografia Complementar: Faculdade Anhanguera de Valinhos (FAV)

1) GOLDSTEIN,, Larry J.; SCHNEIDER, David I.; LAY, David C.. Matemtica Aplicada : economia, administrao e contabilidade. 10 ed. Porto Alegre: Bookman, 2006. 2) LANDAU, Edmund. Teoria Elementar dos Nmeros. 1 ed. Rio de Janeiro: Cincia Moderna, 2002. 3) HARIKI, Seiji.; ABDOUNUR, Oscar Joo. Matemtica aplicada: administrao, economia, contabilidade. 2 ed. So Paulo: Saraiva, 2006. 4) SCHEINERMAN, Edward R.. Matemtica discreta : uma introduo. 1 ed. So Paulo: Pioneira - Thomson Learning, 2003. 5) IEZZI, Gelson; DOLCE, Osvaldo; DEGENSZAJN, David et al. Matemtica. 4 ed. So Paulo: Atual, 2007, v.1.

Peridico: Faculdade Anhanguera de Valinhos (FAV)

1) JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY. Porto Alegre: Sociedade Brasileira de Computao, 1994-2009 Trimestral 2) REVISTA DE CINCIAS EXATAS E TECNOLOGIA. Valinhos: Anhanguera Publicaes, 2006-2008 - Anual

Semana n.
1 2 3 4 5

Cronograma de Aulas Tema

Apresentao da Disciplina e Metodologia de Trabalho. Conceitos Bsicos de Teoria de Conjuntos. Conceitos Bsicos de Teoria de Conjuntos. lgebra de Conjuntos. lgebra de Conjuntos. lgebra de Conjuntos.

6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

Cardinalidade de Conjuntos. Cardinalidade de Conjuntos. Exerccios de Reviso. Atividades de Avaliao. Relaes. Relaes. Funes Parciais e Totais. Funes Parciais e Totais. Funes Parciais e Totais. lgebras e Homomorfismo. lgebras e Homomorfismo. lgebras e Homomorfismo. Prova Escrita Oficial. Exerccios de Reviso. Prova Substitutiva. Diretor Executivo __/__/____ _____________________ Assinatura

Coordenador do Curso _____________________ Assinatura