PLANO DE ENSINO

Curso: Engenharia de Computao Professor: Wanderson Ribeiro Miranda Componente Curricular: Matemtica Discreta Terica No-Presencial 30 Prtica 0 Turno: Noturno

2 Semestre 2011

Titulao: Especialista Cdigo: 12234 Atividade 0 Perodo: 3 Total 70

Carga Horria

Presencial 40

EMENTA Lgica Proposicional, Lgica de Predicados, Demonstraes, Recorrncias, Anlise de Algoritmos, Conjuntos e Combinatria, Relaes e Funes e Introduo aos Grafos. PERFIL FINAL Habilidades: Compreender e validar frmulas e notaes da lgica proposicional, interpretando, reconhecendo e simplificando seus resultados; Compreender os princpios da teoria dos conjuntos e funes, interpretando, reconhecendo e simplificando seus resultados; Aplicar conhecimentos com objetivo de analisar algoritmos computacionais, utilizando conceitos obtidos atravs das provas, demonstraes e estudo das recorrncias aplicadas aos sistemas computacionais. Competncias: Analisar proposies; Elaborar tabela-verdade de uma expresso; Aplicar operaes sobre variveis lgicas; Decompor frmulas; Reduzir uma expresso ao absurdo; Estabelecer relaes entre expresses distintas; Analisar sentenas; Elaborar demonstraes e provas lgicas; Criar algoritmos recorrentes. COMPONENTE CURRICULAR E SEUS OBJETIVOS Objetivos gerais: Desenvolver a capacidade de abstrao, propondo solues computacionais inteligentes e econmicas para problemas existentes na sociedade. Objetivos especficos: Formalizar o pensamento lgico, atravs do entendimento de notaes matemticas e lgicas; Utilizar notaes matemticas para criar algoritmos computacionais; Compreender e desenvolver demonstraes formais; Solucionar problemas de natureza computacional, atravs do emprego de conceitos, tcnicas e recursos matemticos de carter discreto.
Pgina 1 de 5

DESENVOLVIMENTO METODOLGICO A disciplina ser ministrada com aulas tericas sobre os tpicos do contedo programtico, seguidas de discusso em classe do assunto abordado, alm da resoluo de exerccios, quando o tpico estudado assim o permitir. A lgica clssica, proposicional e de predicados, por ter uma grande aplicao em computao, ser analisada. Inicialmente ser efetuado um estudo sobre lgica proposicional, analisando as proposies, a sintaxe e a semntica das frmulas, os mtodos para a determinao de validade e um sistema de deduo. Devido lgica proposicional no ser suficientemente forte para aplicaes envolvendo relaes entre objetos de um domnio, sero ento analisadas as sentenas abertas e como elas podem ser quantificadas, atravs dos quantificadores universal e existencial. Posteriormente, a lgica de predicados passar a ser estudada como atividade nopresencial. Sero elaboradores roteiros com contedo programtico e atividades onde haver acompanhamento por parte do professor. A sintaxe, semntica, validade das frmulas e um sistema de deduo sero discutidos. Com a anlise de algoritmos, evidencia-se o uso das funes e combinatria previamente analisados. Cada tpico ser acompanhado por uma lista de exerccios, que tem por objetivo promover a fixao do contedo discutido em sala de aula. As aulas sero ministradas utilizando-se como recursos: quadro, pincel e recursos multimdia, na medida em que forem necessrios para a compreenso dos contedos ministrados. Procurar-se- estabelecer uma ligao entre o contedo da disciplina e suas aplicaes em outras disciplinas do curso, realizando dessa forma, um trabalho integrado e contextualizado. Este componente curricular ofertado na modalidade semi-presencial, com carga horria total de 70 horas/aula, sendo 40 horas presenciais e 30 horas na modalidade no-presencial. Ser disponibilizado para o aluno um roteiro contendo teoria e atividades dos tpicos destinados s atividades no-presenciais. Os alunos desenvolvero as atividades e sero acompanhados pelo professor, que dar todo suporte ao aluno no momento que se fizer necessrio. CONTEDO PROGRAMTICO 1. Lgica Formal 1.1. Proposies 1.2. Valor Lgico 1.3. Princpios Fundamentais da Lgica 1.4. Tabela-Verdade 1.5. Operaes Lgicas sobre Proposies 1.6. Uso de Parnteses 1.7. Tautologia 1.8. Contradio 1.9. Frmulas 1.10. rvore de Decomposio de Frmulas 1.11. rvore de Refutao ou Reduo ao Absurdo 1.12. Implicao Lgica 1.13. Equivalncia Lgica 1.14. Equivalncias Notveis 1.15. Sistemas de Deduo 1.16. Sentenas Abertas 1.17. Quantificadores Lgica de Predicados (No Presencial) Demonstraes Recorrncias Anlise de Algoritmos Conjuntos e Combinatria (No Presencial) Relaes e Funes Introduo aos Grafos
Pgina 2 de 5

2. 3. 4. 5. 6. 7. 8.

