Você está na página 1de 47

UNIVERSIDADE FEDERAL DE ALAGOAS UFAL

INSTITUTO DE MATEMTICA - IM

Projeto Pedaggico

BACHARELADO EM MATEMTICA

Janeiro de 2006
2

UNIVERSIDADE FEDERAL DE ALAGOAS

INSTITUTO DE MATEMTICA

BACHARELADO EM MATEMTICA

Projeto Pedaggico do Curso Bacharelado


em Matemtica da Universidade Federal
de Alagoas elaborado com objetivo de
adequao s Diretrizes Curriculares
Nacionais.

COLEGIADO DO CURSO

1. Prof. Adn Jos Corcho Fernndez (Coordenador)


2. Prof. Marcos Petrcio de Almeida Cavalcante (Vice-Coordenador)
3. Prof. Adelailson Peixoto da Silva
4. Prof. Francisco Vieira Barros
5. Prof. Hilrio Alencar da Silva

Janeiro de 2006
3

IDENTIFICAO DO CURSO

________________________________________________________________

Nome do Curso: BACHARELADO EM MATEMTICA

Ttulo: Bacharel em Matemtica.

Portaria de Reconhecimento: Portaria N 1076/MEC, de 29/10/1979.

Turno: Diurno

Carga Horria: 2960 horas

Durao: O curso projetado para ser concludo em um perodo de 8 (oito) semestres e com
durao mxima de 14 (quatorze) semestres, podendo este ser concludo, em carter especial,
em um tempo diferente do mencionado acima.

Vagas: 20 (vinte)

Perfil: O Curso de Bacharelado em Matemtica da Universidade Federal de Alagoas (UFAL)


deve qualificar seus graduados para ingressar em programas de ps-graduao em Matemtica
ou reas afins, visando preparar estes para a pesquisa e a carreira de ensino superior. Alm
disso, o Curso objetiva formar um profissional preparado para atuar tanto no ambiente
acadmico como em outros campos em que o raciocnio abstrato e o trabalho interdisciplinar
sejam indispensveis.

Campo de Atuao do bacharel: O Bacharel em Matemtica que concluir mestrado e


doutorado pode prosseguir na rea acadmica, como pesquisador em Matemtica pura ou
reas afins. Alm disso, poder ser professor de curso de ensino superior, assim como ocupar
posies no mercado de trabalho, interagindo em equipes multidisciplinares, em colaborao
com engenheiros, estatsticos, fsicos, economistas e outros profissionais.
4

SUMRIO

___________________________________________________________________________

1. INTRODUO E JUSTIFICATIVA ....................................................................................5

2. PERFIL DOS EGRESSOS.....................................................................................................7

3. COMPETNCIAS E HABILIDADES ..................................................................................8

4. CONTEDOS E MATRIZ CURRICULAR .........................................................................9

5. ORDENAMENTO CURRICULAR.....................................................................................35

6. TRABALHO DE CONCLUSO DE CURSO ....................................................................39

7. ATIVIDADES COMPLEMENTARES ...............................................................................40

9. CORPO DOCENTE .............................................................................................................44


5

1. INTRODUO E JUSTIFICATIVA

___________________________________________________________________________

A matemtica no uma caminhada cuidadosa atravs de uma


estrada bem conhecida, uma jornada por uma terra selvagem
e estranha, onde os exploradores freqentemente se perdem. A
exatido deve ser um sinal aos historiadores de que os mapas j
foram feitos e os exploradores se foram para outras terras.
W. S. Anglin

O Projeto Pedaggico, do Curso de Bacharelado em Matemtica, foi elaborado em


sintonia com as disposies dos seguintes documentos:

Diretrizes Curriculares Nacionais para os Cursos de Matemtica, Bacharelado e


Licenciatura, Parecer N 1.302/2001 do Conselho Nacional de Educao (CNE) / Cmara
de Educao Superior (CES), publicado no Dirio Oficial da Unio de 5/3/2002, Seo 1,
p. 15;

Resolues de nmeros 25/90, 83/92, 01/93, 15/93, 113/95 e 25/2005 do Conselho de


Ensino, Pesquisa e Extenso (CEPE) da Universidade Federal de Alagoas.
Este Projeto Pedaggico, que ora apresenta-se, foi elaborado conjuntamente pelo
Colegiado do Curso de Bacharelado em Matemtica e com a colaborao de vrios
professores do Instituto de Matemtica (IM) da Universidade Federal de Alagoas (UFAL),
tomando como base o Projeto Pedaggico anterior e as disposies legais pertinentes
supracitadas, as quais so baseadas na construo do conhecimento atravs do
questionamento sistemtico e crtico da realidade social. O presente projeto serve como um
instrumento de orientao para a administrao acadmica e resultado de uma ao coletiva
reflexiva e expressiva das idias sobre a pesquisa de ponta da matemtica e suas relaes com
o ensino em todos os nveis, alm da inovao tecnolgica desta cincia atravs de estudos
interdisciplinares. Outro aspecto importante abordado neste projeto a relao da matemtica
com a divulgao cientfica, dentro do contexto de uma sociedade que, por um lado
altamente tecnolgica e, por outro, completamente alheia s descobertas cientficas que
proporcionam toda a tecnologia existente a nossa volta. O presente projeto contm estratgias
que promovem uma articulao eficiente entre pesquisa, ensino e extenso em Matemtica.
Curiosamente, o brasileiro mdio considera razovel que uma pessoa se d mal com os
nmeros, mesmo que ele precise cada vez mais deles, na sua profisso ou na sua rotina fora
do escritrio. Nenhuma outra confisso de fracasso desperta tanta simpatia, como a conhecida
eu era pssimo em Matemtica. Um sentimento de solidariedade varre o ambiente onde esta
afirmao feita, quase sempre como uma proclamao nostlgica dos velhos e bons tempos.
A solidariedade facilmente explicvel: a maioria das pessoas no teve apenas um pssimo
desenvolvimento em Matemtica na escola, muito pelo contrrio, continua a se embaraar
sem que isso parea especialmente constrangedor. Experimente confessar numa festa, por
exemplo, que seu portugus sempre foi ruim e que voc s vezes no entende o que l num
jornal. A solidariedade transforma-se numa fria aquiescncia. O que centenas de
pesquisadores esto descobrindo em todo o mundo que justamente essa atitude de
indiferena dos adultos, notadamente nos pases do Ocidente, com o seu desempenho
6

matemtico, est na base de um dos mais perniciosos males educacionais modernos: o


fracasso da sociedade com os nmeros. *
De um modo geral, os aspectos utilitrios (ou de aplicao imediata) dos mtodos
matemticos a um grande elenco de disciplinas, tm relegado os enfoques formativos a um
plano secundrio. Ora, como no se pode aplicar uma metodologia da qual no so bem
conhecidos os fundamentos epistemolgicos, a dicotomia assinalada um dos fatores
responsveis pelo descompasso entre a pesquisa bsica em Matemtica e seus reflexos na
qualidade dos demais cursos do ensino fundamental e superior.
Um outro exemplo da distoro, mencionada anteriormente, decorre da condio histrica
do BrasilColnia. Alis, somente em 1810 ocorreu o primeiro curso sistemtico de
Matemtica, na Real Academia Militar do Rio de Janeiro, fundada por D. Joo VI. Na
realidade, desde o sculo XIX, o estudo da matemtica permaneceu associado s academias
militares (por influncia do positivismo europeu) e s escolas de engenharia; em ambos os
casos, eram evidentes a nfase nos aspectos informativos.
A partir de 1930, o cenrio comea a mudar com o surgimento das faculdades de
Filosofia, Cincias e Letras; por exemplo, a Universidade de So Paulo (USP) foi criada em
1933 e a Universidade do Brasil em 1939. Alm disso, tambm nessa poca comeam a surgir
os primeiros ncleos de pesquisa sistemtica em Matemtica; inmeros convnios com
professores visitantes (da Europa, em maior nmero), permitiram, nesta poca, estabelecer
grupos de pesquisadores no Rio de Janeiro, So Paulo, Pernambuco, Paran e Minas Gerais.
A criao do Instituto de Matemtica Pura e Aplicada (IMPA) sob os auspcios do CNPq,
em 1952, representou um grande avano qualitativo na pesquisa brasileira, formando
pesquisadores e promovendo a integrao com outras reas do conhecimento. Por outro lado,
a partir da dcada de 60 so implantados os programas de ps-graduao em Matemtica, os
quais, atualmente, tm reconhecimento internacional.
Na Universidade Federal de Alagoas, a trajetria das disciplinas de contedo matemtico
no foi muito diferente da que predominou nas demais universidades brasileiras. Apenas na
em 1974, com a redefinio da estrutura administrativa em Centros e Departamentos, ocorreu
a criao do Departamento de Matemtica permitindo orientar e fixar os contedos de todas
as disciplinas de carter matemtico. Em particular, foram autorizados os Cursos de
Licenciatura em Cincias, com habilitaes em Matemtica, Fsica, Qumica e Biologia, com
parmetros definidos pela Resoluo N 30/74, de 11 de julho de 1974, do Conselho Federal
de Educao.
Tradicionalmente, a Matemtica sempre esteve ligada s reas da Fsica e da Engenharia,
porm, nas ltimas dcadas, as aplicaes da Matemtica esto ocorrendo numa constante
expanso e ampliao com intercmbios em diferentes reas do conhecimento, como a
Computao e as Cincias Econmicas, Biolgicas, Humanas e Sociais, exigindo a reviso
dos seus programas de formao. Portanto, com base nas demandas e exigncias atuais,
expressas pelas Diretrizes Curriculares Nacionais, o Curso de Bacharelado em Matemtica
visa, de maneira mais ampla, dar uma formao matemtica adequada a um posterior curso de
ps-graduao, preparando para o ensino e a pesquisa, alm de fornecer elementos utilitrios
fora do mbito acadmico para atuao nas diversas reas de aplicao da Matemtica.

*
Clculos com roupa nova, Revista Veja .
7

2. PERFIL DOS EGRESSOS

___________________________________________________________________________

Atendendo as exigncias do Parecer CNE/CES 1.302/2001, um Curso de Bacharelado em


Matemtica deve ser projetado de forma tal que garanta ao bacharel uma slida formao
matemtica. Alm disso, tal curso deve ser bastante flexvel para garantir aos seus graduados
uma qualificao abrangente e, conseqentemente, possibilite oportunidades de trabalho nas
reas de Computao, Fsica, Estatstica, Engenharias, Economia, entre outras.

Dentro dessas perspectivas, propomos um programa para o Curso de Bacharelado em


Matemtica que propicie a formao no s do bacharel, que deseja seguir uma carreira
acadmica, como tambm a formao de um profissional com slida base em contedos
matemticos, combinada com especializao em algumas reas de aplicao da Matemtica e,
portanto, dando nfase a interdisciplinaridade, ou seja, a formao adquirida pelo bacharel
deve ser tal que lhe d a flexibilidade necessria para atuar em um mercado de trabalho
dinmico e, atualmente, imprevisvel.
Neste contexto, um Curso de Bacharelado em Matemtica deve garantir que seus egressos
tenham:
Uma slida formao de contedos de Matemtica, complementada de uma formao em
reas de aplicao da Matemtica;

Uma formao que lhes prepare para enfrentar os desafios das rpidas transformaes da
sociedade, do mercado de trabalho e das condies de exerccio profissional;

Viso histrica e crtica da Matemtica.


8

3. COMPETNCIAS E HABILIDADES

________________________________________________________________
O campo de trabalho do Bacharel em Matemtica inclui, principalmente, as
universidades, os centros de pesquisa e as empresas, onde o trabalho em grupos
multidisciplinares imprescindvel. Alm disso, o Curso de Bacharelado em Matemtica
permite seus egressos darem continuidade a seus estudos em cursos de mestrado e doutorado,
abrindo as portas para que os mesmos conquistem posies de alto nvel no mercado de
trabalho. Por outro lado, alm do estreito vnculo da Matemtica com a Fsica e as
Engenharias, nas ltimas dcadas verificou-se o surgimento de novas oportunidades para os
matemticos nas Cincias Econmicas, Biolgicas, Humanas e Sociais. Essas novas
oportunidades de emprego surgem devido importncia do matemtico na resoluo dos
problemas que surgem no desenvolvimento da cincia e da tecnologia da sociedade atual.
Dessa forma, o projeto pedaggico presente deve proporcionar uma formao, ao mesmo
tempo ampla e flexvel, que desenvolva habilidades e conhecimentos necessrios s
expectativas atuais alm de uma capacidade de adequao a diferentes perspectivas de
atuao futura.
Considerando as necessidades atuais e futuras do desenvolvimento de nossa sociedade,
o novo currculo do Curso de Bacharelado em Matemtica foi elaborado, de acordo com as
diretrizes nacionais, de maneira a desenvolver as seguintes competncias e habilidades:

Capacidade de expressar-se escrita e oralmente com clareza e preciso;


Capacidade de trabalhar em equipes multidisciplinares;
Capacidade de compreender, criticar e utilizar novas idias e tecnologias para a resoluo
de problemas;
Capacidade de estabelecer relaes entre a Matemtica e outras reas do conhecimento;
Capacidade de aprendizagem continuada, sendo a sua prtica a fonte de produo de
conhecimento;
Conhecimento de questes contemporneas;
Educao abrangente necessria ao entendimento do impacto das solues encontradas
num contexto global e social;
Habilidade de identificar, formular e resolver problemas na sua rea de aplicao,
utilizando rigor lgico-cientfico na anlise da situao-problema;
Participar de programas de formao continuada;
Realizar estudos de ps-graduao;
Trabalhar na interface da Matemtica com outros campos do saber.
9

