Projeto Pedagogico Bach Matematica 2012

Ministrio da Educao
Universidade Federal do ABC

PROJETO PEDAGGICO DO CURSO
BACHARELADO EM MATEMTICA
2012

Santo Andr, 25 de abril de 2012

Verso atualizada em 08/11/2013, contemplando correes descritas
em CI n 300/2013/CMCC/DA e apresentadas como informe na
reunio da Comisso de Graduao (07/11/2013, Ata n 10/2013).
PROJETO PEDAGGICO - BACHARELADO EM MATEMTICA

2


3

Reitor da UFABC
Prof. Dr. Hlio Waldman
Pr Reitor de Graduao
Prof. Dr. Derval dos Santos Rosa
Diretor do Centro CMCC
Prof. Dr. Valdecir Marvulle

Coordenao do Curso de Bacharelado em Matemtica
Coordenador: Prof. Dr. Daniel Miranda
Vice-Coordenador: Prof. Dr. Cristian Coletti

Coordenao de Curso
Prof. Dr. Edson Iwaki
Prof. Dr. Mariana Rodrigues
Prof. Dr. Rafael Grisi
Prof. Dr. Sinu Lodovici
Elaine Konno Rocha

Equipe de Trabalho
Prof. Dr. Cristian Coletti
Prof. Dr. Daniel Miranda
Prof. Dr. Edson Iwaki
Prof. Dr. Mariana Rodrigues
Prof. Dr. Mauricio Firmino
Prof. Dr. Rafael Grisi
Prof. Dr. Sinu Lodovici


4

CONTEDO
CONTEDO ...................................................................................................................................................... 4
1. DADOS DA INSTITUIO .............................................................................................................................. 6
2. DADOS DO CURSO ....................................................................................................................................... 7
3. APRESENTAO ........................................................................................................................................... 8
4. PERFIL DO CURSO ........................................................................................................................................ 9
JUSTIFICATIVA DE OFERTA DO CURSO ............................................................................................................ 9
OBJETIVOS DO CURSO ................................................................................................................................... 10
OBJETIVO GERAL ........................................................................................................................................ 10
OBJETIVOS ESPECFICOS ............................................................................................................................ 10
5. REQUISITO DE ACESSO .............................................................................................................................. 11
FORMA DE ACESSO AO CURSO ...................................................................................................................... 11
REGIME DE MATRCULA ................................................................................................................................ 11
6. PERFIL DO EGRESSO ................................................................................................................................... 11
REA DE ATUAO ........................................................................................................................................ 12
COMPETNCIAS ............................................................................................................................................. 12
7. ORGANIZAO CURRICULAR ..................................................................................................................... 14
FUNDAMENTAO LEGAL ............................................................................................................................. 14
FUNDAMENTAO PEDAGGICA ................................................................................................................. 15
8. REGIME DE ENSINO ................................................................................................................................... 16
ESTRATGIAS PEDAGGICAS ......................................................................................................................... 16
DISPOSIES GERAIS ..................................................................................................................................... 16
DISCIPLINAS OBRIGATRIAS DO BC&T ......................................................................................................... 17
TABELA DE RECOMENDAES ENTRE DISCIPLINAS ..................................................................................... 23
9. MATRIZ SUGERIDA - BACHARELADO EM MATEMTICA ........................................................................... 24
10. AES ACADMICAS COMPLEMENTARES FORMAO ..................................................................... 26
ATIVIDADES COMPLEMENTARES ................................................................................................................... 26
11. ESTGIO CURRICULAR ........................................................................................................................... 27
12. TRABALHO DE CONCLUSO DE CURSO ................................................................................................. 27
13. SISTEMAS DE AVALIAO DO PROCESSO DE ENSINO E APRENDIZAGEM ............................................. 28

5

14. INFRAESTRUTURA .................................................................................................................................. 30
LABORATRIOS DIDTICOS ........................................................................................................................... 30
LABORATRIOS DIDTICOS SECOS ............................................................................................................ 30
LABORATRIOS DIDTICOS MIDOS ........................................................................................................ 31
LABORATRIOS DE INFORMTICA ................................................................................................................ 31
BIBLIOTECA .................................................................................................................................................... 31
ACERVO ...................................................................................................................................................... 32
PERIDICOS. .............................................................................................................................................. 33
15. DOCENTES .............................................................................................................................................. 34
NCLEO DOCENTE ESTRUTURANTE .............................................................................................................. 35
16. SISTEMA DE AVALIAO DO PROJETO DO CURSO ................................................................................ 35
APNDICE A- ROL DE DISCIPLINAS ..................................................................................................................... 38
DISCIPLINAS OBRIGATRIAS DO BACHARELADO EM MATEMTICA ............................................................ 38
DISCIPLINAS DE OPO LIMITADA DO BACHARELADO EM MATEMTICA ................................................... 57
APNDICE B EXEMPLO DE UM PERFIL DE FORMAO ................................................................................... 95
APNDICE C- NORMAS RELATIVAS AO TRABALHO DE CONCLUSO DE CURSO................................................ 97
NORMAS PARA ELABORAO DO TCC .......................................................................................................... 98


6

1. DADOS DA INSTITUIO

Nome da Unidade: Fundao Universidade Federal do ABC
CNPJ: 07.722.779/0001-06
Lei de Criao: Lei 11.145 de 26 de julho de 2005
Publicada no DOU de 27 de julho de 2005


7

2. DADOS DO CURSO
Curso: Bacharelado em Matemtica
Diplomao: Bacharel em Matemtica
Durao Recomendada do Curso: quatro anos
Carga horria total do curso: 2688 horas
Turno de oferta: Matutino e Noturno
Nmero de vagas por turno: 40
Campus de oferta: Santo Andr
Estgio: no h estgio obrigatrio
Criao: Previsto na lei de criao da UFABC


8

3. APRESENTAO
No ano de 2004 o Ministrio da Educao encaminhou ao Congresso Nacional o Projeto de Lei n 3962/2004
que previa a criao da Universidade Federal do ABC. Essa Lei foi sancionada pelo Presidente da Repblica e
publicada no Dirio Oficial da Unio de 27 de julho de 2005, com o n 11.145 e datada de 26 de julho de
2005.
Seu projeto de criao ressalta a importncia de uma formao integral, que inclui a viso histrica da nossa
civilizao e privilegia a capacidade de insero social no sentido amplo. Leva em conta o dinamismo da ci-
ncia propondo uma matriz interdisciplinar para formar os novos profissionais com um conhecimento mais
abrangente e capaz de trafegar com desenvoltura pelas vrias reas do conhecimento cientfico e tecnolgi-
co.
De acordo com o Plano Nacional de Educao PNE, o programa de ampliao do ensino superior tem como
meta o atendimento de pelo menos 30% de jovens da faixa etria entre 18 a 24 anos at o final da dcada
de 2010. Durante os ltimos vinte anos em que muitos processos e eventos polticos, sociais, econmicos e
culturais marcaram a histria da educao no Brasil, a comunidade da regio do ABC, amplamente represen-
tada por seus vrios segmentos, esteve atuante na luta pela criao de uma Universidade pblica e gratuita
nesta regio e a Universidade Federal do ABC - UFABC o projeto concretizado aps todo esse esforo.
No contexto da macropoltica educacional, a regio do ABC apresenta grande demanda por ensino superior
pblico e gratuito. A demanda potencial para suprir o atendimento do crescimento da populao de jovens
j crtica considerando que a regio possui mais de 2,6 milhes de habitantes e 103.000 matrculas no En-
sino Superior, distribudas em pouco mais de 30 Instituies de Ensino Superior. Destas, 1% est na rede
Federal, 1% na rede Estadual, 20% na rede Municipal, 27% na rede comunitria, confessional e filantrpica e
51% na rede particular.
Com a exceo de uma pequena porcentagem de instituies que desenvolvem atividades de pesquisa, a
grande maioria se dedica apenas ao ensino. A UFABC visa, precisamente, preencher a lacuna de oferta de
educao superior pblica na regio, potencializando o desenvolvimento regional por meio da oferta de
quadros de formao superior, e iniciando suas atividades na regio pelas reas tecnolgicas e de engenha-
rias e pelo desenvolvimento de pesquisa e extenso integradas vocao industrial do Grande ABC.
Dentro desse quadro, a UFABC contribui no apenas para o benefcio da regio, mas tambm para o pas
como um todo investindo no apenas no ensino, mas tambm em pesquisa.
A UFABC uma Universidade multicampi. Atualmente esto em funcionamento o campus Santo Andr e o
campus de So Bernardo do Campo.
A UFABC tem por objetivos:
I. Estimular a criao cultural e o desenvolvimento do esprito cientfico e do pensamento reflexivo;

9

II. Formar diplomados nas diferentes reas de conhecimento, aptos para a insero em setores profis-
sionais e para a participao no desenvolvimento da sociedade brasileira e colaborar na sua forma-
o contnua;
III. Desenvolver o entendimento do homem e do meio em que vive, incentivando o trabalho de pesqui-
sa e investigao cientfica, visando o desenvolvimento da cincia, da tecnologia e da criao e difu-
so da cultura;
IV. Promover a divulgao de conhecimentos culturais, cientficos e tcnicos que constituem patrimnio
da humanidade e comunicar o saber por meio do ensino, de publicaes ou de outras formas de
comunicao;
V. Suscitar o desejo permanente de aperfeioamento cultural e profissional e possibilitar a correspon-
dente concretizao, integrando os conhecimentos que vo sendo adquiridos numa estrutura inte-
lectual sistematizadora do conhecimento de cada gerao;
VI. Estimular o conhecimento dos problemas do mundo presente, em particular os nacionais e regio-
nais, prestar servios especializados comunidade e estabelecer com esta uma relao de reciproci-
dade;
VII. Promover a extenso, aberta participao da populao, visando difuso das conquistas e bene-
fcios resultantes da criao cultural e da pesquisa cientfica e tecnolgica geradas na instituio.
Para atingir esses objetivos, a atuao acadmica da UFABC se d no mbito de cursos de Graduao, Ps-
Graduao e Extenso, visando formao e o aperfeioamento de recursos humanos solicitados pelo pro-
gresso da sociedade brasileira, bem como na promoo e estmulo pesquisa cientfica, tecnolgica e a pro-
duo de pensamento original no campo da cincia e da tecnologia.
4. PERFIL DO CURSO
JUSTIFICATIVA DE OFERTA DO CURSO
O projeto pedaggico da Universidade Federal do ABC prev a oferta do curso de Bacharelado em Matem-
tica. Nesse contexto a proposta de criao de um curso de Bacharelado em Matemtica na UFABC insere-se
no planejamento global da instituio, que tem dentre seus objetivos tornar-se um polo produtor de conhe-
cimento de nvel nacional e internacional, tanto no mbito das cincias, como no da cultura e das artes.

Por outro lado, crescente a procura por profissionais formados em Matemtica tanto nas empresas como
no terceiro setor, onde esses egressos atuam juntamente a grupos interdisciplinares, bem como no meio
acadmico, no qual estes profissionais so absorvidos a fim de realizar estudos de ps-graduao em diver-
sas reas afins com o objetivo de fortalecer a pesquisa cientifica.
Nesse contexto, a UFABC se valeu de um corpo docente qualificado em vrias reas de pesquisa para criar
um curso de Bacharelado em Matemtica diferenciado que tem como um de seus pontos fortes a possibili-
dade de formaes diversificadas tanto em matemtica pura quanto aplicada.
O curso de Bacharelado em Matemtica visa formar um profissional que possua uma slida formao em
Matemtica aliada a uma versatilidade de interagir com outros campos do conhecimento. Essa capacidade

10

se mostra, cada vez mais, fundamental aos futuros egressos j que esses profissionais sero chamados a
aplicar seus conhecimentos para desenvolver, modelar e tratar situaes que aparecem em contextos de
carter tanto acadmico bem como no acadmicos.
OBJETIVOS DO CURSO
OBJETIVO GERAL
O curso de Bacharelado em Matemtica da UFABC tem como objetivo formar um profissional com slida
formao bsica, profissional, social e preparado para atuar tanto no ambiente acadmico como no mercado
de trabalho em setores da indstria e de servios.
A formao do Bacharel em Matemtica da UFABC permite que o profissional siga com sucesso programas
de ps-graduao em Matemtica ou em reas afins tais como Matemtica Aplicada, Estatstica e outras,
visando preparar este para a pesquisa e a carreira acadmica.
OBJETIVOS ESPECFICOS

O Bacharelado em Matemtica da UFABC tem como objetivos especficos:
Fornecer ao egresso uma slida e abrangente formao em Matemtica;
Capacitar o aluno a aplicar os conhecimentos matemticos na modelagem e resoluo de pro-
blemas;
Dar uma viso histrica e crtica da Matemtica;
Fornecer ao egresso a capacidade de atualizao continuada atravs de pesquisa bibliogrfica e
do uso de recursos computacionais, como a internet;
Desenvolver no egresso uma atitude investigativa.;
Promover uma postura tica e socialmente comprometida de seu papel e de sua contribuio no
avano cientfico, tecnolgico e social do Pas.
.


11

5. REQUISITO DE ACESSO
FORMA DE ACESSO AO CURSO

O processo seletivo para acesso aos Cursos de Graduao da Universidade Federal do ABC anual, e inicial-
mente dar-se- pelo Sistema de Seleo Unificado (SISU), do MEC, onde as vagas oferecidas sero preenchi-
das em uma nica fase, baseado no resultado do Exame Nacional do Ensino Mdio (ENEM). O ingresso nos
cursos de formao especfica, aps a concluso dos bacharelados interdisciplinares, se d por seleo inter-
na, segundo a Resoluo ConsEPE, nmero 31, de 4 de agosto de 2009. O ingresso ao Bacharelado em ma-
temtica dar-se- pelo bacharelado interdisciplinar de Bacharelado em Cincia e Tecnologia.
O Processo de Admisso por Transferncia Facultativa da UFABC utiliza para seleo e classificao de candi-
datos, os seguintes critrios: o candidato deve ter alcanado um mnimo de 65% de Rendimento Final no
ENEM (mdia aritmtica simples da nota obtida na prova objetiva e redao), no exame indicado pelo can-
didato e ter sido aprovado na IES de origem em, no mnimo 20% e no mximo em 60% da carga horria total
exigida para a integralizao do curso. O curso da IES de origem deve ser reconhecido ou autorizado pelo
MEC e o candidato deve estar devidamente matriculado no curso.
REGIME DE MATRCULA

Antes do incio de cada quadrimestre letivo, o aluno dever proceder a sua matrcula, indicando as discipli-
nas que deseja cursar no perodo. O aluno ingressante dever cursar, obrigatoriamente, o mnimo de nove
crditos no quadrimestre de ingresso. A partir do segundo quadrimestre, deve-se atentar aos critrios de
jubilao (desligamento). O perodo de matrcula determinado pelo calendrio da UFABC definido anual-
mente pelo ConsEPE.
Ressaltamos que embora mesmo no havendo pr-requisitos para a matrcula em disciplinas, fortemente
recomendado aos alunos que sigam a matriz sugerida pelo projeto pedaggico do curso e em especial a ta-
bela de recomendaes apresentada nesse mesmo documento.
6. PERFIL DO EGRESSO
O perfil paradigmtico do Bacharel em Matemtica o de ocupar-se de pesquisa bsica ou aplicada em
universidades e centros de pesquisa. Esse com certeza, o campo de atuao mais bem definido e o que
tradicionalmente tem representado o perfil profissional idealizado na maior parte dos cursos de graduao
que conduzem ao Bacharelado em Matemtica.

Porm a formao do Bacharel em Matemtica deve considerar tanto as perspectivas tradicionais de atua-
o da profisso, como as novas demandas emergentes nas ltimas dcadas. Em uma sociedade em rpida
transformao, novos campos de atuao e funes sociais afrontam os paradigmas profissionais anteriores.
O desafio, ento, propor uma formao ampla e flexvel, que desenvolva habilidades e competncias ne-
cessrias s expectativas atuais e adequadas a diferentes perspectivas de atuao futura.


12

Assim, o perfil desejado do Bacharel em Matemtica o de um profissional com slida formao, portador
da atitude cientfica como hbito para a busca da verdade cientfica, de maneira tica e com perseverana,
preparado para enfrentar novos desafios e buscar solues com iniciativa e criatividade.

O Bacharel em Matemtica na UFABC adquire uma formao slida nas reas fundamentais da Matemtica
(Anlise, lgebra e Geometria) como tambm em reas mais especificas e aplicadas como Sistemas Dinmi-
cos, Probabilidade, Estatstica, Matemtica Discreta e Equaes Diferenciais. Alm disso, por adquirir prvia
ou concomitantemente o grau de Bacharel em Cincia e Tecnologia, o Bacharel em Matemtica possuir
uma formao bsica em Cincias Naturais (Fsica, Qumica e Biologia) e Cincias Humanas (Cincias Sociais,
Histria da Cincia e Tecnologia). Esta formao interdisciplinar, preconizada pelo projeto pedaggico da
Universidade Federal do ABC, o possibilitar interagir com profissionais de diversas reas, tanto academica-
mente, como no mercado de trabalho.
A formao matemtica visa no somente aos conhecimentos especficos, mas tambm ao desenvolvimento
do raciocnio lgico e da capacidade de abstrao. Desta forma espera-se que o Bacharel em Matemtica
seja capaz de sintetizar, equacionar e resolver problemas procedentes das mais diversas reas do conheci-
mento.
O amplo elenco de disciplinas de opo limitadas (eletivas) possibilita ao Bacharelando em Matemtica op-
tar por diversas linhas de especializao, sendo possvel adquirir desde uma formao adequada para o
prosseguimento de futuros estudos acadmicos (como o mestrado e/ou doutorado em matemtica ou reas
afins) at o desenvolvimento de um perfil profissional apropriado a postos de trabalho que requeiram ou
necessitem de conhecimentos matemticos e/ou estatsticos.
REA DE ATUAO
O campo de trabalho do Bacharel em Matemtica inclui:
Carreira acadmica prosseguindo com mestrado e doutorado em Matemtica, e reas relacionadas.
Setores da indstria e de servios que requerem conhecimentos de modelagem matemtica, como:
bancos, seguradoras, empresas de telecomunicaes, mineradoras, logsticas, indstria do petrleo,
etc.
COMPETNCIAS

As competncias esperadas dos egressos so:
Capacidade de identificar, formular e resolver problemas na sua rea de aplicao, utilizando ri-
gor lgico-cientfico na anlise da situao-problema;
Capacidade de aprendizagem continuada, sendo a sua prtica a fonte de produo de conheci-
mento;
Capacidade de compreender, criticar e utilizar novas ideias e tecnologias para a resoluo de
problemas;

13

Capacidade de estabelecer relaes entre a Matemtica e outras reas do conhecimento;
Capacidade de trabalhar em equipes multidisciplinares;


14

7. ORGANIZAO CURRICULAR
FUNDAMENTAO LEGAL
Previsto no projeto pedaggico da UFABC, o Curso de Bacharelado em Matemtica e seu projeto pedaggico
esto em consonncia, tambm, com o Plano de Desenvolvimento Institucional (PDI) da Universidade e a
normatizao federal, dispostos nos seguintes documentos legais:
BRASIL. Presidncia da Repblica. Casa Civil. Subchefia para Assuntos Jurdicos. Lei n 9.394, de 20 de
dezembro de 1996. Estabelece as diretrizes e bases da educao nacional. Disponvel em:
https://www.planalto.gov.br/ccivil_03/Leis/L9394.htm. Acesso em: 12 jul. 2011.

BRASIL. Ministrio da Educao. Secretaria da Educao Superior. Referenciais Orientadores para os
Bacharelados Interdisciplinares e Similares. 2010

BRASIL. Ministrio da Educao. Conselho Nacional de Educao. Conselho Pleno. Resoluo n 1, de
17 de junho de 2004. Institui Diretrizes Curriculares Nacionais para a Educao das Relaes tnico-
Raciais e para o Ensino de Histria e Cultura Afro-Brasileira e Africana. Disponvel em:
http://portal.mec.gov.br/cne/arquivos/pdf/res012004.pdf. Acesso em: 12 jul. 2011.

BRASIL. Presidncia da Repblica. Casa Civil. Subchefia para Assuntos Jurdicos. Decreto n 5.626, de
22 de dezembro de 2005. Regulamenta a Lei n
o
10.436, de 24 de abril de 2002, que dispe sobre a
Lngua Brasileira de Sinais - Libras, e o art. 18 da Lei n
o
10.098, de 19 de dezembro de 2000. Dispon-
vel em: https://www.planalto.gov.br/ccivil_03/_Ato2004-2006/2005/Decreto/D5626.htm. Acesso
em: 12 jul. 2011.

BRASIL. Ministrio da Educao. Conselho Nacional de Educao. Cmara de Educao Superior. Re-
soluo n 2, de 18 de junho de 2007. Dispe sobre carga horria mnima e procedimentos relativos
integralizao e durao dos cursos de graduao, bacharelados, na modalidade presencial. Dispo-
nvel em: http://portal.mec.gov.br/cne/arquivos/pdf/2007/rces002_07.pdf. Acesso em: 12 jul. 2011.

BRASIL. Ministrio da Educao. Gabinete do Ministro. Portaria Normativa n 40, de 12 de dezembro
de 2007. Institui o e-MEC, sistema eletrnico de fluxo de trabalho e gerenciamento de informaes
relativas aos processos de regulao, avaliao e superviso da educao superior no sistema fede-
ral de educao, e o Cadastro e-MEC de Instituies e Cursos Superiores e consolida disposies so-
bre indicadores de qualidade, banco de avaliadores (Basis) e o Exame Nacional de Desempenho de
Estudantes (ENADE) e outras disposies. Disponvel em:
http://meclegis.mec.gov.br/documento/view/id/17. Acesso em: 12 jul. 2011.

BRASIL. Comisso Nacional de Avaliao da Educao Superior. Resoluo n 1, de 17 de junho de
2010. Normatiza o Ncleo Docente Estruturante e d outras providncias. Disponvel em:
http://portal.mec.gov.br/index.php?option=com_docman&task=doc_download&gid=6885&Itemid.
Acesso em: 12 jul. 2011.
BRASIL. Ministrio da Educao. Conselho Nacional de Educao. Cmara de Educao Superior. Pa-
recer CNE/CES n 1.302, de 6 de novembro de 2001. Diretrizes Curriculares Nacionais para os Cursos

15

de Matemtica, Bacharelado e Licenciatura. Disponvel em:
http://portal.mec.gov.br/cne/arquivos/pdf/CES13022.pdf. Acesso em: 24 out. 2011.
BRASIL. Ministrio da Educao. Conselho Nacional de Educao. Cmara de Educao Superior. Re-
soluo CNE/CES n 3, de 18 de fevereiro de 2003. Estabelece as Diretrizes Curriculares para os cur-
sos de Matemtica. Disponvel em: http://portal.mec.gov.br/cne/arquivos/pdf/ces032003.pdf. Aces-
so em: 24 out. 2011.
FUNDAO UNIVERSIDADE FEDERAL DO ABC. Projeto Pedaggico. Santo Andr, 2006. Disponvel
em: http://www.ufabc.edu.br/images/stories/pdfs/institucional/projetopedagogico.pdf. Acesso em:
12. jul. 2011.
FUNDAO UNIVERSIDADE FEDERAL DO ABC. Plano de Desenvolvimento Institucional. Santo An-
dr, 2010. Disponvel em: http://www.ufabc.edu.br/images/stories/comunicacao/pdi_revisado.pdf.
Acesso em: 12 jul. 2011.
FUNDAMENTAO PEDAGGICA

A velocidade com que os novos conhecimentos cientficos e tecnolgicos so gerados, difundidos, distribu-
dos e absorvidos pela sociedade impedem que a responsabilidade das instituies educacionais seja de ape-
nas transmissoras de informaes. Desse modo, a universidade deve dedicar-se tambm s atribuies
mais complexas de construo de saberes em detrimento daquelas relacionadas com sua mera disponibiliza-
o.
Dentro dessa problemtica, uma observao fundamental a de que o conhecimento associado s cincias
bsicas tem uma taxa de obsolescncia muito mais reduzida do que o conhecimento associado s disciplinas
profissionais. Por outro lado, o empenho em preparar pessoas para enfrentar problemas da realidade din-
mica e concreta, de forma crtica e transformadora, defronta-se com a constatao de que grande parte
dessa preparao transcende os limites disciplinares. importante ressaltar que uma parte significativa das
questes candentes hoje, na sociedade e na cincia, inter, multi e transdisciplinar.
Posto estas observaes, o projeto pedaggico da UFABC surge como resposta a esta problemtica: como
deve ser a formao num contexto onde o conhecimento apesar de extremamente importante voltil e
no possvel de ser compartimentalizado?
A resposta que a Universidade Federal do ABC apresenta, em seu projeto pedaggico, a integrao das
diversas reas do conhecimento, a valorizao do conhecimento bsico, o comprometimento de se preser-
var a ideia de liberdade para a explorao de novos caminhos em todas as atividades acadmicas e finalmen-
te uma veemente crena na indissociabilidade entre as atividades de ensino e pesquisa.
Na carreira de Bacharel em Matemtica esses preceitos transparecem numa estrutura curricular flexvel que
valoriza a interdisciplinaridade e permite ao aluno uma escolha tardia e desta forma mais racional do curso,
que permite formaes individualizadas a cada aluno e finalmente, porm no menos importante, numa
preocupao de fornecer aos alunos possibilidades, desde o princpio do curso, de iniciao atividade cien-
tfica (pesquisa).