AVALIAO A avaliao caracteriza-se pela utilizao de diversos recursos (frequncia s aulas, participao, pontualidade na entrega das atividades, emprego correto dos conceitos estudados, coerncia nos resultados) durante o processo de ensino-aprendizagem em que o aluno demonstra os conhecimentos adquiridos, por meio de atividades propostas pelos professores. As atividades de avaliao acontecero ao longo do semestre letivo, de forma contnua, gradual e continuada, no intuito de permitir que os alunos e docente estejam atentos evoluo da aprendizagem, e definam aes para que os objetivos do curso sejam atingidos. Os recursos de avaliao sero definidos pelo professor, envolvendo exerccios de aprendizagem, provas escritas, atividades de laboratrio, relatrios tcnicos, atividades de estudos individuais e em grupos, pesquisas bibliogrficas, visitas tcnicas dentre outros. Nesse sentido o Sistema de Avaliao ser aplicado conforme distribuio de pontos demonstrada na tabela abaixo com respectivas datas:

Etapa

Avaliao Continuada Trabalho 01 (at 10/10) Avaliao 01 (de 29/08 a 02/09) Avaliao 02 (de 10/10 a 21/10) Participao (at 10/10) Trabalho 02 (at 02/12) Avaliao 03 (de 05/12 a 09/12)

Crditos 8,0 15,0 25,0 2,0 16,0 25,0 5,0 2,0 2,0 100,0

01 (50 crditos)

02 (50 crditos)

Avaliao Interdisciplinar (at 02/12) Participao (at 02/12) Seminrio de Pesquisa (03/12) Total Geral

O aluno ser aprovado se obtiver 70 pontos ou mais na Avaliao Continuada e ser reprovado, se obtiver menos que 40 pontos, ou estar em Avaliao Suplementar, se obtiver entre 40 e 69 pontos. 0 - 39 Reprovado 40 - 69 Avaliao Suplementar 70 - 100 Aprovado

Aps realizar a Avaliao Suplementar, ser aprovado o aluno que obtiver nota maior ou igual a 60 (sessenta), aplicando o seguinte clculo na nota da avaliao continuada:

(Avaliao Continuada 3) + (Avaliao Suplementa r 2) 60 = APROVADO 5

Vista de Avaliaes O professor dever conceder vista de todas as avaliaes realizadas pelos alunos, em at 15 (quinze) dias aps sua realizao, programando a data da vista de avaliao com 03 dias de antecedncia, no mnimo; Todo aluno que realizar a vista de prova dever dar cincia, por escrito, atestando a realizao da mesma, em formulrio prprio;
Pgina 3 de 5

O aluno que no comparecer na data marcada para realizao da vista perder o direito de realiz-la; O aluno ter um prazo de 02 (dois) dias teis aps a data da realizao da vista para requerer, na DSA, por meio de requerimento e fundamentao terica, reviso de nota junto ao Colegiado do Curso, caso no concorde com a mesma; As revises das Avaliaes Finais somente sero concedidas mediante solicitao do aluno, por meio de requerimento e fundamentao terica, protocolado junto DSA, dentro do prazo estabelecido no calendrio acadmico. Recuperao de Aprendizagem Como instrumento de recuperao de aprendizagem, o aluno realizar estudo orientado, com desenvolvimento de Atividades de Recuperao propostas pelo professor, com auxlio de monitores, os auxiliares de aprendizagem. O aluno ter direito realizao de 03 provas substitutivas de at 03 disciplinas, que ocorrero aps a 1 e 2 Etapas de Provas, desde que tenha realizado as provas e participado do projeto PIME-AREA, podendo atingir at 70% do valor. Destaca-se que: 1. O contedo da prova substitutiva cumulativo isto , corresponde aos contedos estudados na 1 e 2 prova. 2. O aluno poder participar do processo de recuperao e decidir pela no realizao da prova substitutiva, mas uma vez realizada, prevalecer a nota obtida na mesma. 3. O aluno que fraudar o sistema de avaliaes, quando da realizao de uma prova, perder o direito de realizar a prova substitutiva da mesma. 4. A nota mxima que o aluno poder obter na prova substitutiva de 70% do valor da avaliao substituda. Calendrio de Recuperao de Aprendizagem

Etapa
Avaliao 2 chamada PIME / AREA

Data
1 momento: 10 de setembro 2 momento: 29 de outubro 3 momento: 14 de dezembro 07 a 11 de novembro

BIBLIOGRAFIA BSICA GERSTING, J. L. Fundamentos matemticos para cincia da computao /. 4. ed. - Rio de Janeiro: LTC, 2001. SOUZA, J. N. Lgica para cincia da computao: fundamentos de linguagem, semntica e sistemas de deduo /. Rio de Janeiro: Campus, 2002. ALENCAR FILHO, E. Iniciao a Lgica Matemtica. So Paulo: Nobel, 2000. BIBLIOGRAFIA COMPLEMENTAR LIPSCHUTZ, Seymour, LIPSON, Marc; Teoria e Problemas de Matemtica Discreta. 2 Edio, Porto Alegre: Bookman, 2004. SCHEINERMAN, Edward R., Matemtica Discreta: uma Introduo. Pioneira Thomson Learning, 2003. ALENCAR FILHO, Edgard de, Iniciao a Lgica Matemtica. 16 Edio, Nobel, 2000. CURY, Mrcia Xavier, Introduo Lgica. So Paulo: rica, 1996. SANTOS, Jos Plnio de Oliveira, Introduo Anlise Combinatria. Campinas: Editora da UNICAMP, 1995. LIPSCHUTZ, Seymour, Teoria dos Conjuntos. McGraw-Hill, 1972. SMULLYAN, R. First-Order logic. New York: Dover Publications, 1995.
Pgina 4 de 5

Assinatura do docente

Assinatura da Direo do Curso:

Assinatura da Assistente Pedaggica

Data de aprovao do Colegiado de Curso

Pgina 5 de 5