4. CONTEDOS E MATRIZ CURRICULAR

___________________________________________________________________________
O currculo que enfatiza a formao do Bacharel em Matemtica pelo IM da UFAL
entrar em vigor a partir de 2006, em sintonia com as exigncias que a sociedade atual faz a
tais profissionais.
O Bacharel em Matemtica que desejar obter o ttulo de Licenciado em Matemtica
poder faz-lo, bastando para tanto cumprir as disciplinas do Curso de Licenciatura em
Matemtica do IM da UFAL que se fizerem necessrias. ALTERAR REDAO
Dentro da carga horria total do Curso de Bacharelado em Matemtica, 200 (duzentas)
horas destinam-se as Atividades Complementares, regulamentadas pela resoluo 113/95-
CEPE/UFAL. Tambm constitui requisito obrigatrio para a integralizao do Curso de
Bacharelado em Matemtica, o desenvolvimento de um Trabalho de Concluso de Curso
(TCC). Nos pargrafos 6 e 7, esto descritas detalhadamente as caractersticas fundamentais
que abrangem o TCC e as Atividades Complementares, respectivamente.
Com o objetivo de desenvolver as competncias e habilidades desejadas para o
bacharel em matemtica, descritas anteriormente, optamos por distribuir as atividades
curriculares especficas do curso nos seguintes grupos de conhecimentos:
A. Conhecimentos de lgebra: As estruturas algbricas bsicas, grupos e anis, so
fundamentais para o entendimento de vrias reas matemticas. Por exemplo, os grupos
de matrizes invertveis (grupos lineares) jogam um papel fundamental na Geometria e os
grupos de permutaes tm suma importncia nas teorias combinatrias. Entre os anis
destacam-se os anis dos inteiros e dos polinmios nos quais se estudam as respectivas
divisibilidades. A abordagem das estruturas algbricas neste programa de bacharelado no
perde de vista os exemplos concretos, procedendo de modo objetivo, sintetizando-os no
estudo das equaes algbricas e na teoria dos nmeros.
B. Conhecimentos de lgebra Linear: A lgebra Linear um poderoso instrumento
matemtico, que se baseia em operaes bastante simples, contendo a teoria de sistemas
de equaes lineares, a teoria das matrizes, os operadores lineares e as formas quadrticas,
entre outros assuntos. Ela fundamental para o estudo de outras disciplinas da
matemtica, como a Anlise Real em Vrias Variveis e as Equaes Diferenciais, alm
de inmeras aplicaes na Fsica, Estatstica, Computao Grfica, entre outras.

C. Conhecimentos de Anlise Complexa: A Anlise Complexa faz um estudo das funes


definidas sobre o corpo algebricamente fechado dos nmeros complexos e traz a luz o
importantssimo conceito de funo holomorfa, o qual aparece em vrios problemas da
Fsica; por exemplo, problemas de contorno da Mecnica dos Fludos. A Anlise
Complexa tambm aplicada no estudo das Equaes Diferenciais e dos Sistemas
Dinmicos Complexos. Conhecimentos de Anlise Complexa constituem uma ferramenta
para busca de solues dos problemas atuais de Matemtica e de outras do conhecimento.

D. Conhecimentos de Anlise Matemtica: O estudo da Anlise Matemtica assenta sobre


bases rigorosas as noes apresentadas no clculo diferencial e integral de uma e vrias
variveis sob forma intuitiva, estendendo-as e aprofundando-as. O estudo dos conceitos de
10

vrias variveis realizado atravs do uso da lgebra Linear e da Topologia dos Espaos
Euclidianos.

E. Conhecimentos da Arte de Investigar em Matemtica: Aprender a investigar em


matemtica essencial para o bacharel. Desde a graduao o discente deve ser estimulado
a saber quais so as razes e os objetivos da matemtica como cincia exata e o
desenvolvimento histrico da mesma, apropriando-se assim do carter e postura que
dever ter um matemtico para promover o desenvolvimento desta cincia. Neste
currculo, propomos disciplinas tais como Organizao do Trabalho Acadmico, Histria
da Matemtica e o Trabalho de Concluso de Curso que visam orientar o discente a como
deve ser realizado o processo de investigao em matemtica.

F. Conhecimentos de Clculo Diferencial e Integral: O Clculo diferencial e Integral teve


seu desenvolvimento nos sculos XVI e XVII com as obras de Leibniz e Newton e com as
contribuies de muitos outros matemticos. O estudo do Clculo Diferencial e Integral
d embasamento para o estudo da Anlise Matemtica e a Geometria Diferencial, o que
torna importante a insero destes conhecimentos desde o incio do curso.

G. Conhecimentos de Geometria: A Geometria comeou seu desenvolvimento desde a


antiguidade. Alis, foram os matemticos da Antiga Grecia que sistematizaram seus
fundamentos dando origem Geometria Euclidiana descrita por Euclides. A discusso do
quinto postulado de Euclides trouxe benefcios importantsimos. At hoje, quando em
tentativas de provas para o mesmo, apareceram as geometrias no-euclidianas que
encontraram aplicaes na Fsica. O aparecimento da Geometria Analtica no sculo XVII
foi outro passo importante no desenvolviemento Geometria, pois esta constitui uma forte
ferramenta de demonstrao. Ainda observamos que a Geometria est nas razes do
surgimento da Topologia, que hoje uma rea da matemtica de grande atuao.

H. Conhecimentos de Matemtica Aplicada: O bacharel em matemtica dever dominar


aspectos bsicos de Matemtica Aplicada, como Anlise Numrica, Mtodos
Computacionais, Probabilidade e Estatstica. Tais conhecimentos fazem do matemtico
um profissional importante para trabalhar junto a pesquisadores de outras cincias,
desenvolvendo reas como Fsica-Matemtica, Mecnica dos Fludos, Matemtica
Computacional, Engenharia, Economia e Biologia, entre outras.

I. Conhecimentos de Outras Cincias: A matemtica se desenvolve em parceria com


outras cincias e no isoladamente. Por tal motivo, o bacharel em matemtica deve
conhecer aspectos bsicos de outras cincias nas quais seus conhecimentos matemticos
sejam importantes. Por exemplo, o currculo dever dar espao a atividades em outras
reas como, por exemplo, Computao e Fsica.

J. Conhecimentos de Topologia: A Topologia faz a generalizao dos conceitos


topolgicos tratados na Anlise Matemtica, permitindo estabelecer novos conceitos e
estruturas matemticas que so a base para o estudo de reas mais profundas como a
Topologia Algbrica e a Topologia Diferencial. Conhecimentos topolgicos bsicos so
muito importantes na formao do bacharel que pretenda continuar sua carreira na
pesquisa matemtica.

Sobre os contedos descritos acima, observamos ainda que fundamentos bsicos de


matemtica sero ministrados aos discentes logo no incio do curso, objetivando consolidar os
conhecimentos adquiridos no ensino mdio e, assim, prepar-los na insero crescente de
11

contedos do currculo. As disciplinas so inseridas ao longo do curso de forma tal que o


discente avance com um ritmo que lhe permita amadurecer os conhecimentos adquiridos, bem
como colocar os mesmos em prtica quando for necesrio, facilitando um fluxo
graduativamente crescente. Nos ltimos semestres, se abre um maior espao a disciplinas
eletivas para permitir que discentes com interesse de iniciar estudos de mestrado cursem
disciplinas em nvel de iniciao cientfica e assim facilitar uma incluso mais slida nos
cursos de ps-graduao.
Tais contedos so constitudos pelas disciplinas obrigatrias e eletivas descritas na
tabela seguinte.

Grupo de
Disciplinas Obrigatrias Disciplinas Eletivas
Conhecimentos
 Introduo s Estruturas  lgebra 1
(A) Algbricas
 Teoria dos Corpos
lgebra  Introduo Teoria dos
Nmeros  Teoria dos Nmeros
(B)  lgebra Linear 1
 lgebra Linear
lgebra Linear  lgebra Linear 2
(C)  Introduo Varivel
 Anlise Complexa
Anlise Complexa Complexa

 Anlise Real 1  Anlise no R n


 Anlise Real 2  Equaes Diferenciais
(D) Ordinrias
 Introduo s Equaes
Anlise Matemtica Diferenciais Ordinrias  Introduo aos Espaos de
Dimenso Infinita
 Introduo s Equaes
Diferenciais Parciais  Introduo Teoria da Medida
e Integrao
 Histria da Matemtica
(E)  Organizao do Trabalho
Arte de Investigar em Acadmico No
Matemtica  Trabalho de Concluso de
Curso
 Clculo 1
(F)
 Clculo 2
Clculo Diferencial e No
 Clculo 3
Integral
 Clculo 4
 Geometria Analtica
 Geometria Euclidiana 1
(G)  Geometria Diferencial
 Geometria Euclidiana 2
Geometria  Geometria das Curvas Planas
 Introduo Geometria
Diferencial
 Anlise Numrica 2
 Anlise Numrica 1
(H)  Introduo Computao
 Introduo Probabilidade
Matemtica Aplicada Grfica
 Introduo Computao
 Introduo Estatstica
12

 Fsica 1
(I)
 Fsica 2  Fsica 4
Outras Cincias
 Fsica 3
(J)
 Introduo Topologia Geral No
Topologia

4.2 Disciplinas
O Curso composto de 30 (trinta) disciplinas obrigatrias e 15 (quinze) eletivas
abrangendo todos os grupos de conhecimentos propostos no currculo.

Tabela de Disciplinas
N CDIGO DISCIPLINAS OBRIGATRIAS
01 MATB000 LGEBRA LINEAR 1
02 MATB000 LGEBRA LINEAR 2
03 MATB006 ANLISE REAL 1
04 MATB000 ANLISE REAL 2
05 MATB000 ANLISE NUMRICA 1
06 MATB008 CLCULO 1
07 MATB000 CLCULO 2
08 MATB000 CLCULO 3
09 MATB000 CLCULO 4
10 MATB000 FSICA 1
11 MATB000 FSICA 2
12 MATB000 FSICA 3
13 MATB002 FUNDAMENTOS DE MATEMTICA 1
14 MATB010 FUNDAMENTOS DE MATEMTICA 2
15 MATB001 GEOMETRIA ANALTICA
16 MATB003 GEOMETRIA EUCLIDIANA 1
17 MATB009 GEOMETRIA EUCLIDIANA 2
18 MATB000 HISTRIA DA MATEMTICA
19 MATB007 INTRODUO COMPUTAO
20 MATB000 INTRODUO S EQUAES DIFERENCIAIS ORDINRIAS
21 MATB000 INTRODUO S EQUAES DIFERENCIAIS PARCIAIS
22 MATB000 INTRODUO S ESTRUTURAS ALGBRICAS
23 MATB000 INTRODUO GEOMETRIA DIFERENCIAL
24 MATB004 INTRODUO LGICA
25 MATB000 INTRODUO PROBABILIDADE
26 MATB000 INTRODUO TEORIA DOS NMEROS
27 MATB000 INTRODUO TOPOLOGIA GERAL
28 MATB0000 INTRODUO VARIVEL COMPLEXA
29 MATB005 ORGANIZAO DO TRABALHO ACADMICO
30 MATB000 TRABALHO DE CONCLUSO DE CURSO
N CDIGO DISCIPLINAS ELETIVAS
01 MATB000 LGEBRA LINEAR
02 MATB000 LGEBRA 1
03 MATB000 ANLISE COMPLEXA
13

04 MATB000 n
ANLISE NO R
05 MATB000 ANLISE NUMRICA 2
06 MATB000 EQUAES DIFERENCIAIS ORDINRIAS
07 MATB000 FSICA 4
08 MATB000 GEOMETRIA DAS CURVAS PLANAS
09 MATB000 GEOMETRIA DIFERENCIAL
10 MATB000 INTRODUO COMPUTAO GRFICA
11 MATB000 INTRODUO AOS ESPAOS DE DIMENSO INFINITA
12 MATB000 INTRODUO ESTATSTICA
13 MATB000 INTRODUO TEORIA DA MEDIDA E INTEGRAO
14 MATB000 TEORIA DOS CORPOS
15 MATB000 TEORIA DOS NMEROS

4.3 Descrio das Disciplinas

Detalhamos a seguir os objetivos e o contedo programtico de cada disciplina do


currculo do Curso de Bacharelado.

Observao: A referncia bibliogrfica prioritria de cada disciplina est marcada em


negrita. Nos casos em que no for marcada nenhuma bibliografia significa que as que foram
citadas se complementam de forma integral.

4.3.1 Descrio das Disciplinas Obrigatrias

lgebra Linear 1 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos No

Desenvolver o raciocnio lgico, algbrico e formal do estudante, permitindo-o


Objetivos
identificar e efetuar clculos abstratos e concretos em espaos lineares.

Matrizes e sistemas de equaes lineares. Mtodo de eliminao de Gaussiana.


Espaos vetoriais: definio, subespaos, dependncia e independncia linear,
espaos finitamente gerados, base, dimenso e matriz mudana de base.
Transformaes lineares: definio de soma direta e projeo, ncleo e imagem,
Contedo
o Teorema do Ncleo e da Imagem e suas conseqncias, matriz de uma
Programtico
transformao linear. Produto interno real: mdulo de um vetor, ngulo entre
dois vetores, vetores ortogonais e complemento ortogonal. Operadores lineares:
lgebra de operadores lineares e operadores invertveis. Autovalores e
autovetores e suas propriedades. Diagonalizao de operadores lineares.
1. ANDRADE, P. Um curso de lgebra Linear. Livro do professor Plcido
Andrade. Universidade Federal de Cear, 2003.
2. BOLDRINI, J. L.; COSTA, S. L. R.; FIGUEIREDO, V. L. & WETZLER,
H. G. 3a edio, Editora Harbra Ltda. So Paulo, 1986.
3. CALLIOLI, C. A; COSTA, R. F. & DOMINGUES, H. lgebra Linear e
Bibliografia
Aplicaes. Atual Editora, 1990.
4. COELHO, F. U. & LOURENO, M. L. Um curso de lgebra Linear.
Editora da Universidade de So Paulo-EDUSP, 2001.
5. LIMA, E. L. lgebra Linear, 6 Edio. Coleo Matemtica Universitria.
IMPA, 2003.
14