16

8. REGIME DE ENSINO

ESTRATGIAS PEDAGGICAS

A distribuio das disciplinas para a obteno do grau de Bacharel em Matemtica dada conforme
tabela abaixo:

Categoria Crditos Carga Horria

Disciplinas Obrigatrias do BC&T 90 1080

Disciplinas Obrigatrias do Bacharelado em Matemtica 104 1248

Disciplinas de Opo Limitada do Bacharelado em
Matemtica
24 288

Trabalho de Concluso de Curso 6 72

Total
224 2.688

Disciplinas Livres do Bacharelado em Matemtica 17 204

Atividades Complementares do BC&T 10 120

DISPOSIES GERAIS

Para a obteno do ttulo de bacharelado em Matemtica o aluno dever ter obtido ou obter con-
comitantemente o ttulo de Bacharel em Cincia e Tecnologia e para tanto deve completar as exi-
gncias apresentadas no projeto do mesmo.
Para a obteno do ttulo de bacharelado em Matemtica o aluno dever ter o Trabalho de Conclu-
so de Curso, elaborado e aprovado conforme as regras estabelecidas nesse documento.
As disciplinas denominadas Livres no so obrigatrias para obter o ttulo de Bacharel em Matem-
tica, mas devem ser usadas (se necessrio) para completar os crditos mnimos necessrios para ob-
ter o ttulo de Bacharel em Cincia e Tecnologia conforme regras estabelecidas pela universidade.
A carga horria mnima para obter o diploma de Bacharel em Matemtica de 2688 horas, onde se
considera nesse nmero as Disciplinas Obrigatrias do BC&T, Disciplinas Obrigatrias do Bacharela-
do em Matemtica, Disciplinas de Opo Limitada da Matemtica, Trabalho de Concluso de Curso.
Essa carga pode, eventualmente, ser aumentada se o aluno necessitar acrescentar disciplinas em sua
grade a fim de atingir o mnimo necessrio para formar-se Bacharel em Cincia e Tecnologia.


17

Na UFABC as disciplinas so identificadas pelos seguintes componentes:
AAXXXX Nome da disciplina (T P I)
Ex: BH0202 Pensamento Crtico (4-0-4)
Sendo:
AAXXXX o cdigo da disciplina;
T Indica o nmero de horas semanais de aulas expositivas presenciais;
P Indica o nmero mdio de horas semanais de trabalho de laboratrio, aulas prticas ou de aulas de e-
xerccios, realizadas em sala de aula;
I Indica estimativa de horas semanais adicionais de trabalho extraclasse necessrias para o bom aprovei-
tamento da disciplina.

A contagem dos crditos feita pela somatria entre os nmeros correspondentes a T e P, e cada crdito
equivale a doze horas (12) de aulas e atividades. Dessa forma, no caso do exemplo dado, a disciplina Pensa-
mento Crtico tem 4 crditos e equivale a 48h de aulas e atividades.
DISCIPLINAS OBRIGATRIAS DO BC&T
As disciplinas obrigatrias do BC&T so apresentadas na tabela abaixo. Este conjunto corresponde aos 90
crditos obrigatrios para o BC&T e a uma carga horria de 1080 horas-aula.

Cdigo Nome T- P-I Crditos
BC0005 Bases Computacionais da Cincia 0-2-2 2
BC0001 Bases Experimentais das Cincias Naturais 0-3-2 3
BC0102 Estrutura da Matria 3-0-4 3
BC0003 Bases Matemticas 4-0-5 4
BC0304 Origem da Vida e Diversidade dos Seres Vivos 3-0-4 3
BC0504 Natureza da Informao 3-0-4 3
BC0208 Fenmenos Mecnicos 3-2-6 5
BC0306 Transformaes nos Seres Vivos e Ambiente 3-0-4 3
BC0402 Funes de uma Varivel 4-0-6 4
BC0404 Geometria Analtica 3-0-6 3
BC0505 Processamento da Informao 3-2-5 5
BC0205 Fenmenos Trmicos 3-1-4 4
BC0307 Transformaes Qumicas 3-2-6 5
BC0405 Introduo s Equaes Diferenciais Ordinrias 4-0-4 4
BC0004 Bases Epistemolgicas da Cincia Moderna 3-0-4 3
BC0506 Comunicao e Redes 3-0-4 3
BC0209 Fenmenos Eletromagnticos 3-2-6 5
BC0308 Transformaes Bioqumicas 3-2-6 5
BC0407 Funes de Vrias Variveis 4-0-4 4
BC0602 Estrutura e Dinmica Social 3-0-4 3
BC0207 Energia: Origens, Converso e Uso 2-0-4 2
BC0103 Fsica Quntica 3-0-4 3

18

BC0406 Introduo Probabilidade e Estatstica 3-0-4 3
BC0603 Cincia, T ecnologia e Sociedade 3-0-4 3
BC0104 Interaes Atmicas e Moleculares 3-0-4 3
BC0002 Projeto Dirigido 0-2-10 2
TOTAL 90 Crditos/1024 horas aulas
Tabela: Disciplinas obrigatrias do BC&T

DISCIPLINAS OBRIGATRIAS E DE OPO LIMITADA DO BACHARELADO EM
MATEMTICA
Para a obteno do ttulo de Bacharel em Matemtica o aluno dever cursar as seguintes disciplinas obriga-
trias totalizando 104 crditos e a uma carga horria de 1248 horas-aula
Cdigo Nome T P I Crditos
BC1425 lgebra Linear 6-0-5 6
MC1301 lgebra Linear Avanada I 4-0-4 4
MC1101 lgebra Linear Avanada II 4-0-4 4
MC1306 Anlise no Rn I 4-0-4 4
BC1421 Anlise Real I 4-0-4 4
MC1201 Anlise Real II 4-0-4 4
MC1305 Anis e Corpos 4-0-4 4
BC1716 Clculo de Probabilidade 4-0-4 4
BC1419 Clculo Numrico 3-1-4 4
BC1418 Clculo Vetorial e Tensorial 4-0-4 4
BC1427 Equaes Diferenciais Ordinrias 4-0-4 4
MC1307 Equaes Diferenciais Parciais 4-0-4 4
BC1438 Evoluo dos Conceitos Matemticos 4-0-4 4
MC2108 Extenses Algbricas 4-0-4 4
MC1102 Funes de Variveis Complexas 6-0-5 6
MC1302 Geometria Diferencial I 4-0-4 4
MC2103 Geometria Diferencial II 4-0-4 4

19

MC1304 Grupos 4-0-4 4
BC1520 Matemtica Discreta 4-0-4 4
MC1104 Medida e Integrao 4-0-4 4
MC1202 Probabilidade 4-0-4 4
BC1432 Programao Matemtica 3-1-4 4
BC1407 Sequencias e Sries 4-0-4 4
BC1405 Teoria Aritmtica dos Nmeros 4-0-4 4
MC1205 Topologia 4-0-4 4
Total 104 Crditos/1248 horas aulas
Tabela: Disciplinas Obrigatrias do Bacharelado em Matemtica

Disciplinas de Opo Limitada
Para a obteno do ttulo de Bacharel em matemtica o aluno dever cursar 24 crditos em disciplinas de
opo limitadas que devem ser escolhidas dentro do elenco de disciplinas listadas abaixo:
Cdigo Nome T-P-I Crditos
MC2105 Anlise Complexa 4-0-4 4
MC2302 Anlise de Regresso 3-1-4 4
MC2303 Anlise Multivariada 4-0-4 4
MC2102 Anlise no Rn II 4-0-4 4
MC2108 Anlise Numrica 4-0-4 4
MC2403 Conexes e Fibrados 4-0-4 4
MC2204 Elementos Finitos 4-0-4 4
MC2402 Formas Diferenciais 4-0-4 4
BC1420 Funes Especiais 4-0-4 4
MC2114 Geometria no Euclidiana 4-0-4 4
MC2401 Grupo Fundamental e Espao de Recobrimento 4-0-4 4
MC2209 Grupos de Lie e Simetrias 4-0-4 4
MC8311 Histria da Matemtica 4-0-4 4
MC2308 Inferncia Estatstica 4-04 4
MC2306 Introduo Anlise Estocstica em Finanas 3-1-4 4

20

MC2113 Introduo Anlise Funcional 4-0-4 4
MC1715 Introduo Criptografia 4-0-4 4
MC2310

Introduo Estatstica Bayesiana 3-1-4 4
BC1415

Introduo Inferncia Estatstica 4-0-4 4
BC1414

Introduo Modelagem e Processos Estocsticos 3-1-4 4
MC2312 Introduo aos Processos Pontuais 4-0-4 4
MC2107

Introduo aos Sistemas Dinmicos 4-0-4 4
MC2400 Introduo s Curvas Algbricas 4-0-4 4
BC 1426

Lgica Bsica 4-0-4 4
NH2803 Mecnica Analtica I 4-0-4 4
NH2903

Mecnica Analtica II 4-0-4 4
NH2703

Mecnica Clssica 4-0-4 4
BC 1623

Metateoremas da Lgica Clssica 4-0-4 4
MC4001

Mtodos de Otimizao 3-1-4 4
Mtodos Numricos de EDPs 2-2-4

4
BC1412

Mtodos Numricos em EDO 2-2-4

4
MC2203

Mtodos Variacionais 4-0-4 4
BC 1409

Modelagem de sistemas Biolgicos 3-1-4

4
MC2109

Mdulos 4-0-4 4
MC2313

Percolao 4-0-4 4
MC2301

Processos Estocsticos 4-0-4 4
BC1714 Teoria Aritmtica dos Nmeros II 4-0-4 4
BC1402 Teoria Axiomtica dos Conjuntos 4-0-4 4

21

BC1622 Teoria da Recurso e Computabilidade 4-0-4 4
MC 1308

Teoria das Distribuies 4-0-4 4
MC2311

Teoria das Filas 4-0-4 4
BC1429 Teoria dos Grafos 4-0-4

4
MC2206

Teoria dos Jogos 4-0-4 4
BC1501 Programao Orientada a Objetos 2-2-4 4
Total Pelo menos 24 Crditos
Tabela: Disciplinas de Opo Limitada do Bacharelado em Matemtica

A Tabela 1 abaixo apresenta o conjunto das disciplinas obrigatrias e opo limitada, separadas por
reas, para o curso de Bacharelado em Matemtica:

Grupo de
Conhecimentos
Disciplinas Obrigatrias Disciplinas de Opo Limitada
lgebra Teoria Aritmtica dos
Nmeros
Grupos
Anis e Corpos
Extenses Algbricas

Mdulos
Teoria Aritmtica dos Nmeros II
Introduo s Curvas Algbricas
lgebra Linear lgebra Linear
lgebra Linear Avanada I
lgebra Linear Avanada II

Anlise Complexa Funes de Variveis
Complexas
Anlise Complexa
Anlise Matemtica Anlise Real I
Anlise Real II
Anlise no R
n
I
Teoria da Medida e
Integrao
Anlise no R
n
II
Introduo Anlise Funcional
Clculo Diferencial e
Integral
Funes de Uma Varivel
Funes de Vrias Variveis
Clculo Vetorial e Tensorial
Sequencias e Sries

Equaes Diferenciais Introduo s EDOs
EDO
EDP
Introduo aos Sistemas Dinmicos
Elementos Finitos
Geometria/Topologia Geometria Analtica Geometria no Euclidiana

22

Geometria Diferencial I
Geometria Diferencial II
Topologia
Grupo Fundamental e Espao de
Recobrimento
Grupos de Lie e Simetrias
Formas Diferenciais
Histria, Filosofia e
Fundamentos da
Matemtica
Evoluo dos Conceitos
Matemticos
Histria da Matemtica
Teoria Axiomtica dos Conjuntos
Metateoremas da Lgica Clssica
Lgica Bsica
Teoria da Recurso e
Computabilidade

Matemtica Aplicada Clculo Numrico
Programao Matemtica

Mtodos de Otimizao
Anlise Numrica
Modelagem de sistemas Biolgicos
Mtodos Numricos em EDO
Mtodos Numricas de EDPs
Teoria dos Grafos
Teoria dos Jogos
Introduo Criptografia
Programao Orientada a Objetos

Probabilidade Introduo a Probabilidade e
Estatstica
Clculo de Probabilidade
Probabilidade
Introduo Modelagem e
Processos Estocsticos
Percolao
Teoria das Filas
Introduo Anlise Estocstica em
Finanas
Introduo aos Processos Pontuais

Estatstica Introduo a Probabilidade e
Estatstica

Introduo a Inferncia Estatstica
Anlise de Regresso
Anlise Multivariada
Inferncia Estatstica
Introduo Estatstica Bayesiana

Fsica Matemtica Clculo Vetorial e Tensorial

Funes Especiais
Conexes e Fibrados
Mecnica Clssica
Mecnica Analtica I
Mecnica Analtica II
Mtodos Variacionais
Teoria das Distribuies

Tabela 1 - Conjunto das disciplinas obrigatrias e opo limitada separadas por reas.

23

FLUXOGRAMA DE RECOMENDAES ENTRE DISCIPLINAS


24

9. MATRIZ SUGERIDA - BACHARELADO EM MATEMTICA
Anos I e II

P
R
I
M
E
I
R
O

A
N
O

1 BC0005
Bases
Computacionais
da Cincia
(0-2-2)
BC0006
Bases
Experimentais das
Cincias Naturais
(0-3-2)
BC0102
Estrutura da
Matria
(3-0-4)
BC0003
Bases Matemticas
(4-0-5)
BC0304
Origem da Vida e Diversidade
dos Seres Vivos
(3-0-4)
2 BC0503
Natureza da
Informao
(3-0-4)
BC0204
Fenmenos
Mecnicos
(3-2-6)
BC0306
Transformaes
nos Seres Vivos e
Ambiente
(3-0-4)
BC0403
Funes de uma
Varivel
(4-0-6)
BC0404
Geometria Analtica
(3-0-6)

3
BC0505
Processamento
de Informao
(3-2-5)
BC0205
Fenmenos
Trmicos
(3-1-4)
BC0307
Transformaes
Qumicas
(3-2-6)
BC0405
Introduo s
EDO's
(4-0-4)
BC0004
Bases Epistemolgicas da
Cincia Moderna
(3-0-4)
S
E
G
U
N
D
O

A
N
O

1 BC0506
Comunicao e
Redes
(3-0-4)
BC0206
Fenmenos
Eletromagnticos
(3-2-6)
BC0308
Transformaes
Bioqumicas
(3-2-6)
BC0407
Funes de Vrias
Variveis
(4-0-4)
BC0602
Estrutura e Dinmica Social
(3-0-4)
2 BC0207
Energia:
Origem,
Converso e
Uso

(2-0-4)
BC0103
Fsica
Quntica
(3-0-4)
BC0603
Cincia,
Tecnologia e
Sociedade
(3-0-4)
BC0406
Introduo
Probabilidade
e Estatstica
(3-0-4)
BC1419
Clculo
Numrico
(3-1-4)
BC1407
Sequncias e
Sries
(4-0-4)
3 BC0104
Interaes
Atmicas e
Moleculares
(3-0-4)
BC1425
lgebra Linear
(6-0-5)
BC1418
Clculo Vetorial e
Tensorial
(4-0-4)
BC1520
Matemtica Discreta
(4-0-4)

Livre
(3)


25

Anos III e IV
T
E
R
C
E
I
R
O

A
N
O

1 MC1301
lgebra Linear
Avanada I
(4-0-4)
BC1405
Teoria
Aritmtica dos
Nmeros
(4-0-4)
BC1421
Anlise Real I
(4-0-4)
BC1716
Clculo de
Probabilidade
(4-0-4)

Livre

(4)

2 MC1101
lgebra Linear
Avanada II
(4-0-4)
MC1204
Topologia
(4-0-4)
MC1201
Anlise Real
II
(4-0-4)
Livre
(4)
Livre
(4)
3 MC1102
Funes de
Variveis
Complexas
(6-0-5)
MC1304
Grupos
(4-0-4)
MC1306
Anlise no R
n

I
(4-0-4)
MC1302
(4-0-4)
BC0002
Projeto
Dirigido
(0-2-10)
Livre
(2)
Q
U
A
R
T
O

A
N
O

1 BC1438
Evoluo dos
Conceitos
Matemticos
(4-0-4)

MC1305
Anis e Corpos
(4-0-4)
MC1104
Teoria da
Medida e
Integrao
(4-0-4)
MC2103
Geometria
Diferencial
II
(4-0-4)
Opo
Limitada
(4)

Trabalho de
Concluso de
Curso
I
(2)

2 BC1427
Equaes
Diferenciais
Ordinrias
(4-0-4)
BC1432
Programao
Matemtica
(3-1-4)
MC1202
Probabilidade
(4-0-4)
Opo
Limitada
(4)
Opo
Limitada
(4)
Trabalho de
Concluso de
Curso
II
(2)

3
MC1307
Equaes
Diferenciais
Parciais
(4-0-4)

MC ---
Extenses
Algbricas

(4-0-4)
Opo
Limitada
(4)
Opo
Limita-
da
(4)
Opo
Limitada
(4)
Trabalho de
Concluso
de Curso III

(2)


26

10. AES ACADMICAS COMPLEMENTARES FORMAO
A UFABC possui diversos projetos e aes para promover a qualidade do ensino de graduao, dos quais
merecem destaque:
PEAT: Projeto de Ensino-Aprendizagem Tutorial. Este projeto tem como objetivo, promover a adaptao do
aluno ao projeto acadmico da UFABC, orientando-o para uma transio tranquila e organizada do Ensino
Mdio para o Superior, em busca de sua independncia e autonomia e a fim de torn-lo empreendedor de
sua prpria formao. O tutor um docente dos quadros da UFABC que ser responsvel por acompanhar o
desenvolvimento acadmico do aluno. Ser seu conselheiro, a quem dever recorrer quando houver dvidas
a respeito de escolha de disciplinas, trancamento, estratgias de estudo, etc.
Projeto de Assistncia Estudantil: bolsa auxlio para alunos carentes.
Projeto Monitoria Acadmica: A cada quadrimestre so selecionados alunos para desenvolverem atividades
de monitoria. As atividades de monitorias so dimensionadas pelos docentes de cada disciplina, as ativida-
des desenvolvidas so acompanhadas por meio de relatrios e avaliaes peridicas. O monitor auxilia os
demais alunos da disciplina, levantando dvidas a acerca dos contedos e exerccios (tericos/prticos). A
monitoria acadmica um projeto de apoio estudantil e, por isso, os alunos monitores recebem auxlio fi-
nanceiro pelo desenvolvimento destas atividades. Entretanto, a nfase dada ao programa de monitoria aca-
dmica est focada ao processo de desenvolvimento de conhecimento e maturidade profissional dos alunos,
permitindo-lhes desenvolver aes que possibilitem a ampliao de seus conhecimentos.
Projeto de Iniciao Cientfica: desenvolvido em parceria com a Pr-reitoria de Pesquisa, com participao
nas reunies do Comit do Projeto de Iniciao Cientfica, colaborando na elaborao dos editais para bolsa
de Iniciao Cientfica da UFABC e do CNPq. A Iniciao Cientifica da UFABC permite introduzir os alunos de
graduao na pesquisa cientifica, visando fundamentalmente, colocar o aluno desde cedo em contato direto
com a atividade cientfica e engaj-lo na pesquisa. Tem como caracterstica o apoio terico e metodolgico
realizao de um projeto de pesquisa e constitui um canal adequado de auxlio para a formao de uma no-
va mentalidade no aluno. Para isso a bolsa de iniciao cientfica um incentivo individual que se concretiza
como estratgia exemplar de financiamento aos projetos de relevncia e aderentes ao propsito cientfico.
ATIVIDADES COMPLEMENTARES
Com relao ao princpio Incorporao de Atividades Extracurriculares, deseja-se fornecer ao estudante a
oportunidade de diversificar e enriquecer sua formao com a participao em atividades complementares
de natureza diversificada.
Considerando que a Resoluo ConsEPE n 43, de 7 de dezembro de 2009, determina que as Atividades
Complementares, de 120 (cento e vinte) horas, constituem carga horria mnima obrigatria do Bacha-
relado em Cincia e Tecnologia (art. 2). E como que a concluso do BC&T condio indispensvel para
que o aluno conclua o BM; logo, as Atividades Complementares (tambm) so obrigatrias ao BM, no entan-
to no so computadas na carga horria total da sua estrutura curricular (2.688 horas).

27

As atividades complementares so consideradas curriculares. Por este motivo constaro no histrico escolar
do estudante com o nmero de crditos atribudos, mas devem ser realizadas fora dos programas das disci-
plinas previstas na matriz curricular do curso.
Como j destacado, para a obteno do ttulo de Bacharel em Matemtica o aluno deve cumprir uma carga
horria mnima obrigatria em atividades complementares de 120 (cento e vinte) horas (condio para a
concluso do curso de Bacharelado em Cincia e Tecnologia). Essas atividades so divididas em trs grupos:
Atividades de complementao da formao social, humana, cultural e acadmica.
Atividades de cunho comunitrio e de interesse coletivo.
Atividades de iniciao cientfica, tecnolgica e de formao profissional.
A forma de validao da carga horria dessas atividades est explicitada na Resoluo ConsEPE n 43 de 7 de
dezembro de 2009.
11. ESTGIO CURRICULAR
No h estgio curricular obrigatrio no curso.

12. TRABALHO DE CONCLUSO DE CURSO
O Trabalho de Concluso de Curso (TCC) tem como objetivo fomentar no aluno a capacidade de pesquisa,
capacidade de sntese e de escrita matemtica, bem como desenvolver a habilidade em pesquisa bibliogrfi-
ca. Desta forma, o TCC favorece uma viso ampla sobre a matemtica, articulando os conhecimentos adqui-
ridos ao longo do curso com o processo de investigao e reflexo acerca de um tema.
Para a obteno do ttulo de Bacharel em Matemtica o aluno dever cursar as disciplinas Trabalho de Con-
cluso de Curso em Matemtica I, II e II e ter a sua monografia aprovada.
As normas para elaborao do Trabalho de Curso sero definidas pela Coordenao do Curso (vide Apndice
C).


28

13. SISTEMAS DE AVALIAO DO PROCESSO DE ENSINO E
APRENDIZAGEM

A avaliao do processo de ensino e aprendizagem dos discentes na UFABC feito por meio de
conceitos, pois permite uma anlise mais qualitativa do aproveitamento do aluno. Assim, utilizam-se os se-
guintes parmetros para avaliao de desempenho e atribuio de conceito, conforme descritos abaixo:
A Desempenho excepcional, demonstrando excelente compreenso da disciplina e do uso do conte-
do.
B Bom desempenho, demonstrando boa capacidade de uso dos conceitos da disciplina.
C Desempenho mnimo satisfatrio, demonstrando capacidade de uso adequado dos conceitos da
disciplina, habilidade para enfrentar problemas relativamente simples e prosseguir em estudos avanados.
D Aproveitamento mnimo no satisfatrio dos conceitos da disciplina, com familiaridade parcial do
assunto e alguma capacidade para resolver problemas simples, mas demonstrando deficincias que exigem
trabalho adicional para prosseguir em estudos avanados. Nesse caso, o aluno aprovado na expectativa de
que obtenha um conceito melhor em outra disciplina, para compensar o conceito D no clculo do CR. Haven-
do vaga, o aluno poder cursar esta disciplina novamente.
F Reprovado. A disciplina deve ser cursada novamente para obteno de crdito.
O Reprovado por falta. A disciplina deve ser cursada novamente para obteno de crdito.
I Incompleto. Indica que uma pequena parte dos requerimentos do curso precisa ser completada.
Este grau deve ser convertido em A, B, C, D ou F antes do trmino do quadrimestre subsequente.
Os conceitos a serem atribudos aos estudantes, em uma dada disciplina, no devero estar rigida-
mente relacionados a qualquer nota numrica de provas, trabalhos ou exerccios. Os resultados tambm
consideraro a capacidade do aluno de utilizar os conceitos e material das disciplinas, criatividade, originali-
dade, clareza de apresentao e participao em sala de aula e/ou laboratrios. O aluno, ao iniciar uma dis-
ciplina, ser informado sobre as normas e critrios de avaliao que sero considerados.
No h um limite mnimo de avaliaes a serem realizadas, mas, dado o carter qualitativo do siste-
ma, indicado que sejam realizadas ao menos duas em cada disciplina durante o perodo letivo. E sero a-
poiadas e incentivadas as iniciativas de se gerar novos documentos de avaliao, como atividades extraclas-
ses, tarefas em grupo, listas de exerccios, atividades em sala e/ou em laboratrio, observaes do professor,
auto-avaliao, seminrios, exposies, projetos, sempre no intuito de se viabilizar um processo de avaliao
que no seja apenas qualitativo, mas que se aproxime de uma avaliao contnua.
Assim, propem-se no apenas a avaliao de contedos, mas de estratgias cognitivas e habilida-
des e competncias desenvolvidas. Esse mnimo de duas sugere a possibilidade de ser feita uma avaliao
diagnstica logo no incio do perodo, que identifique a capacidade do aluno em lidar com conceitos que a-
poiaro o desenvolvimento de novos conhecimentos e o quanto ele conhece dos contedos a serem discuti-
dos na durao da disciplina, e outra no final do perodo, que possa identificar a evoluo do aluno relativa-
mente ao estgio de diagnstico inicial. De posse do diagnstico inicial, o prprio professor poder ser mais
eficiente na mediao com os alunos no desenvolvimento da disciplina. Por fim, dever ser levado em alta
considerao o processo evolutivo descrito pelas sucessivas avaliaes no desempenho do aluno para que se
faa a atribuio de um Conceito a ele.

