Linguagens de programacao

Embed Size (px)

Citation preview

UNIVERSIDADE FEDERAL DO PIAU UFPI CAMPUS SENADOR HELVDIO NUNES DE BARROS PICOS CURSO DE BACHARELADO EM SISTEMAS DE INFORMAO

PLANO DE ENSINO1. Identificao Disciplina: Linguagens de Programao Carga Horria: 75 horas Crditos: 3.2.0 Bloco: V Turma: T01 Perodo Letivo: 2011.2 Professora: Msc. Juliana Oliveira de Carvalho e-mail: [email protected] 2. Ementa Conceitos de linguagem de programao. Paradigmas de linguagens de programao: imperativas, funcionais, lgicas e orientada a objetos. Noes de semntica formal. Teoria dos tipos: sistemas de tipo, polimorfismo. Verificao e inferncia de tipos. Semntica formal de tipos. 3. Objetivos Proporcionar ao aluno conhecimento sobre as decises de projeto dos diversos paradigmas de programao. Para isso o acadmico dever conhecer os paradigmas de programao bem como a diferena proporcionada por caad um deles, atravs da introduo de uma linguagem pertencente ao paradigma, os paradigmas estudados nesta disciplina sero: imperativo(linguagem C), lgico(Prolog), funcional(Haskell), orientado a objetos(JAVA). 4. Contedo Programtico Contedo Apresentao do Plano de Ensino Introduo aos Paradigmas de Programao, conceitos e motivao, e o porque de diferentes paradigmas. Paradigma Imperativo e Linguagem C Paradigma Lgico e Linguagem Prolog Paradigma Funcional e Linguagem Haskell Paradigma Orientado a Objetos e Linguagem Java 5. Procedimento de Ensino Os conceitos relativos aos paradigmas sero apresentados com aulas expositivas e as linguagens relativas a cada paradigma sero com aulas prticas, no laboratrio de informtica. Carga Horria 1 17 20 20 17

UNIVERSIDADE FEDERAL DO PIAU UFPI CAMPUS SENADOR HELVDIO NUNES DE BARROS PICOS CURSO DE BACHARELADO EM SISTEMAS DE INFORMAO

6. Sistemtica de Avaliao A sistemtica de avaliao est de acordo com a resoluo 043/95 do Conselho de pesquisa, ensino e extenso da UFPI, onde ser considerado aprovado na disciplina o acadmico que obtiver mdia aritmtica das avaliaes igual ou superior a 7,0 e frequncia no mnimo de 75% da carga horria total da disciplina, caso contrrio o acadmico ter que ser submetido a um exame final caso a mdia esteja entre 4,0 e 6,9 e ser considerado reprovado reprovado se mdia inferior a 4,0 ou no tiver frequncia mnima. Caso o acadmico tenha que ser submetido ao exame final, sua mdia final ser a mdia entre as avaliaes parciais e a avaliao de exame final tendo que ter no mnimo mdia 6,0. As avaliaes esto distribudas da seguinte forma:

a primeira avaliao ser a mdia ponderada entre a prova escrita do paradigma imperativo e a lista de exerccios, onde a prova equivale a 70% da nota e a lista de exerccio 30%. A prova escrita e a lista de exerccio seo avaliadas com nota de 0,0 a 10,0; a segunda avaliao ser a mdia ponderada entre a prova escrita do paradigma lgico e a lista de exerccios, onde a prova equivale a 70% da nota e a lista de exerccio 30%. A prova escrita e a lista de exerccio seo avaliadas com nota de 0,0 a 10,0; a terceira avaliao ser a mdia ponderada entre a prova escrita do paradigma funcional e a lista de exerccios, onde a prova equivale a 70% da nota e a lista de exerccio 30%. A prova escrita e a lista de exerccio seo avaliadas com nota de 0,0 a 10,0; e a quarta avaliao ser a mdia ponderada entre a prova escrita do paradigma orientado a objetos e a lista de exerccios, onde a prova equivale a 70% da nota e a lista de exerccio 30%. A prova escrita e a lista de exerccio seo avaliadas com nota de 0,0 a 10,0;

Ao final uma das avaliaes ser descartada, a avaliao com menor nota. As listas de exerccio referentes aos paradigmas estudados devero ser implementadas e entregue no dia da prova escrita correspondente aquele paradigma, alm do cdigo deve ser entregue tambm um relatrio (conforme modelo disponvel em arquivo e impresso). Tambm dever ser feita uma entrevista individual para cada lista de exerccio, com data e hora marcada. A nota de cada lista de exerccio ser composta pelo cdigo-fonte, relatrio e entrevista.

UNIVERSIDADE FEDERAL DO PIAU UFPI CAMPUS SENADOR HELVDIO NUNES DE BARROS PICOS CURSO DE BACHARELADO EM SISTEMAS DE INFORMAO

7. Bibliografia SEBESTA, Robert W., Conceitos de Linguagens de Programao. 5 Edio. Bookman: 2003. SCHILDT, Hebert, C Completo e Total. Makron Books:1990. HORSTMANN, Cay S., CORNELL, Gary; Core Java 2 volume I Fundamentos. The SUN Microsystems press Srie Java, Makron Books: 2001. S, Claudio Cesar, SILVA, Mrcio F.; Haskell uma abordagem prtica. Novatec editora: 2006. NICOLETTI, Maria do Carmo, A cartilha prolog. Srie Apontamentos, EDUFSCAR:2003.

Juliana Oliveira de Carvalho Professora

Algeir dos Prazeres Sampaio Chefe Departamento do Curso de Sistemas de Informao