lgebra Linear 2 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos lgebra Linear 1

Estudar operadores lineares em espaos vetoriais de dimenso finita e com


produto interno. Descrever operadores lineares em termos de subespaos
Objetivos
invariantes. Relacionar espaos vetoriais e espaos duais, bem como
transformaes lineares e suas adjuntas.

Espaos vetoriais complexos. Espaos vetoriais com produto interno:


ortogonalidade, subespao ortogonal, melhor aproximao e transformaes que
preservam o produto interno. Adjuntos: funcionais lineares e adjuntos. O
Contedo
Teorema de Representao para funcionais lineares. Operadores auto-adjuntos,
Programtico
ortogonais, unitrios e normais. O Teorema Espectral para operadores auto-
audjuntos. Formas Cannicas: subespaos invariantes, polinmios minimais,
operadores nilpotentes e formas de Jordan.
1. ANDRADE, P. Um curso de lgebra Linear. Livro do professor Plcido
Andrade. Universidade Federal de Cear, 2003.
2. COELHO, F. U. & LOURENO, M. L. Um curso de lgebra Linear.
Bibliografia Editora da Universidade de So Paulo-EDUSP, 2001.
3. HOFFMAN, K. & KUNZE, R Linear Algebra. Prentice Hall, 1971.
4. LIMA, E. L. lgebra Linear. Coleo Matemtica Universitria. IMPA,
1996.

Anlise Real 1 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Clculo 2

Dar um tratamento formal aos conceitos do Clculo Diferencial e Integral de


funes reais de uma varivel introduzidos nas disciplinas Clculo 1 e Clculo 2,
Objetivos passando pela construo axiomtica dos nmeros reais e pela introduo de
noes topolgicas da reta. Estimular o exerccio da lgica atravs da anlise e
deduo dos resultados, assim como o exerccio mental da escrita formal.

Nmeros reais: propriedades e completeza. Seqncias e sries de nmeros reais.


Topologia da Reta: conjuntos abertos e fechados, pontos de acumulao,
conjuntos compactos e conjunto de cantor. Limite de funes reais. Funes
contnuas: definio, funes contnuas num intervalo, funes contnuas em
conjuntos compactos e continuidade uniforme. Funes derivveis: definio de
Contedo derivada, derivada e crescimento local, funes derivveis num intervalo,
Programtico frmula de Taylor, aplicaes da derivada, concavidade e convexidade. Integral
de Riemann: definio, propriedades da integral, condies suficientes de
integrabilidade, teoremas clssicos do Clculo Integral (Teorema Fundamental
do Clculo) e integrais imprprias. Seqncias e sries de funes: convergncia
simples e convergncia uniforme, propriedades da convergncia uniforme, sries
de potncias e sries de Taylor.
1. BARTLE, R. G. The Elements of Real Analysis 6 Ed. John Willey & Sons,
1976.
2. FIGUEIREDO, de D. G. DE. Anlise 1. Editora LTC, 1996.
Bibliografia
3. LIMA, E. L. Anlise Real Vol. 1. Coleo Matemtica Universitria.
IMPA, 2002
4. RUDIN, W. Principles of Mathematical analysis. McGraw-Hill, Inc. 1976.
15

Anlise Real 2 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Anlise Real 1, lgebra Linear 1 e Clculo 4

Dar tratamento formal aos conceitos do Clculo Diferencial e Integral de funes


reais de vrias variveis e de funes vetoriais introduzidos nas disciplinas
Objetivos Clculos 3 e Clculo 4, assim como complementar a teoria e aplicaes destes
assuntos. Desenvolver o exerccio da lgica atravs da anlise e deduo dos
resultados.

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, hipersuperfcies e
Contedo
multiplicadores de Lagrange. Aplicaes diferenciveis: a derivada como
Programtico
transformao linear, vrias funes implcitas e o Teorema da Aplicao
Inversa. Integrais Mltiplas: definio de integral, conjuntos de medida nula,
condio de integrabilidade (Teorema de Lebesgue), conjuntos J -mensurveis,
a integral como limite de somas de Riemann e mudana de variveis.
1. LIMA, E. L. Anlise Real Vol. 2. Coleo Matemtica Universitria.
Bibliografia IMPA, 2004.
2. RUDIN, W. Principles of Mathematical analysis. McGraw-Hill, Inc. 1976

Anlise Numrica 1 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos lgebra Linear 1, Clculo 3 e Introduo Computao

Introduzir o discente s modernas tcnicas de aproximao da lgebra Linear e


do Clculo Diferencial e Integral, explicando como, porque e quando elas devem
Objetivos
ser utilizadas com sucesso. Possibilitar uma base slida para o estudo futuro da
anlise numrica e da computao cientfica.

Noes de aritmtica de ponto flotante: erros absolutos e relativos,


arredondamentos e truncamentos, aritmtica de ponto flutuante, aplicaes e uso
de softwares numricos. Solues de equaes com uma varivel: mtodos
iterativos (bisseo, ponto fixo, Newton e secantes), anlise do erro para os
mtodos iterativos, convergncia, avaliao dos mtodos e uso de softwares.
Mtodos diretos para soluo de sistemas lineares: estratgias de pivotamento,
inverso de matrizes, determinante de uma matriz, fatorao de matriz, avaliao
dos mtodos e uso de softwares. Mtodos iterativos da lgebra matricial: clculo
Contedo
de norma de vetores e matrizes, clculo de autovalores e autovetores, mtodos
Programtico
iterativos para solucionar sistemas lineares (Jacobi, Gauss-Seidel e SQR), o
mtodo do gradiente e do gradiente conjugado, avaliao dos mtodos e uso de
softwares. Diferenciao e Integrao numrica: mtodos numricos de
derivao (extrapolao de Richardson), frmulas de integrao de Newton-
Cotes (frmula trapezoidal, frmula de Simpson e frmula do ponto mdio),
integrao composta (regra composta de Simpson e regra composta dos
trapzios), integrao de Romberg e quadratura Gaussiana, avaliao dos
mtodos e uso de softwares.
1. BURDEN, R. L & FAIRES, J. D. Anlise Numrica. Pioneira Thomson
Bibliografia Learning, 2003.
2. CONTE, S. D. Elementos de Anlise Numrica. Editora Globo, 1972.
16

3. CUNHA, M. C. C. Mtodos Numricos, Segunda Edio. Editora Unicamp,


2000.
4. RUGGIERO, M. A. & Lopes, V. L. Clculo Numrico: aspectos tericos e
computacionais, Segunda Edio. Makron Books, So Paulo, 1997.

Clculo 1 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos No
Familiarizar o discente com a linguagem matemtica bsica referente aos
conceitos de limite e continuidade de funes de uma varivel real. Introduzir
Objetivos o conceito de derivada e as tcnicas do clculo diferencial. Apresentar ao
discente as primeiras aplicaes do clculo diferencial na fsica e outras cincias.
Motivar a definio de integral.
Limite e continuidade de funes reais: definio heurstica de limite, clculo
dos limites usando suas leis, definio precisa de limite e limites no infinito.
Continuidade: definio de continuidade e propriedades das funes contnuas
num intervalo (Teorema dos Valores Intermedirios). Tangentes, velocidades e
outras taxas. Derivadas: definio de derivada, a derivada como uma funo,
derivadas de funes polinomiais e exponenciais, as regras do produto e o
Contedo quociente, derivadas de funes trigonomtricas, a regra da cadeia, diferenciao
Programtico implcita, derivadas superiores, derivadas de funes logartmicas, funes
hiperblicas e suas derivadas, taxas relacionadas, aproximaes lineares e
diferenciais, valores mximos e mnimos, pontos crticos, Teorema de Fermat e
propriedades das funes derivveis num intervalo (Teorema de Rolle e Teorema
do Valor Mdio de Lagrange). Traado de grficos. Formas indeterminadas e
regra de LHpital. Problemas de otimizao. Antiderivadas. reas e distncias.
A integral definida.
1. LEITHOLD, L. Clculo com Geometria Analtica Vol. 1. Editora Harbra,
1994.
2. STEWART, J. Clculo Vol. 1. Pioneira Thomson Learning, 2006.
Bibliografia
3. SIMMONS, G. F. Clculo com Geometria Analtica Vol. 1. Pearson
Education-Makron Books, 2005.
4. THOMAS, G. B. Clculo Vol. 1. Addison Wesley, 2002.

Clculo 2 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Clculo1

Desenvolver os conceitos e tcnicas ligadas ao clculo integral de funes de


uma varivel. Apresentar ao discente as primeiras aplicaes do clculo integral
Objetivos
na fsica e outras cincias. Estudar a aproximao de funes reais atravs de
polinmios.

O Teorema Fundamental do Clculo. Integrais indefinidas. A regra de


substituio. O Logaritmo definido como integral. Aplicaes da integral
definida: clculo de reas entre curvas, clculo de volumes por sees
Contedo transversais e por cascas cilndricas. Valor mdio de uma funo. Tcnicas de
Programtico integrao: integrao por partes, integrais trigonomtricas, integrais de funes
racionais. Integrais imprprias. Crescimento e decaimento exponenciais.
Coordenadas polares: reas e comprimentos em coordenadas polares. Seqncias
e Sries: testes de convergncia (o teste da integral e testes de comparao),
17

sries alternadas (convergncia absoluta, teste da raiz e teste da razo) e sries de


potncias. Aproximao de funes: representao de funes por sries de
potncias, sries de Taylor e de Maclaurin.
1. LEITHOLD, L. Clculo com Geometria Analtica Vol. 1 e Vol. 2. Editora
Harbra, 1994.
2. STEWART, J. Clculo Vol. 1 e Vol. 2. Pioneira Thomson Learning,
Bibliografia 2006.
3. SIMMONS, G. F. Clculo com Geometria Analtica Vol. 1 e Vol. 2. Pearson
Education do Brasil-Makron Books, 2005.
4. THOMAS, G. B. Clculo Vol. 1 e Vol. 2. Addison Wesley, 2002.

Clculo 3 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Clculo 2

Estender os conceitos de limite e continuidade, bem como as tcnicas do clculo


diferencial de funes reais de uma varivel para funes reais de vrias
Objetivos
variveis. Apresentar aplicaes do clculo diferencial em vrias variveis na
fsica e outras cincias.

Curvas parametrizadas: comprimento de arco, curvatura e toro. Funes de


vrias variveis: grficos, limite e continuidade. Derivao de funes de vrias
Contedo variveis: derivadas parciais, diferenciais, derivada direcional, gradiente, regra
Programtico da cadeia e o Teorema da Funo Implcita. Mximos e Mnimos: generalidades
sobre extremos locais e absolutos, caracterizao dos extremos locais e
Multiplicadores de Lagrange. Frmula de Taylor.
1. LEITHOLD, L. Clculo com Geometria Analtica Vol. 2. Editora Harbra,
1994.
2. STEWART, J. Clculo Vol. 2. Pioneira Thomson Learning, 2006.
Bibliografia
3. SIMMONS, G. F. Clculo com Geometria Analtica Vol. 2. Pearson
Education do Brasil-Makron Books, 2005.
4. THOMAS, G. B. Clculo Vol. 2. Addison Wesley, 2002.

Clculo 4 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Clculo 3

Estender os conceitos e tcnicas do clculo integral de funes reais de uma


varivel para funes reais de vrias variveis. Apresentar aplicaes do clculo
diferencial em vrias variveis na fsica e outras cincias. Familiarizar o discente
Objetivos
com o conceito de superfcie e a integrao sobre tal estrutura. Iniciar o estudo
dos campos vetoriais e apresentar elementos bsicos da resoluo de Equaes
Diferenciais Ordinrias.

Integrao: Integrais duplas e integrais iteradas, integrais mltiplas, mudana de


varivel em integrais mltiplas (coordenadas polares, cilndricas e esfricas) e
integrais imprprias. Integrais de linha: definio de integral de linha, campos
Contedo vetoriais conservativos e independncia do caminho e o Teorema de Green no
Programtico plano. Superfcies: parametrizao, orientao, integrais de superfcie e reas ede
superfcies. Gradiente, rotacional e divergente. Identidade de Green, o Teorema
de Stokes e o Teorema de Gauss. Aplicaes elementares e problemas de
contorno. Equaes diferenciais de 1 ordem: equaes separveis, equaes
18

exatas, equaes homogneas e aplicaes das equaes de 1 ordem. Equaes


de 2 ordem: equaes homogneas com coeficientes constantes, o mtodo dos
coeficientes indeterminados, o mtodo de variao de parmetros e aplicaes
das equaes de 2 ordem.
1. LEITHOLD, L. Clculo com Geometria Analtica Vol. 2. Editora Harbra,
1994.
2. STEWART, J. Clculo Vol. 2. Pioneira Thomson Learning, 2006.
Bibliografia
3. SIMMONS, G. F. Clculo com Geometria Analtica Vol. 2. Pearson
Education do Brasil-Makron Books, 2005.
4. THOMAS, G. B. Clculo Vol. 2. Addison Wesley, 2002.