29

Ao longo da sua estadia na UFABC, o desempenho dos estudantes ser avaliado por meio do Coeficiente de
Rendimento Acumulado (CR), do Coeficiente de Rendimento Mvel (CR Mvel) e dos Coeficientes de Pro-
gresso Acadmica (CP).

Coeficiente de Rendimento Acumulado (CR): Informa como est o desempenho do aluno na UFABC. O cl-
culo do CR se d em funo da mdia ponderada dos conceitos obtidos nas disciplinas cursadas, consideran-
do seus respectivos crditos.
FRMULA DE CLCULO DO CR

sendo:
valor numrico correspondente ao conceito obtido na disciplina i segundo a tabela abaixo:

Conceito Obtido Valor numrico
A 4
B 3
C 2
D 1
F 0
O 0
I No entra no clculo do CR

crditos correspondentes disciplina i (apenas T + P)

Observao: Todos os conceitos de todas as disciplinas cursadas (independente do resultado obtido pelo
aluno) entram no clculo do CR. Somente as disciplinas com trancamento deferido e as disciplinas onde o
aluno obteve dispensa por equivalncia no entram no clculo do CR.
Coeficiente de Rendimento Mvel (CR Mvel): O CR Mvel ser calculado com as regras do CR definidas
acima, sendo que, para este clculo, sero consideradas apenas as disciplinas cursadas nos ltimos 3 (trs)
Quadrimestres.

30

Coeficientes de Progresso Acadmica (CP
k
): um nmero que informa a razo entre os crditos das disci-
plinas aprovadas e o nmero total de crditos do conjunto de disciplinas considerado. O valor do CP
k
cresce
medida que o aluno vai sendo aprovado nas disciplinas oferecidas pela UFABC. Quando CP
k
alcanar valor
unitrio, o aluno concluiu aquele conjunto de disciplinas.
FRMULA DO CLCULO DOS CP
K

onde:
C
i,k
= Crditos da disciplina i, do conjunto k (este conjunto k poderia ser, como exemplos, o conjunto das
disciplinas obrigatrias, ou o conjunto das disciplinas de opo limitada, ou o conjunto das de livre escolha
ou o conjunto total das disciplinas do BC&T, ou ainda, o conjunto das disciplinas totais de um curso ps-
BC&T).
I = Disciplinas do conjunto k nas quais o aluno foi aprovado.
NC
k
=Total de crditos mnimos exigidos do conjunto k.
14. INFRAESTRUTURA
Alguns doss recursos tecnolgicos da UFABC so:
Acesso a Internet com velocidade de 1 Gigabit por segundo;
Backbone da rede interna da UFABC com capacidade mnima de 1 Gigabit por segundo;
Um projetor (data show) e um computador com acesso a Internet em cada sala de aula;
LABORATRIOS DIDTICOS
A Universidade Federal do ABC possui Laboratrios de Pesquisa e Laboratrios Didticos. Dentre os labora-
trios que atendem Graduao, existem trs grandes classificaes:
Laboratrios Didticos de Informtica
Laboratrios Didticos Secos
Laboratrios Didticos midos

31

Cada um desses setores possui um docente como coordenador geral e um tcnico como chefe de rea. A
gesto dos laboratrios feita por meio da Coordenao de Laboratrios Didticos, que est vinculada
Pr-Reitoria de Graduao.
LABORATRIOS DIDTICOS SECOS
A UFABC possui 25 Laboratrios Didticos Secos. Os laboratrios so equipados para atender em geral s
disciplinas de Fsica e Engenharia do do BC&T e especficas dos cursos de modo geral. Os laboratrios so
dotados de kits de cinemtica, equipamentos para realizao de experimentos de calorimetria (calormetros,
termmetros, chapas aquecedoras), e equipamentos para montagem e estudo de circuitos eletrnicos e de
eletrosttica (resistores, capacitores, fontes de tenso, multmetros, gerador de Van de Graf) alm de alguns
outros equipamentos de uso geral como balanas semianalticas, agitadores magnticos e cronmetros.
LABORATRIOS DIDTICOS MIDOS
A estrutura dos laboratrios mido atende a disciplinas com caractersticas principalmente de Qu-
mica e da Biologia (manipulao de reagentes e outras substncias que requerem estrutura como gs, Para
isso, os laboratrios contam com uma balana analtica, uma balana semianaltica, uma estufa para seca-
gem, gua, capelas de exausto; e culturas de clulas, uso de microscpios, e demais anlises de estruturas
uma autoclave, uma geladeira, um freezer e agitadores magnticos com agitao. O laboratrio possui uma
biolgicas). A UFABC conta, atualmente, com 11 Laboratrios Didticos midos. Eles so os seguintes:capela
de exausto com ventilao corretamente projetada para que o sistema leve para fora do edifcio os efluen-
tes indesejveis provocados por um procedimento efetuado no interior da capela.
LABORATRIOS DE INFORMTICA
A UFABC conta vinte e quarto (22) laboratrios de informtica de em mdia 31 computadores com acesso
Internet; Alm de estarem disponveis para uso acadmico do corpo discente, eles so equipados para aten-
der a disciplina Bases Computacionais da Cincia (BC0005).
O curso de Bacharelado em Matemtica conta com dois laboratrios para uso preferencial do curso. Estes
laboratrios esto equipados com softwares de interesse em educao e pesquisa em matemtica como:
Mathematica, Matlab, R, Latex, etc.
Alm disso, a universidade conta com um sistema de emprstimo de netbooks alunos da graduao, possi-
bilitando assim que alunos sem computadores possam ter uma mquina disponvel 24 horas por dia para
fins acadmicos, os netbooks ficam sob responsabilidade dos alunos durante todo um quadrimestre, permi-
tindo, inclusive, que os mesmos sejam levados para a casa do estudante
.
Dentro do campus da instituio
existe tambm uma rede de internet sem fio (wireless) de alta velocidade de uso gratuito pelos estudantes.
BIBLIOTECA
As Bibliotecas da UFABC tm por objetivo o apoio s atividades de ensino, pesquisa e extenso da Universi-
dade. Trata-se de uma biblioteca central em Santo Andr e uma biblioteca setorial em So Bernardo do

32

Campo, abertas tambm comunidade externa. Ambas as bibliotecas prestam atendimento aos usurios de
segunda sexta feira, das 09h s 22h e aos sbados, das 09h s 13h.
ACERVO
O acervo da Biblioteca atende aos discentes, docentes, pesquisadores e demais pessoas vinculadas Univer-
sidade, para consulta local e emprstimos, e quando possvel aos usurios de outras Instituies de Ensino e
Pesquisa, atravs do Emprstimo Entre Bibliotecas EEB.
A coleo da Biblioteca composta por livros, recursos audiovisuais, softwares, e anais de congressos e ou-
tros eventos. Em Novembro de 2011 o acervo da Biblioteca da UFABC era composto por mais de 13000 ttu-
los, totalizando o acerco da biblioteca possua 39000 exemplares de livros. Mais exatamente:
Campus Ttulos Volumes
Santo Andr 11407 32539
So Bernardo 2205 6468

Os acervos esto distribudos nas seguintes reas do conhecimento:
rea do Conhecimento
segundo CNPq
Ttulos Exemplares
S. A. S.B.C. Total S.A. S.B.C. Total
Cincias Agrrias 31 3 34 121 22 143
Cincias Biolgicas 745 84 829 3290 286 3576
Cincias Exatas e da
Terra
4789 320 5109 13980 1343 15323
Cincias Humanas 1862 1212 3074 3968 3532 7500
Cincias Sociais Aplica-
das
970 357 1327 2620 891 3511
Cincias da Sade 114 3 117 337 5 342
Engenharias 2086 34 2120 6387 69 6456
Lingustica, Letras e
Artes
501 144 645 1116 206 1322
Outros 188 34 222 503 89 592
Total 11286 2191 13477 32322 6443 38765

A coleo da Biblioteca composta por livros, recursos audiovisuais (DVDs, CD-Roms), softwares, e anais de
congressos e outros eventos.
Atualmente temos acesso aos livros eletrnicos da base de dados Springer, a coleo abrange algumas reas
do conhecimento, num total de 30.082 ttulos:
Behavioral Science ;

33

Biomedical & Life Sciences;
Business & Economics;
Chemistry & Material Science;
Computer Science;
Earth & Environmental Science;
Engineering ;
Humanities, Social Sciences & Law;
Mathematics & Statistics;
Physics & Astronomy;
PERIDICOS.
A UFABC participa na qualidade de universidade pblica, do Portal de Peridicos da CAPES, que oferece a-
cesso a textos selecionados em mais de 15.500 publicaes peridicas internacionais e nacionais, alm das
mais renomadas publicaes de resumos, cobrindo todas as reas do conhecimento. O Portal inclui tambm
uma seleo de importantes fontes de informao cientfica e tecnolgica de acesso gratuito na Web. A Bi-
blioteca conta com pessoal qualificado para auxiliar a comunidade acadmica no uso dessas ferramentas.
Finalmente, a UFABC conta ainda com acesso ao MathSciNet, um banco de dados on-line de peridicos pu-
blicado pela American Mathematical Society.
Poltica de Desenvolvimento de Colees
Aprovado pelo Comit de Bibliotecas e em vigor desde em 14 de novembro de 2006, o manual de desenvol-
vimento de colees define qual a poltica de atualizao e desenvolvimento do acervo.
Essa poltica delineia as atividades relacionadas localizao e escolha do acervo bibliogrfico para respecti-
va obteno, sua estrutura e categorizao, sua manuteno fsica preventiva e de contedo, de modo que o
desenvolvimento da Biblioteca ocorra de modo planejado e consonante as reais necessidades.


34

15. DOCENTES
Lista de docentes cadastrados no curso em Novembro de 2011.

Nome Docente Centro de
lotao
Titulo rea/Subrea de ingresso na
UFABC
Regime de Trabalho
Alexei Magalhes Veneziani CMCC Doutor Matemtica/Probabilidade Dedicao Exclusiva
Ana Cristina De Oliveira Mereu CMCC Doutor Matemtica/Sistemas Dinmicos Dedicao Exclusiva
Andr Ricardo Oliveira Da Fonse-
ca
CMCC Doutor Matemtica / Mtodos Matemti-
cos
Dedicao Exclusiva
Antonio Candido Faleiros CMCC Doutor Criptografia e Mtodos Aproxima-
dos
Dedicao Exclusiva
Armando Caputi CMCC Doutor Matemtica/Geometria e Topologia Dedicao Exclusiva
Carlos Renato Huaura Solrzano CECS Doutor Projeto e Controle de rbitas de
Satlites Artificiais e Espaonaves
Dedicao Exclusiva
Cecilia Bertoni Martha Hadler
Chirenti
CCNH Doutor Matemtica Aplicada/Fsica Mate-
mtica
Dedicao Exclusiva
Celso Chikahiro Nishi CMCC Doutor Matemtica Aplicada/Fsica-
Matemtica
Dedicao Exclusiva
Cristian Favio Coletti CMCC Doutor Matemtica/Probabilidade e Estats-
tica
Dedicao Exclusiva
Daniel Miranda Machado CMCC Doutor Matemtica/Geometria Dedicao Exclusiva
Daniel Morgato Martin CMCC Doutor Cincia da Computao/Teoria da
Computao
Dedicao Exclusiva
Dmitry Vasilevich CMCC Doutor Fsica Matemtica Dedicao Exclusiva
Edson Alex Arrzola Iriarte CMCC Doutor Matemtica Discreta Dedicao Exclusiva
Edson Ryoji Okamoto Iwaki CMCC Doutor Matemtica/lgebra e Lgica Dedicao Exclusiva
Eduardo Guron CMCC Doutor Mtodos Matemticos Dedicao Exclusiva
Erclio Carvalho Da Silva CMCC Doutor Matemtica/lgebra Dedicao Exclusiva
Fedor Pisnitchenko CMCC Doutor Anlise Numrica Dedicao Exclusiva
Gisele Ducati CMCC Doutor Matemtica Aplicada Dedicao Exclusiva
Igor Leite Freire CMCC Doutor Matemtica Dedicao Exclusiva
Ilma Aparecida Marques Silva CMCC Doutor Geometria/Topologia Dedicao Exclusiva
Jair Donadelli Junior CMCC Doutor Teoria da Computao Dedicao Exclusiva
Jeferson Cassiano CMCC Doutor Controle e Robtica Dedicao Exclusiva
Joo Carlos Da Motta Ferreira CMCC Doutor Matemtica/lgebra Dedicao Exclusiva
Joo Paulo Gois CMCC Doutor Cincia da Computa-
o/Computao Grfica
Dedicao Exclusiva
Mrcio Fabiano Da Silva CMCC Doutor Matemtica/Geometria Dedicao Exclusiva
Maria De Lourdes Merlini Giuliani CMCC Doutor Matemtica/lgebra Dedicao Exclusiva
Mariana Rodrigues Da Silveira CMCC Doutor Matemtica/Geometria e Topologia Dedicao Exclusiva
Marijana Brtka CMCC Doutor Mtodos Matemticos/Analise
Numrica
Dedicao Exclusiva
Maurcio Firmino Silva Lima CMCC Doutor Mtodos Matemticos - Sistemas
Dinmicos
Dedicao Exclusiva
Norberto Anibal Maidana CMCC Doutor Biomatemtica Dedicao Exclusiva
Olexandr Zhydenko CMCC Doutor Mtodos Matemticos/Anlise
Numrica
Dedicao Exclusiva
Pierre Marie Julien Tisseur CMCC Doutor Matemtica/Probabilidade Dedicao Exclusiva
Plnio Zornoff Tboas CMCC Doutor Educao de Matemtica Dedicao Exclusiva

35

Rafael De Mattos Grisi CMCC Doutor Matemtica Dedicao Exclusiva
Rafael Ribeiro Dias Vilela De
Oliveira
CMCC Doutor Mtodos Matemticos / Sistemas
Dinmicos
Dedicao Exclusiva
Ricardo Rocamora Paszko CCNH Doutor Relatividade Geral e Cosmologia Dedicao Exclusiva
Roberto Venegeroles Nascimento CMCC Doutor Matemtica/Probabilidade e Estats-
tica
Dedicao Exclusiva
Rodney Carlos Bassanezi CMCC Doutor Biomatemtica Dedicao Exclusiva
Roldo Da Rocha Junior CMCC Doutor Matemtica/lgebra Dedicao Exclusiva
Roque Da Costa Caiero CCNH Doutor Filosofia/ Epistemologia e Filosofia
da Cincia
Dedicao Exclusiva
Sinu Dayan Barbero Lodovici CMCC Doutor Matemtica - Geometria/Topologia Dedicao Exclusiva
Valrio Ramos Batista CMCC Doutor Matemtica/Geometria Dedicao Exclusiva
Vinicius Cif Lopes CMCC Doutor Matemtica Dedicao Exclusiva
Virgnia Cardia Cardoso CMCC Doutor Matemtica / Ensino De Matemtica Dedicao Exclusiva
Zhanna Gennadyevna Kuznetsova CMCC Doutor Matemtica aplicada Dedicao Exclusiva
Thomas Logan Ritchie CMCC Doutor Matemtica/Matemtica Discreta Dedicao Exclusiva
Antonio Sergio Munhoz CMCC Doutor Matemtica/Anlise Dedicao Exclusiva
Tiago Pereira Da Silva CMCC Doutor Matemtica/Matemtica Aplicada Dedicao Exclusiva

NCLEO DOCENTE ESTRUTURANTE

O ncleo docente estruturante do Curso de Bacharelado em Matemtica, conforme Portaria da Reitoria
n1123, de 13 de dezembro de 2010, composto de todos os docentes cadastrados no referido curso.
16. SISTEMA DE AVALIAO DO PROJETO DO CURSO
Buscando conhecer, avaliar e aprimorar a qualidade e os compromissos de sua misso, a Universidade Fede-
ral do ABC (UFABC) instituiu a Comisso Prpria de Avaliao CPA em dezembro de 2009, conforme preco-
niza o Art. 11 da Lei n 10.861/2004. A CPA espera disseminar o conceito de avaliao institucional e tam-
bm contribuir para a consolidao da UFABC sendo um dos instrumentos disponveis na perspectiva de
uma gesto participativa.
Documentos relativos criao da CPA:
Portaria 614 09 de dezembro de 2009;
Portaria 561 17 de junho de 2010;
Os resultados dos processos avaliativos da CPA so tornados pblicos periodicamente atravs do site da
Universidade Federal do ABC.


36

Globalmente, as avaliaes da CPA constituem uma parte do Sistema Nacional de Avaliao da Educao
Superior. Criado pelo Decreto N 5.773, de 9 de maio de 2006, SINAES constituir referencial bsico para os
processos de regulao e superviso da educao superior, a fim de promover a melhoria de sua qualidade.
Esta avaliao ter como componentes os seguintes itens:
Autoavaliao, conduzida pelas CPAs;
Avaliao externa, realizada por comisses externas designadas pelo INEP;
ENADE Exame Nacional de Avaliao de Desenvolvimento dos estudantes.

No instante da concepo desta reviso do projeto pedaggico, o Curso de Bacharel em Matemtica, j pas-
sou pela avaliao externa do MEC, sendo avaliado com nota 5 (mxima) e pela primeira vez os seus poss-
veis concluintes participaram do ENADE.

Ressaltamos que alm dos processos avaliativos descritos acima, o Colegiado de Curso mantm um sistema
prprio de avaliao das disciplinas e do curso. Esse processo foi implantado antes da criao da CPA. O pro-
cesso de avaliao do BM feito atravs da avaliao do curso pelos corpos docentes e discentes. Atualmen-
te essa avaliao visa complementar o processo de avaliao da CPA e assim alm dos tradicionais aspectos
de execuo e qualidade de cada disciplina, so avaliados tambm aspectos estruturais como a adequao
das ementas, das bibliografias, da carga horria, etc. num nvel de detalhamento especfico ao curso de Ba-
charelado em Matemtica. As informaes estatsticas desse processo so tornadas pblicas no site do cur-
so.

Finalmente fundamental ressaltar que a atual reviso do projeto pedaggico do curso de Bacharelado em
Matemtica foi feita motivada pelo feedback obtido pelas avaliaes internas (prprias e da CPA) e exter-
nas (visita in loco pela comisso do INEP) do curso de Bacharelado em Matemtica.


37


38

17. APNDICE A- ROL DE DISCIPLINAS
DISCIPLINAS OBRIGATRIAS DO BACHARELADO EM MATEMTICA

Clculo Numrico
Cdigo: BC 1419
Quadrimestre: 5
TPI: 3-1-4
Carga Horria: 48 horas
Recomendaes: Funes de uma Varivel
Contedo Programtico: Aritmtica de ponto flutuante: Erros absolutos e relativos;
Arredondamento e truncamento; Aritmtica de ponto flutuante. Zeros de Funes Reais:
Mtodos de quebra bisseo / falsa posio; Mtodos de ponto fixo iterativo linear /
Newton-Raphson; Mtodos de Mltiplos passos secantes. Resoluo de Sistemas de
Equaes Lineares: Mtodos diretos Cramer / eliminao de Gauss, decomposio A = LU;
Mtodos iterativos Jacobi / Gauss-Seidel. Ajustamento de Curvas pelo Mtodo dos Mnimos
Quadrados: Interpolao Polinomial: Existncia e unicidade do polinmio Interpolador;
Polinmio interpolador de: Lagrange, Newton e Gregory-Newton; Estudo do erro. Integrao
numrica: Mtodos de Newton-Cotes; Trapzios; Simpson; Estudo do erro.
Bibliografia Bsica
RUGGIERO, M.A.G. e LOPES, V.L.R. Clculo Numrico, Aspectos Tericos e Computacio-
nais. So Paulo. McGraw-Hill, 1988.
BARROSO, L.C. Clculo Numrico (com aplicaes). Harbra. 2a. ed. (1987).
BARROS, I. Q.. Introduo ao clculo numrico. So Paulo: Edgar Blcher, 1972. 114 p.
Bibliografia Complementar
FRANCO, N. B.. Clculo numrico. So Paulo: Pearson Prentice Hall, 2006.
BURIAN, R.; LIMA, A. C.; HETEM, J. A.. Clculo numrico. Rio de Janeiro: LTC, 2007

Sequncias e Sries
Cdigo: BC 1407
Quadrimestre: 5
TPI: 4-0-4
Recomendaes: Introduo as Equaes Diferenciais
Contedo Programtico: Sequncias e Sries; Limites e Convergncia, Continuidade;
Sequncias de Cauchy; Critrios de Convergncia; Reordenao de Sries; Sries de Funes;
Convergncia Pontual Convergncia Uniforme; Representao de funes por sries de
potncia; Teoremas de Taylor; Soluo em Sries para EDOs: Mtodo de Frobenius.
Bibliografia Bsica
APOSTOL, T. , Clculo, Volume 2 , Reverte, 1994.

39

RUDIN, W.; Principles of Mathematical Analysis, 3ed. New York, McGraw-Hill, 1976.
STEWART, J.; Clculo, vol. 2, So Paulo: Tomson Learning, 2006.
PRIMA, B.; Equaes Diferenciais Elementares e Problemas de Valores de Contorno, Rio
de Janeiro: LTC, 2006.
KNOPP, K.; Infinite Sequences and Series, Dover 1956
TERENCE,T.; Analysis I, Hindustan Book Agency, 2009.
GUIDORIZZI, H.; Um Curso de Clculo, Vol. 4, LTC, 2001.
ROSS, K.; Elementary Analysis - The theory of Calculus, Springer 1980.
LIMA, E. L.; Anlise Vol. 1. Coleo Matemtica Universitria, IMPA, 2002.
LIMA, E. L.; Anlise real: funes de uma varivel. 9. ed. Rio de Janeiro: Coleo Matem-
tica Universitria IMPA 2007.

Matemtica Discreta
Cdigo: BC 1520
Quadrimestre: 6
TPI: 4-0-4
Recomendaes: Funes de uma Varivel
Contedo Programtico: Teoria Intuitiva dos Conjuntos. Operaes com Conjuntos. lgebra
de Conjuntos. Relaes. Relaes de Equivalncia. Relaes de Ordem. Funes. Colees de
Conjuntos. Conjuntos Numricos. Cardinalidade. Tcnicas de Demonstrao: Prova Direta.
Prova por Contradio. Induo Finita. Introduo Anlise Combinatria. Princpio
multiplicativo. Princpio aditivo. Permutao, arranjo, combinao. Princpio de incluso e
excluso. O princpio da casa dos pombos. Funes geradoras. Partio de um inteiro.
Relaes de recorrncia.
Bibliografia Bsica
SCHEINERMAN, E.R.; Matemtica Discreta: Uma Introduo, 1 ed., Thomson, 2003.
MURARI, I.T.C., SANTOS, J.P.O; MELLO, M.P.; Introduo Anlise Combinatria , 1 ed.,
Cincia Moderna, 2008.
HALMOS, P. R.; Teoria Ingnua dos Conjuntos. So Paulo: Cincia Moderna, 2001
VELLEMAN, D. J.; How to prove it: a structured approach. 2 ed. Cambridge: Cambridge
University Press, c2006
LIPSCHUTZ, S. ; LIPSON, M. L.; Teoria e problemas de matemtica discreta. 2 ed. Porto
Alegre: Bookman, 2004. 511 p. (Coleo Schaum).


40

lgebra Linear
Cdigo: BC 1425
Quadrimestre: 6
TPI: 6-0-5
Recomendaes: Geometria Analtica
Contedo Programtico: Sistemas de Equaes Lineares: Sistemas e matrizes; Matrizes
escalonadas; Sistemas homogneos; Posto e Nulidade de uma matriz. Espao Vetorial:
Definio e exemplos; Subespaos vetoriais; Combinao linear; Dependncia e
independncia linear; Base de um espao vetorial e mudana de base. Transformaes
Lineares: Definio de transformao linear e exemplos; Ncleo e imagem de uma
transformao linear; Transformaes lineares e matrizes; Matriz mudana de base.
Autovalores e Autovetores: Polinmio caracterstico; Base de autovetores; Diagonalizao de
operadores.
Bibliografia Bsica
BOLDRINI, J. L.; COSTA, S. L. R.; FIGUEIREDO, V. L. & WETZLER, H. G.; lgebra Linear, 3a
edio, Editora Harbra Ltda. So Paulo, 1986.
ANTON, H.; lgebra Linear com Aplicaes. 8a. ed. Porto Alegre: Bookman, 2001.
COELHO, F. U.; LOURENO, M. L.; Um curso de lgebra Linear. Editora da Universidade de
So Paulo-EDUSP, 2001.
LIMA, E. L.; lgebra Linear, 6 Edio. Coleo Matemtica Universitria. IMPA, 2003
APOSTOL, T.; Clculo, Volume 2 , Reverte, 1994.