Fsica 1 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Clculo 1

Objetivos Introduzir os conceitos bsicos e leis da mecnica.


Grandezas fsicas. Vetores. Cinemtica e dinmica da partcula. Trabalho e
Contedo
energia. Dinmica de um sistema de partculas. Cinemtica e dinmica da
Programtico
rotao. Princpios da conservao do movimento linear e angular.
1. HALLIDAY; RESNICK & WALKER. Fundamentos de Fsica 1.
Editora Livros Tcnicos e Cientficos.
Bibliografia
2. TIPLER, P. A. Fsica para Cientistas e Engenheiros, Vol.I. Editora
Guanabara Koogan S.A.

Fsica 2 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Clculo 2 e Fsica 1

Introduzir os conceitos bsicos e leis do movimento ondulatrio, da


Objetivos
hidrosttica e da termodinmica.
Contedo Movimentos oscilatrios: movimento harmnico simples e ondas. Hidrosttica.
Programtico Termodinmica e teoria cintica dos gases.
1. HALLIDAY; RESNICK & WALKER. Fundamentos de Fsica 2.
Editora Livros Tcnicos e Cientficos.
Bibliografia
2. TIPLER, P. A. Fsica para Cientistas e Engenheiros, Vol.II. Editora
Guanabara Koogan S.A.

Fsica 3 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Clculo 3 e Fsica 2

Introduzir os conceitos bsicos e leis da teoria dos campos eltrico e


Objetivos
magntico.
Elstudo introdutrio dos campos eltrico e magntico. Eletrosttica: lei de
Contedo Coulomb, campo eltrico e potencial, lei de Gauss. Campo magntico: leis de
Programtico Ampre e Biot-Savart, induo eletromagntica. Equaes de Maxwell e o
campo etromagntico.
19

1. HALLIDAY; RESNICK & WALKER. Fundamentos de Fsica 3.


Editora Livros Tcnicos e Cientficos.
Bibliografia
2. TIPLER, P. A. Fsica para Cientistas e Engenheiros, Vol.III. Editora
Guanabara Koogan S.A.

Fundamentos de Matemtica 1 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos No

O principal objetivo consiste em revisar e discutir os principais tpicos de


matemtica elementar do ensino mdio, com a finalidade de nivelar os discentes
que iniciam o curso, levando-se em conta que muitos destes possuem grandes
Objetivos
deficincias no aprendizado da matemtica fundamental aquirida no ensino
mdio. Um segundo objetivo da disciplina preparar o discente calouro para a
sistemtica de ensino e aprendizagem de matemtica em nvel superior.

Fatorao. Equaes do segundo e terceiro Graus. Inequaes e desigualdades.


Funes: conceito, zeros, grficos e monotonicidade. Funes elementares:
linear, afim, quadrtica, modular e polinomial. Funes diretas e inversas.
Contedo Funes exponenciais, logartmicas e trigonomtricas. Nmeros complexos:
Programtico definio, forma algbrica, forma trigonomtrica, razes da unidade e inverso.
Equaes algbricas: polinmios complexos, diviso de polinmios, o teorema
fundamental da lgebra, relao entre coeficientes e razes, equaes algbricas
com coeficientes reais.
1. DO CARMO, M. P. Trigonometria e Nmeros Complexos. Coleo do
Professor de Matemtica. SBM, 2005.
2. LIMA, E. L.; CARVALHO, P. C.; WAGNER, E. & MORGADO, A. C. A
Matemtica do Ensino Mdio Vol. 1 e Vol. 3. Coleo do Professor de
Bibliografia
Matemtica. SBM, 2004.
3. LIMA, E. L.; CARVALHO, P. C.; WAGNER, E. & MORGADO, A. C.
Temas e Problemas Elemenatres. Coleo do Professor de Matemtica.
SBM, 2006.

Fundamentos de Matemtica 2 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos No

Reviso dos elementos bsicos da teoria combinatria. Discutir vrios resultados


Objetivos e mtodos da matemtica discreta nas reas de combinatria, teoria dos grafos e
geometria combinatria.

O Princpio de induo. Algumas ferramentas da combinatria: Princpio


multiplicativo da contagem, Incluso-Excluso e Princpio da Casa dos Pombos.
Elementos de combinatria: permutaes, anagramas, arranjos e combinaes.
Coeficientes binomiais e o Tringulo de Pascal: o Teorema Binomial, o
Contedo Tringulo de Pascal e identidades no Tringulo de Pascal. Nmeros de
Programtico Fibonacci: definio, identidades e frmula para os nmeros de Fibonacci.
Grafos: grau de um vrtice, caminhos, ciclos, conectividade, paseios eulerianos e
ciclos hamiltonianos. rvores: definio mediante grafos, caracterizao,
crescimento de rvores, contagem de rvores e rvores no rotuladas e rvore
tima. Emparelhamentos em grafos: grafos bipartidos, Teorema do
Emparelhamento, emparelhamento perfeito. Combinatria em Geometria.
20

Frmula de Euler. Colorao de mapas e grafos: colorao com duas cores,


colorao com 3 cores. Teorema das Quatro Cores.
1. LOVSZ, L.; PELIKN, J. & VESZTERGOMBI. Matemtica
Discreta. Textos Universitrios. SBM, 2003.
Bibliografia
2. MELLO M. P.; MURARI, I. T. C. & OLIVEIRA, J. P. DE. Introduo
Anlise Combinatria. Editora da Unicamp-Srie Livro Texto.

Geometria Analtica MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos No

Introduzir os conhecimentos bsicos de clculo vetorial elementar e de geometria


Objetivos
analtica plana e espacial.

Reta e Segmentos: reta orientada e segmento orientado, segmentos eqipolentes.


Vetores: definio, operaes, ngulo entre vetores, decomposio de um vetor
no plano e no espao, expresso analtica de um vetor, vetor definido por dois
pontos e condio de paralelismo. Produto escalar: definio, propriedades,
mdulo de um vetor, ngulos diretores e cossenos diretores de um vetor. Produto
vetorial e interpretao geomtrica. Produto mixto e interpretao geomtrica.
Duplo produto vetorial. Retas: equao da reta, ngulo entre duas retas, condio
de paralelismo e ortogonalidade, posies relativas de duas retas, interseo de
Contedo
duas retas, reta ortogonal a duas retas dadas e ponto que divide um segmento
Programtico
numa razo dada. Plano: equao do plano, ngulo entre dois planos, ngulo
entre uma reta e um plano, interseo de dois planos, interseo de uma reta com
um plano. Distncia: distncia entre dois pontos, distncia de um ponto a uma
reta, distncia entre duas retas, distncia de um ponto a um plano, distncia de
uma reta a um plano. A parbola e suas propriedades. A elipse e suas
propriedades. A hiprbole e suas propriedades. Sees Cnicas. Superfcies
qudricas centradas. Superfcies qudricas no centradas. Superfcie Cnica.
Superfcie Cilndrica.
1. BOULOS, P. & CAMARGO, I. DE. Geometria Analtica Um Tratamento
Vetorial. Prentice Hall Brasil, 2004.
2. STEINBRUCH, A. & WINTERLE, P. Geometria Analtica. Editora
Bibliografia
Makron Books, 1987.
3. REIS, G. L. DOS & SILVA, V. V. DA. Geometria Analtica. Editora LTC,
Segunda Edio, 1996.

Geometria Euclidiana 1 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos No

Promover o desenvolvimento do raciocnio lgico. Promover o desenvolvimento


do pensamento crtico. Apresentao axiomtica da geometria euclidiana.
Objetivos
Apresentao e justificativa dos procedimentos utilizados nas construes com
rgua e compasso.

Conceitos primitivos: ponto, a reta e o plano e propriedades fundamentais.


Contedo ngulos. Tringulos. Congruncia de tringulos. Desigualdades geomtricas.
Programtico Retas paralelas e propriedades. Polgonos: Diagonais, soma dos ngulos internos
e soma dos ngulos externos. Quadrilteros especiais: paralelogramo, retngulo,
quadrado, losango e trapzio. reas de figuras planas. Semelhana.
21

Circunferncia e crculo. Polgonos inscritveis e circunscritveis. Construes


geomtricas com rgua e compasso: ngulos, tringulos, paralelas e
quadrilteros, retas tangentes e segmentos proporcionais. Equivalncia de figuras
planas. Lugares geomtricos. Tpicos de Geometria Euclidiana Espacial.
1. BARBOSA, J. L. M. Geometria Euclidiana Plana. Rio de Janeiro, SBM,
1985.
2. MOISE, E. E. & DOWNS, F. L. Geometria Moderna. Fondo Educativo
Interamericano, S. A., 1970.
3. POGORELOV, A. V. Geometria Elemental. Ed, Mir, Moscou, 1974.
Bibliografia
4. QUEIROZ, M. L. & REZENDE, E. Geometria Euclidiana Plana e
Construes Geomtricas. Editora da Unicamp-Srie Livro Texto
5. RAMALHO, R. Construes geomtricas com rgua e compasso. Recife.
Universidade Federal de Pernambuco, 1984.
6. WAGNER, E. Construes geomtricas. Rio de Janeiro, SBM, 1993.

Geometria Euclidiana 2 MATB000 Carga Horria Semestral: 60 horas


Pr-Requisitos Geometria Euclidiana 1

Estudar um sistema axiomtico onde todos os postulados da geometria


euclideana so satisfeitos excepto o postulado das paralelas, este a chamada
Objetivos
geometria de Lobachevsky-Bolyai-Gauss (ou geometria hiperblica ou no
euclideana). Comparar as geometrias euclideana e no euclideana.

Historia do surgimento da geometria hiperblica. Reviso de alguns teoremas da


geometria euclideana. Alguns teoremas de Legendre. O quinto postulado da
geometria hiperblica: propriedades elementares das paralelas, propriedades dos
tringulos generalizados, o ngulo de paralelismo, quadrilteros especiais e a
Contedo soma dos ngulos de um tringulo. Pontos ultra-ideais. A variao da distancia
Programtico entre duas retas. Construo de uma paralela. Horocrculos e curvas
eqidistantes. A noo de rea. A trigonometria hiperblica: sistemas de
coordenadas, resoluo de tringulos retngulos e resoluo de tringulos
arbitrrios. Consistncia da geometria hiperblica. O modelo do disco para a
geometria hiperblica e crculos ortogonais. Transformaes lineares complexas.
1. BARBOSA, J. L. M. Geometria Hiperblica. 20 Colquio Brasileiro de
Matemtica. IMPA, 2005.
Bibliografia
2. GREENBERG, M. J. Euclidean and Non-Euclidean Geometries
Development and History. W. H. Freeman and Company. New York, 1980

Histria da Matemtica MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Clculo 4

Estudo e compreenso dos diferentes fatos sociais e idias que levaram ao


Objetivos
desenvolvimento da Matemtica nas diversas civilizaes.

Origens primitivas. Perodo grego clssico e a gnese da matemtica dedutiva na


Contedo antiga Grcia. Idade Mdia. O Renascentismo. Inveno do Clculo Diferencial
Programtico e Integral e suas conseqncias. Os sculos XVIII, XIX e XX e o
desenvolvimento da Matemtica. A axiomatizao da Matemtica. Nossa poca
e tpicos da histria da Matemtica Contempornea. Origens e Evoluo da
22

Matemtica no Brasil.
1. BOYER, C. B, Histria da Matemtica. Edgar Blucher. So Paulo, 1974.
2. EVES, H. An Introduction to the History of Mathematics, Sixth Edition. The
Bibliografia Saunder Series, 1992.
3. GUIMARES, M. & MOTOYAMA, S. Histria das cincias no Brasil.
EPU, 1979.

Introduo Computao MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos No

Introduzir os principais recursos dos sistemas de computao algbrica e os


Objetivos
conceitos fundamentais da programao de computadores.

Tipos de dados numricos. Operaes aritmticas. Funes matemticas.


Avaliao de expresses. Fatorao, expanso e simplificao de expresses.
Contedo Soluo numrica e simblica de equaes. Operaes com listas. Operaes
Programtico com matrizes. Grficos em 2 (dois) e 3 (trs) dimenses. Operadores lgicos e
relacionais. Estruturas condicionais e de repetio. Escopo de Variveis.
Estruturas de dados. Programao procedural X programao funcional
1. ANDRADE, L. N. DE. Introduo Computao Algbrica com o
Bibliografia
Maple. Coleo Textos Universitrios. SBM, 2004.

Introduo s Equaes Diferenciais


MATB000 Carga Horria Semestral: 80 horas
Ordinrias
Pr-Requisitos lgebra Linear 2 e Clculo 3 e Introduo Varivel Complexa

Apresentar de uma forma concisa mtodos elementares de resoluo de equaes


diferenciais ordinrias. Apresentar diversas aplicaes das Equaes Diferenciais
Objetivos Ordinrias em outras cincias. Utilizar tcnicas de lgebra linear para resolver
sistemas lineares de equaes diferenciais ordinrias. Introduzir o conceito de
estabilidade das solues no sentido de Liapunov.

Equaes diferenciais de primeira ordem: equaes lineares e no lineares,


aspectos sobre a existncia e unicidade das solues, equaes exatas, equaes
separveis e fatores integrantes. Aplicaes. Equaes lineares de segunda
ordem: propriedades das solues da equao homognea, mtodo dos
coeficientes a determinar e mtodo de variao de parmetros e aplicaes s
oscilaes lineares. Equaes lineares de ordem mais alta. Solues em srie
Contedo para equaes lineares de segunda ordem. A Transformada de Laplace. Sistemas
Programtico de equaes lineares de primeira ordem: sistemas com coeficientes constantes e
soluo geral, sistemas com coeficientes varveis e propriedades das
solues (matriz fundamental). Noes da Teoria de Estabilidade:
sistemas autnomos no plano, plano de fase, rbitas, solues de equilbrio,
solues e solues peridicas, estabilidade de sistemas lineares perturbados.
Aplicaes: o pndulo amortecido, espcies em competio (presa-predador). O
mtodo direto de Liapunov.
1. BOYCE, W. E. & DIPRIMA R. C. Equaes Diferenciais Elementares e
Problemas de Contorno. Editora LTC, 2006.
Bibliografia
2. FIGUEIREDO, D. G. DE. & FREIRIA, A. Equaes Diferenciais Aplicadas.
Coleo Matemtica Universitria. IMPA, 2001.
23

3. DOERING, C. I. & LOPES, A. O. Equaes Diferenciais Ordinrias.


Coleo Matemtica Universitria. IMPA, 2005.

Introduo s Equaes Diferenciais


MATB000 Carga Horria Semestral: 80 horas
Parciais
Pr-Requisitos Clculo 4 e Introduo s Equaes Diferenciais Ordinrias

Apresentar a importncia das Equaes Diferenciais Parciais na modelagem


matemtica de problemas de diferentes reas da fsica, tais como
Objetivos Termodinmica, Teoria Ondulatria e Dinmica dos Fludos. Classificar as
equaes e estudar as tcnicas de resoluo para cada um dos casos. Estimular a
intuio e investigao do discente.

Linearidade e suporsio. Condies de contorno e iniciais. Equaes de


Primeira Ordem: O caso linear, o problema de Cauchy, e soluo Geral.
Propagao de Singularidades: ondas de Choque. Equaes Semi-Lineares de
Segunda Ordem: classificao, formas cannicas e curvas caractersticas.
Equao de onda: soluo geral, a corda finita, funes pares, mpares e
peridicas. Separao de variveis e sries de Fourier: o Mtodo de Separao de
Contedo Variveis, os coeficientes de Fourier, interpretao geomtrica, convergncia das
Programtico sries de Fourier e convoluo. A Equao de Laplace: o problema de Dirichlet
em um Retngulo e o Problema de Dirichlet no Disco Unitrio. A Equao de
Calor: o problema da barra infinita. A Transformada de Fourier: a transformada
em L1, o espao de Schwartz e a operao de convoluo. Aplicaes
Identidades de Green. Princpios do Mximo e Teoremas de Unicidade:
Princpio do mximo para funes harmnicas, princpio do mximo para a
Equao de Calor. Integrais de Energia.
1. BOYCE, W. E. & DIPRIMA R. C. Equaes Diferenciais Elementares e
Problemas de Contorno. Editora LTC, 2006.
Bibliografia
2. IRIO, V. EDP: Um Curso de Graduao. Coleo Matemtica
Universitria. IMPA, 2001.

Introduo s Estruturas Algbricas MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos No

Introduzir o estudante nos conceitos bsicos da lgebra abstrata, incluindo


Objetivos
as noes de anis, grupos e corpos.
O anel dos inteiros, algoritmo da diviso e suas consequncias. Definio de
anel, ideal, anel quociente e exemplos. Homomorfismos: Ncleo, Imagem e suas
propriedades. Teorema dos homomorfismos. Anis de polinmios com
coeficientes inteiros e racionais. Irredutibilidade. Grupos: definies e exemplos.
Contedo Subgrupos, classes laterais e Teorema de Lagrange. Subgrupos normais e grupos
Programtico quocientes. Homomorfismos e o Teorema dos homomorfismos. Grupos de
Permutaes. Teorema de Cayley. Grupos Solveis. Corpos: definies e
exemplos. Extenses de corpos. Extenses Algbricas e finitas. Grau de uma
extenso. Nmeros algbricos e transcendentes. Construtibilidade com rgua e
compasso.
1. GONALVES, A. Introduo lgebra. Projeto Euclides. IMPA, 2005.
Bibliografia
2. HERSTEIN, I. N. Tpicos de lgebra. Editora Polgono, 1970.
24

3. LANG, S. Estruturas Algbricas. Ao Livro Tcnico S. A., 1972.

Introduo Geometria Diferencial MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos lgebra Linear 2 e Clculo 4

Levar o discente ao estudo rigoroso das propriedades locais das curvas e


Objetivos
superfcies, essenciais e a um posterior estudo de Geometria Diferencial Global.

Curvas diferenciveis: Comprimento de arco e reparametrizao, triedro de


Frenet, curvas simples e fechadas, contato de curvas, curvas convexas, Teorema
dos Quatro Vrtices e a desigualdade isoperimtrica. Superfcies regulares:
Contedo Mudana de parmetros e superfcies de nvel, funes diferenciveis em
Programtico superfcies, espao tangente, orientabilidade, reas, comprimentos e ngulos. A
primeira forma fundamental. A geometria da Aplicao de Gauss: a segunda
forma fundamental, curvatura Gaussiana e curvatura mdia. Isometrias e o
Teorema Egrgio de Gauss.
1. ARAJO, P. V. Geometria Diferencial. Coleo Matemtica Universitria.
IMPA, 1998.
Bibliografia
2. DO CARMO, M. P. Geometria Diferencial de Curvas e Superfcies.
Textos Universitrios. SBM, 2005.

Introduo Lgica MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos No

Estudar a lgica matemtica para mostrar e demonstrar as tcnicas elementares


Objetivos de demonstrao. Abordar a teoria intuitiva de conjuntos e o conceito de funo
atravs da lgica.

Noes Preliminares: frases, sentenas, proposies, enunciados, raciocnio e


inferncia, argumentos, validade e forma, validade e correo, deduo e
induo, a lgica e o processo de inferncia. Linguagens: artificiais, objeto e
meta linguagem, o uso de variveis. Tabelas de verdade dos conectivos lgicos,
quantificadores e sua negao. Formas de representar um conjunto: por extenso
e compreenso. Incluso de conjuntos. Igualdade de conjuntos. Operaes com
conjuntos: unio, interseo, diferena, complementao, diferena simtrica.
Contedo Diagramas de Venn. Famlia de conjuntos. Unio e interseo de famlia de
Programtico conjuntos. Definio de relao binria. Relaes reflexiva, simtrica, transitiva,
e anti-simtrica. Relaes de equivalncia. Classes de equivalncia. Conjunto
quociente. Partio de conjuntos. Relaes de ordem. Conceito de funo,
domnio e contradomnio. Funes injetivas, sobrejetivas e bijetivas. Conceito de
relao inversa e a inversa de uma funo. Imagem e imagem inversa de
conjuntos. Enumerabilidade e Cardinalidade. Teorema de Cantor-
Bernstein.
1. ALENCAR FILLHO, E. DE. Iniciao a Lgica Matemtica. Editora Nobel,
2006.
2. HALMOS, P. R. Teoria Ingnua dos Conjuntos. Editora Cincia Moderna,
Bibliografia
2001.
3. MORAES FILHO, D. C. DE. Um Convite Matemtica. Editora
EDUFCG. Campina Grande, 2006.
25

4. SALMON, W. C. Lgica. Editora LTC, 1993.

Introduo Probabilidade MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Clculo 3

Introduzir o estudante aos conceitos bsicos de probabilidades e suas aplicaes.


Objetivos Estudar os tipos de variveis aleatrias e simulao de experimentos utilizando
softwares.

Simulao de Experimentos Discretos e Contnuos. Modelos probabilsticos:


espao amostral, eventos e probabilidade de um evento. Combinatria:
permutaes e combinaes. Alguns modelos bsicos: distribuies binomial,
Contedo hipergeomtrica, multinomial, uniforme, exponencial e Poisson. Probabilidades
Programtico Condicionais. Independncia. Teorema de Bayes. Variveis aleatrias e vetores
aleatrios contnuos e discretos. Funo de distribuio. Esperana e varincia de
uma varivel aleatria. A distribuio normal. Introduo Lei dos Grandes
Nmeros e ao Teorema Central do Limite.
1. GRINSTEAD, C. & SNELL, J. Introduction to Probability. Editora:
American Mathematical Society-AMS. (Literatura disponvel em forma
eletrnica em www.darmouth.edu/~chance).
2. FELLER, W. Introduo Teoria das Probabilidades e suas Aplicaes.
Bibliografa Editora Edgard Blcher, 1976.
3. FERNANDEZ, P. Introduo Teoria das Probabilidades. Coleo
Elementos da Matemtica.IMPA, 1975.
4. BREIMEN, L. Probability and Stochastic Processes: With a View Toward
Applications - Boston, Houghton Mifflin Co., 1969.

Introduo Teoria dos Nmeros MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos No

Introduzir os elementos bsicos da teoria dos nmeros que serviro de base para
Objetivos
o estudo das estruturas algbricas.

Divisibilidade: algoritmo da diviso, mximo divisor comum, nmeros primos,


algoritmo de Euclides e o Teorema Fundamental da Aritmtica. Congruncias:
Contedo teoremas de Fermat, Euler e Wilson e o teorema chins dos restos. Teoria
Programtico combinatria dos nmeros: princpio da casa dos pombos e suas conseqncias.
Funes aritmticas. Resduos quadrticos: lei de reciprocidade quadrtica.
Razes primitivas. Inteiros que so somas de quadrados.
1. HEFEZ, A. Elementos de Aritmtica. Coleo Textos Universitrios da
Sociedade Brasileira de Matemtica-SBM, 2005.
Bibliografa
2. OLIVEIRA, J. P. DE. Introduo Teoria dos Nmeros. Coleo
Matemtica Universitria. IMPA, 2005.

Introduo Topologia Geral MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Anlise Real 2
Objetivos Aprofundar os conhecimentos topolgicos adquiridos pelo discente no estudo
26

dos conhecimentos de Anlise Matemtica.

Espaos Mtricos: mtrica, topologia da mtrica, mtricas equivalentes e


uniformemente equivalentes, funes contnuas, espaos mtricos completos, o
Teorema de Baire e aplicaes. Topologia: bases, sub-bases. Espaos
Topolgicos: subespaos topolgicos, funes contnuas, espaos conexos e
Contedo
localmente conexos, espaos compactos e localmente compactos, o Teorema de
Programtico
Tychonov. Axiomas de Separao: espaos de Haussdorff, espaos regulares, e
normais, o Teorema de Urysohn e o Teorema de Tietze. A Toplogia Qociente:
espaos qocientes e propriedades. Axiomas de Contabilidade: primeiro e
segundo xioma de contabilidade, produtos infinitos.
1. HOCKING, J. G. & YOUNG, G. S. Topology. Dover Publications, 1961.
2. LIMA, E. L. Espaos Mtricos, Terceira Edio. Projeto Euclides. IMPA,
Bibliografia 1993.
3. SIMMONS, G. F. Introduction to topology and Modern Analysis. New
York, MacGraw-Hill, 1963.

Introduo Varivel Complexa MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos lgebra Linear 1, Anlise Real 1 e Clculo 3

O discente dever: adquirir habilidades no tratamento algbrico com os nmeros


complexos e no reconhecimento da geometria envolvida pelas operaes
realizadas com enstes; aprofundar-se nos fundamentos do clculo diferencial e
Objetivos integral de funes de uma varivel complexa; compreender as transformaes
de subconjuntos do plano via funes holomorfas e transformaes conformes;
aplicar a teoria estudada no clculo de integrais de funes complexas e no
clculo de integrais imprprias de funes reais.

Nmeros complexos. Funes de uma varivel complexa: limite, continuidade e


derivada de funes de uma varivel complexa, funes holomorfoas, as funes
exponecial, logaritmo e potncia. Sries: seqncias e sries de nmeros
complexos e sries de potncias. Teoria de Cauchy: Integrao complexa,
teorema de Cauchy-Gousart, o teorema de Liouville, o Princpio do Mdulo
Contedo
Mximo, o teorema de Cauchy e o teorema de Morera. Singularidades: a
Programtico
expano de Laurent, classificao das singularidades, o teorema de Casorati-
Weierstrass, resduos, o Teorema dos Resduos e o teorema de Rouch.
Aplicaes: clculo de integrais utilizando os resduos. Aplicaes conformes:
preservao de ngulos, transformao de Mbius, aplicaes conformes entre
domnios complexos e aplicaes conformes do disco no disco.
1. CONWAY, J. B. Functions of One Complex Variable. Springer-Verlag,
Berlin, 1978.
2. NETO, A. L. Funes de uma varivel complexa. Segunda Edio, Projeto
Bibliografia
Euclides. IMPA, 1996.
3. SOARES, M. G. Clculo em uma varivel complexa. Coleo
Matemtica Universitria. IMPA, 1999.

Organizao do Trabalho Acadmico MATB000 Carga Horria Semestral: 60 horas


Pr-Requisitos No
Objetivos Capacitar o discente a reconhecer e interpretar textos cientficos. Familiariza-lo
27

com os diversos aspectos do trabalho cientfico. Dar uma viso das cincias e do
conhecimento cientfico em sua natureza e modo de constru-los.

As Cincias e o conhecimento cientfico: sua natureza e o modo de construo.


Contedo Diferentes formas do conhecimento da realidade. A construo do conhecimento
Programtico cientfico e a pesquisa cientfica. Aspectos tcnicos do trabalho cientfico.
Diretrizes para a leitura, anlise e interpretao de textos.
1. ALVES-MAZOTTI, A. J. & GWANDSZNAJDER, F. O mtodo nas
cincias naturais e sociais: Pesquisa quantitativa e qualitativa. So Paulo:
Pioneira, 1998.
2. BRANDO, Z. A crise dos paradigmas e educao. So Paulo: Cortez,
1994.
3. CARVALHO, M. C. M. DE. Construindo o saber: metodologia cientfica,
Bibliografia
fundamentos e tcnicas. Campinas - So Paulo: Papirus, 1995.
4. CHIZZOTTI, A. pesquisa em cincias humanas e sociais. So Paulo: Cortez,
1995.
5. CRUZ, A. DA C. & MENDES, M.T. R. Trabalhos Acadmicos,
Dissertaes e Teses: Estrutura e apresentao. Segunda Edio. Niteri -
Rio de Janeiro: Intertextos, 2004.