Clculo Vetorial e Tensorial
Cdigo: BC 1418
Quadrimestre: 6
TPI: 4-0-4
Recomendaes: Funes de Vrias Variveis
Contedo Programtico: Anlise Vetorial: Campos vetoriais, operadores gradiente,
divergente e rotacional. Integrais de Caminho e Superfcie. Teoremas de Green, Gauss &
Stokes. Teoria de Potenciais, Teorema de Helmholz. Introduo ao clculo tensorial, derivada
covariante e operadores diferenciais em coordenadas curvilneas. Aplicaes do clculo
tensorial aos meios contnuos, relatividade e gravitao.
Bibliografia Bsica
STEWART, J; Calculo II, Thompson, 2005.
APOSTOL, T., Clculo, Volume 2 , Reverte, 1994.
ARFKEN, G.B.; WEBER, H.J.; Mathematical Methods for Physicists, 6th. Ed. Elsevier Aca-
demic Press. 2005.

41

BRAGA, C.L.R.; Notas de Fsica Matemtica. Ed. Livraria da Fsica. So Paulo. 2006.
MARSDEN, J., TROMBA, A.J.; Vector Calculus, W.H. Freeman & Company, 1996.
MATHEWS,P.; Vector Calculus, Springer 1998;
COURANT, R., HILBERT, D.; Methods of Mathematical Physics. Vol. 1. John Wiley. 1968
BUTKOV, E.; Fsica Matemtica. LCT. 1998.
GUIDORIZZI, H.; Um Curso de Clculo, Vol. 3, LTC, 2001.

lgebra Linear Avanada I
Cdigo: MC 1301
Quadrimestre: 7
TPI: 4-0-4
Recomendaes: lgebra Linear, Matemtica Discreta
Contedo Programtico: Corpos; Espao Vetorial sobre um corpo; Base e dimenso; Espaos
Quocientes, Funcionais Lineares; Espaos Duais; Complexificao; Transformaes Lineares;
Espaos Invariantes; Polinmios (Anis de Polinmios); Forma de Jordan Complexa e Real;
Forma Cannica Racional.
Bibliografia Bsica
COELHO, F.U., LOURENO, M.L.; Um curso de lgebra Linear. Ed. Da Universidade de So
Paulo EDUSP. 2001.
KOSTRIKIN, A.I., MANIN, Y.I.; Linear algebra and geometry, Gordon and Breach 1989.
HOFFMAN, K., KUNZE, R.; Linear Algebra. Prentice Hall. 1971.
ROMAN, S.; Advanced Linear Algebra, Springer 2005.
SHILOV, G.; Linear Algebra, Dover 1977.
APOSTOL, T. , Clculo, Volume 2 , Reverte, 1994.
HALMOS, P.R. Finite Dimensional Vector Spaces, Springer 1974.
GOLAN, J.; The Linear Algebra a Beginning Graduate Student Ought to Know, Springer,
2007
ROSE, H.E.; Linear Algebra: A Pure Mathematical Approach, Birkhuser, 2002

Teoria Aritmtica dos Nmeros

42

Cdigo: BC 1405
Quadrimestre: 7
TPI: 4-0-4
Recomendaes: Matemtica Discreta
Contedo Programtico:
Princpios de induo; Divisibilidade O algoritmo da diviso; MDC e MMC. Nmeros. Teorema
Fundamental da Aritmtica; Sistemas de numerao. Representao de um nmero numa
base arbitrria; Mudana de base. Equaes diofantinas lineares; Ternos Pitagricos. Classes
de congruncia e sistemas completos de restos mdulo m; Aplicaes: critrios de
divisibilidade; Congruncias lineares: condies para existncia e clculo de solues;
Sistemas de congruncias e o Teorema Chins de Restos; A funo phi de Euler, o Teorema de
Euler e o Pequeno Teorema de Fermat; Teorema de Wilson. Nmeros Reais:
Representaes decimais de um nmero real; A irracionalidade de e e.
Bibliografia Bsica
NIVEN, I, HERBERT S.; An Introduction to the Theory of Numbers, Wiley, 1991
HEFEZ, A.; Elementos de Aritmtica, Coleo Textos Universitrios, SBM, Rio de Janeiro,
2005.
SANTOS, J. P. O.; Introduo Teoria dos Nmeros, Coleo Matemtica Universitria,
IMPA, Rio de Janeiro, 1998.
FIGUEIREDO, D. G., Nmeros Irracionais e Transcendentes, Coleo Iniciao Cientfica,
SBM, Rio de Janeiro, 2003.
POLCINO, F., COELHO, S.; Nmeros: uma introduo Matemtica, EdUSP, 2006
BURTON, D.; Elementary Number Theory, 6th. Boston: McGraw-Hill, 2007.
COUTINHO, C.; Nmeros inteiros e criptografia RSA. IMPA-SBM, 2009.
ORE, O.; Number Theory and Its History. New York: Dover, 1988.

Anlise Real I
Cdigo: BC 1421
Quadrimestre: 7
TPI: 4-0-4
Recomendaes: Sequncias e Sries
Contedo Programtico: Nmeros reais: propriedades e completeza. Topologia da Reta:
conjuntos abertos e fechados, pontos de acumulao, conjuntos compactos e conjunto de
cantor. Limite de funes reais. Funes contnuas: funes contnuas em conjuntos
compactos e continuidade uniforme. Funes derivveis: definio de derivada, derivada e
crescimento local, funes derivveis num intervalo, frmula de Taylor, aplicaes da
derivada, concavidade e convexidade
Bibliografia Bsica
LIMA, E. L.; Anlise Vol. 1. Coleo Matemtica Universitria. IMPA, 2002.

43

LIMA, E. L.; Anlise real: funes de uma varivel, Rio de Janeiro, IMPA 2007.
RUDIN, W.; Principles of Mathematical analysis. McGraw-Hill, Inc. 1976.
PUGH, C.; Real Mathematical Analysis, Springer 2002.
BARTLE, R. G.; The Elements of Real Analysis 6 Ed. John Willey & Sons, 1976.
VILA, G.; Introduo Anlise Matemtica, Ed. Edgard Blucher, 1999.
de FIGUEIREDO, D. G.; . Anlise 1. Editora LTC, 1996.
TERENCE,T.; Analysis I, Hindustan Book Agency, 2009.
ZORICH V., COOKE, R.; Mathematical analysis, Volume 1 , Springer 2004.

BC1716- Clculo de Probabilidades
Cdigo: BC
Quadrimestre: 7
TPI: 4-0-4
Recomendaes: Funes de Vrias Variveis, Introduo Probabilidade e Estatstica
Contedo Programtico: Variveis aleatrias: Definio e funes de distribuio. Vetores
aleatrios, distribuio conjunta e marginais. Independncia. Distribuies de funes de
variveis e vetores aleatrios. O mtodo do jacobiano. Integral de Stieltjes. Esperana.
Esperana de funes de variveis aleatrias. Momentos. Esperanas de funes de vetores
aleatrios. Desigualdades: Markov, Tchesbychev, Jensen e Cauchy-Schwarz. Distribuio
condicional dada uma v.a. (caso discreto e geral), esperana condicional. Convergncia quase-
certa e Lema de Borel-Cantelli. Convergncia em probabilidade. Leis Fraca e Forte dos
Grandes Nmeros. Funes geradoras e funo caracterstica. Convergncia em distribuio e
o Teorema Central do Limite.
Bibliografia Bsica
JAMES, B.; Probabilidade: um curso em nvel intermedirio. IMPA, 2a ed., 1996.
FELLER, W.; Introduction to Probability Theory and Its Applications, Vol I. Wiley Series in
Probability and Statistics, 1968.
BRZEZNIAK, Z., ZASTAWNIAK, T.; Basic Stochastic Processes. Springer, 2000.
FELLER, W.; Introduction to Probability Theory and Its Applications, Vol II. Wiley Series in
Probability and Statistics, 1991.
ROSS, S.; Probabilidade: Um curso moderno com aplicaes. Bookman, 2010.
HOEL, P.G., Port, S.C., Stone, C.J.; Introduction to Probability Theory, Houghton Mifflin Col,
1971.
CHUNG, K. L., AITSAHLI ,F.; Elementary Probability Theory: with Stochastic Processes and

44

an Introduction to Mathematical Finance, Springer 2003.

lgebra Linear Avanada II
Cdigo: MC 1101
Quadrimestre: 8
TPI: 4-0-4
Recomendaes: lgebra Linear Avanada I
Contedo Programtico: Formas Bilineares e Sesquilineares: Formas Ortogonais, Hermitianas
e Simplticas; Teorema de Classificao das Formas Ortogonais, Hermitianas e Simplticas.
Espaos com produto interno e Hermitiano. Grupos Clssicos. lgebra Multilinear: Aplicaes
Multilineares, Produto Tensorial, Isomorfismos Cannicos, Tensores Simtricos e
Antissimtricos. lgebra Exterior
Bibliografia Bsica
KOSTRIKIN, A.I; MANIN,Yu.I.; Linear Algebra and Geometry Gordon and Breach 1989.
HOFFMAN, K., KUNZE, R.; Limear lgebra, Prentice Hall, 1971.
NORTHCOTT, D. G.; Multilinear Algebra Cambridge University Press, 1984.
BROWN, W.; A second course in linear algebra, Wiley, 1988.
ROMAN, S.; Advanced Linear Algebra, Springer, 2005.
GREUB, W.; Multilinear algebra, Springer-Verlag, 1978.
GOLAN, J.; The Linear Algebra a Beginning Graduate Student Ought to Know, Springer,
2007.
ROSE, H.E.; Linear Algebra: A Pure Mathematical Approach, Birkhuser, 2002.
KNAPP A. W.; Basic algebra, Volume 1, Springer, 2006.

Topologia
Cdigo: MC 1204
Quadrimestre: 8
TPI: 4-0-4
Recomendaes: Anlise Real I
Contedo Programtico: Espaos mtricos. Espaos Topolgicos: base, subespaos, topologia
produto, espao quociente. Funes contnuas, homeomorfismos. Conexidade e conexidade
por caminhos. Compacidade. Espaos mtricos compactos. Espaos mtricos completos.
Bibliografia Bsica
MUNKRES, J.; Topology: a first course, Prentice Hall, 1975;
WILLARD, S.; General Topology, Addison-Wesley, 1970.;

45

LIMA, E. L.; Espao Mtrico 13 Edio, Projeto Euclides, SBM, Rio de Janeiro, Rio de Ja-
neiro, 2009.
SUTHERLAND, W.A.; Introduction to metric and topological spaces, Oxford University
Press, 1975.
KAPLANSKY, I.; Set Theory and Metric Spaces, Allyn and Bacon, 1972.
LIMA, E.L.; Elementos de Topologia Geral, Editora SBM, 2009.
SIMMONS G. F.; Introduction to Topology and Modern Analysis - McGraw-Hill, 1963.
KELLEY, J. L.; General Topology. New York: Springer-Verlag, 1955.
DUGUNDJI, J.; Topology. New York: Allyn and Bacon, Inc., 1996.
MCCARTY, G.; Topology: an introduction with application to topological groups, Dover
Publications, 1988.

Anlise Real II
Cdigo: MC 1201
Quadrimestre: 8
TPI: 4-0-4
Recomendaes: Anlise Real I
Contedo Programtico: Integral de Riemann: definio, propriedades da integral, condies
suficientes de integrabilidade. Integral de Riemann-Stieltjes. Teoremas clssicos do Clculo
Integral (Teorema Fundamental do Clculo) e integrais imprprias. Sequncias e sries de
funes: convergncia simples e convergncia uniforme, propriedades da convergncia
uniforme, sries de potncias e sries de Taylor.
Bibliografia Bsica
RUDIN, W.; Principles of Mathematical analysis. McGraw-Hill, 1976.
LIMA, E. L.; Anlise Real Vol. 1. Coleo Matemtica Universitria. IMPA, 2004.
PUGH, C.; Real Mathematical Analysis, Springer ,2002.
de FIGUEIREDO, D. G.; Anlise 1. Editora LTC, 1996.
ZORICH V., COOKE, R.; Mathematical analysis, Volume 1, Springer 2004
BERBERIAN S.; A First Course in Real Analysis, Springer, 1984.
BROWDER, A. Mathematical Analysis: an Introduction, Springer, 1996.


46

Funes De Variveis Complexas
Cdigo: MC 1102
Quadrimestre: 9
TPI: 6-0-5
Recomendaes: Funes de Vrias Variveis
Nmeros complexos. Funes complexas: limite, continuidade, derivao, condies de
Cauchy-Riemann, funes harmnicas. Funes exponencial, trigonomtricas e hiperblicas.
Funes multivalentes, logaritmo. Integral de linha, teorema de Cauchy-Goursat. Frmula
integral de Cauchy e consequncias. Sequncias e sries de funes. Sries de Taylor e de
Laurent. Singularidades e Resduos: Classificao das singularidades de funes complexas.
Zeros de uma funo analtica. Clculo de resduos e aplicao no clculo de integrais de
funes reais.
Bibliografia Bsica
BROWN, J.W. e CHURCHILL, R.V. Complex Variables and Applications. Mc-Graw Hill. 8a.
ed. 2008.
SOARES, M. G. Clculo em uma Varivel Complexa. 4a.ed. Rio de Janeiro: IMPA, 2006.
LINS NETO, Alcides. Funes de uma Varivel Complexa. 2.ed. Rio de Janeiro: IMPA, 2005.
SPIEGEL, M. R. Complex Variables. New York: McGraw-Hill, 1999
AVILA, G.; Funes de uma varivel complexa. Ed. LTC;
SNIDER, A.D.; Fundamentals of Complex Analysis with Applications to Engineering, Scien-
ce, and Mathematics (3rd Edition), Prentice Hall.
AHLFORS, L.V.; Complex analysis, McGraw-Hill, 1979.
CONWAY, J.; Functions of one complex variable, Springer, 1978.
STEIN, E.; SHAKARCHI R.; Complex analysis, Princeton University Press, 2003.

Grupos
Cdigo: MC 1304
Quadrimestre: 9
TPI: 4-0-4
Recomendaes: Teoria Aritmtica dos Nmeros
Definio de grupo e exemplos: grupos cclicos, simtricos e diedrais. Subgrupos. Classes
laterais. Teorema de Lagrange. Subgrupos normais e grupos quocientes. Homomorfismos e

47

Isomorfismos. Grupos de Permutao. Ao de Grupos. Teoremas de Sylow. Grupos Solveis.
Grupos Nilpotentes.
Bibliografia Bsica
HERSTEIN,I. N.; Tpics in Algebra, Wiley, 1975.
ARMSTRONG, M. A.; Groups and Symmetry - Springer, 1988.
GARCIA, A. E., LEQUAIN, Y.; Elementos de lgebra - IMPA, Projeto Euclides, 2002.
ARTIN, M., Algebra , Prentice-Hall, 1991.
GONALVES, A.; Introduo lgebra - Projeto Euclides, IMPA, Rio de Janeiro, 1979.
FRALEIGH, J. B.; A first course in abstract algebra. Boston: Addison Wesley, 2003.
FOOTE, R. M., DUMMIT, D. S.; Abstract Algebra. 3ed. Editora IE-WILEY, 2003.
HUNGERFORD, T.; Algebra. Berlin: Springer-Verlag, 1975.
LANG, S.; Algebra, Springer 2002.

Anlise no R
N
I
Cdigo: MC 1306
Quadrimestre: 9
TPI: 4-0-4
Recomendaes: Anlise Real I, Clculo Vetorial e Tensorial e lgebra Linear
Contedo Programtico: Topologia do espao Euclidiano n-dimensional. Continuidade de
funes reais de n variveis reais. Diferenciabilidade de funes reais de n variveis reais: o
Teorema de Schwarz, a frmula de Taylor, mximos e mnimos e funes convexas. Funes
Implcitas: funo implcita, hiper-superfcies e multiplicadores de Lagrange. Aplicaes
diferenciveis: a derivada como transformao linear, vrias funes implcitas e o Teorema
da Aplicao Inversa.
Bibliografia Bsica
RUDIN, W. Principles of Mathematical analysis. McGraw-Hill, Inc. 1976
SPIVAK, M, Calculus on Manifolds, Benjamin 1969
LIMA, E. L. Anlise no espao R
n
. Coleo Matemtica Universitria, Rio de Janeiro, IMPA,
2004.
APOSTOL,T.; Mathematical analysis, Addison-Wesley Pub. Co., 1974
PUGH,C; Real Mathematical Analysis, Springer 2002
LANG, S., Undergraduate Analysis, Springer, 1997.
LIMA, E.L.; Curso de Anlise vol.2; Projeto Euclides, SBM, 1981
ZORICH V., COOKE, R.; Mathematical analysis, Volume 1 , Springer 2004
MUNKRES J. R.; Analysis on Manifolds, Westview Press 1997

48

Cdigo: MC 1302
Quadrimestre: 9
TPI: 4-0-4
Recomendaes: Topologia
Contedo Programtico: Curvas planas e espaciais. Referencial de Frenet, invariantes
geomtricos. Teorema Fundamental das Curvas. Superfcies regulares, clculo diferencial em
superfcies. Primeira forma fundamental, isometrias e aplicaes conformes.
Bibliografia Bsica
CARMO, M. P.; Geometria Diferencial de Curvas e Superfcies, Coleo Textos Universit-
rios, SBM, 2005.
O'NEILL, B; Elementary Differential Geometry, Academic Press, 1997.
STOKER, J.; Differential Geometry, John Wiley and Sons, 1989
TENENBLAT, K.; Introduo geometria diferencial, Edgard Blcher, 2008.
ARAJO, P. V.; Geometria Diferencial. Rio de Janeiro: IMPA, 2004.
STRUIK, D.; Lectures on Classical Differential Geometry, Courier Dover Publications, 1988
GRAY, A.; Modern Differential Geometry of Curves and Surfaces - CRC Press
KUHNEL, W., Differential Geometry, American Mathematical Society, 2002.

Geometria Diferencial II
Cdigo: MC 2103
Quadrimestre: 10
TPI: 4-0-4
Recomendaes: Geometria Diferencial I, lgebra Linear Avanada I
Contedo Programtico: Orientao de superfcies regulares. Aplicao normal de Gauss,
operador de Weingarten, Segunda forma fundamental. Curvatura gaussiana, curvatura mdia.
Superfcies regradas, superfcies mnimas. Teorema Egregium de Gauss. Transporte paralelo,
geodsicas. Teorema de Gauss-Bonnet e aplicaes.
Bibliografia Bsica
CARMO, M. P.; Geometria Diferencial de Curvas e Superfcies, Coleo Textos Universit-
rios, SBM, 2005.
O'NEILL, B.; Elementary Differential Geometry, Academic Press, 1997
STOKER, J.; Differential Geometry, John Wiley and Sons, 1989

49

TENENBLAT, K.; Introduo geometria diferencial, Edgard Blcher, 2008.ARAJO, P. V.;
Geometria diferencial. Rio de Janeiro: IMPA, 2004.
STRUIK, D.; Lectures on Classical Differential Geometry, Courier Dover Publications, 1988
GRAY, A.; Modern Differential Geometry of Curves and Surfaces - CRC Press
KUHNEL, W., Differential Geometry, American Mathematical Society, 2002.

Anis e Corpos
Cdigo: MC 1305
Quadrimestre: 10
TPI: 4-0-4
Recomendaes: Teoria Aritmtica dos Nmeros
Definio de Anis e exemplos. Domnios de integridade e corpos. Subanis. Homomorfismos.
Ideais e anis quocientes. Isomorfismos. Corpo de Fraes. Anis Euclidianos. O anel dos
inteiros de Gauss. Anis de Polinmios. Aritmtica do anel dos polinmios. Corpos numricos
e finitos. Elementos da Teoria de Galois.
Bibliografia Bsica
HERSTEIN,I. N. Topics in Algebra Wiley, 1975
GARCIA, A. E LEQUAIN, Y. - Elementos de lgebra - IMPA, Projeto Euclides, 2002.
COHN, P M. - An Introduction to Ring Theory - New York: Springer, 2000.
GONALVES, Adilson. Introduo lgebra. Rio de Janeiro: IMPA 2006.
GILBERT, W. J.; Modern Algebra with Applications, 2nd ed. - John Wiley & Sons, 2004.
HUNGERFORD, T. W.; Algebra Springer, 1974.
FRALEIGH, J. B. A First Course in Abstract Algebra. Boston: Addison Wesley, 2003.
LANG, S.; Algebra, Springer 2002.

Teoria da Medida e Integrao
Cdigo: MC 1104
Quadrimestre: 10
TPI: 4-0-4
Recomendaes: Anlise Real II

50

Contedo Programtico: Funes mensurveis. Espaos de medida. Construo de medidas.
Funes integrveis. Teoremas de convergncia. Espaos Lp.
Bibliografia Bsica
BARTLE, R.G.; A Modern Theory of Integration. American Mathematical Society. Providen-
ce, 2001.
BARTLE, R.; The Elements of Integration and Lebesgue Measure. Wiley. 1995.
FERNANDEZ, P.; Medida e Integrao. Projeto Euclides. IMPA, Rio de Janeiro, 1976.
ZYGMUND, A.;WHEEDEN , R, Measure and Integration, CRC Press, 1977.
VESTRUP, E. M.; The theory of measures and integration. Hoboken, N.J: Wiley Interscien-
ce, 2003.
FOLLAND, G. B.; Real Analysis - Modern Techniques and Their Applications. New York:
John Wiley.
CASTRO JR., A.; Curso de Teoria da Medida. Rio de Janeiro: IMPA, 2004.
RUDIN, W.; Real and Complex Analysis, McGraw-Hill 1986.
TAO, T.; An Introduction to Measure Theory - University of California, Los Angeles - AMS,
2011

Equaes Diferenciais Ordinrias
Cdigo: BC 1427
Quadrimestre: 11
TPI: 4-0-4
Recomendaes: Anlise no Rn I, lgebra Linear Avanada I
Contedo Programtico: Teorema de Existncia e Unicidade. Dependncia contnua e
diferencivel das condies iniciais. Equaes lineares. Exponencial de matrizes. Classificao
dos campos lineares no plano. Classificao topolgica dos sistemas lineares hiperblicos.
Equaes lineares no homogneas. Estabilidade de Lyapounov. Funes de Lyapounov.
Pontos fixos hiperblicos. Teorema de Linearizao de Grobman-Hartman. Fluxo associado a
uma equao autnoma. Conjuntos limites. Campos gradientes. Campos Hamiltonianos.
Campos no plano: rbitas peridicas e Teorema de Poincar-Bendixson.
Bibliografia Bsica
ARNOLD, V.; Ordinary Differential Equations. MIT Press. Massachusetts, 1978.
SOTOMAYOR, J.; Lies de Equaes Diferenciais Ordinrias. Projeto Euclides. IMPA, Rio
de Janeiro, 1979.
HIRSH, M., SMALE, S.; Differential Equations, Dynamical Systems and Linear Algebra. New
York: Academic Press, 1974.
PERKO, L.; Differential Equations and Dynamical Systems. Berlin: Springer-Verlag. 1991.
CODDINGTON, E. A.; An introduction to ordinary differential equations. New York: Dover

51

Publications, 1989, c1961. 292 p.
WALTER, W.; Ordinary differential equations. New York: Springer, 1998.
de FIGUEIREDO, D. G; NEVES A. F. - Equaes Diferenciais Aplicadas - Publicao IMPA,
2001.

Programao Matemtica
Cdigo: BC 1432
Quadrimestre: 11
TPI: 3-1-4
Recomendaes: lgebra Linear
Introduo: Revises de lgebra linear e conjuntos convexos. Programao linear:
Modelagem; Resoluo Grfica; Teoremas Bsicos; O mtodo simplex ; Simplex revisado;
Dualidade; Algoritmos primal-dual e dual-simplex; Anlise de sensibilidade. Programao
Dinmica.
Bibliografia Bsica
CARMO P.F.B., OLIVEIRA, A.A., BORNSTEIN, C.T., Introduo Programao Linear, COP-
PE-UFRJ, 1979.
EHRLICH P.; Pesquisa Operacional, Editora Atlas, 1987.
PUCCINI, A.L.; PIZZOLATO, N.D., Programao Linear, LTC, 1990.
GOLDBARG M.C., LUNA H.P.L.; Otimizao combinatria e programao linear- modelos e
algoritmos. Campus, RJ, 2000.
WAGNER. H.M.; Pesquisa Operacional, Prentice Hall, 1986.
VANDERBEI R. J.; Linear Programming, Second Edition - Foundations and Extensions, S-
pringer, 2001.
HILLIER F., LIEBERMAN G.; Introduo Pesquisa Operacional, Editora Campus Ltda., Edi-
tora da Universidade de So Paulo, 1988.

Probabilidade
Cdigo: MC 1202
Quadrimestre: 11

52