Trabalho de Concluso de Curso - TCC MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos O discente deve ter cursado pelo menos 70 % da carga horria mnima do curso.

Proporcionar ao discente a oportunidade de desenvolver um trabalho de pesquisa


sobre um assunto de seu interesse, vinculado s diversas linhas de pesquisa do
curso, sob orientao de um docente do IM/UFAL, com apresentao de
Objetivos
monografia conclusiva sobre o assunto estudado. O resultado dever ser um
produto acadmico ou tcnico (monografia, software ou outro desde que
aprovado pelo professor orientador).

Projeto e desenvolvimento, pelo discente, de um trabalho de concluso de curso


Contedo
em nvel de graduao ou iniciao cientfica, vinculada a uma rea de pesquisa
Programtico
da matemtica.

Bibliografia Varivel de acordo com o tema do projeto.

4.3.2 Descrio das Disciplinas Eletivas

lgebra 1 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Introduo s Estruturas Algbricas

Aprofundar os conhecimentos do estudante nos conceitos de anis e grupos da


Objetivos
lgebra abstrata.

Anis. Homomorfismos de anis. Anis Euclidianos. Inteiros de Gauss.


Contedo Fatorao nica. Anis de polinmios. Teorema de Bezout. Teorema da Base
Programtico de Hilbert. Grupos. Classes laterais e Teorema de Lagrange. Subgrupos
normais. Grupos quocientes. Homomorfismos. Grupos cclicos. Grupos finitos
28

gerados por dois elementos. Grupos de permutaes. Representao via


permutaes. Teoremas de Sylow. Grupos simples e solveis.
1. BIRKHOFF, G. & MACLANE, S. A Survey of Modern Algebra. 5th
Edition. AKP Classic Series, Peters AK Limited, 1997.
2. GARCIA, A. & LEQUAIN, Y. Elementos de lgebra. Projeto
Bibliografia
Euclides. IMPA, Rio de Janeiro, 2002.
3. HERSTEIN, I.N. Topics in Algebra. 2nd Edition. John Wiley & Sons,
New York, 1975.

lgebra Linear MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos No

Objetivos Fazer um estudo mais profundo dos conceitos adquiridos da lgebra Linear.

Espaos vetoriais, bases e dimenso. Transformaes lineares, ncleo,


imagem, projees e soma direta. Matrizes. Eliminao Gaussiana. Produto
interno. Teorema Espectral para Operadores Auto-adjuntos. Operadores
Contedo
ortogonais e anti-simtricos. Pseudo-inversa, formas quadrticas e superfcies
Programtico
qudricas. Determinantes. Polinmio caracterstico. Espaos vetoriais
complexos, forma triangular. Teorema Espectral para operadores normais,
Hermitianos e unitrios. Operadores nilpotentes. Forma cannica de Jordan.

1. GELFAND, I.M. Lectures on Linear Algebra. 2 nd. Edition, Interscience


Publ. New York, 1963
2. HALMOS, P.R. Finite Dimensional Vector Spaces. Ed. Van Nostrand,
Princeton, New Jersey, 1958.
Bibliografia 3. HOFFMAN, K. & KUNZE, R. Linear Algebra. Englewood Cliffs,
Prentice-Hall. New Jersey, 1961.
4. LANG, S. Algebra. Reading, Addison-Wesley, Mass, 1971.
5. LIMA , E.L. lgebra Linear. Terceira Edio, Coleo Matemtica
Universitria, IMPA, Rio de Janeiro, 1999.

Anlise Complexa MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Introduo Varivel Complexa

Aprofundar os conhecimentos do estudante no estudo das funes de uma


Objetivos
varivel complexa.

Topologia de C. Funes analticas. Integrao complexa: frmula integral de


Cauchy e verso homotpica do Teorema de Cauchy. Teorema da Aplicao
Contedo Aberta. Teorema de Goursat. Singularidades. Resduos. Princpio do Mximo.
Programtico Teorema de Runge. Continuao analtica e superfcie de Riemann. Funes
harmnicas. Funes inteiras. Teorema da Fatorao de Hadamard. O posto de
uma funo analtica. O grande Teorema de Picard.
1. AHLFORS, L. Complex Analysis. McGraw-Hill. New York, 1979.
2. CONWAY, J.B. Functions of One Complex Variable. Springer-
Bibliografia Verlag. Berlin, 1978.
3. KNOPP, K. Theory of Functions, Vol. 2. Dover Publications. New York,
1945.
29

4. LINS NETO, A. Funes de uma Varivel Complexa. Segunda Edio,


Projeto Euclides. IMPA, Rio de Janeiro, 1996.
5. RUDIN, W. Real and Complex Analysis. Higher Mathematics Series. 3rd
Edition. McGraw-Hill Companies, 1986.

Anlise no R n MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Anlise Real 2

Aprofundar os conhecimentos do estudante no estudo das aplicaes vetoriais


Objetivos
definidas em vrias variveis.

Topologia do Rn: homeomorfismos, conexidade e compacidade no Rn.


Caminhos diferenciveis e integral de um caminho. Funes reais de n
variveis: derivadas, diferencial de funo, regra de Leibniz, Teorema de
Contedo Schwarz, frmula de Taylor, Teorema da Funo Implcita e multiplicador de
Programtico Lagrange. Aplicaes diferenciveis: regra da cadeia, desigualdade do valor
mdio, Teorema da Aplicao Inversa, forma local das imerses e Teorema do
Posto. Integrao: definio de integral, conjuntos de medida nula, integrao
repetida e mudana de variveis.
1. BARTLE, R. The Elements of Real Analysis. John Wiley Sons Inc. New
York, 1976.
2. LANG, S. Analysis I. Addison - Wesley Publishing Company.
Massachusetts, 1974.
3. LIMA, E.L. Curso de Anlise, Vol. 2. Sexta Edio. Projeto Euclides.
Bibliografia
IMPA, Rio de Janeiro, 2000.
4. RUDIN, W. Principles of Mathematical Analysis. International Series in
Pure and Applied. 3nd Edition. McGraw-Hill Companies. New York,
1976.
5. SPIVAK, M. Calculus on Manifolds. Perseus Publishing,1990.

Anlise Numrica 2 MATB000 Carga Horria Semestral: 80 horas


Anlise Numrica 1, Introduo s Equaes Diferenciais Ordinrias e
Pr-Requisitos
Introduo s Equaes Parciais

Introduzir o discente s modernas tcnicas de aproximao polinomial de


funes e das solues de Equaes Diferenciais, explicando como, porque e
Objetivos
quando elas devem ser utilizadas com sucesso. Possibilitar uma base slida
para o estudo futuro da anlise numrica e da computao cientfica.

Interpolao e Aproximao Polinomial: interpolao de Lagrange, diferencias


divididas, interpolo de Hermite, spline Cbico e avaliao de mtodos e
software. Problema de Valor Inicial para Equaes Diferenciais Ordinrias:
Mtodo de Euler, mtodos de Taylor de ordem superior, mtodos de Runge-
Kutta, controle do erro e mtodo de Runge-Kutta-Fehlberg, mtodos
Contedo
multipassos, mtodos multipassos com tamanho varivel, mtodos de
Programtico
extrapolao, equaes de ordem superior e sistemas de equaes diferenciais
ordinrias, estabilidade e avaliao de mtodos e software. Solues
Numricas para Equaes Diferenciais Parciais: mtodos para equaes
elpticas, hiperblicas e parablicas, uma introduo ao Mtodo de Elemento
Finito e avaliao de mtodos e software.
30

1. BURDEN, R. L & FAIRES, J. D. Anlise Numrica. Pioneira


Thomson Learning, 2003.
2. CONTE, S. D. Elementos de Anlise Numrica. Editora Globo, 1972.
Bibliografia 3. CUNHA, M. C. C. Mtodos Numricos, Segunda Edio. Editora
Unicamp, 2000.
4. RUGGIERO, M. A. & Lopes, V. L. Clculo Numrico: aspectos tericos e
computacionais, Segunda Edio. Makron Books, So Paulo, 1997.

Equaes Diferenciais Ordinrias MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Introduo s Equaes Diferenciais Ordinrias

Formalizar os resultados tericos clssicos introduzidos na disciplina


Introduo s Equaes Diferenciais Ordinrias. Aprofundar os conhecimentos
Objetivos do estudante no estudo dos aspectos tericos das propriedades das solues das
equaes diferenciais ordinrias, incluindo-se tambm um estudo qualitativo
mais detalhado.

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. Equaes com coeficientes
Contedo peridicos. Os Teoremas de Sturm. O problema da corda vibrante. Estabilidade
Programtico de Lyapounov. Funes de Lyapounov. Pontos fixos hiperblicos. Enunciado
do 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. rbitas peridicas hiperblicas. Equao de Van der Pol.
1. ARNOLD, V. Ordinary Differential Equations. MIT Press. Massachusetts,
1978.
2. HIRSCH, M. & SMALE, S. Differential Equations, Dynamical Systems
and Linear Algebra. Academic Press. New York, 1974.
3. DOERING, C. I. & LOPES, A. O. Equaes Diferenciais Ordinrias.
Bibliografia
Coleo Matemtica Universitria. IMPA, 2005.
4. PONTRYAGIN, L.S. Ordinary Differential Equations. Reading, Addison-
Wesley. Massachusetts, 1969.
5. SOTOMAYOR, J. Lies de Equaes Diferenciais Ordinrias. Projeto
Euclides. IMPA, Rio de Janeiro, 1979.

Fsica 4 MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Clculo 4 e Fsica 3

Apresentar conceitos da fsica moderna que exigiram teorias matemticas mais


Objetivos
elaboradas.

tica fsica e tica geomtrica. O ter, a experincia de Michelson-Morley e a


relatividade restrita. Introduo relatividade especial. Corpo Negro e
Contedo
quantizao. O incio da mecnica quntica: primeiras experincias
Programtico
evidenciando a estrutura do tomo. A constante de estrutura fina. O princpio
de incerteza de Heisenberg. A equao de Schrdinger.
31

1. HALLIDAY, RESNICK & WALKER. Fundamentos de Fsica 4.


Editora Livros Tcnicos e Cientficos.
Bibliografia
2. TIPLER, P. A. Fsica para Cientistas e Engenheiros, Vol.IV. Editora
Guanabara Koogan S.A.

Geometria das Curvas Planas MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Clculo 2

Objetivos Estudar conceitos e resultados de geometria e toplogia das curvas planas.


Curvas planas: curvatura e frmulas de Frenet. Nmero de rotao de uma
curva fechada: propriedades do nmero de rotao, clculo do nmero de
Contedo rotao e nmero de intersees. Curvas fechadas e ndice de rotao:
Programtico curvatura total. Teorema de Jordan: desigualdade isoperimtrica. Curvas
convexas: Teorema de Schur, comprimento e rea de curvas convexas.
Teorema dos Quatro Vrtices. Outros tpicos.
1. ALENCAR, H. & SANTOS, W. Geometria das Curvas Planas.
Publicaes de Matemticas. IMPA, Rio de Janeiro, 2003.
Bibliografia
2. RUTTER, J.W. Geometry of Curves. Chapman & Hall Mathematics
Series, Boca Raton, 2000.

Geometria Diferencial MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Introduo Geometria Diferencial

Aprofundar e completar o estudo dos conceitos geomtricos tratados


Objetivos
inicialmente na disciplina Introduo Geometria Diferencial.

Curvas planas: desigualdade isoperimtrica. Curvas no espao: curvatura,


toro, triedro de Frenet e Teorema de Existncia e Unicidade de Curvas.
Superfcies no R 3 : primeira forma fundamental e rea. Aplicao normal de
Contedo Gauss: direes principais, curvatura de Gauss, curvatura mdia e linhas de
Programtico curvatura. Superfcies regradas e mnimas. Geometria intrnseca: exemplos
clssicos de superfcies, derivada covariante, Teorema Egregium (Gauss),
curvatura geodsica, equaes das geodsicas e clculo de geodsicas em
superfcies, aplicao exponencial, Teorema de Gauss-Bonnet e aplicaes.
Outros tpicos.
1. DO CARMO, M. P. Geometria Diferencial de Curvas e Superfcies.
Textos Universitrios. SBM, Rio de Janeiro, 2005.
2. KLINGENBERG, W. A Course in Differential Geometry. Graduate Texts
in Mathematics; 51. Springer-Verlag. New York, 1972.
3. MONTIEL, S. & ROS, A. Curvas y Superficies. Proyecto Sur de
Bibliografia
Ediciones, S. L., 1997.
4. O'NEILL, B. Elementary Differential Geometry. 2nd Edition, Academic
Press. New York, 1997.
5. SPIVAK, M. A Comprehensive Introduction to Differential Geometry,
Vol. 3. Publish or Perish. Berkeley, 1979.
32

Introduo aos Espaos de Dimenso


MATB000 Carga Horria Semestral: 80 horas
Infinita
Pr-Requisitos Anlise Real 2 e lgebra Linear 2

Familiarizar o discente com os conceitos bsicos principais, mtodos e


Objetivos aplicaes da anlise funcional, dando nfase ao estudo das propriedades dos
espaos vetoriais de dimenso infinita.