TPI: 4-0-4
Recomendaes: Teoria da Medida e Integrao, Introduo a Probabilidade e Estatstica.
Espaos de Probabilidade: Medidas de Lebesgue-Stieltjes e de Probabilidade; Teorema de
existncia, extenso e completamento. Elementos aleatrios. Esperana Matemtica e Teo-
remas de Convergncia. Medidas produto e Independncia. Esperana Condicional e o Teo-
rema de Radon-Nikodym. Modos de convergncia. Leis dos grandes nmeros. Funo caracte-
rstica e o Teorema Central do Limite
Bibliografia Bsica
ROSENTHAL, J. S.. A first look at rigorous probability theory. 2.ed. Nova Jersey: World Sci-
entific, 2006.
SHIRYAEV, A. N. Probability. Second edition. Springer, 1996.
BILLINGSLEY, P. Probability and Measure. Third edition. Wiley, 1995.
BREIMAN, L.; Probability. Addison-Wesley, 1968.
CAPINSKI, M.; KOPP, E.; Measure, Integral and Probability. 2nd ed. London: Springer; Un-
dergraduate; Mathematics; Series, 2004.
ROUSSAS, G..; An introduction to Measure-theoretic Probability. Boston: Elsevier Acade-
mic Press, 2005
KALLENBERG, O.; Foundations of Modern Probability. 2nd ed.. New York: Springer, 2002.
FRISTEDT, B., GRAY L. F.; A Modern Approach to Probability Theory, Birkhauser, 1997.

Evoluo dos Conceitos Matemticos
Cdigo: BC 1438
Quadrimestre: 10
TPI: 4-0-4
Disciplina requisito: Bases Matemticas; Funes de uma Varivel Bases Epistemolgicas da
Cincia Moderna

Investigao acerca das concepes e dos conceitos matemticos e da matemtica como sis-
tema de conhecimento por intermdio da anlise conceitual; exame ad matemtica de natu-
reza emprica, ou seja, os conceitos e a matemtica emprica, anterior e exterior Grcia He-

53

lnica e em outros momentos; matemtica e fundamentos da matemtica na Grcia Helnica;
justificao em matemtica, a noo de prova legtima: induo, deduo e a abstrao con-
ceitual; Elementos de Euclides: geometria, nmeros e aplicao do mtodo axiomtico mate-
rial e do rigor; o desenvolvimento do clculo diferencial e integral, os sistemas de nmeros; a
era dos infinitsimos e assemelhados, as diferentes caracterizaes dos objetos e dos mto-
dos; matemtica abstrata: conceito de funo, estruturas algbricas, carter algbrico dos
objetos e das relaes; geometrias no-euclidianas; mtodo axiomtico formal; teoria de con-
juntos e fundamentos da matemtica contempornea.
Bibliografia Bsica
BURTON, D. M. The history of mathematics: an introduction. Columbus, McGraw-Hill,
7.ed., 2010
CORRY, L.; Modern algebra and the rise of mathematical structures. Basel, Birkhuser,
2004.
EDWARDS, C. H. Jr. The historical development of the calculus. New York, Springer, 1994.
EUCLIDES. Os elementos. So Paulo, UNESP, 2009.
EVES, H. Foundations and fundamental concepts of mathematics. Mineola (New York),
Dover, 3.ed., 1997.
GREENBERG, M. J. Euclidean and non-Euclidean geometries: development and history.
New York , W. H. Freeman, 4.ed., 2007.
HEATH, T. L. Euclid: the thirteen books of The Elements. Mineola (New York), Dover, 2.ed.,
1956.
HILBERT, D.; Fundamentos da geometria. Lisboa, Gradiva, 2003.
MANCOSU, P. Philosophy of mathematics and mathematical practice in the seventeeth
century. Oxford, Oxford University, 2008.
ORE, O.. Number theory and its history. Mineola (New York), Dover, 1948.
WUSSING, H. The genesis of the abstract group concept. Mineola (New York), Dover, 2007.
ASPRAY, William & KITCHER, Philip (eds). History and philosophy of modern mathematics.
Minneapolis, University of Minnesota, 1988.
BARON, M. The origins of infinitesimal calculus. Mineola (New York), Dover, 1969.
BENACERRAF, Paul & PUTNAM, Hilary (eds). Philosophy of mathematics: selected rea-
dings. Cambridge, Cambridge University, 1983.
BOYER, Carl. B. Histria da matemtica. So Paulo, Edgard Blcher, 2.ed., 1996.
BOYER, Carl. B. The history of the calculus and its conceptual development. Mineola (New
York), Dover, 1959.
BOYER, Carl. B. History of the analytic geometry. Mineola (New York), Dover, 2004.

54

CAJORI, Florian. Uma histria da matemtica. Rio de Janeiro, Cincia Moderna, 2007.
CAJORI, Florian. A history of mathematical notations, vol. 1. New York, Cosimo, 2007.
CAJORI, Florian. A history of mathematical notations, vol. 2. New York, Cosimo, 2007.
CAJORI, Florian. A history of the conceptions of limits and fluxions in Great Britain, from
Newton to Woodhouse. Charleston (South Carolina), Nabu Press (BiblioLabs LLC), 2010.
CANTOR, Georg. Contributions to the founding of the theory of transfinite numbers. Mine-
ola (New York), Dover, 1955.
COURANT, Richard & ROBBINS, Herbert. O que matemtica? Rio de Janeiro, Cincia
Moderna, 2000.
DEDEKIND, Richard. Essays on the theory of numbers. Mineola (New York), Dover, 1963.
GUICCIARDINI, Niccol. Reading the Principia: the debate on Newtons mathematical me-
thods for natural philosophy from 1687 to 1736. Cambridge, Cambridge University, 1999.
HACKING, Ian. The emergence of probability: a philosophical study of early ideas about
probability, induction and statistical inference. Cambridge, Cambridge University, 1999.
HEATH, Thomas L. A history of Greek mathematics: from Tales to Euclid. Mineola (New
York), Dover, 1981.
HEATH, Thomas L. A history of Greek mathematics: from Aristarchus to Diophantus. Bos-
ton, Adamant Media, 2000.
HEATH, Thomas L. The works of Archimedes. Mineola (New York), Dover, 2002.
HILBERT, David. The foundations of geometry. Whitefish, Kessinger Publishing, 2010.
KATZ, Victor J. A history of mathematics. New York, Addison Wesley, 3.ed., 2008.
KATZ, Victor J. Histria da matemtica. Lisboa, Fundao Calouste Gulbenkian, 2010.
KLEIN, Jacob. Greek mathematical thought and the origin of algebra. Mineola (New York),
Dover, 1992.
KLEINER, Israel. A history of abstract algebra. Boston, Birkhuser, 2007.
KRAGH, Helge. Introduo historiografia da cincia. Porto, Porto Editora, 2001.
LEIBNIZ, Gottfried W. The early mathematical manuscripts of Leibniz. Mineola (New York),
Dover, 2005.
MANCOSU, Paolo (ed). From Brouwer to Hilbert: the debate on the foundations of ma-
thematics in 1920s. Oxford, Oxford University, 1998.
MUELLER, Ian. Philosophy of mathematics and deductive structure in Euclid's Elements.
Mineola (New York), Dover, 4.ed., 2006.
PESIC, Peter. Beyond geometry: classic papers from Riemann to Einstein. Mineola (New
York), Dover, 2007.
SMITH, David E. A source book in mathematics. Mineola (New York), Dover, 1984.
STILLWELL, John. Mathematics and its history. Berlin, Springer, 2010.

55

Equaes Diferenciais Parciais
Cdigo: MC 1307
Quadrimestre: 12
TPI: 4-0-4
Recomendaes: Anlise Real I, Clculo Vetorial e Tensorial
Classificao em tipos. Condies de contorno e valores iniciais. O mtodo de Separao de
variveis. Convergncia pontual e uniforme das series de Fourier, identidade de Parseval.
Equao do Calor: conduo do calor em uma barra, o problema da barra infinita. Equaes
da Onda: equao da corda vibrante, corda dedilhada, corda finita e semi-infinita, solues
generalizadas Sobolev. Equaes de Laplace: O problema de Dirichlet em um retngulo e no
disco.
Bibliografia Bsica
De FIGUEIREDO, D. Anlise de Fourier e Equaes Diferenciais Parciais. Projeto Euclides.
4. ed. IMPA. 2003.
IRIO, V.; EDP: Um curso de Graduao. 2. ed. Rio de Janeiro. IMPA. 2001.
STRAUSS, W.A. Partial Differential Equations: An Introduction. Johnn Wiley and Sons. Inc.
1992.
EVANS, L; Partial Differential Equations, American Mathematical Society 1998
FOLLAND,G; Introduction to Partial Differential Equations, Princeton 1995
JOHN, F. - Partial Differential Equations, Springer 1981
STRAUSS W; Partial Differential Equations: An Introduction, Wiley 2007
JOST, J.; Partial Differential Equations, Springer, 2007.

Extenses Algbricas
Cdigo: MC2108
Quadrimestre: 12
TPI: 4-0-4
Recomendaes: Anis e Corpos, Grupos, lgebra Linear Avanada.
Extenses finitas, Extenses algbricas, Extenses separveis, corpos finitos, Extenses
puramente inseparveis, Extenses normais, Teoria de Galois, Extenses ciclotmicas, Soluo
por meio de radicais, Construo com rgua e compasso, Extenses Transcendentes.
Bibliografia Bsica

56

ENDLER, O. , Teoria dos Corpos. Rio de Janeiro, IMPA. 2005
EDWARDS, H.; Galois Theory, Springer 1984.
ARTIN, E.; Galois Theory. Dover 1944.
JACOBSON, N.; Basic Algebra I, 2a ed. Freeman, 1974.
FRALEIGH, J. B.; A first course in abstract lgebra. 7a. ed. Addison Wesley, 2000
JACOBSON, N. Basic lgebra II, 2a ed. Freeman, 1974.
VINBERG,B .; A course in algebra , American Mathematical Soc., 2003.
LANG, S.; Algebra, Springer, 2001.
STEWART, i. Galois Theory, Chapman and Hall, 1972.
KAPLANSKY I.; Introduo a Teoria de Galois., IMPA, Rio de Janeiro 1966.


57

DISCIPLINAS DE OPO LIMITADA DO BACHARELADO EM MATEMTICA

Teoria Dos Grafos
Cdigo: BC 1429
TPI: 4-0-4
Recomendaes: Processamento da Informao, Matemtica Discreta
Conceitos bsicos de grafos dirigidos e no-dirigidos. Passeios, caminhos, circuitos. Grafos
bipartidos e multi-partidos. Subgrafos. Isomorfismo. Conexidade. Florestas e rvores. Exem-
plos de problemas de interesse: colorao de vrtices; clique mximo; caixeiro viajante; pro-
blemas de fluxo. Estruturas de dados para a representao de grafos. Percursos em grafos:
em largura, em profundidade. Ordenao topolgica. rvores geradoras mnimas. Algoritmo
de Kruskal. Caminhos mnimos em grafos: algoritmo de Dijkstra, algoritmo de Floyd-Warshall.
Emparelhamentos: Teorema de Hall.
Bibliografia Bsica
CORMEN, T.H., LEISERSON, C.E., RIVEST, R.L. and STEIN, C., Algoritmos - Teoria e Prtica.
Campus, 2002.
BONDY, J.A.; MURTY, U.S.R.; Graph Theory. Springer, 2008.
CHARTRAND, G. Introductory graph theory. Dover, 1985
SEDGEWICK, R. Algorithms in C, Part 5: Graph Algorithms, Addison-Wesley Professional,
3
rd
Edition, 2001. (ISBN: 0201316633, ISBN-13: 978-0201316636)
BOLLOBS, B. Modern Graph Theory, Springer, Corrected Edition, 1998. (ISBN:
0387984887, ISBN-13: 978-0387984889)
BOAVENTURA NETTO, P.. Grafos: Teoria, Modelos, Algoritmos. So Paulo: Editora Edgard
Blcher, 2003. (ISBN: 8521203918, ISBN-13: 978-85-212-0391-9)
CHARTRAND, G., LESNIAK, L., ZHANG, P. Graphs & Digraphs, Chapman and Hall/CRC, 5th
Edition, 2010. (ISBN: 1439826277, ISBN-13: 978-1439826270)
GROSS, J. L.; YELLEN, J.; Graph theory and its applications. 2nd ed. Boca Raton: Chapman
& Hall/CRC, c2006. 779 p. (Discrete mathematics and its applications). Includes bibliogra-
phical references and index. ISBN 978158488
ANDERSON, I.; A first course in discrete mathematics. London: Springer, 2001. 200 p. (S-
pringer undergraduate mathematics series). ISBN 1852332360.

Mdulos

58

Cdigo: MC2109
TPI: 4-0-4
Recomendaes: Grupos, Anis e Corpos
Mdulos sobre um anel comutativo R, Submdulo, Teorema do homomofismo e do
Isomorfismo para R-mdulos, Sequncias exatas, Soma direta e produto direto de uma famlia
de R-modulos, Mdulos livres, Mdulos projetivos e injetivos, os funtores Hom e produto
tensorial, Conjuntos ordenados e condies de cadeia, Anis e mdulos com condio de
cadeia: R-modulos noetherianos e artinianos, Teorema de Krull-Schmidt (teorema de
estrutura para mdulos de comprimento finito), Teorema de estrutura de Wedderburn para
anis semisimples com a condio minimal.
Bibliografia Bsica
RIBENBOIM, P. Rings and modules. Interscience, (Interscience tracts in pure and applied
mathematics v. 24), 1969.
JACOBSON, N. Basic Algebra I, 2
nd
ed. Freeman, 1974.
JACOBSON, N. Basic lgebra II, 2
nd
ed. Freeman, 1974.
LAM, T. Y. A first course in non-commutative rings. Springer, NY, 2001.
LANG, S.; Algebra, Springer, 2001.
DAUNS, J..; Modules and rings, Cambridge University Press, 1994.
ADKINS, W. A.; WEINTRAUB, S. A. Algebra: an approach via module theory, Springer 1992.
BERRICK, J., KEATING, M.; An introduction to rings and modules with K-theory in view,
Cambridge University Press, 2000.
HUNGERFORD, T.; Algebra, Springer, 1974.

Teoria Aritmtica dos Nmeros II
Cdigo: BC1714
TPI: 4-0-4
Recomendaes: Teoria Aritmtica dos Nmeros I
Contedo Programtico: Congruncias: Soluo de congruncias, o Teorema Chins dos Res-
tos. Soluo de congruncias polinomiais. Reduo de soluo de congruncia polinomial
mdulo potncia de primo. Razes primitivas e potncias de resduos. Congruncias de grau 2
mdulo primo p. Resduos quadrticos, reciprocidade quadrtica, o smbolo de Jacobi, formas
quadrticas binrias.Equivalncia e reduo de formas quadrticas binrias. Soma de dois
quadrados. Formas quadrticas binrias positivamente definidas. Funo maior inteiro. Fun-
es aritmticas. Frmula de inverso de Moebius. Funes recorrentes.

59

Bibliografia:
NIVEN, I.; ZUCKERMAN, H. S., MONTGOMERY, H.L., An introduction to number theory, 5
th

edition, Wiley, 1991.
IRELAND, K.; ROSEN, M.;; A Classical Introduction to Modern Number Theory, Springer,
2010.
BOREVICH, Z. I. ; SHAFAREVICH, I. R. ; Newcomb Greenleaf, Academic Press, 1967.
ROSE, H.E.; A Course in Number Theory, 2nd Edition, OUP 1995.
LEVEQUE, W. J.; Topics in Number Theory, Volumes I and II, Dover 2002.
COHN, H.; Advanced number theory, Dover 1980.

Introduo s Curvas Algbricas
Cdigo: MC2400
TPI: 4-0-4
Recomendaes: Anis e Corpos
Curvas afins: definio, conjuntos algbricos, teorema da Base de Hilbert, conjuntos
irredutveis, Nullstellensatz, mudanas de coordenadas, interseo de curvas, resultantes,
multiplicidades, pontos mltiplos. Curvas projetivas: o plano projetivo, curvas projetivas,
interseco de curvas projetivas. Teorema de Bzout. Frmulas de Plcker, Cbicas no
singulares e a lei de grupo.
Bibliografia:
FULTON, W.: Algebraic curves, Benjamim, 1974.
VAINSENCHER, I.: Introduo s curvas algbricas planas, Matemtica Universitria, SBM,
1996.
GIBSON, C. G. Elementary geometry of algebraic curves: an undergraduate introduction.
Cambridge University Press, Cambridge, 1998.
KUNZ E.; Introduction to Commutative Algebra and Algebraic Geometry, Birkhauser
1984.
GRIFFITHS, P.; HARRIS, J.; Principles of Algebraic Geometry, Wiley-Interscience, 2011.
KUNZ E.; Introduction to plane algebraic curves, Birkhauser, 2005.
HARRIS, J.; Algebraic geometry: a first course Springer, 1992.
SEIDENBERG, A.; Elements of the Theory of Algebraic Curves, Addison-Wesley, 1969.
GRIFFITHS, P., HARRIS, J.; Principles of Algebraic Geometry, John Wiley & Sons, 2011

60

Introduo Inferncia Estatstica
Cdigo: BC1415
Quadrimestre:
TPI: 3-1-4
Recomendaes: Bases Matemticas, Funes de uma varivel, Funes de vrias variveis,
Introduo a Probabilidade e a Estatstica.
Objetivos: Complementar o estudo dos modelos probabilsticos mais importantes para
variveis aleatrias contnuas e introduzir as principais tcnicas estatsticas para a inferncia
de parmetros populacionais e para a construo de testes aplicados a hipteses em
diferentes reas do conhecimento.
Contedo Programtico: Variveis aleatrias contnuas: funo densidade de probabilidade e
funo de distribuio acumulada. Interpretao geomtrica da probabilidade. Mdia e
varincia de variveis aleatrias contnuas. Modelos probabilsticos para variveis aleatrias
contnuas: uniforme, gaussiano, exponencial, qui-quadrado, t de Student e F de Snedecor.
Aproximao normal e o Teorema Limite Central. Populao, amostra, parmetros e
estatsticas: os problemas da inferncia estatstica. Distribuio amostral da mdia e da
varincia. Estimao por ponto e intervalo. Propriedades dos estimadores. Testes de
hipteses: Erros de 1 e 2 espcies. Nvel descritivo (P-valor). Testes para propores. Testes
de Hipteses para mdia e Comparao de duas mdias (com varincia conhecida e
desconhecida). Testes qui-quadrado (aderncia, homogeneidade e independncia). Testes
para varincia.
Bibliografia Bsica
BUSSAB, W. DE O., MORETTIN, P. A. Estatstica Bsica. 6 edio. Editora Saraiva, 2010.
H. BOLFARINE, H. E SANDOVAL, M.C. Introduo Inferncia Estatstica, ed. Sociedade
Brasileira de Matemtica, 2001.
DEGROOT, M.H. AND SCHERVISH, M.J. Probability and Statistics, 3rd edition, Addison-
Wesley, 2001
ANDERSON, D. R., SWEENEY, D. J., WILLIAMS, T. A. Estatstica Aplicada Administrao e
Economia. 2 ed., CENGAGE Learning. 2011.
HOFFMANN, R. Estatstica para Economistas. 4 ed., CENGAGE Learning. 2009.
WONNACOTT, R. J. Introduo Estatstica, LTC, Rio de Janeiro, 1980.
MOOD, A.M., GRAYBILL, F.A. AND BOES, D.C. Introduction to the Theory of Statistics, 3rd
edition, McGraw-Hill, 1974.

Inferncia Estatstica
Cdigo: MC2308

61

TPI: 4-0-4
Recomendaes: Introduo a Probabilidade e Estatstica.
Amostras e distribuies amostrais. Mtodos de Estimao Clssicos e Bayesianos. Suficincia.
Famlia Exponencial. Mtodos de obteno de Estimao por Intervalos. Mtodos de
obteno de Testes de Hipteses.
Bibliografia Bsica
H. BOLFARINE, H. E SANDOVAL, M.C. Introduo Inferncia Estatstica, ed. Sociedade
Brasileira de Matemtica, 2001.
P. G. HOEL, P.G., PORT, S.C. AND STONE, C.J. Introduction to Statistical Theory, Hougton-
Mifflin, 1971.
HOGG, R.V. & CRAIG, A.T.; Introduction to Mathematical Statistics, 5 edio, Upper Sad-
dle River: Prentice Hall, 1995.
MOOD, A.M., GRAYBILL, F.A. AND BOES, D.C. Introduction to the Theory of Statistics, 3rd
edition, McGraw-Hill, 1974.
DEGROOT, M.H. AND SCHERVISH, M.J. Probability and Statistics, 3rd edition, Addison-
Wesley, 2001.
LINDGREN, B.W.; Statistical Theory, 4 edio, Nova York: Chapman & Hall, 1993.
MIGON, H. S., GAMERMAN, D.; Statistical Inference: An Integrated Approach Arnold, Lon-
don, 1999.
LINDSEY, J.K.; Parametric Statistical Inference. Oxford University Press, 1996.

Anlise no R
n
II
Cdigo: MC2102
TPI: 4-0-4
Recomendaes: Anlise no R
n
I
Integrais Mltiplas: definio de integral, conjuntos de medida nula, condio de
integrabilidade (Teorema de Lebesgue), conjuntos J-mensurveis. Integral como limite de
somas de Riemann. Mudana de variveis. Formas diferenciais Integrais de Superfcies.
Teorema de Stokes
Bibliografia Bsica
SPIVAK, M. Calculus on Manifolds, Westview Press, 1971.
LIMA, E. L.; Anlise no espao R
n
. Coleo Matemtica Universitria, Rio de Janeiro, IMPA,
2004.

62

RUDIN, W.; Principles of Mathematical analysis. McGraw-Hill, Inc. 1976.
LIMA, E. L.; Anlise Real Vol. 2. Coleo Matemtica Universitria. IMPA, 2004.
APOSTOL,T.; Mathematical analysis, Addison-Wesley Pub. Co., 1974.
PUGH,C.; Real Mathematical Analysis, Springer 2002.
LANG, S.; Undergraduate Analysis, Springer, 1997.
ZORICH V., COOKE, R.; Mathematical analysis, Volume 1 , Springer 2004.
GIAQUINTA, M., MODICA, G,; Mathematical Analysis: An Introduction to Functions of Se-
veral Variables , Birkhauser, 2009.
EDWARDS, C.H.; Advanced calculus of several variables, Dover 1973.
MUNKRES J. R.; Analysis on Manifolds, Westview Press 1997.

Grupo Fundamental e Espao de Recobrimento
Cdigo: MC2401
TPI: 4-0-4
Recomendaes: Topologia e Grupos
Homotopia de Funes. Grupo fundamental. Teoria dos espaos de recobrimento e sua rela-
o com o grupo fundamental. O grupo fundamental do crculo, do toro, e de alguns grupos
clssicos. Teorema de Van Kampen. O grupo fundamental das superfcies compactas. Aplica-
es: Teorema do Ponto Fixo de Brower, Teorema de Borsuk-Ulam, Teorema Fundamental da
lgebra.
Bibliografia
LIMA, E. L. - Grupo Fundamental e Espaos de Recobrimento. Projeto Euclides. Rio de
Janeiro, IMPA, 2006.
HATCHER, A. Algebraic Topology, AMS 2003
MASSEY, W. S. - A Basic Course in Algebraic Topology, Graduate Texts in Mathematics,
Springer-Verlag, 1991
MUNKRES, J., Topology: a first course, Prentice Hall, 1975.
FULTON, W.; Algebraic Topology, Springer, 1999.
ROTMAN, J.J.; An introduction to Algebraic Topology, Graduate texts in Mathematics,
Springer, 1988.
MUNKRES J.; Algebraic Topology, Prentice Hall 2000.

63

MAY, P.; A concise course in algebraic topology, University of Chicago Press, 1999.
BREDON, G. E.; Topology and geometry, Springer, 1993.

Formas Diferenciais
Cdigo: MC2402
TPI: 4-0-4
Recomendaes: Geometria Diferencial I e Anlise no Rn I
Formas diferenciais em Rn . Integrais de linha. Variedades diferenciais e Campos Vetoriais.
Integrao em variedades. Teorema de Stokes. Lema de Poincar. Mtodo do referencial
mvel de Cartan: equaes de estrutura, formas de conexo e curvatura. ndice de um campo
e a caracterstica de Euler-Poincar. O Teorema de Gauss-Bonnet para superfcies compactas.
Teorema de Morse.
Bibliografia
DO CARMO, Differential Forms and Applications to Geometry, Springer 1992.
SPIVAK M, Calculus on Manifolds, Benjamin, 1965.
MUNKRES, J., Analysis On Manifolds Westview Press 1997
BOTT, R; TU L., Differential forms in algebraic topology, Springer 1982.
MILNOR, J. W. Morse theory, Princeton 1963.
WEINTRAUB, S.; Differential forms: a complement to vector calculus, Academic Press,
1997.
BACHMAN, D.; A geometric approach to differential forms, Springer, 2006.
EDWARDS, H.; Advanced calculus: a differential forms approach, Springer, 1994.

Geometria no Euclidiana
Cdigo MC2114
TPI: 4-0-4
Recomendaes: no h
Ementa Conceitos primitivos e sistemas de axiomas: incidncia, ordem, congruncia, continuida-
de, paralelismo. Geometria Absoluta: teorema dos ngulos interiores, existncia de perpendicula-

64

res, casos de congruncia de tringulos e desigualdades geomtricas. Espao Hiperblico: ngulos
de paralelismo, defeitos angulares de tringulos, ultra paralelismo, pontos no infinito, isometrias.
Modelos do plano hiperblico: formulas para distncia e rea. Representao matricial do grupo
de Isometrias.
Bibliografia
RAMSEY, A., RICHTMYER, R. An introduction to hyperbolic geometry Springer 1985;
GREENBERG, M, Euclidean and non-Euclidean geometries: development and history, W.H.
Freeman, 2007
COXETER, H.; Non-Euclidean geometry, Cambridge University Press, 1998.
EVES, H. A survey of geometry; Allyn and Bacon, 1972
REZENDE, E.Q.F. and QUEIROZ, M.L.B., Geometria euclidiana plana; Campinas: Editora da
UNICAMP, 2000.
ANDERSON, J. W., Hyperbolic geometry, Springer 2005.
HILBERT, H., COHN-VOSSEN, S. Geometry and Imagination. New York: Chelsea, 1999.
MARTIN, G.; The foundations of geometry and the non-Euclidean plane, Springer, 1975.
MILLMAN, R.; PARKER, G.; Geometry, a metric approach with models, Springer, 1991.
CEDERBERG, J. A course in modern geometries, Springer, 2001.

Anlise de Regresso
Cdigo: MC2302
TPI: 3-1-4
Recomendaes: lgebra Linear, Introduo Inferncia Estatstica
Contedo Programtico
Regresso Linear Simples. Regresso Linear Mltipla. Mtodos de Diagnstico. Mtodos de
Seleo de Variveis. Modelos Lineares Generalizados.
Bibliografia Bsica
DRAPER, N.R. and SMITH, H. (1998). Applied regression analysis, 3nd.ed., John Wiley.
LINDSEY, J.K. Applying generalized linear models. Springer. (1997).
NETER, J., KKUTNER, M.H., NACHTSHEIM, C.J. and WASSERMAN, W. Applied linear statistical
models, 4th. ed., Times Mirror Higher Education Group. (1996).
SEBER, G.; LEE A.; Linear Regression Analysis, Wiley-Interscience; 2 edition, 2003.

65

RATKOVSKY, D.A. Nonlinear regression modelling, Marcel Dekker. (1983).
SEARLE, S. R. . Linear Models, Wiley-Interscience, 1997.
ARNOLD, S.F.; The Theory of Linear Models and Multivariate Analysis. New York: Wiley, 1981.
KUTNER, M., NACHTSHEIM, C.; NETER, J. & LI, W.. Applied Linear Statistical Model, Mc Graw-
Hill; 5th edition, 2004.

Anlise Multivariada
Cdigo: MC2303
TPI: 4-0-4
Recomendaes: lgebra Linear, Introduo Inferncia Estatstica
Contedo Programtico
Grficos multivariados. Regresso multivariada. Componente principal. Anlise fatorial.
Discriminao e classificao. Anlise de agrupamentos. Escalonamento multidimensional.
Correlao cannica. Anlise de correspondncia. Anlise de Varincia Multivariada.
Bibliografia Bsica
GREENACRE, M.J., Theory and applications of correspondence analysis, Academic Press, Lon-
don, 1984.
JOHNSON, R.A. and WICHERN, D. W., Applied multivariate statistical analysis, Prentice-Hall,
4rd.ed., 1998.
MARDIA, K.V., KENT, J. T. and BIBBY, J.M., Multivariate analysis, Academic Press, 1979.
VENABLES, W. N. AND RIPLEY, B. D. Modern Applied Statistics with S-Plus. New York, Springer-
Verlag, 1994.
HAIR JR, J.F., ANDERSON, R. E., TATHAM, R. L. AND BLACK, W. C. Multivariate Data Analysis.
New Jersey: Prentice Hall, 1995.
MORRISON, D.; Multivariate Statistical Methods, 3rd Ed., McGraw Hill, 1990.
KRZANOWSHI, W.J. Principles of Multivariate Analysis. A User's Perspective. Oxford Statistical
Science Series, 3, Oxford Science Publications, 1988.

Introduo Estatstica Bayesiana
Cdigo: MC2310
TPI: 3-1-4
Recomendaes: Introduo Inferncia Estatstica

66

Contedo Programtico
Reviso de Probabilidade e Teorema de Bayes. Inferncia Bayesiana: caso discreto. Inferncia
Bayesiana para propores. Inferncia Bayesiana: caso contnuo. Inferncia Bayesiana para a
diferena entre duas mdias. Regresso linear Bayesiana. Inferncia Bayesiana para o desvio
padro. Mtodos Bayesianos robustos.
Bibliografia Bsica
BOLSTAD, M.W. Introduction to Bayesian Statistics. Wiley-Interscience; 2 edition.
KOCK, K.R. Introduction to Bayesian statistics, Springer, 2007
LEONARD, T.;. HSU, J.; Bayesian methods: an analysis for statisticians and interdisciplinary re-
searchers, Cambridge 2001
LEE, J., LEE P, Bayesian Statistics: An Introduction, John Wiley & Sons, 2004
ALBERT, J.; Bayesian Computation with R Springer, 2009
BRADLEY. P. CARLIN & THOMAS A. LOUIS, Bayesian Methods for Data Analysis Third Edition,
Chapman & Hall, 2008.
GELMAN, A., CARLIN, J., STERN, H. AND RUBIN, D. Bayesian Data Analysis, Chapman & Hall,
1995
MIGON, H.S. AND GAMERMAN, D. Statistical Inference: an Integrated Approach, Arnold, 1999

Mtodos de Otimizao
Cdigo: MC4001
TPI: 3-1-4
Recomendaes: Programao Matemtica
Contedo Programtico
Minimizadores locais e globais; Minimizao sem restries; Condies de otimalidade; Convexida-
de; Ordem de convergncia; Direes de descida; Busca linear;Mtodos de descida; Minimizao
com restries lineares e no lineares Condies de otimalidade; Restries de igualdade e de desi-
gualdade; Mtodo de restries ativas.
Bibliografia Bsica
FRIEDLANDER, A., Elementos de Programao No Linear, Ed. da Unicamp, 1994.
LUENBERGER, D. G., Linear and Nonlinear Programming, 2nd Edition, Addison-Wesley co., 1984.
BAZARAA, M.S., JARVIS, J.J., Linear Programming and Network Flows, N. Y., J. Wiley, 1977.
GOLDBARG L., Otimizao Combinatria e Programao Linear: Modelos e Algoritmos, Edt
Campus, 2000.

67

LUENBERGER, D. G., Linear and Nonlinear Programming, 2nd Edition, Addison-Wesley co., 1984.
FLETCHER, R., Practical Methods of Optimization, 2nd Edition, John Wiley and Sons, 1986.
MICHALEWICZ, Z.; FOGEL, D.B.; How to Solve it: Modern Heuristics. New York: Springer-Verlag,
1999.
LASDOM, L.S.; Optimization Theory for Large Scale Systems. Toronto: MacMillan Series in Ope-
rations Research 1970.

Introduo Modelagem e Processos Estocsticos
Cdigo: BC1414
TPI: 3-1-4
Recomendaes: Introduo Probabilidade e Estatstica
Contedo Programtico
Cadeias de Markov. Processos de ramificao. Passeios aleatrios. Processo de Poisson. Cadeias de
Markov em tempo contnuo. Fila M/M/1. Teoria da Renovao. Movimento Browniano.
Bibliografia Bsica
ROSS, S.M. Introduction to Probability Models. 9a. ed. Academic Press. 2006.
DURRETT, R. Essentials of Stochastic Processes. Springer. 1999.
HAIGH, J. Probability Models. Springer. 2005.
GRIMMETT R. and STIRZAKER, D.R. Probability and Random Processes. 2a. ed. Oxford Science
Publications. 1998.
BHAT, N., MILLER, GK., Elements of Applied Stochastic Processes, Wiley Series in Probability and
Statistics, 2002.
CINLAR, E., Introduction to Stochastic Processes, Prentice-Hall, 1975.
KARLIN, S., TAYLOR, H. E., An Introduction to Stochastic Modeling, 3th Edition, Academic Press,
1998

Percolao
Cdigo : MC2313
TPI: 4-0-4
Recomendaes: Introduo Probabilidade e Estatstica, Anlise Real I

68

Contedo Programtico
Percolao de Bernoulli. Transio de fase. Desigualdade de correlao; frmula de russo. Fase sub-
crtica: unicidade, mixing exponencial e aglomerados finitos. Fase supercrtica: unicidade do aglo-
merado infinito. Percolao de primeira passagem.
Bibliografia Bsica
FONTES, L.R.G., Notas em percolao, monografias em Matemtica, 54 IMPA, 1996
GRIMMETT, G.R., Percolation, Springer, New York, 1989.
GRIMMETT, G., Probability on Graphs: Random Processes on Graphs and Lattices, Cambridge
University Press; 1 edition, 2010.
BOLLOBS, B., RIORDAN, O., Percolation, Cambridge University Press, 2006.
STAUFFER, D., AHARONY, A., Introduction to Percolation Theory, CRC Press; 2 edition, 1994.
SAHIMI, M., Applications Of Percolation Theory, CRC Press, 994.
MEESTER, R., Roy, R., Continuum Percolation, Cambridge University Press; 1, 2008.
BREMAUD, P.; Markov Chains: Gibbs Fields, Monte Carlo Simulation and Queues, Springer,
2010.

Teoria das Filas
Cdigo: MC2311
TPI: 4-0-4
Recomendaes: Introduo Modelagem e Processos Estocsticos
Contedo Programtico
Reviso de Processos Estocsticos: Processos de Nascimento e Morte, Cadeias de Markov e Proces-
sos de renovao. Modelos de Filas e medidas invariantes: Fila M/M/1, M/M/1/K, M/M/c,
M/M/c/c, M/G/1 e M/G/1/k. Teorema de Burke. Redes de fila; abertas e fechadas. Modelos de
Jackson e Kelly
Bibliografia Bsica
GROSS, D. & HARRIS, C.M., Fundamentals of Queueing theory, 2a. ed., New York, John Wiley,
(Wiley Series in Probability and Mathematical Statistics), 1985.
BACELLI, F., BREMAUD, P. Elements of Queueing Theory: Palm Martingale Calculus and Stochas-
tic Recurrences, Springer; 2010.
NELSON, R Probability, Stochastic Processes, and Queueing Theory: The Mathematics of Com-
puter Performance Modeling, Springer, 2010.

69

ROSS, S.M. Introduction to Probability Models. 9a. ed. Academic Press. 2006.
BREMAUD, P., Markov Chains: Gibbs Fields, Monte Carlo Simulation and Queues, Springer,
2010.
SIDNEY I. RESNICK, Adventures in Stochastic Processes, Birkhuser Boston; 1 edition (September
3, 1992)
ALLEN, A.O., Probability, Statistics and Queueing Theory with Computer Science Applications,
1990.
KLEINROCK, L., Queueing systems, vol. 1, Theory New York, Wiley Interscience, 1975.

Modelagem de Sistemas Biolgicos
Cdigo: BC 1409
TPI: 3-1-4
Recomendaes: : Introduo s EDOs
Contedo Programtico
Modelos biolgicos com equaes de diferenas: Aplicaes; Propagao anual de plantas;
Dinmica populacional de plantas. Equaes de diferenas no-lineares: Equao logstica discreta;
Pontos de equilbrio e estabilidade; Sistemas parasitas-hospedeiros; Modelos de Nicholson-Bailey.
Processos biolgicos contnuos: Modelos de dinmica populacional; Interao de espcies:
Modelos de Lotka e Volterra; Modelos de Holling-Tanner; Estabilidade de sistemas. Modelos de
epidemiologia: Modelos de Kermack-McKendrick; Estratgias de vacinao.
Bibliografia Bsica
KESHET, L. E. Mathematical Models in Biology. Random House, N.York, 1988.
BATSCHELET, E. Introduo matemtica para biocientistas. Edit. Intercincia e EDUSP, Rio de
janeiro, 1978.
MURRAY, J. D. Mathematical biology. Springer-Verlag, Berlin, 1990.
MAY, R.; ANDERSON R.M.; Infectious diseases of humans: dynamics and control.. Oxford Uni-
versity Press; 1 edition.1992
BASSANEZI, R. C. FERREIRA JR. W. C. Equaes Diferenciais com Aplicaes. Ed. Harbra, 1998.
KEELING, M.; ROHANI, P.; Modeling infectious diseases in humans and animals.. Princeteon
University Press. 2008.

Cdigo: MC2301
TPI: 4-0-4

70

Recomendaes: Introduo Probabilidade e Estatstica, Anlise Real I
Contedo Programtico
Introduo e Fundamentos. Construo de Cadeias de Markov. Medidas Invariantes. Perda de Me-
mria e convergncia ao equilbrio. Processo de Poisson. Processos Markovianos de Salto. Exem-
plos: Nascimento e Morte, Ramificao. Processos estocsticos com interao, construo grfica.
Bibliografia Bsica
FERRARI, P. & GALVES, J.A.. Acoplamento e Processos Estocsticos. XXI Colquio Brasileiro de
Matemtica, IMPA, 1997.
SCHINAZI, R. Classical and Spatial Stochastic Processes. 2 Birkhuser Boston; 1 edition, 199
BHATTACHARYA , W.; Stochastic Processes with applications. Society for Industrial & Applied,
2009.
2010.
GRIMMETT, G., Probability on Graphs: Random Processes on Graphs and Lattices, Cambridge
University Press; 2010.
BREIMAN, L. Probability. Addison-Wesley,1968.
RESNICK, S.; Adventures in Stochastic Processes, Birkhuser Boston; 1992
DURRETT, R. Essentials of Stochastic Processes. Springer. 1999.

Introduo aos Processos Pontuais
Cdigo: MC2312
TPI: 4-0-4
Recomendaes: Introduo Probabilidade e Estatstica, Anlise Real I,
Contedo Programtico
Processos pontuais finitos. Processos pontuais em R^d: definio. Processos Marcados, Caracteri-
zao de processos: eventos vazios (void events), funcionais geradores. Processos de Poisson:
definio, construo de processo estacionrio, construo por projeo, Teorema de Slivnyak-
Mecke, superposio e emagrecimento, deslocamento aleatrio. Processos de Cox: definio,
propriedades e exemplos. Processos de nascimento e morte com interao.

71

Bibliografia Bsica
MOLLER, JESPER, WAAGEPETERSEN, RAMUS PLENGE ; Statistical Inference and Simulation for
Spatial Point Processes, Chapman & Hall/CRC, 2004.
FRISTEDT, BERT, GRAY, LAWRENCE; A modern approach to probability theory, Birkhauser,
1997.
DALEY, D. J.; VERE-JONES, D. An introduction to the theory of point processes, Springer Series
in Statistics. Springer-Verlag, 1988.
BREMAUD, P.; Point Processes and Queues: Martingale dynamics, Springer, 1981.
JACOBSEN, M.; Point Process Theory and Applications: Marked Point and Piecewise Determi-
nistic Processes, Birkhuser Boston, 2005
BREIMAN, L.; Probability. Addison-Wesley, 1968.
2010.
RESNICK, S.; Adventures in Stochastic Processes, Birkhuser Boston, 1992.
FRISTEDT, BERT, GRAY, LAWRENCE, A modern approach to probability theory, Birkhauser
1997.
DALEY, D. J.; VERE-JONES, D. An introduction to the theory of point processes, Springer Series
in Statistics. Springer-Verlag, 1998.
BREMAUD, P., Point Processes and Queues: Martingale dynamics, Springer, 1981.

Introduo Anlise Estocstica em Finanas
Cdigos: MC2306
TPI: 3-1-4
Recomendaes: Introduo Modelagem e Processos Estocsticos, Anlise no Rn I.
Reviso de probabilidade. Processos estocsticos em tempo discreto: Passeios Aleatrios, Cadeias
de Markov, Precificao de opes com modelos binomiais, Modelos Binomiais de Juros. Proces-
sos Estocsticos em tempo contnuo: Descrio geral, Movimento Browniano. Integrao estocs-
tica. Equaes diferenciais estocsticas. Modelo de Black-Scholes. Precificao de opes e aplica-
es atuariais.
Bibliografia Bsica
MIKOSCH, T., Elementary Stochastic Calculus With Finance in View, World Scientific Publishing
Company, 1999.

72

STEELE, J. M., Stochastic Calculus and financial applications, Springer, 2010.
X. SHELDON LIN . Introductory stochastic analysis for finance and insurance- Wiley.
WIERSEMA, U. F., Brownian Motion Calculus, Wiley; 1 edition, 2008.
JAMES, B. Probabilidade: um curso em nvel intermedirio. IMPA, 2a ed., 1996.
BRZEZNIAK, Z., ZASTAWNIAK, T. Basic Stochastic Processes. Springer, 2000.
BREMAUD, P., Markov Chains: Gibbs Fields, Monte Carlo Simulation and Queues, Springer,
2010.
KLEBNER, F. C., Introduction to Stochastic Calculus with Applications, Imperial College Press; 2
edition, 2005.

Introduo Criptografia
Cdigo: BC1715
TPI: 4-0-4
Recomendaes: Matemtica Discreta, Teoria dos Nmeros
Contedo Programtico
Geradores pseudoaleatreos. Cifras de fluxo. Cifras de bloco simtricas e modos de operao.
Resumos criptogrficos. Teoria dos Nmeros e criptografia assimtrica. Autenticao de
mensagens. Assinaturas digitais. Protocolos criptogrficos.
Bibliografia Bsica
KATZ, J.; LINDELL, Y. Introduction to Modern Cryptography. Chapman&Hall/CRC, 2008.
MAO, W. Modern Cryptography: theory and practice. Prentice Hall, 2004.
STINSON, D. Cryptography: theory and practice. Chapman&Hall, 2006.
TALBOT, J; WELSH, D. Complexity and Cryptography: an introduction. Cambridge University
Press, 2006
TRAPPE, W. WASHINGTON, L. Introduction to Cryptography with coding theory. Prentice Hall
SANTOS, P. Introduo Teoria dos Nmeros. IMPA, 2010.
GOLDREICH, O. Fundamentals of Cryptography, volume I: Basic Tools. Cambridge, 2001.
GOLDREICH, O. Fundamentals of Cryptography, volume II: Basic Applications. Cambridge,
2004.
SIPSER, M. Introduo Teoria da Computao. Thomson, 2007.
CORMEN, L., RIVEST, S.; Algoritmos - Teoria e Prtica Campus, 2002.
DASGUPTA, PAPADIMITRIOU, VAZIRANI. Algoritmos. McGraw-Hill/Artmed, 2009.

73

ANDREWS, G. Number Theory. Dover, 1994.
SHOUP, V. A Computational Introduction to Number Theory and Algebra. Cambridge, 2005.
BALDONI, M.; CILIBERTO, C.; CATTANEO, G. Elementary Number Theory, Cryptography and
Codes. Springer, 2009.
HOFFSTEIN, J.; PIPHER, J.; SILVERMAN, J. An Introduction to Mathematical Cryptography. S-
pringer, 2010.
BERNSTEIN, D.; BUCHMANN, J.; DAHMEN, E.; Post-Quantum Cryptography. Springer, 2010.
CATALANO, D. ET AL. Contemporary Cryptology. Birkhuser Basel, 2005.

Mtodos Numricos em EDOs
Cdigo: BC1412
TPI: 2-2-4
Recomendaes: Introduo s EDOs
Contedo Programtico
Problema de valor inicial; Problema de valor de contorno. Mtodos para resoluo de PVI: M-
todo de Euler; Mtodos de Runge-Kutta; Mtodos de passos mltiplos; Mtodos de Srie de
Taylor; Mtodos com passos variveis; Consistncia, estabilidade, convergncia; Mtodos para
resoluo de PVC: Mtodos de diferenas finitas; Mtodos de relaxao; Problemas de autova-
lores;
Bibliografia Bsica
GRIFFITHS, D. F., HIGHAM, D. J., Numerical Methods for Ordinary Differential Equations:
Initial Value Problems, Springer, 2010.
BUTCHER, J. C., Numerical Methods for Ordinary Differential Equations, Wiley, 2008.
KELLER, H.B., Numerical Methods for Two-Point Boundary-Value Problems, Dover, 1992.
PRESS, W.H., FLANNERY, B.P. TEUKOLSKY, S.A. and VETTERLING, W.T. Numerical Recipes in
C: The Art of Scientific Computing. Cambridge University Press, 2002.
ASCHER, U., PETZOLD, L.R., Computer Methods for Ordinary Differential Equations and Diffe-
rential-Algebraic Equations, SIAM, 1998.
LEVEQUE, R. J., Finite Difference Methods for Ordinary and Partial Differential Equations,
Steady State and Time Dependent Problems, SIAM, 2007.

Teoria das Distribuies
Cdigo: MC 1308
Quadrimestre: 12

74

TPI: 4-0-4
Recomendaes: Clculo Vetorial e Tensorial
Sries e transformadas de Fourier, transformadas de Laplace e solues de EDOs. Localizao
e convergncia de distribuies. Funo delta de Dirac, sequncias delta e aplicaes.
Convergncia fraca e correspondncia entre funes e distribuies. Sequncias e sries de
distribuies. Produto entre distribuies e convoluo. Ncleo de uma distribuio.
Distribuies Temperadas.
Bibliografia Bsica
BRAGA, C. L. R.., Notas de Fsica Matemtica, Editora Livraria da Fsica, So Paulo 2006.
FRIEDLANDER, F.G. e JOSHI, M. Introduction to the Theory of Distributions, Cambridge
Univ. Press, Cambridge 1999.
STRICHARTZ, R. S. A Guide to Distribution Theory and Fourier Transforms, World Scienti-
fic, Londres 2003
H. BREMERMANN, Distributions, Complex Variables and Fourier Transforms, Addison-
Wesley, Reading, 1965;
RICHARDS, J. I. YOUN, H. K., Theory of Distributions: a Non-Technical Introduction,
Cambridge University Press, Cambridge, 1990;
JONES, D. S.; The Theory of Generalized Functions, Cambridge University Press, Cambrid-
ge, 1982;
ZEMANIAN A. H., Distribution theory and transform analysis: an introduction to generali-
zed functions, with applications, Dover 1987.

Conexes e Fibrados
Cdigo: MC2403
Quadrimestre: 12
TPI: 4-0-4
Recomendaes: Geometria Diferencial II
Espaos topolgicos e variedades. Campos vetoriais, fuxos e colchete de Lie. Formas diferen-
ciais, derivada exterior; cohomologia de de Rham e aplicaes. Transformaes de gauge e
monopolos. Formalismo de representaes de SU(2). Fibrados, conexes e grupos de gauge.
Bibliografia Bsica
BAEZ, J ; MUNIAIN, P.P.;, Gauge fields, knots, and gravity, Series on Knotsand Everything,
vol. 4, World Scienti_c 1994.

75

NAKAHARA, M., Geometry, Topology and Physics, IoP Publishing, Londres 2004.
VALERY R.; WILSON, S.S., Classical Theory of Gauge Fields, Princeton Univ. Press, Princeton
2006.
SZEKERES, P., A Course in Modern Mathematical Physics: Groups, Hilbert Space and Diffe-
rential Geometry, Cambridge Univ. Press, Cambridge 2004.
WARNER F; Foundations of Differentiable Manifolds and Lie Groups, Springer
LEE, J. M.; Introduction to smooth manifolds, Springer 2003.
LEE J. M.; Manifolds and differential geometry, AMS 2009.

Mecnica Clssica
Cdigo: NH2703
TPI: 4-0-4
Recomendaes: Introduo s EDOs e Funes de Vrias Variveis
Contedo Programtico
Mecnica Newtoniana, cinemtica, dinmica e as leis de Newton de uma partcula. Teorema do
momento linear, da energia e do momento angular, foras conservativas e no
conservativas, corpos em queda livre. Projteis, fora central, fora central proporcional ao
inverso do quadrado da distncia, rbitas elpticas e hiperblicas. Movimento de um sistema
de partculas, conservao do momento linear, energia e momento angular, problemas de dois
corpos, espalhamento e coliso. Referenciais no inerciais. Gravitao,
campo e potencialgravitacionais, equaes dos campos gravitacionais.
Bibliografia Bsica:
SYMON, R.K. ; Mecnica, Campus, 1988.
SYMON, K. R.. Mechanics. Reading, Mass: Addison-Wesley Pub., 1971.
THORNTON, S., MARION, J.B.; Classical Dynamics of Particle and Systems.
Bibliografia Complementar:
FOWLES, Grant R.; CASSIDAY, George L. Analytical mechanics. Belmont,
EUA: Thomson Brooks/Cole, 2005.
WATARI, Kazunori. Mecnica clssica, v. 1. So Paulo: Livraria da Fsica, 2004.
FEYNMAN, Richard Phillips; LEIGHTON, Robert B; SANDS, Matthew L. The Feynman lectures
on physics, v. 1, Reading, Massachusetts: Addison-Wesley Publishing Company, 1964.
CORBEN, H. C.; STEHLE, Philip. Classical mechanics, New York: Dover Publications, 1994.
LANCZOS, Cornelius. The variational principles of mechanics, New York: Dover publications,
inc, 1986.

76