Espaos Pr-Hilbertianos e Espaos de Hilbert. Ortogonalidade. Teorema da


Projeo e aplicaes, conjuntos ortonormais completos. Espaos de Banach.
Contedo O Teorema de Hahn-Banach. O Teorema de Limitao Uniforme e suas
Programtico
conseqncias. Teorema do Grfico Fechado e Teorema da Aplicao
Aberta.
1. BACHMAN, G. & NARICI, L. Functional Analysis. Academic Press.
USA, 1966.
2. KREYSZIG, E. Introductory Functional Analysis with Applications.
Bibliografia
John Wiley & Sons, 1978.
3. RUDIN, W. Functional Analysis. International Series in Pure and Applied.
2nd Edition, McGraw-Hill Companies. New York, 1991.

Introduo Computao Grfica MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos lgebra Linear 1, Clculo 2 e Introduo Computao

Introduzir os elementos bsicos de computao grfica, como objetos grficos


Objetivos e transformaes, utilizando os conceitos da lgebra Linear e Clculo
Diferencial e Integral, alm de discutir algumas aplicaes.

Conceitos e Aplicaes da Computao Grfica. Geometria e Computao


Grfica. Transformaes. Espaos de cor. Objetos grficos. Imagem digital.
Contedo
Quantizao de imagens. Modelagem geomtrica. Sistemas de modelagem
Programtico
Cmera virtual. Recorte. Visibilidade. Iluminao e funo de colorao.
Fundamentos de sistemas grficos.
1. GOMES, J. & VELHO, L. Fundamentos da Computao Grfica.
Srie de Computao e Matemtica, 2003.
Bibliografia 2. ROGERS, D. F. Mathematical Elements for Computer Graphics. McGraw-
Hill, 1990. WATT, A.-3D Computer Graphics. Third edition. Reading,
Mass., Addison-Wesley, 1999.

Introduo Estatstica MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Introduo Probabilidade

Introduzir conceitos sobre os vrios tipos de convergncia (teoremas limites) e


suas implicaes no estudo da Inferncia Estatstica. Abordar aspectos prticos
Objetivos e tericos da estimao de parmetros (pontual e intervalar) e suas
propriedades segundo vrios mtodos. Introduzir elementos de estatstica
computacional.

Contedo Espao de probabilidade e espao estatstico. Populao, amostras, estatsticos


Programtico e estimadores. Mtodos de estimao pontual: momentos, analogia e mxima
verossimilhana. Propriedades dos estimadores: eficincia e suficincia.
33

Desigualdade da informao. Estimao intervalar e testes de hipteses:


intervalos, testes exatos e aproximados e propriedades. Estimadores corrigidos
e melhorados: mtodos analticos e por reamostragem. Elementos de estatstica
computacional.
1. BICKEL, P. J. & DOKSUM, K. A. Mathematical Statistics: Basic Ideas
and Selected Topics Vol. 1. Prentice-Hall, 2001.
2. BOLFARINE, H. & SANDOVAL, M. C. Introduo Inferncia
Estatstica. Sociedade Brasileira de Matemtica-SBM, 2001.
Bibliografia
3. COX, D. R. & HINKLEY, D. V. Theoretical statistics. Chapman & Hall,
1996.
4. VENABLES, W. N. & RIPLEY, B. D. Modern Applied Statistics with S.
Springer, 2002.

Introduo Teoria da Medida e


MATB000 Carga Horria Semestral: 80 horas
Integrao
Pr-Requisitos Anlise Real 2

Aprofunar e estender o conceito de integrao estudado na Anlise


Objetivos
Matemtica.

Funes mensurveis. Espaos de medida. Construo de medidas. Funes


Contedo
integrveis. Teoremas de convergncia. Espaos Lp. Teorema de Radon-
Programtico
Nikodm. Teorema de Riesz. Teorema de Fubini. Medidas produto.
1. BARTLE, R.G. A Modern Theory of Integration. American
Mathematical Society. Providence, 2001.
2. BARTLE, R. The Elements of Integration. John Wiley & Sons. New
York, 1966.
3. FERNANDEZ, P. Medida e Integrao. Projeto Euclides. IMPA, Rio de
Bibliografia
Janeiro, 1976.
4. ROYDEN, H.L. Real Analysis. 2nd Edition, McMillan Publishing. New
York, 1968.
5. RUDIN, W. Real and Complex Analysis. Higher Mathematics Series. 3rd
Edition. McGraw-Hill Companies, 1986.

Teoria dos Nmeros MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Introduo Teoria dos Nmeros

Objetivos Introduzir o discente ao estudo da Teoria Analtica dos Nmeros.

Aproximao de reais por racionais: Mtodo de Fraes contnuas. Funes


Geradoras. Equaes diofantinas elementares: equao de Pell, soma de
Contedo
quadrados e o mtodo da descida. Estimativas assintticas de funes
Programtico
aritmticas. O teorema de Dirichlet sobre progresses aritmticas. O teorema
dos nmeros primos.
1. Carmichel, R. The Theory of Numbers. Dover, 1914.
Bibliografia 2. BROCHERO, F. E. & MOREIRA, C. G. Teoria dos Nmeros (Notas de
Aula)
34

Teoria dos Corpos MATB000 Carga Horria Semestral: 80 horas


Pr-Requisitos Introduo s Estruturas Algbricas

Introduzir o estudante nos conceitos bsicos da teoria dos corpos, objetivando as


Objetivos suas aplicaes na resolubilidade via radicais e costrutibilidade com rgua e
compasso.

Solues das equaes dos graus 2, 3 e 4. Histria e comentrios. Construes


bsicas com rgua e compasso. Problemas clssicos gregos: construo do
heptgono, quadratura do crculo, duplicao do cubo e trisseco do ngulo.
Corpos: definies e exemplos. Corpos finitos e infinitos. Caracterstica de um
Contedo corpo. Extenses de corpos. Extenses Algbricas. Polinmio caracterstico e
Programtico polinmio minimal. Nmeros algbricos e transcendentes. Transcendncia de e.
Grau de uma extenso. Extenses finitas e finitamente geradas. Soluo dos
problemas gregos. Extenses separveis. Corpos algebricamente fechados.
Teorema fundamental da lgebra. . Extenses radicais. Solubilidade por radicais.
Teorema fundamental da Teoria de Galois.
1. ENDLER O. Teoria dos Corpos. Monografias de Matemtica N 44.
IMPA, 1987.
2. GONALVES, A. Introduo lgebra. Projeto Euclides. IMPA, 2005.
Bibliografia
3. HERSTEIN, I. Tpicos de lgebra. Editora Polgono, 1970.
4. LANG, S. Estruturas Algbricas. Ao Livro Tcnico S. A., 1972.
5. STEWART, I. Galois Theory. Third Edition. Chapman & Hall, 2004.
35

5. ORDENAMENTO CURRICULAR

___________________________________________________________________________

5.1 Grade Curricular


A distribuio do currculo do curso de Bacharelado em Matemtica tem todas as suas
atividades necessrias para a integralizao do mesmo sob a responsabilidade do Instituto de
Matemtica, exceto algumas atividades especficas da parte complementar do curso. As
disciplinas so distribudas em 8 (oito) semestres do seguinte modo:
Carga Horria
Semestre Cdigo Disciplinas
Semanal Semestral
Fundamentos de Matemtica 1 4 80
Geometria Analtica 4 80
Geometria Euclidiana 1 4 80
1 Semestre
Introduo Lgica 4 80
Organizao do Trabalho Acadmico 3 60
Total 19 380
lgebra Linear 1 4 80
Fundamentos de Matemtica 2 4 80
Geometria Euclidiana 2 3 60
2 Semestre
Introduo Computao 4 80
Clculo 1 4 80
Total 19 380
lgebra Linear 2 4 80
Clculo 2 4 80
3 Semestre Fsica 1 4 80
Introduo Teoria dos Nmeros 4 80
Total 16 320
Anlise Real 1 4 80
Clculo 3 4 80
4 Semestre
Introduo s Estruturas Algbricas 4 80
Fsica 2 4 80
Total 16 320
Anlise Numrica 1 4 80
Clculo 4 4 80
Fsica 3 4 80
5 Semestre
Introduo Probabilidade 4 80
Introduo Varivel Complexa 4 80
Total 20 400
Anlise Real 2 4 80
Eletiva 4 80
Introduo s Equaes Diferenciais
6 Semestre 4 80
Ordinrias
Introduo Geometria Diferencial 4 80
Total 16 320
36

Carga Horria
Semestre Cdigo Disciplinas
Semanal Semestral
Eletiva 4 80
Eletiva 4 80
Introduo s Equaes Diferenciais
7 Semestre 4 80
Parciais
Introduo Topologia Geral 4 80
Total 16 320
Eletiva 4 80
Eletiva 4 80
8 Semestre Histria da Matemtica 4 80
Trabalho de Concluso de Curso-TCC 6 80
Total 18 320

5. 2 Demonstrativo da distribuio da carga horria

Disciplinas Obrigatrias 2360 horas


Disciplinas Eletivas 400 horas
Atividades Complementares 200 horas
Carga Horria Total 2960 horas

5.3 Tabela de pr-requisitos


A tabela seguinte relaciona a integrao do currculo do Curso de Bacharelado de
acordo com os pr-requisitos que cada disciplina exige:

Disciplina Pr-Requisitos

lgebra 1  Introduo s Estruturas Algbricas

lgebra Linear  lgebra Linear 2

lgebra Linear 1  No requer

lgebra Linear 2  lgebra Linear 1

Anlise Complexa  Introduo Varivel Complexa

Anlise no R n  Anlise Real 2

Anlise Real 1  Clculo 2


 lgebra Linear 1
Anlise Real 2
 Anlise Real 1
37

 Clculo 4
 lgebra Linear 1
Anlise Numrica 1  Clculo 3
 Introduo Computao
 Anlise Numrica 1
Anlise Numrica 2  Introduo s Equaes Diferenciais Ordinrias
 Introduo s Equaes Diferenciais Parciais
Clculo 1  No requer

Clculo 2  Clculo 1

Clculo 3  Clculo 2

Clculo 4  Clculo 3

Fsica 1  Clculo 1
 Clculo 2
Fsica 2
 Fsica 1
 Clculo 3
Fsica 3
 Fsica 2
 Clculo 4
Fsica 4
 Fsica 3
Fundamentos de Matemtica 1  No requer

Fundamentos de Matemtica 2  No requer

Equaes Diferenciais Ordinrias  Introduo s Equaes Diferenciais Ordinrias

Geometria das Curvas Planas  Clculo 2

Geometria Diferencial  Introduo Geometria Diferencial

Geometria Euclidiana 1  No requer

Geometria Euclidiana 2  Geometria Euclidiana 1

Histria da Matemtica  Clculo 4

Introduo Computao  No requer


 lgebra Linear 1
Introduo Computao Grfica  Clculo 2
 Introduo Computao
 lgebra Linear 2
Introduo s Equaes Diferenciais
 Clculo 3
Ordinrias
 Introduo Varivel Complexa
Introduo s Equaes Diferenciais  Clculo 4
Parciais  Introduo s Equaes Diferenciais Ordinrias

Introduo aos Espaos de Dimenso  lgebra Linear 2


38

Infinita  Anlise Real 2

Introduo Estatstica  Introduo Probabilidade

Introduo s Estruturas Algbricas  No requer


 lgebra Linear 2
Introduo Geometria Diferencial
 Clculo 4
Introduo Lgica  No requer

Introduo Probabilidade  Clculo 3

Introduo Teoria da Medida e


 Anlise Real 2
Integrao

Introduo Teoria dos Nmeros  No requer

Introduo Topologia Geral  Anlise Real 2


 lgebra Linear 1
Introduo Varivel Complexa  Anlise Real 1
 Clculo 3
Organizao do Trabalho Acadmico  No requer

Teoria dos Corpos  Introduo s Estruturas Algbricas

Teoria dos Nmeros  Introduo Teoria dos Nmeros


 Ter cursado pelo menos 70 % da carga horria
Trabalho de Concluso de Curso
mnima do curso
39

6. TRABALHO DE CONCLUSO DE CURSO

__________________________________________________________________________

O Trabalho de Concluso de Curso (TCC), com carga horria de 80 (oitenta) horas,


consiste na elaborao de uma monografia, software ou outro produto acadmico, sobre um
tema vinculado s diversas linhas de pesquisa do Curso e sob a orientao de um docente do
IM/UFAL. Alm disso, com prvia autorizao do colegiado do curso, o TCC tambm pode
ser orientado por um professor de qualquer outra universidade ou instituio de ensino
superior que seja reconhecida pelo MEC. Nesta produo cientfica deve ser valorizado o
desenvolvimento das seguintes habilidades: redao, encadeamento lgico e cinetfico e
organizao das idias, leitura de um texto em outro idioma, uso de alguma linguagem de
programao, etc. A carga horria acima referida ser contabilizada mediante a aprovao do
TCC, em defesa pblica, por uma banca examinadora. Alis, a banca examinadora dever ser
sugerida pelo professor orientador do TCC e homologada pelo colegiado do curso, sendo a
mesma constituda pelo professor orientador do TCC e mais 2 (dois) professores do corpo
docente da UFAL.
40

7. ATIVIDADES COMPLEMENTARES

___________________________________________________________________________
O curso est concebido de forma tal que promove uma poltica de complementao de
formao do bacharel envolvendo seus discentes com outras atividades que proporcionem uma
formao profissional mais abrangente.

O discente poder desenvolver suas atividades complementares de vrias formas, como


por exemplo:

Participando em cursos de atualizao, eventos cientficos, seminrios, simpsios,


congressos ou conferncias, promovidos pela UFAL ou por outras instituies de ensino e
pesquisa;

Cursando disciplinas eletivas, em nvel de iniciao cientfica, oferecidas pelo Curso;

Realizando atividades de monitoria nas disciplinas ofertadas pelo IM;

Participando em projetos de iniciao cientfica.


Caber ao Colegiado do Curso de Bacharelado em Matemtica aprovar ou no o plano de
atividades complementares apresentado pelo discente.
O IM, apoiado por seu Programa de Ps-Graduao, vem desenvolvendo uma srie de
aes importantes que viabilizam a complementao da formao do Bacharel em
Matemtica, como por exemplo:

Programa de Iniciao Cientfica: O Instituto de Matemtica vem participando


ativamente dentro do Programa Institucional de Iniciao Cientfica (PIBIC). Atravs
deste programa, o Conselho Nacional de Desenvolvimento Cientfico e Tecnolgico
(CNPq) concede bolsas a estudantes de graduao, integrados a um projeto de pesquisa
coordenado por um professor orientador. Alm disso, o Instituto promove atividades de
Iniciao Cientfica Voluntria, que um programa similar ao PIBIC, sem concesso de
bolsa, permitindo aos discentes interessados inserir-se em projetos de pesquisa do mesmo
nvel que os do PIBIC.

Programa de Iniciao Cientfica Jnior: Este um programa financiado pela


Fundao de Amparo Pesquisa do Estado de Alagoas (FAPEAL) e pelo Conselho
Nacional de Desenvolvimento Cientfico e Tecnolgico (CNPq) para despertar novos
talentos no ensino mdio. Bolsas so concedidas para discentes que sobressaiam no que
diz respeito ao interesse pela Matemtica. A tarefa do bolsista desenvolver algum tpico
bsico de Matemtica, orientado por um docente do Instituto, alm de interagir com os
outros estudantes e se ambientar no grupo de pesquisa. Os futuros bacharis realizam
atividades de monitoria com estes discentes do ensino mdio, exercitando assim a
capacidade de aprofundar e transmitir os conhecimentos adquiridos e cumprindo com a
responsabilidade social que se espera de um Bachareal em Matemtica.

MATFEST: O MATFEST um evento que surgiu a partir da necessidade de estimular,


entre os jovens estudantes do ensino mdio, o estudo da matemtica pela beleza e
aplicao que possui esta cincia, bem como proporcionar um intercmbio cientfico entre
discentes de graduao, ps-graduao e matemticos. O evento ocorre durante uma
41

semana, quando professores e discentes do ensino mdio visitam o Instituto de


Matemtica para participar em mini-cursos bsicos e palestras que so ministrados por
professores experientes com o objetivo de divulgar temas matemticos que estimulem o
interesse dos jovens discentes pelo estudo desta cincia. Alm disso, so expostas
palestras cientficas para discentes da ps-graduao e tambm so oferecidos mini-cursos
especiais em nvel de iniciao cientfica, sendo estes ministrados por pesquisadores do
IM ou outras instituies, apresentando aos futuros graduados, tanto bacharis como
licenciados, temticas atuais de pesquisa em matemtica e o campo de ao de um
pesquisador matemtico.
42

8. AVALIAO

___________________________________________________________________________
A avaliao permanente do Curso de Bacharelado em Matemtica, proposta por este
projeto, importante no sentido de que, sendo o mesmo dinmico, se possam detectar
reajustes futuros que venham garantir o sucesso das aes visando atingir o objetivo maior do
curso: a excelncia acadmica na formao do Bacharel em Matemtica.
Os mecanismos a serem utilizados devero permitir uma avaliao institucional e uma
avaliao de desempenho acadmico - ensino e aprendizagem - de acordo com as normas
vigentes, viabilizando uma anlise diagnstica e formativa durante o processo de execuo do
referido projeto. Devero ser utilizadas estratgias que possam efetivar a discusso ampla do
projeto mediante um conjunto de questionamentos previamente ordenados que busquem
encontrar suas deficincias, caso estas existirem.
O Curso ser ainda avaliado pela sociedade atravs da ao docente e discente expressa na
produo e nas atividades concretizadas no mbito da extenso universitria. O roteiro
proposto pelo INEP/MEC para a avaliao das condies de ensino poder tambm ser
utilizado para fins de avaliao, sendo este constitudo pelos seguintes tpicos:

Organizao Didtico-Pedaggica: administrao acadmica, projeto do curso,


atividades acadmicas articuladas ao ensino de graduao;

Corpo Docente: formao acadmica e profissional, condies de trabalho, atuao e


desempenho acadmico e profissional;

Infra-Estrutura: instalaes gerais, biblioteca, instalaes e laboratrios especficos.


A avaliao do desempenho docente ser efetivada pelos discentes atravs de formulrio
elaborado pelo Colegiado do Curso e de acordo com o processo de avaliao institucional.

8.1 Condies Atuais


A favor do desenvolvimento e do xito do presente projeto o Instituto de Matemtica
conta hoje com um Programa de Ps-Graduao que se vem consolidando e ao mesmo tempo
apoiando a graduao, atravs da promoo de eventos cientficos e realizao de vrios
projetos de iniciao cientfica. Alm disso, o Programa de Ps-Graduao tem trazido vrios
recursos para o IM mediante a realizao de projetos de pesquisa os quais tem proporcionado
um significativo melhoramento nas instalaes do instituto, especialmente na biblioteca que
atualmente est informatizada e consta com um acervo bibliogrfico atualizado.

8.2 Avaliao dos Bacharelandos


Na avaliao dos discentes deve-se privilegiar o aspecto cooperativo, incentivando-se as
atividades integradoras. A cada bimestre ser atribuda uma nota, proveniente de uma mdia
ou no, para as disciplinas de carter expositivo e sobre a responsabilidade do professor da
disciplina. Tambm ser atribuda uma nota semestral para as disciplinas no expositivas,
seminrios estgios, etc. sob a responsabilidade do professor designado para conduzir tais
disciplinas. A aprovao ou no em uma disciplina segue as normas previstas nas resolues:
56/95 e 25/2005 do CEPE/UFAL. As horas de atividades complementares sero creditadas
em favor do discente, conforme regulamentao vigente.
43

Assim, analisando, dinamizando e aperfeioando todo esse conjunto de elementos


didticos, humanos e de recursos materiais, o curso poder ser aperfeioado visando alcanar
os mais elevados padres de excelncia educacional e, conseqentemente, da formao inicial
dos futuros profissionais da rea.
44

9. CORPO DOCENTE

___________________________________________________________________________
O corpo docente do Curso constitudo por professores pertencentes aos seguintes
institutos da UFAL:
Instituto de Computao (IC);
Instituto de Fsica (IM);
Instituto de Matemtica (IM).

O IM, o qual responsvel pelo 88% (oitenta e oito) das disciplinas do Curso,
composto de 18 (dezoito) professores permanentes assim distribudos: 7 (sete) mestres e
11 (onze) doutores.
O IM tem como poltica o incentivo qualificao do seus docentes, viabilizando a
liberao dos mesmos para participar em programas de Doutorado e Ps-Doutorado.

9.1 Corpo Docente Permanente do IM

1. Adn Jos Corcho Fernndez


Ttulo Instituio Pais Ano
Bacharel em Universidad de Oriente
Cuba 1994
Matemtica (UO)
Instituto Nacional de Matemtica Pura e Aplicada
Mestre em Matemtica Brasil 1998
(IMPA)
Instituto Nacional de Matemtica Pura e Aplicada
Doutor em Matemtica Brasil 2003
(IMPA)

2. Adelailson Peixoto da Silva


Ttulo Instituio Pais Ano
Bacharel em Cincias Universidade Federal de Alagoas
Brasil 1995
da Computao (UFAL)
Pontifcia Universidade Catlica do Rio de
Mestre em Informtica Janeiro Brasil 1997
(PUC-RIO)
Pontifcia Universidade Catlica do Rio de
Doutor em Informtica Janeiro Brasil 2002
(PUC-RIO)

3. Adriano Lima Aguiar


Ttulo Instituio Pais Ano
Licenciado em Universidade Federal de Alagoas
Brasil 1989
Matemtica (UFAL)
Instituto Nacional de Matemtica Pura e Aplicada
Mestre em Matemtica Brasil 1992
(IMPA)
Universidade Federal do Rio de Janeiro
Doutor em Matemtica Brasil 2003
(UFRJ)
45

4. Adroaldo de Vasconcelos Dourvill


Ttulo Instituio Pais Ano
Licenciado em Universidade Federal de Alagoas
Brasil 1977
Matemtica (UFAL)
Universidade Federal de Pernambuco
Mestre em Matemtica Brasil 1981
(UFPE)

5. Amauri da Silva Barros


Ttulo Instituio Pais Ano
Licenciado em Universidade Federal de Alagoas
Brasil 1991
Matemtica (UFAL)
Universidade Federal de Cear
Mestre em Matemtica Brasil 1996
(UFC)
Universidade Estadual de Campinas
Doutor em Matemtica Brasil 2004
(UNICAMP)

6. Antonio Jos Sarmento Cavalcante de Gusmo


Ttulo Instituio Pais Ano
Bacharel em Universidade Federal de Cear
Brasil 1968
Matemtica (UFC)
Instituto Nacional de Matemtica Pura e Aplicada
Mestre em Matemtica Brasil 1973
(IMPA)

7. Arnon Cavalcante Tavares


Ttulo Instituio Pais Ano
Licenciado em Universidade Federal de Alagoas
Brasil 1977
Matemtica (UFAL)
Universidade Federal de Pernambuco
Mestre em Matemtica Brasil 1982
(UFPE)

8. Ediel Azevedo Guerra


Ttulo Instituio Pais Ano
Universidade Federal de Pernambuco
Engenheiro de Minas Brasil 1982
(UFPE)
Instituto Nacional de Matemtica Pura e Aplicada
Mestre em Matemtica Brasil 1987
(IMPA)
Universidade Federal de Pernambuco
Doutor em Matemtica Brasil 2000
(UFPE)

9. Fernando Enrique Echaiz Espinoza


Ttulo Instituio Pais Ano
Bacharel em Universidade Nacional de Ingenieria
Per 1990
Matemtica (UNI)
Universidade Federal do Rio de Janeiro
Mestre em Matemtica Brasil 1999
(UFRJ)
Universidade Federal de Cear
Doutor em Matemtica Brasil 2004
(UFC)
46

10. Francisco Vieira Barros


Ttulo Instituio Pais Ano
Licenciado em Universidade Federal de Alagoas
Brasil 1975
Matemtica (UFAL)
Universidade Federal de Pernambuco
Mestre em Matemtica Brasil 1981
(UFPE)

11. Getlio Garcia Beleza Jnior


Ttulo Instituio Pais Ano
Universidade Federal de Alagoas
Engenheiro Civil Brasil 1984
(UFAL)
Instituto Nacional de Matemtica Pura e Aplicada
Mestre em Matemtica Brasil 1988
(IMPA)

12. Hilrio Alencar da Silva


Ttulo Instituio Pais Ano
Licenciado em Universidade Catlica de Pernambuco
Brasil 1976
Matemtica (UNICAP)
Universidade Federal de Pernambuco
Mestre em Matemtica Brasil 1980
(UFPE)
Instituto Nacional de Matemtica Pura e Aplicada
Doutor em Matemtica Brasil 1988
(IMPA)

13. Ivn Arajo Cordeiro de Albuquerque


Ttulo Instituio Pais Ano
Licenciado em Universidade Federal de Pernambuco
Brasil 1976
Matemtica (UFPE)
Universidade Federal de Cear
Mestre em Matemtica Brasil 1988
(UFC)

14. Jos Adonai Pereira Seixas


Ttulo Instituio Pais Ano
Licenciado em Universidade Federal de Alagoas
Brasil 1979
Matemtica (UFAL)
Universidade Federal de Cear
Mestre em Matemtica Brasil 1982
(UFC)
Universidade Estadual de Campinas
Doutor em Matemtica Brasil 1996
(UNICAMP)

15. Jos Carlos Almeida de Lima


Ttulo Instituio Pais Ano
Licenciado em Universidade Federal de Alagoas
Brasil 1987
Matemtica (UFAL)
Universidade Federal de Cear
Mestre em Matemtica Brasil 1993
(UFC)
Universidade Estadual de Campinas
Doutor em Matemtica Brasil 2003
(UNICAMP)
47

16. Krerley Irraciel Martins de Oliveira


Ttulo Instituio Pais Ano
Bacharel em Universidade Federal do Rio de Janeiro
Brasil 2001
Matemtica (UFRJ)
Instituto Nacional de Matemtica Pura e Aplicada
Mestre em Matemtica Brasil 2001
(IMPA)
Instituto Nacional de Matemtica Pura e Aplicada
Doutor em Matemtica Brasil 2002
(IMPA)

17. Marcos Petrcio de Almeida Cavalcante


Ttulo Instituio Pais Ano
Bacharel em Universidade Federal de Alagoas
Brasil 2000
Matemtica (UFAL)
Instituto Nacional de Matemtica Pura e Aplicada
Mestre em Matemtica Brasil 2003
(IMPA)
Instituto Nacional de Matemtica Pura e Aplicada
Doutor em Matemtica Brasil 2006
(IMPA)

18. Paulo Roberto Lemos de Messias


Ttulo Instituio Pais Ano
Licenciado em Universidade Federal de Alagoas
Brasil 1999
Matemtica (UFAL)
Universidade Federal de Pernambuco
Mestre em Matemtica Brasil 2003
(UFPE)

Você também pode gostar