Mecnica Analtica I
Cdigo: NH2803
TPI: 4-0-4
Recomendaes: Introduo s EDOs e Funes de Vrias Variveis
Contedo Programtico
Formalismo Lagrangeano, equivalncia entre as leis de Newton e as equaes de Euler Lagrange,
teoremas de conservao do ponto de vista lagrangeano, equaes do movimento cannicas,
espao de fase. As equaes de Hamilton. Teoria das pequenas vibraes, condies de estabili-
dade, equaes linearizadas do movimento, modos normais, teoria da perturbao, pequenas
vibraes em torno do equilbrio. Corpos rgidos, cinemtica dos corpos rgidos, transformao
de coordenadas, referenciais no inerciais, ngulos de Euler, tensor de inrcia, momento angu-
lar, eixos principais de inrcia, propriedades do tensor de inrcia, equao de Euler para um cor-
po rgido, movimento de um pio simtrico, estabilidade das rotaes de um corpo rgido.
Bibliografia Bsica:
LEMOS, N.A.; Mecnica Analtica.
L.D. Landau, E.M. Lifshitz, Mecnica.
H.C. Corben, P. Stehle, Classical Mechanics.
H. Goldstein, C. Pole, J. Safko, Classical Mechanic.
D.Kleppner e R. Kolenkow, An Introduction to Mechanics
J.R. Taylor, Classical Mechanics

Mecnica Analtica II
Cdigo NH2903
TPI: 4-0-4
Recomendaes: Mecnica Analtica I
Contedo Programtico
Equaes cannicas, as equaes de Hamilton, colchetes de Poisson, ao em funo das
coordenadas, transformaes cannicas, teorema de Liouville, equao de Hamilton-Jacobi,
separao de variveis, invariantes adiabticos. Sistemas contnuos, corda contnua como limite
para um sistema de molas acopladas, formulao Lagrangeana e Hamiltoniana para a corda,
teoremas de conservao. Osciladores no-lineares, dinmica do espao de fase, pndulo planar,

77

histerese, pulos, caos no pndulo duplo, identificao de caos.
Bibliografia Bsica:
LEMOS, N.A.; Mecnica Analtica.
L.D. Landau, E.M. Lifshitz, Mecnica.
H.C. Corben, P. Stehle, Classical Mechanics.
H. Goldstein, C. Pole, J. Safko, Classical Mechanic.
D.Kleppner e R. Kolenkow, An Introduction to Mechanics.
J.R. Taylor, Classical Mechanics.

Funes Especiais
Cdigo BC1420
TPI: 4-0-4
Recomendaes: Clculo Vetorial e Tensorial
Contedo Programtico
Sries numricas, sries de potncias e de funes. Sries de Taylor e aplicaes. Mtodo de
Frobenius. Funo gama e funes especiais: funes de Bessel de 1a. ordem, modificadas e
esfricas; funes de Legendre de 1a. e 2a. ordem, funes de Legendre associadas e harmnicos
esfricos. Outras funes especiais: Laguerre, Hermite e hipergeomtrica.
Bibliografia Bsica
BUTKOV, E. Fsica Matemtica. LCT. 1998.
BRAGA, C.L.R. Notas de Fsica Matemtica. Ed. Livraria da Fsica. So
Paulo. 2006
ARFKEN, G.B. and WEBER, H.J. Mathematical Methods for Physicists, 6th.
Ed. Elsevier Academic Press. 2005.
BUTKOV, Eugene. Fsica Matemtica. Rio de Janeiro: JC Editora, c1988.
BRAGA, Carmem Lys Ribeiro. Notas de fsica matemtica: equaes diferenciais de Green e
distribuies. So Paulo: Livraria da Fsica, 2006.
HASSANI, Sadri. Mathematical methods: for students of physics and related fields. New York,
Springer, 2000.
COURANT, Richard; HILBERT, David. Methods of mathematical physics, v. 2. New York, Wiley,
1989.

78

TROTT, Michael. The Mathematica guidebook for symbolics. New York:Springer, 2006.

Cdigo MC2209
TPI: 4-0-4
Recomendaes: Grupos, Clculo Vetorial e Tensorial
Contedo Programtico
Grupos de Matrizes. Parmetros contnuos, grupos de rotao e grupos de um parmetro. Leis de
conservao; descrio Lagrangiana e Hamiltoniana. Teoria de representaes. Espaos vetoriais,
construo de representaes, adio e produto de representaes. Representaes redutveis e
irredutveis. Representaes irredutveis do grupo de rotaes. Simetrias em mecnica quntica:
momento angular, operadores escada. Espaos unitrios, lemas de Schur, pesos e razes,
sublgebras de Cartan, forma de Cartan-Killing. Produto tensorial e grupo de permutaes.
Classes de conjugao, tableaux de Young. Isospin. Geradores, lgebras de Lie, identidade de
Jacobi, representaes adjunta e fundamental. Coeficientes de Clebsch-Gordan, teorema de
Wigner-Eckart. SU(2), SU(3), sl(2). Espinores.
Bibliografia Bsica
HAMERMESH, M. Group Theory and Its Application to Physical Problems, Dover Books on
Physics and Chemistry, 1962.
HALL, B.C. Lie Groups, Lie Algebras and Representations: An Elementary Introduction, Sprin-
ger 2004.
BRAGA, C.L.R. Notas de Fsica Matemtica. Editora Livraria da Fsica, So Paulo, 2006.
LIPKIN, H. J.; Lie Groups for Pedestrians, Dover 2002.
BAKER, A. Matrix groups: an introduction to Lie group theory Springer 2002.
CURTIS, M. Matrix Groups Springer 1984.
STILLWELL, J. Naive Lie Theory Springer 2008.
ROSSMANN, W.; Lie groups: an introduction through linear groups, Oxford 2002.
DUISTERMAAT, J.; KOLK, J.; Lie groups, Springer 2000.

Mtodos Numricos de EDPs
Cdigo:
TPI: 2-2-4
Recomendaes: Clculo Numrico, lgebra Linear
Contedo Programtico
Mtodo de diferenas finitas: Problema de difuso; Problema de difuso-adveco;Equao de

79

calor; Problemas unidimensionais: Mtodos explcitos; Mtodos implcitos; Mtodo de Crank-
Nicolson; Estabilidade Convergncia; Consistncia Teorema de Lax Anlise de estabilidade;
Problemas bifimensionaus: Mtodos explcitos; Mtodos implcitos; Aplicaes: Transferncia
de Calor e de Mass, Dinmica Populacional.
Bibliografia Bsica
MORTON, K. W., MAYERS, D. F., Numerical Solution of Partial Differential Equations, Cam-
bridge University Press, 2001.
LEVEQUE, R. J., Finite Difference Methods for Ordinary and Partial Differential Equations,
Steady State and Time Dependent Problems, SIAM, 2007.
STRIKWERDA, J.C. Finite Difference Schemes and Partial Differential Equations, second editi-
on. SIAM, 2004.
THOMAS, J.W. Numerical Partial Differential Equations: Finite Difference Methods. Springer
Verlag, 1998.
SMITH, G.D. Numerical solutions of partial differential equations: finite difference methods,
3rd edition, Oxford University Press, 1985.
BURDEN, R. L., E FAIRES, J. D., Anlise Numrica, Thomson, 2000.
KRESS, R.; Numerical analysis, Springer 1998.

Elementos Finitos
Cdigo: MC2204
TPI: 4-0-4
Recomendaes: Introduo s EDOs
Contedo Programtico
Elementos finitos em uma dimenso: princpios variacionais, funes de interpolao, funes de
forma, matriz de rigidez, condies de fronteira, problemas em coordenadas cilndricas.
Elementos finitos duas dimenses: problemas de fronteira bidimensionais, equaes diferenciais
provenientes da elasticidade, princpios variacionais, elementos triangulares e coordenadas
cilndricas. Princpios variacionais, aproximao de Galerkin e equaes diferenciais parciais.
Bibliografia Bsica
BUCHANAN, G.R. Finite Element Analysis, Schaum's Outlines. Mc Graw-Hill, 1995.
ODEN, J.T., BECKER, E.B. and CAREY, J.F. Finite Elements: An Introduction. Prentice Hall,
1981.
REDDY, J.N. An introduction to the Finite Element Method, third edition. McGraw-Hill, 2005.
HUGLES, T. J. R., The finite element method - Linear static and dynamic finite element analy-
sis. - Prentice Hall, 1987.

80

STRANG, G., FIX, G. J., An analysis of the finite element method. Prentice Hall, 1973.
DAYANAND REDDY B. - Functional Analysis and Boundary-value Problems: An Introductory
Treatment, Longman Scientific Technical.
ZIENCKIEWICZ, MORGAN - Finite Elements and Approximation, Wiley, 1985.

Introduo aos Sistemas Dinmicos
C digo: MC2107
TPI: 4-0-4
Carga Hor ria: 48 horas
Recomenda es: Equaes Diferenciais Ordinrias
Contedo Programtico
Sistemas din micos discretos e contnuos: definio, rbitas, conjugao/equivalncia,
variedades invariantes (variedades instvel e estvel), teorema de Hartman-Grogman, variedade
central, redues. Aplicao de Poincar: dinmica numa vizinhana de rbitas peridicas e
rbitas homoclnicas. Formas Normais. Aplicao shift, dinmica simblica, dinmica catica
(ferradura de Smale). Introduo teoria de bifurcaes.
Bibliografia Bsica
ARROWSMITH, D.K.; PLACE, C.M.; An introduction to Dynamical Systems, Cambrige University
Press, 1994.
WIGGINS, S. Introduction to applied nonlinear dynamical systems and chaos. Springer, 1990.
KATOK, A.; HASSELBLATT, B.; Introduction to the modern theory of dynamical systems, Sprin-
ger, 1997.
DE MELO, W. E J.PALIS: Introduo aos sistemas dinmicos, Projeto Euclides, IMPA, Rio de
Janeiro.
SZLENK, W.: An introduction to the theory of smooth dynamical systems, J. Wiley & Sons,
1984.
JOST Y.; Dynamical systems: examples of complex behavior, Springer, 2005.
VERHULST, F.; Nonlinear differential equations and dynamical systems, Springer 2006.
PALIS, J., DE MELO, W. - Introduction to Dynamical Systems, Berlin, Springer-Verlag, 1982.
Vers o Original: Projeto Euclides, IMPA, 1987.

Histria da Matemtica
Cdigo: MC8311
TPI: 4-0-4

81

Recomendaes: No h
Contedo Programtico
Origens da matemtica; a matemtica no Egito e na Babilnia; a matemtica Grega; a
matemtica Hindu-Chinesa; os rabes na matemtica; A matemtica na idade mdia; a lgebra
de Viete; Fermat e Descartes; origens e desenvolvimento do Clculo; Newton e Leibniz; a era
Bernoulli; Euler; Cauchy e Gauss; Abel e Galois; Geometrias no-Euclidianas; a passagem do
Clculo para a Anlise; fundamentos: Boole, Cantor e Dedekind; a matemtica do sculo 20 e a
matemtica contempornea.
Bibliografia Bsica
BOYER, C. B. Histria da matemtica. So Paulo, Edgard Blcher, 2.ed., 1996.
BURTON, D. M. The history of mathematics: an introduction. Columbus, McGraw-Hill, 7.ed.,
2010
CAJORI, F.. Uma histria da matemtica. Rio de Janeiro, Cincia Moderna, 2007.
da COSTA,N. C. A. Introduo aos fundamentos da matemtica. So Paulo, Hucitec, 2009.
EUCLIDES. Os elementos. So Paulo, UNESP, 2009.
EVES, H.; Introduo histria da matemtica. Campinas, UNICAMP, 4.ed., 2004.
HILBERT, D.; Fundamentos da geometria. Lisboa, Gradiva, 2003.
KATZ, V. J.; Histria da matemtica. Lisboa, Fundao Calouste Gulbenkian, 2010.
SILVA, J.; Filosofias da matemtica. So Paulo, UNESP, 2007.
ARTMANN, B. Euclid: the creation of mathematics. New York, Springer, 1999.
ASPRAY, W. & KITCHER, P. (eds). History and philosophy of modern mathematics. Minneapo-
lis, University of Minnesota, 1988.
BARON, M. The origins of infinitesimal calculus. Mineola (New York), Dover, 1969.
BOYER, C. B. The history of the calculus and its conceptual development. Mineola (New
York), Dover, 1959.
BOYER, C. B. History of the analytic geometry. Mineola (New York), Dover, 2004.
CAJORI, F. A history of mathematical notations, vol. 1. New York, Cosimo, 2007.
CAJORI, F. A history of mathematical notations, vol. 2. New York, Cosimo, 2007.
CAJORI, F. A history of the conceptions of limits and fluxions in Great Britain, from Newton to
Woodhouse. Charleston (South Carolina), Nabu Press (BiblioLabs LLC), 2010.
EDWARDS, C.H. Jr. The historical development of the calculus. New York, Springer, 1994.
EVES, H.. Foundations and fundamental concepts of mathematics. Mineola (New York), Do-
ver, 3.ed., 1997.
EWALD, W. B. (ed). From Kant to Hilbert: a source book in the foundations of mathematics.
Oxford, Oxford University, 2007.

82

FERREIRS, J. & GRAY, J. (eds). The architecture of modern mathematics: essays in history
and philosophy. Oxford, Oxford University, 2006.
GRATTAN-GUINNESS, I. From the calculus to set theory, 1630-1910: introductory history.
London. Duckworth, 1980.
GRATTAN-GUINNESS, I. (ed). Landmark writings in western mathematics, 1640-1940. Ams-
terdam/ Boston, Elsevier, 2005.
GREENBERG, M. J. Euclidean and non-Euclidean geometries: development and history. New
York , W. H. Freeman, 4.ed., 2007.
GUICCIARDINI, N.. Reading the Principia: the debate on Newtons mathematical methods for
natural philosophy from 1687 to 1736. Cambridge, Cambridge University, 1999
HACKING, I.. The emergence of probability: a philosophical study of early ideas about proba-
bility, induction and statistical inference. Cambridge, Cambridge University, 1999.
HEATH, T. L. Euclid: the thirteen books of The Elements. Mineola (New York), Dover, 2.ed.,
1956.
HEATH, T. L. A history of Greek mathematics: from Tales to Euclid. Mineola (New York), Do-
ver, 1981.
HEATH, T. L. A history of Greek mathematics: from Aristarchus to Diophantus. Boston, Ada-
mant Media, 2000.
HEATH, T. L. The works of Archimedes. Mineola (New York), Dover, 2002.
KATZ, V. J. A history of mathematics. s/l, Addison Wesley, 3.ed., 2008.
KITCHER, P. The nature of mathematical knowledge. Oxford, Oxford University, 1985.
KLEINER, I.. A history of abstract algebra. Boston, Birkhuser, 2007.
KRNER, S.. The philosophy of mathematics: an introductory essay. Mineola (New York),
Dover, 2009.
MANCOSU, P.. Philosophy of mathematics and mathematical practice in the seventeeth cen-
tury. Oxford, Oxford University, 2008.
PESIC, P. Abels proof: an essay on the source and meaning of mathematical unsolvability.
Cambridge (Massachusetts), MIT, 1976.
SMITH, D. E. A source book in mathematics. Mineola (New York), Dover, 1984.
STILLWELL, J. Mathematics and its history. Berlin, Springer, 2010.
STRUIK, D. J. A concise history of mathematics. Mineola (New York), Dover, 4.ed., 1987.
WUSSING, H. The genesis of the abstract group concept. Mineola (New York), Dover, 2007.


83

Mtodos Variacionais
Cdigo: MC2203
TPI: 4-0-4
Recomendaes: Clculo Vetorial e Tensorial, lgebra Linear
Contedo Programtico
Princpios da mecnica Variacional. Princpio de Hamilton. Equaes de Euler-Lagrange e
aplicaes; o problema da braquistcrona. Funes com variveis dependentes e
independentes. Teoremas de conservao e simetrias. Multiplicadores de Lagrange. Vnculos
no-holonmicos. Energia cintica e geometria. Teoremas de Noether
Bibliografia Bsica
BRUNT, B.; The Calculus of Variations, Springer 2003.
LANCZOS, C. The Variational Principles of Mechanics. Cover, 1986.
GOLDSTEIN, H. POOLE, C.P.; SAFKO, J.L. Classical Mechanics, 3a. Ed., Addison-Wesley 2002.
ARFKEN, G.B. and WEBER, H.J. Mathematical Methods for Physicist, 6a. ed. Elsevier Aca-
demic Press. 2005.
MARION, J.B. and THORNTON, S.T. Classical Dynamics of Particles and Systems. Saunders
College Publ. 1995.
BUTKOV, E.; Fsica Matemtica. LTC. 1998.
GELFAND,I. M.; Calculus of Variations, Dover 2000.
FOX, C.; An introduction to the calculus of variations, Dover 1987.

Anlise Complexa
Cdigo: MC2105
TPI: 4-0-4
Recomendaes:
Funes de Variveis Complexas
Contedo Programtico
Integrao no Plano Complexo: homotopia e integrao. Funes harmnicas no plano. Os
espaos de funes holomorfas e meromorfas. Produtos infinitos e o teorema de Weierstrass.
As funes Gama e Zeta, aproximao de funes analticas por funes racionais. A esfera de
Riemann. Equivalncias conformes. Automorfismos dos nmeros complexos e do disco unitrio.
Teorema da Uniformizao de Riemann, aplicaes conformes.
Bibliografia Bsica
AHLFORS, L.; Complex Analysis. New York. McGraw-Will, 1966.
CONWAY, J; Functions of One Complex Variable , Springer, 1978.

84

NETO, A. L.; Funes de uma Varivel Complexa. Projeto Euclides, IMPA, Rio de Janeiro,
1996.
MARSDEN, J.E.; HO M. J. ; Basic Complex Analysis, W. H. Freeman, 1999.
LANG, S.; Complex Analysis, Springer, 1999,
RUDIN, W. Real and Complex Analysis. Higher Mathematics Series. 3rd Edition. McGraw-Hill
Companies, 1986.
GREENE, R.; KRANTZ, S.; Function Theory of One Complex Variable, Wiley, 1997.
BERENSTEIN, C. A.; GAY, R.; Complex variables: an introduction, Springer 1991.
BAK, J.. NEWMAN, D.; Complex Analysis, Springer, 2010.
STEIN,E., SHAKARCHI R.; Complex analysis, Princeton University Press, 2003.

Teoria dos Jogos
Cdigo: MC2206
TPI: 4-0-4
Recomendaes: lgebra Linear
Contedo Programtico
Conceitos bsicos (forma extensiva, forma normal, estratgias, conjuntos de informao). Jogos
de duas pessoas com soma zero (pontos de sela, estratgias mistas). Jogos matriciais
(programao linear e o teorema minimax). Jogos de duas pessoas com soma no zero no
cooperativos (dilema do prisioneiro, equilbrio de Nash) e cooperativos (axiomas de barganha
de Nash, convexidade e o teorema de Nash). Aplicaes em Economia e Poltica
Bibliografia Bsica
MORRIS, P. Introduction to Game Theory, Springer, New York, 1994.
FIANI, R. Teoria dos Jogos, 2a. edio, Editora Campus, 2006.
BIMORE, Ken. Game theory. Oxford, Oxford University, 2008.
GIBBONS, Robert. A primer in game theory. s/l, Prentice Hall, 1992.
GONAZALEZ-DIAZ, Julio; GARCIA_JURADO, Ignacio & FIESTRAS, M. Gloria. An introductory
course on mathematical game theory. Providence (Rhode Island), American Mathematical
Society, 2010.
HEAP, Shaun P. Hargreaves & VAROUFAKIS, Yanis. Game theory: a critical introduction. Lon-
don / New York, Routledge, 2.ed., 2004.
KREPS, David M. Game theory and economic modelling. Oxford, Clarendon, 1990.
MYERSON, Roger B. Game theory: analysis of conflit.Cambridge (Massachusetts), Harvard
University, 1997.
OSBORNE, Martin & RUBINSTEIN, Ariel. A course in game theory. Cambridge (Massachu-

85

setts), M.I.T., 1994.
VNNEN, Jouko. Models and games. Cambridge, Cambridge University, 2011.
von NEUMANN, John & MORGENSTERN, Oskar. Theory of Game and Economic Behavior.
Princeton (New Jersey), Princeton University, 1947.
BARRON, E. N. Game theory: an introduction. s/l, Wiley-Interscience, 2008.
BIERMAN, H. S. & FERNANDEZ, L. Game theory with economic applications. s/l, Addison-
Wesley, 2.ed., 1998.
BIMORE, Ken & RUBINSTEIN, Ariel. Game theory: 5 questions. s/l, Automatic Press, 2007.
BLACKWELL, David A. & GIRSHICK, M. A. Theory of games and statistical decisions. Mineola
(New York), Dover, 1979.
BRICKMAN, Louis. Mathematical introduction to linear programming and game theory. Ber-
lin/ New York, 1989.
DRESHER, Melvin. The mathematics of games of strategy. Mineola (New York), Dover, 1981.
FUNDENBERG, D. & KREPS, D. A theory of learning, experimentation and equilibrium in ga-
mes. Minnesota, Stanford University, 1989.
GIBBONS, Robert. Game theory for applied economists. Princeton, Princeton University,
1992.

MC2212 - Teoria de Conjuntos

Disciplina opo do Bacharelado em Matemtica
Perodo: (quadrimestre letivo no especificado)
Cdigo da disciplina:
Crditos: 4 0 4
Recomendaes: Bases Matemticas; Funes de uma Varivel, Matemtica Discreta
Bases Epistemolgicas da Cincia Moderna; Lgica Bsica

Contedo Programtico: Uma axiomtica para a teoria de conjuntos. A teoria dos nmeros
cardinal e ordinal. Aritmtica dos nmeros cardinais. A noo de boa-ordem. O Axioma da
Escolha e algumas proposies equivalentes. Conjuntos de nmeros.

BIBLIOGRAFIA BSICA

ENDERTON, Herbert B. Elements of set theory. New York, Academic Press, 1997.
HRBACEK, Karel & JECH, Thomas. Introduction to set theory. Boca Raton, Taylor & Francis/
CRC Press, 3.ed., 1999.
MIRAGLIA, Francisco. Teoria de conjuntos: um mnimo. So Paulo, EDUSP, 1991.

86

SUPPES, Patrick C. Axiomatic set theory. Mineola (New York), Dover, 1972.
TILES, Mary. The philosophy of set theory: an historical introduction to Cantors paradise.
Mineola (New York), Dover, 2004.
VAUGHT, Robert L. Set theory: an introduction. Boston, Birkhuser, 2.ed., 2001.
BIBLIOGRAFIA COMPLEMENTAR
BOURBAKI, Nicolas. Elements of mathematics: theory of sets. Berlin, Springer, 2004.
DEVLIN, Keith. The joy of sets: fundamentals of contemporary set theory. New York, Sprin-
ger, 2.ed., 1992.
DAUBEN, Joseph W. Georg Cantor. Princeton, Princeton University, 1990.
Di PRISCO, Carlos A. Una introduccin a la teora de conjuntos y los fundamentos de las Ma-
temticas. Campinas, UNICAMP/ CLE, 1997.
EVES, Howard. Foundations and fundamental concepts of mathematics. Mineola (New York),
Dover, 3.ed., 1997.
FERREIRS, Jos. Labyrinth of thought: a history of set theory and its role in modern ma-
thematics. Basel, Birkhuser, 2.ed., 2007.
GEORGE, Alexander & VELLEMAN, Daniel. Philosophy of mathematics. Oxford, Wiley-
Blackwell, 2002.
HALLETT, Michael. Cantorian set theory and limitation of size. Oxford, Oxford University,
1986.
HALMOS, Paul R. Teoria ingnua dos conjuntos. Rio de Janeiro, Cincia Moderna, 2001.
JECH, Thomas. The axiom of choice. Mineola (New York), Dover, 2008.
KRNER, Stephan. The philosophy of mathematics: an introductory essay. Mineola (New
York), Dover, 2009.
MANCOSU, Paolo (ed). From Brouwer to Hilbert: the debate on the foundations of mathe-
matics in 1920s. Oxford, Oxford University, 1998.
MOORE, Gregory H. Zermelo's axiom of choice: its origins, development, and influence. Ber-
lin, Springer, 1982.
MENDELSON, Elliott. Introduction to mathematical logic. Boca Raton, Chapman & Hall/ CRC
Press, 4.ed., 1997.
POTTER, Michael. Set theory and its philosophy. Oxford, Oxford University, 2004.
SILVA, Jairo J. Filosofias da matemtica. So Paulo, UNESP, 2007.

Anlise Numrica
Cdigo: MC2208

87

TPI: 4-0-4
Recomendaes: Funes de uma varivel, funes de varias variveis e lgebra linear
Contedo Programtico
Zeros de funes reais: mtodo da Bisseo, Ponto fixo, Newton-Raphson. Mtodo de Newton
para sistemas no lineares. Resoluo numrica de sistemas lineares: fatoraes ortogonais,
condicionamento da matriz, SVD (decomposio em valores singulares), estimativas de erro.
Mtodos iterativos (Jacobi, Gauss-Seidel, SOR, gradiente conjugado), anlise da convergncia,
pr-condicionamento de sistemas. Interpolao numrica: polinomial (fenmeno de Runge) e
por partes (splines). Problema de quadrados mnimos lineares e no lineares. Integrao
numrica: Trapzio, Newton-Cotes. Integrao de Romberg. Quadratura Gaussiana. Anlise de
erro. Integrao mltipla. Equaes diferenciais ordinrias: diferenas finitas, Taylor, Runge-
Kutta. Anlise de convergncia, estabilidade e consistncia.
Bibliografia Bsica
WATKINS, D.S. Fundamental of Matrix Computations, 2a. ed., John Wiley & Sons, 2002.
STOER, J., BURLISCH, R., BARTELS, R and GAITSCHI, W. Introduction to Numerical Analysis,
Springer-Verlag, 2002.
GOLUB, G. H. and VAN LOAN, C. F., Matrix Computation, 3
rd
. Edition Johns Hopkins, Baltimo-
re, London 1996.
SCHATZMAN, M.; Numerical analysis: a mathematical introduction, Clarendon Press, 2002.
ORTEGA, J.M.; Numerical analysis: a second course, SIAM, 1990.
HILDEBRAND , F.; Introduction to numerical analysis, Dover 1974.
BURDEN, R.; J. FAIRES, D.; Numerical Analysis, Cengage Learning, 2010.

Introduo Anlise Funcional
Cdigo: MC2113
TPI: 4-0-4
Recomendaes: lgebra Linear Avanada I e Anlise Real I
Contedo Programtico
Espaos de Banach. Espaos de Hilbert e aspectos Geomtricos. Operadores lineares contnuos. O
teorema de Baire e suas consequncias. O teorema de Hahn-Banach, teoremas da aplicao
aberta e do grfico fechado. Aplicaes
Bibliografia Bsica
KREYSIG, E. Introductory Functional Analysis with Applications, Editora John Willey & Sons,
Nova York, 1978.
BRZIS, H. Functional Analysis, Sobolev Spaces and Partial Differential Equations, Springer

88

2010
COTLAR, M. E CIGNOLI, R. An Introduction to Functional Analysis. North-Holland. 1974.
HONIG, C.S. Anlise Funcional e Aplicaes. USP. 1985.
RIESZ, F, NAGY B.; Functional analysis, Dover 1990.
SIMMONS, G; Introduction to Topology and Modern Analysis, Mcgraw Hill 1969
BACHMAN G., NARICI L. , Functional analysis, Dover 1998.
CONWAY, J. A course in Functional Analysis. Springer. 1985.
YOSIDA, K. Functional Analysis, Springer Verlag, Berlim, 1965

Lgica Bsica
Cdigo: BC1426
TPI: 4-0-4
Recomendaes: Bases Epistemolgicas da Cincia Moderna, Funes de uma Varivel
Contedo Programtico
Clculo sentencial clssico: noes de linguagem, conectivos, deduo e teorema, mtodos se-
mnticos, e.g., de valoraes. Clculo clssico de predicados de primeira ordem: os conceitos de
linguagem de primeira ordem, igualdade, teorema da deduo, consequncia sinttica. Semnti-
ca: noes de interpretao, verdade em uma estrutura, modelo, consequncia semntica. Apre-
sentao do conceito formal de teoria, fecho dedutivo. Exposio informal de alguns temas de
lgica, e.g., acerca da consistncia de teoria, completude de teorias.
Bibliografia Bsica
CHISWELL, Ian & HODGES, Wilfrid. Mathematical logic. Oxford, Oxford University, 2007.
ENDERTON, Herbert B. A mathematical introduction to logic. San Diego, Academic Press,
2.ed., 2001.
HALBACH, Volker. The logic manual. Oxford, Oxford University, 2010.
Press, 4.ed., 1997.
MORTARI, Cezar A. Introduo lgica. So Paulo, UNESP/ Imprensa Oficial do Estado de So
Paulo, 2001.
de OLIVEIRA, Augusto J. F. Lgica e aritmtica: uma introduo lgica matemtica e compu-
tacional. Lisboa, Gradiva, 3.ed., 2010.
RAUTENBERG, Wolfgang. A concise introduction to mathematical logic. Berlin, Springer, 3.ed.,
2009.
SMITH, Peter. An introduction to formal logic. Cambridge, Cambridge University, 2003.

89

SMULLYAN, Raymond M. Lgica de primeira ordem. So Paulo, UNESP/ Discurso Editorial,
2009.
TARSKI, Alfred. A concepo semntica da verdade. So Paulo, UNESP, 2007.

BEALL, J. C. & RESTALL, Greg. Logical Pluralism. Oxford, Oxford University, 2006.
BONEVAC, Daniel. Deduction: introductory symbolic logic. New York, Wiley-Blackwell, 2.ed.,
2002.
BOSTOCK, David. Intermediate Logic. Oxford, Oxford University, 1997.
BOOLOS, George S.; JEFFREY, Richard C. & BURGESS, John P. Computability and logic. Cam-
bridge, Cambridge University, 4.ed., 2002.
CHURCH, Alonzo. Introduction to mathematical logic. Princeton (New Jersey), Princeton Uni-
versity, 1996.
CROSSLEY, J. N. et alii. What is mathematcal logic? Mineola (New York), Dover, 1990.
van DALEN, Dirk. Logic and structure. Berlin, Springer, 4.ed., 2004.
EBBINGHAUS, H.-D.; FLUM, J. & THOMAS, W. Mathematical logic. Berlin, Springer, 2.ed.,
1994.
ETCHEMENDY, John. The concept of logical consequence. Stanford, Center for the Study of
Language and Information, 1999.
GENSLER, Harry J. Introduction to logic. Oxford, Routledge, 2.ed., 2010.
HAACK, Susan. Filosofia das lgicas. So Paulo, UNESP, 2002.
KLEENE, Stephen C. Mathematical logic. Mineola (New York), Dover, 2002.
KNEALE, William & KNEALE, Martha. O desenvolvimento da lgica. Lisboa, Fundao Calouste
Gulbenkian, 2.ed., 1980.
MOSTERN, Jsus. Los lgicos. Madrid, Espasa Clape, 2000.
PRAWITZ, Dag. Natural deduction: a proof-theoretical study. Mineola (New York), Dover,
2006.
READ, Stephen. Thinking about logic: an introduction to the philosophy of logic. Oxford, Ox-
ford University, 1995.
SHOENFIELD, Joseph R. Mathematical logic. Natick (Massachusetts), A.K. Peters/ Association
for Symbolic Logic, 1967.
da SILVA, Flvio S. C.; FINGER, Marcelo & de MELO, Ana C. V. Lgica para computao. So
Paulo, Thomson Learning, 2006.
SUPPES, Patrick C & HILL, Shirley. First course in mathematical logic. Mineola (New York), Do-
ver, 2002.
SUPPES, Patrick C. Introduction to logic. Mineola (New York), Dover, 1999 (1.ed., 1957).
TARSKI, Alfred. Introduction to logic and to the methodology of deductive sciences. Mineola

90

(New York), Dover, 1995.

Metateoremas da Lgica Clssica
Cdigo: BC1623
TPI: 4-0-4
Recomendaes: Bases Epistemolgicas da Cincia Moderna, Lgica Bsica
Contedo Programtico
Caracterizao da lgica de primeira ordem e a investigao de algumas propriedades.
Distino entre teoria e metateoria. Utilizao de tcnicas semnticas e sintticas destinadas a
estudar e provar propriedades de sistemas formais, e.g., consistncia, completude de Gdel,
decidibilidade. Investigao da prpria concepo de prova formal e outras noes associadas,
por exemplo, rigor, intuio. Estudo de fundamentos e limites dos mtodos lgico-
matemticos por intermdio de teoremas.
Bibliografia Bsica
GDEL, Kurt. O Teorema de Gdel e a Hiptese do Contnuo. Lisboa, Fundao Calouste
Gulbenkian, 1979 (Manuel Loureno org.).
ENDERTON, Herbert B. A Mathematical Introduction to Logic. San Diego, Academic Press,
2001.
HUNTER, Geoffrey. Metalogic: an introduction to metatheory of standard first order logic.
Berkeley, University of California, 1996.
MENDELSON, Elliott. Introduction to Mathematical Logic. Boca Raton, Chapman & Hall/ CRC
Press, 4.ed., 1997.
NAGEL, Ernest & NEWMAN, James R. Prova de Gdel. So Paulo, Editora Perspectiva, 1973.
CARNIELLI, Walter & EPSTEIN, Richard L. Computabilidade: funes computveis, lgica e os
fundamentos da matemtica. So Paulo, Unesp / Fapesp, 2006.
da COSTA, Newton C. A. Ensaios sobre os Fundamentos da Lgica. So Paulo, Hucitec, s/d.
GDEL, Kurt. On Formally Undecidable Propositions of Principia Mathematica and Related
Systems. New York, Dover, 1962 (1931).
DEVLIN, Keith. Sets, Functions, and Logic: an introduction to abstract mathematics. Boca
Raton, Chapman & Hall/ CRC Press, 2004.
HAACK, Susan. Filosofia das Lgicas. So Paulo, Unesp, 2002.

91

HODGES, Wilfrid. A Shorter Model Theory. Cambridge, Cambridge University, 1997.
KNEALE, William & KNEALE, Martha. O Desenvolvimento da Lgica. Lisboa, Fundao Ca-
louste Gulbenkian, 2.ed., 1980.
KLEENE, Stephen C. Introduction to Metamathematics. Amsterdam/ New York, Noth-
Holland, 1996 (1952).
KURTZ, David C. Foundations of Abstract Mathematics. New York, McGraw-Hill, 1992.
MORTARI, Cezar A. Introduo Lgica. So Paulo, UNESP/ Imprensa Oficial do Estado,
2001.
NAGEL, Ernest & NEWMAN, James R. Gdels Proof. New York, New York University, edio
revisada, 2001.
de OLIVEIRA, Augusto J. F. Lgica e Aritmtica: uma introduo informal aos mtodos for-
mais. Lisboa, Gradiva, 1991.

Teoria da Recurso e Computabilidade
Cdigo: BC1622
TPI: 4-0-4
Recomendaes Funes de uma Varivel
Bases Epistemolgicas da Cincia Moderna
Matemtica Discreta; Lgica Bsica

Contedo Programtico
Conceito de mquina de Turing e de recursiva e recursividade; demonstrao de teoremas sobre
funes recursivas. Anlise da tese de Church-Turing. Problemas que caracterizam as concepes
de computabilidade e recursividade, e.g., decidibilidade, problema da parada.
Bibliografia Bsica
ASPRAY, William. John von Neumann and the origins of modern computing. Cambridge (Mas-
sachusetts), MIT, 1990.
BOOLOS, George S.; JEFFREY, Richard C. & BURGESS, John P. Computability and logic. Cam-
bridge, Cambridge University, 4.ed., 2002.
COOPER, S. Barry. Computability theory. Boca Raton, Chapman & Hall/ CRC, 2.ed., 2001.
DAVIS, Martin. Computability and unsolvability. Mineola (New York), Dover, 1982.
DIAS, Matias F. & WEBER, Leonardo. Teoria da recurso. So Paulo, UNESP, 2010.
ENDERTON, Herbert B. Computability theory: an introduction to recursion theory. San Diego,
Academic Press, 2010.

92

Press, 4.ed., 1997.

BIRABEN, Rodolfo E. Tese de Church: algumas questes histrico-conceituais. Campinas, U-
NICAMP/ CLE, 1996.
CARNIELLI, Walter & EPSTEIN, Richard L. Computabilidade: funes computveis, lgica e os
fundamentos da matemtica. So Paulo, UNESP/ Fapesp, 2006.
CERUZZI, Paul E. A history of modern computing. Cambridge (Massachusetts), MIT, 2.ed.,
2003.
CUTLAND, Nigel J. Computability: an introduction to recursive function theory. Cambridge,
Cambridge University, 1980.
DAVIS, Martin (ed). The Undecidable: basic papers on undecidable propositions, unsolvable
problems and computable functions. Mineola (New York), Dover, 2004.
GANDY, R. O. & YATES, C. E. M. (eds). Mathematical logic. Amsterdam, North-Holland, 2001.
HINDLEY, J. Roger & SELDIN, Jonathan P. Lambda-calculus and combinators: an introduction.
Cambridge, Cambridge University, 2.ed., 2008.
KLEENE, Stephen C. Introduction to metamathematics. Amsterdam/ New York, Noth-Holland,
1996.
von NEUMANN, John. The computer and the brain. s/l, Yale University, 2.ed., 2000.
ODIFREDI, Piergiorgio. Classical recursion theory: the theory of functions and sets of natural
numbers. Amsterdam, Noth-Holland, 1989.
de OLIVEIRA, Augusto J. F. Lgica e aritmtica: uma introduo lgica matemtica e compu-
tacional. Lisboa, Gradiva, 3.ed., 2010.
ROGERS Jr., Hartley. Theory of recursive functions and effective computability. New York,
McGraw-Hill, 1967.
SHOENFIELD, Joseph R. Mathematical logic. Natick (Massachusetts), A.K. Peters/ Association
for Symbolic Logic, 1967.
SHOENFIELD, Joseph R. Recursion theory. Natick (Massachusetts), A.K. Peters/ CRC Press,
20001.
SMITH, Peter. An introduction to Gdels theorems. Cambridge, Cambridge University, 2007.
SMULLYAN, Raymond M. Recursion theory for metamathematics. Oxford, Oxford University,
1993.
TARSKI, Alfred; MOSTOWSKI, Andrzej & ROBINSON, Raphael M. Undecidable theories. Mi-
neola (New York), Dover, 2010.
TEUSCHER, Christof (ed). Alan Turing: life and legacy of a great thinker. New York, Springer,
2.ed., 2010.
TURING, Alan M. The essential Turing: seminal writings in computing, logic, philosophy, artifi-
cial intelligence, and artificial life plus the secrets of Enigma. Oxford, Oxford University, 2004.

93


94


95

APNDICE B EXEMPLO DE UM PERFIL DE FORMAO

Anos I e II
P
R
I
M
E
I
R
O

A
N
O

1 BC0005
Bases
Computaciona
is da Cincia
(0-2-2)
BC0006
Bases
Experimentais
das Cincias
Naturais
(0-3-2)
BC0102
Estrutura da
Matria
(3-0-4)
BC0003
Bases
Matemticas
(4-0-5)
BC0304
Origem da Vida e Diversidade dos
Seres Vivos
(3-0-4)
2 BC0503
Natureza da
Informao
(3-0-4)
BC0204
Fenmenos
Mecnicos
(3-2-6)
BC0306
Transformae
s nos Seres
Vivos e
Ambiente
(3-0-4)
BC0403
Funes de
uma Varivel
(4-0-6)
BC0404
Geometria Analtica
(3-0-6)

3
BC0505
Processament
o de
Informao
(3-2-5)
BC0205
Fenmenos
Trmicos
(3-1-4)
BC0307
Transformae
s Qumicas
(3-2-6)
BC0406
Introduo s
EDO's
(4-0-4)
BC0004
Bases Epistemolgicas da Cincia
Moderna
(3-0-4)
S
E
G
U
N
D
O

A
N
O

1 BC0506
Comunicao
e Redes
(3-0-4)
BC0206
Fenmenos
Eletromagntico
s
(3-2-6)
BC0308
Transformae
s Bioqumicas
(3-2-6)
BC0407
Funes de
Vrias
Variveis
(4-0-4)
BC0602
Estrutura e Dinmica Social
(3-0-4)
2 BC0207
Energia:
Origem,
Converso e
Uso

(2-0-4)
BC0103
Fsica Quntica
(3-0-4)
BC0603
Cincia,
Tecnologia e
Sociedade
(3-0-4)
BC0405
Introduo
Probabilidade
e Estatstica
(3-0-4)
BC1419
Clculo
Numrico
(3-1-4)
BC1407
Sequncia
s e Sries
(4-0-4)

3 BC0104
Interaes
Atmicas e
Moleculares
(3-0-4)
BC1425
lgebra Linear
(6-0-5)
BC1418
Clculo Vetorial
e Tensorial
(4-0-4)
BC1520
Matemtica
Discreta
(3-1-4)

BC1415
Introduo a Inferncia
Estatstica
3-1-4


96

Anos III e IV
T
T
E
R
C
E
I
R
O

A
N
O

1 MC1301
lgebra Linear
Avanada I
(4-0-4)
BC1405
Teoria
Aritmtica dos
Nmeros
(4-0-4)
BC1421
Anlise Real I
(4-0-4)
BC --
Clculo de
Probabilidade
(4-0-4)
BC1515
Introduo a
Criptografia

(4)

2 MC1101
lgebra Linear
Avanada II
(4-0-4)
MC1204
Topologia
(4-0-4)
MC1201
Anlise Real
II
(4-0-4)
BC1013
Teoria do
Conhecimento
Cientfico
(4-0-4)
BC1515
Computao Grfica
(3-1-4)
3 MC1102
Funes de
Variveis
Complexas
(6-0-5)
MC1304
Grupos
(4-0-4)
MC1306
Anlise no
Rn I
(4-0-4)
MC1302
Geometria
Diferencial I
(4-0-4)
BC000
2
Projeto
Dirigido
(0-2-
10)
BC1412
Mtodos
Numricos
em EDOs
Q
U
A
R
T
O

A
N
O

1 BC1438
Evoluo dos
Conceitos
Matemticos
(4-0-4)

MC1305
Anis e Corpos
(4-0-4)
MC1104
Teoria da
Medida e
Integrao
(4-0-4)
MC2103
Geometria
Diferencial II
(4-0-4)
MC2102
Anlise no
RN II
(4-0-4)
Trabalho de
Concluso de Curso
I
(2)

2 BC1427
Equaes
Diferenciais
Ordinrias
(4-0-4)
BC1432
Programao
Matemtica
(3-1-4)
MC1202
Probabilidade
(4-0-4)
Grupo Fun-
damental e
Espaos de
recobrimento
(4-0-4)
MC8311
Histria
da Ma-
temtica
(4-0-4)
Trabalho de
Concluso de Curso
II
(2)
3 MC1307
Equaes
Diferenciais
Parciais
(4-0-4)

MC ---
Extenses
Algbricas

(4-0-4)
MC2113 In-
troduo
Anlise Fun-
cional

(4-0-4)
MC2107
Introduo
aos Siste-
mas Din-
micos
(4-0-4)

MC2206
Teoria
dos Jogos
(4-0-4)
Trabalho de
Concluso de
Curso III

(2)


97

APNDICE C- NORMAS RELATIVAS AO TRABALHO DE CON-
CLUSO DE CURSO
O trabalho de concluso de curso desenvolver-se- no mbito das disciplinas:
Trabalho de Concluso de Curso em Matemtica I
Trabalho de Concluso de Curso em Matemtica II
Trabalho de Concluso de Curso em Matemtica III
REQUISITOS PARA A MATRCULA NAS DISCIPLINAS: TRABALHO DE CONCLUSO
DE CURSO I, II E III.
Para que o aluno matricule-se em Trabalho de Concluso de Curso em Matemtica I dever ter completado
pelo menos 60% dos crditos totais previstos no projeto pedaggico do BM. Caso contrrio, ou seja, este
requisito no seja satisfeito, a deciso sobre a aptido de um aluno cursar ou no o Trabalho de Concluso
de Curso em Matemtica I caber Coordenao do curso do BM.
A matrcula em Trabalho de Concluso de Curso em Matemtica II ser feita aps a aprovao no Trabalho
de Concluso de Curso em Matemtica I.
A matrcula em Trabalho de Concluso de Curso em Matemtica III ser feita aps a aprovao no Trabalho
de Concluso de Curso em Matemtica II.
ESCOLHA DO ORIENTADOR E DA PROPOSTA DE TEMAS
Durante a disciplina Trabalho de Concluso de Curso em Matemtica I os alunos sero orientados sobre as
normas relativas realizao do trabalho de concluso de curso e ser fixado um cronograma de prazos para
a escolha do orientador e entrega do projeto do TCC.
A escolha do orientador de TCC poder ser feita pelo aluno, desde que possua o aval do docente em questo
(formulrio padro a ser assinado pelo discente e pelo orientador). Caso essa escolha no seja feita dentro
do perodo fixado, a Coordenao do Curso indicar um orientador ao aluno.
O aluno, conjuntamente com o orientador, dever propor um tema de trabalho. Os trabalhos propostos
devero ser relativos a tpicos da rea Matemtica.
A proposta do TCC dever conter o ttulo e os objetivos do trabalho, a relevncia do tema e a estrutura espe-
rada com a sequncia das etapas que sero adotadas no desenvolvimento da monografia. O formulrio para
a apresentao da proposta de tema para o TCC ser disponibilizado para os alunos durante a disciplina de
Trabalho de Concluso de Curso em Matemtica I.

98

Finalizado o prazo para a entrega de propostas, estas sero aprovadas ou rejeitadas pela Coordenao do
Curso, baseadas na sua profundidade cientfica, viabilidade, mrito, adequao e na existncia de um docen-
te disposto a orientar o tema.
Os alunos que tiverem as propostas rejeitadas podero apresentar uma nova proposta dentro do prazo fixa-
do pelo cronograma apresentado na disciplina trabalho de Concluso de Curso em Matemtica I
A ORIENTAO
O orientador de TCC ser um docente com a tarefa de supervisionar a elaborao da monografia. O orienta-
dor no responsvel pelo desenvolvimento do contedo do trabalho. Caber ao orientador a funo de
verificar se o trabalho est sendo desenvolvido conforme os objetivos do TCC, podendo aquele interferir no
andamento do trabalho de forma a atender esta exigncia. O nmero mximo de supervises simultneas
por docente limitado a 2 (dois) alunos simultaneamente.
ELABORAO DO TCC
dever do aluno, juntamente com o orientador, estabelecer um cronograma de atividades para o desenvol-
vimento do trabalho e tambm fazer reunies peridicas obrigatrias para avaliar o andamento do trabalho,
de forma a assegurar as caractersticas exigidas para o TCC.
AVALIAO
A avaliao do Trabalho de Concluso se dar aps o aluno ter cursado as disciplinas Trabalho de Concluso
de Curso em Matemtica I, Trabalho de Concluso de Curso em Matemtica II.
A avaliao final do TCC ser feita por uma banca constituda de 3 professores, 2 indicados pelo Coordena-
o do Curso e o orientador e acontecer durante a disciplina de Trabalho de Concluso de Curso em Ma-
temtica III. A avaliao ser feita em duas etapas:
a) avaliao do projeto escrito;
b) defesa oral do projeto pelo aluno, seguida de arguio.
A defesa oral ser realizada em sesso pblica e a apresentao durar entre 30 a 40 minutos.
Caso o trabalho seja considerado insatisfatrio, este dever ser refeito cumprindo as recomendaes dos
avaliadores, devendo ser reapresentado dentro do prazo estipulado para nova avaliao, e reavaliado pelos
mesmos docentes, quando possvel. S sero aprovados projetos que sejam considerados satisfatrios por
todos os avaliadores.
Enquanto da no aprovao do projeto, o conceito da disciplina de Trabalho de concluso de Curso III ser
indeterminado.
NORMAS PARA ELABORAO DO TCC

99

O Trabalho de Concluso de Curso ser uma monografia apresentada na forma de dissertao, no necessi-
tando apresentar resultados novos, porm o contedo deve ser de autoria do aluno.
A monografia do TCC dever seguir as seguintes normas para a estrutura e formatao:
Tamanho Mnimo: 25 pginas
Tamanho mximo: 50 pginas (excluindo os apndices).
ITENS A SEREM INCLUDOS:
Capa;
Resumo;
Introduo explicitando a justificativa e relevncia do tema do trabalho e seus objetivos;
Concluses;
Referncias consultadas;
Apndices (quando necessrios).
FORMATAO
A monografia final dever ser impressa em papel (A4), com margens (superior, inferior, direita e esquerda)
de 2 cm; espaamento 1,5; letra do corpo de texto em tamanho 12 e entregue em arquivo PDF para a Coor-
denao do Curso.
Alm disso, juntamente com a monografia, o aluno dever entregar:
Declarao do aluno de que o trabalho apresentado de sua autoria e que as partes que no o so
foram devidamente citadas e referenciadas. Ressaltamos que as monografias que no citarem as referncias
usadas e para os quais for constatada cpia de textos de outros trabalhos sero reprovadas, sem direito
nova apresentao.
Formulrio autorizando a divulgao do trabalho (impressa e digital).
Observamos que devero ser respeitados os prazos de entrega, de acordo com o cronograma divulgado pela
Coordenao do Curso do BM.

APNDICE D- EQUIVALNCIAS E ALTERAES DE CDIGO

As seguintes disciplinas sero convalidadas em ambos os sentidos.

100

Disciplinas da Grade
2009 (cdigo e nome)
Disciplinas da Grade
2012 (Nome)
Categoria Justificativa para alterao de c-
digo
MC1204 Topologia I MC1205 Topologia Obrigatria Mudanas substanciais na ementa.
MC2104 Geometria No
Euclideana
MC2114 Geometria No
Euclidiana
Opo Limita-
da
Alteraes no nome Geometria No
Eucledeana para Geometria No Eucli-
diana e alteraes substanciais na e-
menta
MC2309 Percolao MC2313 Percolao Opo Limita-
da
Mudana de TPI
MC2305 Teoria das Filas MC2311 Teoria das Filas Opo Limita-
da
Mudana de TPI
MC2307 Introduo aos
Processos Pontuais
MC2312 Introduo aos
Processos Pontuais
Opo Limita-
da
Mudana de TPI
BC1514 Introduo a Crip-
tografia
BC1715 Introduo a Crip-
tografia
Opo Limita-
da
Mudana de TPI

Projeto Pedagogico Bach Matematica 2012

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Projeto Pedagogico Bach Matematica 2012

Transféré par

Droits d'auteur :

Formats disponibles

Ministrio da Educao

Universidade Federal do ABC

valor numrico correspondente ao conceito obtido na disciplina i segundo a tabela abaixo:

crditos correspondentes disciplina i (apenas T + P)

Vous aimerez peut-être aussi