You are on page 1of 22

1.

MEMRIA DESCRITIVA DAS UNIDADES CURRICULARES DO CURSO


Denominao da Disciplina
Cdigo

lgebra Linear e Geometria Analtica


Info111
Esta disciplina tem por objectivos: aprofundar os
conhecimentos j adquiridos no ensino secundrio,
ligados com sistemas de equaes lineares; considerar os
conceitos de matriz, de determinante; espao

Contedos Programticos/Sinopse

vectorial, transformao linear, valores e vectores


prprios duma transformao (matriz), de espaos
euclidianos e suas aplicaes; problemas mtricos e no
mtricos sobre a recta e o plano.

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Semestre

Carga Horria de
Contacto Semestral

N de Crditos

1
5
6
- L. Magalhes, lgebra Linear como introduo a
Matemtica Aplicada.
- J. Vitria e T. P. Lima, lgebra Linear, Universidade
Aberta.
- F. Beauregard, Linear Algebra.
- Isabel Cabral, Ceclia Perdigo e Carlos Saiago,
lgebra Linear, Escolar Editora.
- A. P. Santana, J.F. Queir, lgebra Linear e Geometria
Analtica.

AnliseMatemtica I
Info112
Estuda-se: o corpo dos nmeros reais, sucesses e sries
de nmeros reais, topologia da recta real, sucesses e
sries de funes reais; limites, continuidade, derivao
e integrao. Aplicaes.Sries de potncias.
Semestre

Carga Horria de
Contacto Semanal

N Creditos

1
5
6
- Campos Ferreira, J Introduo Anlise Matemtica,
Fundao Calouste Gulbenkian.
- M. Abreu, R. L. Fernandes, M. Ricou
Folhas de
Clculo Diferencial e Integral I.
Bibliografia complementar

- Tom Apostol - Calculus I, Wiley International edition.


- B. Demodovitch - Problemas e exerccios de Anlise
Matemtica.
- Azenha, Acilina e Jernimo, Clculo Diferencial e
Integral.
- Sarrico Carlos, - Anlise Matemtica, leitura e
exerccios.

Denominao da Disciplina

Ingls I
Info113

Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos
Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Introduo a Programao
Info114
Apresentar as tcnicas algortmicas de resoluo de
problemas
em
programao
imperativa
de
computadores. Ensinar as caractersticas gerais da
linguagem C. Iniciar os alunos na anlise, tcnicas de
formalizao, codificao e resoluo de problemas
tipificados.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

1
4
6
-Luis Damas, Linguagem C
-Herbert Schildt, C Completo e Total. Editora Pearson
Makron Books
- "C: A Linguagem de programao ANSI", Brian
Kernighan e Dennis Ritchie
Sistemas Digitais
Info115
Os sistemas digitais tm uma enorme importncia no
panorama tecnolgico actual. Pretende-se nesta cadeira
abordar os princpios bsicos destes sistemas do ponto
de vista terico e prtico ao nvel da concepo, projecto
e implementao. Pretende-se que os alunos apreendam
os fundamentos de lgebra de Boole e a sua importncia
no projecto de Sistemas Digitais. Para alm de projectar

os alunos devero ser capazes de implementar Circuitos


de Lgica combinatria SSI e MSI. Aps a consolidao
do projecto e implementao de circuitos de Lgica
Combinatria, ser abordado o projecto e implementao
de circuitos de Lgica Sequencial. No final da disciplina
os alunos devem estar aptos a projectar e implementar
qualquer circuito combinatrio ou sequencial que utilize
circuitos SSI e MSI, alm disso devem estar aptos a
compreender o funcionamento e iniciar o estudo de
circuitos digitais Large Scale Integration (LSI) e Very
Large Scale Integration (VLSI) nomeadamente
dispositivos
de
lgica
programvel
e
microprocessadores.
Semestre/Carga Horria de Contacto/ /N de
Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Semestre

Carga Horria de
Contacto Semestral

N de Crditos

1
4
6
- Baptista, C. P., Fundamental dos Sistemas Digitais,
FCA, Editora de Informtica,
- Marcovitz, A. B., Introduction to Logic Design,
McGraw-Hill,
- Kaplan, D. M., White, C. G., Hands-On Electronics: A
Practical Introduction to Analog and Digital Circuits,
Cambridge University Press.

Algoritmos e Estruturas de Dados


Info121
Esta disciplina aborda a introduo ao estudo da
eficincia de algoritmos; algoritmos de ordenao
elementares e avanados: insero directa, seleco
directa, bubblesort, quicksort, fuso binria e heapsort;
tipos de dados: pilhas, filas de espera, filas de prioridade,
rvores. Implementaes vectoriais e dinmicas. rvores
binrias de pesquisa. rvores de pesquisa equilibradas.
Tabelas de disperso. Resoluo de colises por
encadeamento
e
por
endereamento
aberto.
Endereamento linear, quadrtico e disperso dupla.
Interfaces com os sistemas operativos baseados na
norma internacional POSIX.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

2
- Programao em C
Language, Prentice Hall

Bibliografia Bsica

- Editora Informtica
-Hill
- Estruturas de Dados e Algoritmos de Ordenao
uturas de Dados e

Algoritmos em C, FCA - Editora


Informtica
-4, 1998,
Addison-Wesley Publishing Company
-Grafos
Introduction to Algorithms, 2001, McGraw Hill e MIT
Press

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Anlise Matemtica II
Info122
Com esta disciplina pretende-se abordar
noes
topolgicas em Rn, funes vectoriais de n variveis,
integrais mltiplos, integrais de linha e de superfcie;
campos escalares e vectoriais e teoremas fundamentais.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

- Lang, Serge (Yale University) - CALCULUS OF

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

SEVRAL VARIABLES, Addison-Wesley Publishing


Company.
- Lima, Elon Lages - Anlise Real, vol. I, IMPA, Rio de
Janeiro.
- Lima, Elon Lages - Anlise Real, vol.II, IMPA, Rio de
Janeiro.

Arquitectura de Computadores
Info123
Esta disciplina aborda o estudo dos microprocessadores
e microcomputadores. Se debrua sobre a arquitectura
dos microprocessadores da famlia IA-32. Modos de
endereamento.
Codificao
de
instrues.Funcionalidade e organizao de um
Assemblador. Set de instrues. Estruturas e Macros.
Programao modular. Entradas e sadas / interface com
perifricos. Interrupes. Perifricos programveis.
Programao com instrues MMX. Multi-Ciclo,
conceito, vantagens.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

2
4
6
- Peatmam, J.B. Microcomputer Based Design.
- John Uffenbeck: The 8086/ 8088 family: Designing,
programming and interfacing.
- The 8051 Microcontroller. Scott MacKenzie.

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Fsica I
Info124
Com esta disciplina aborda os princpios fundamentais
da
Mecnica,
Cinemtica,
Geometria
de
Massas/Cintica, princpio Fundamental da Dinmica e
suas consequncias, campos conservativos, conservao
da energia.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

2
5
5
- Haliday e Resnick, Fsica I, Fsica II. Livros Tcnicos e
Cientficos, Editora.
- Beer and Jonhnston, Mecnica Vectorial para
Engenheiros, Makron Books do Brasil
Merian, I. James Esttica.
- Fonseca A. Curso de Mecnica, livros Tcnicos e
Cientficos.
-Tipler, Paul A. Fsica I e Fsica II. Editora Guanabara
Dois.
- J. Dias de Deus, M. Pimenta, A. Noronha, T. Pefia e P.
Brogueira, Introduo Fsica.
-Noronha e P. Brogueira, Exerccios de Fsica.
-Sears e ZemansKy, Fsica I e Fsica II. Livros Tcnicos
e Cientficos.
-Alonso e Finn, Fsica I e Fsica II. Um Curso
Universitrio. Dinalivro .
-Serway, Raymond A., Fsica I e Fsica II para Cientista
e Engenheiros. Livros Tcnicos

Teoria da Computao
Info125
Ao completar a disciplina, espera-se que os alunos sejam
capazes de:
- Nomear as contribuies significativas para a teoria da
computao e os seus protagonistas;
- Identificar problemas tratveis com autmatos finito se
exprimi-los com notao rigorosa;
- Comparar os autmatos finitos deterministas, no
deterministas e as expresses regulares no
reconhecimento das linguagens regulares;
-Aplicar as propriedades das linguagens regulares em
provas;
- Identificar problemas que se podem tratar com
gramticas sem contexto e usar notao rigorosa para os
descrever;
- Comparar as gramticas sem contexto e os autmatos
de pilha no reconhecimento das linguagens sem

contexto;
- Exprimir problemas de computao com recurso ao
modelo da mquina de Turing;
-Relacionar os modelos de computao estudados comas
suas aplicaes na teoria da computabilidade e da
complexidade.
Semestre/Carga Horria de Contacto/ /N de
Crditos

Bibliografia Bsica

Semestre

Carga Horria de
Contacto Semestral

1
4
6
- Introduo Teoria da Linguagens Formais, dos
Autmatos e da Computabilidade, Benedito Acily, B.
Bedregal, A. Lyra.
- Elementos de Teoria da Computao, C. Caleiro, P.
Gouveia e A. Sernadas.
- Theory of Automata,
Computation, S.P.Xavier

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

N de Crditos

Formal

Languages and

Anlise Matemtica III


Info211
Esta disciplina tem por objectivo o estudo das funes de
variveis complexas: diferenciabilidade, holomorfia;
funes analticas; resduos e suas aplicaes, que
englobam a descrio geomtrica de domnios em C;
topologia em C. Equaes diferenciais ordinrias de 1 e
2 ordem; sistemas de equaes diferenciais ordinrias;
Sries de Fourier; Transformaes de Laplace;
Aplicaes; Equaes diferenciais parciais de segunda
ordem (equao de onda, equao do calor, equao de
Laplace).
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

3
5
6
- William E. Boyce; Richard C. Diprima, Equaes
diferenciais elemtares e problemas de contorno.
- Complex Variables and Applications, J. W. Brown &
R. W. Churchill, McGraw Hill
- Advanced Engineering Mathematics, C. R. Wylie, L.C
Barrett, McGraw-Hill.

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Fisica II
Info212
Aps a aprovao na unidade curricular, o aluno dever
possuir a capacidade de:
1. Conhecer e dominar os fundamentos tericos da
electrodinmica clssica e da ptica geomtrica e
ondulatria.
2. Desenvolver a capacidade de analisar e modelar um
variado nmero de problemas de electrodinmica
clssica e de ptica geomtrica e ondulatria.
3. Utilizar de forma expedita os clculos necessrios na
resoluo dos problemas mencionados no ponto anterior.
O programa tratar os seguintes topicos:
- Introduo s Grandezas fsicas escalares e vectoriais;
- Campo electrosttico no vcuo
- Campo electrosttico na matria
- Corrente elctrica estacionria
- Campo electromagntico
- Corrente elctrica alternada sinusoidal
- Equaes de Maxwell
- ptica
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

3
5
6
- Serway Raymond A. Electricidade e Magnetismo,
Fsica 3, LTC editora.
- Serway Raymond e Jewett, John. Princpios de Fsica,
Eletromagnetismo, LTC editora
- Sears e Zemansky. Fsica III, Eletromagnetismo,
Pearson Addison Wesley.
- Villate Jaime E. Eletromagnetismo . Ed. McGraw-Hill.
- V. Halliday Resnick Walker. Electromagnetismo, LTC
editora.
- Nussenzveig Moyss H. Curso de Fsica Bsica 3Electromagnetismo, Rio de Janeiro.

Modelao
Info213
Esta disciplina pretende Estudar a modelao para
sistemas, independentemente
da sua tecnologia, e
no contexto de metodologias de Engenharia Baseada em
Modelos Pretende-se que os alunos obtenham
conhecimento sobre modelao
conceptual
de
sistemas. Proporcionar uma aprendizagem das
linguagens Unified
Modelling Language (UML) e
Systems Modeling Language (SysML).
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

- Tim Weilkiens: Systems Engineering with


SysML/UML - Modeling, Analysis, Design.
- F. Baader: The Description Logic Handbook: Theory,
Implementation and Application.
- Antoni Oliv:ConceptualModeling of Information
Systems.

Probabilidade e Estatstica
Info214
Esta disciplina tem por objectivos considerar:
experincias aleatrias, acontecimentos, conceitos
frequencista e subjectivista de probabilidade, axiomtica
de
Kolmogorov,
probabilidade
condicionada,
independncia, teorema de Bayes; variveis aleatrias;
distribuies conjuntas e complementos; amostragem e
estimao pontual; estimao por intervalos; testes de
Hipteses; regresso linear simples. Introduo aos
processos estocsticos
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

3
5
6
- Bento Murteira, Probabilidades e estatstica, vol I.
- Jairo Simon da Fonseca e Gilberto de Andrade Martins,
Curso de Estatstica, 6 Edio, Atlas.
- Estatstica Aplicada, Vol I e II, Edies Slabo.
- Luiz Gonzaga Morettin, Estatstica Bsica, Vol I
(Probabilidades) e Vol II (Inferncia), Makron Books.
- Elizabeth Reis, Estatstica Descritiva.

Sistemas Operativos
Info215
Compreender a estrutura e as funcionalidades de um
sistema operativo. Realizar operaes de administrao
de um sistema operativo. Adquirir
conhecimentos elementares de programao de sistemas.
Perceber a arquitectura de um computador e o modelo
computacional.
Dominar o sistema operativo e suas funes
Caractersticas dos SO MS-WINDOWS e Linux. Saber
fazer a Instalao de um SO e a sua
administrao bsica. Dominar as Ferramentas de
desenvolvimento de aplicaes e a Programao bsica
de sistemas
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

-Andrew

Bibliografia Bsica

S.

Tanenbaum,

Sistemas

Operacionais

Modernos ,
Pearson Prentice Hall,
- Abraham Silberschatz, Fundamentos de Sistemas
Operacionais, LTC.
- William Stallings, Operating Systems internals and
design principles, Prentice Hall.
- 4 Gary Nutt, Operating Systems: a modern perspective,
Addison Wesley

Denominao da Disciplina

Ingls II
Info216

Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos
Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Base de Dados
Info221
Esta disciplina aborda os Modelos de Base de Dados
ER e Relacional. Converso de ER para Relacional.
lgebra Relacional. Linguagem SQL. Query-byexample. Formas Normais. Segurana. Transaces.
Concorrncia. Recuperao. BD internet / XML.
Instalao e administrao de Microsoft SQL Server, e
Informix. Conceitos avanados de desenvolvimento e
administrao de bases de dados. Bases de dados
paralelas e distribudas.
Instalao e administrao
de Microsoft Oracle e DB2.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

3
4
6
-Database System Concepts , Silberschatz, Korth and
Sudarshan, McGraw-Hill.
-PHP and MySQL Web Development Luke Welling,
Laura Thomson. Sams.
-PHP 5/MySQL Programming, Andy Harris, Premier
Press.

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Interfaces Pessoa-Mquina
Info222
Esta disciplina pretende preparar os alunos para
analisarem e projectarem as componentes interactivas
dos sistemas, em particular da interface com os
utilizadores, de uma forma adequada s suas
necessidades, considerando o curto,
mdio e longo
prazo. Analise de sistemas interactivos, em termos de
um conjunto
de
parmetros
quantitativos
e
qualitativos. Utilizao de tcnicas
de
estudo,observao e interrogao de utilizadores
suportadas na compreenso do modelo conceptual dos
utilizadores de sistemas.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

4
4
6
- Dix, Alan J. et al. Human-computer interaction.
London : Prentice-Hall.
- Shneiderman, Ben : Designing the user interface :
strategies for effective human-computer interaction.
- Nielsen, Jakob : Designing web usability: the practice
of simplicity.

Matemtica Discreta
Info223
Com esta disciplina pretende-se que o estudante domine:
as tcnicas e linguagem dos conjuntos como matria
estruturada da Matemtica, linguagem matemtica e
lgica informal; os contextos e estratgias de
demonstrao, princpios de enumerao combinatria,
agrupamentos e identidades combinatrias, recorrncias
e funes geradoras, nmeros combinatrios e elementos
da teoria dos Grafos.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

2
5
5
- Ferreira, Campos J. - Elementos de Lgica e Teoria dos
Conjuntos.
- Pinto, Jos Sousa- Tpicos de Matemtica Discreta,
Universidade de Aveiro.
- GERSTING, Judith L.. Fundamentos Matemticos para
a Cincia da Computao
Programao com Objectos
Info224

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Esta disciplina pretende dotar os alunos da capacidade


de: desenvolver programas orientados por objectos em
Java ou outra linguagem de alto nvel; conhecer
e
saber aplicar algoritmos eficientes em grafos, conjuntos
e cadeias de
caracteres; conhecer e saber aplicar
tcnicas genricas de concepo de
algoritmos;
conhecer alguns problemas intratveis e algoritmos de
soluo.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

4
4
6
-BARNES, D. J., KLLING, M., Programao
Orientada a Objetos com Java. Uma introduo prtica
usando BLUEJ, Pearson Prentice Hall.
- DEITEL, H. M., DEITEL, P. J., Java: Como
programar, Pearson Prentice Hall.
- Head First Design Patterns , Eric Freeman, Elisabeth
Freeman, Kathy Sierra, Bert Bates.
Programao Lgica
Info225
Adquirir familiaridade com os paradigmas da
Programao em Lgica e Programao com Restries
e com a linguagem Prolog. Desenvolver as competncias
de raciocnio abstracto e de representao de problemas
de forma declarativa. Reconhecer as categorias de
problemas em que a
Programao em Lgica (com Restries)
particularmente adequada.
Experimentar e praticar as tcnicas de programao em
Prolog e de programao com restries. Construir
aplicaes completas em Prolog com eventual ligao a
outras linguagens. Desenvolver as competncias de
programao requeridas nas disciplinas da rea da
Inteligncia Artificial.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

4
4
6
- CA, Callejas, Bedregal. Acily, Bendito. Lgica para a
Cincia da Computao, Natal.
- GERSTING, J.L. Fundamentos Matemticos para
Cincia da Computao. 5a edio. Rio de Janeiro, LTC
.
- RENZ, S.P, POFFAL, C.A, Fundamentos de Lgica
Matemtica. Porto Alegre, La Salle.
- HEGENBERG, Lenidas. Lgica: o clculo de
predicados.
- MK, Marriot, Kim;Programming with constraints.
- CF, Clocksin, W. F.;Programming in prolog.
- TM, Torres, Delfim Fernando Marado;Introduo

programao em lgica.
- BI, Bratko, Ivan;Prolog programming for artificial
intelligence.
- OR, O.Keefe, Richard A.;The craft of Prolog.

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Anlise e Sntese de Algoritmos


Info311
Formao de nvel intermdio em algoritmia e
complexidade, familiarizando os alunos com tcnicas de
anlise e sntese de algoritmos e estruturas de dados.
Conhecimento dos fundamentos da anlise e sntese de
algoritmos. Anlise da realizao prtica de algoritmos e
estruturas de dados. Perspectivaabrangente das
aplicaes dos algoritmos emEngenharia Informtica.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

5
4
6
- "Introduction to Algorithms", 2 edio, T. Cormen, C.
Leiserson, e C. Stein, McGraw-Hill.
- "Estruturas de Dados e Algoritmos em C", Antnio
Adrego da Rocha.
- "Algorithms in C",3 edio,Robert Sedjewick.
Compiladores
Info312
Esta disciplina pretende fornecer os conceitos que
permitam: - compreender as fases de compilao de
linguagens, em especial das linguagens imperativas e
OO; - especificar a sintaxe e semntica de uma
linguagem de programao;
- compreender e utilizar as estruturas de dados e os
algoritmos principais usados na implementao de
compiladores.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

5
4
6
- AHO, A. V., SETHI, R., ULLMAN, J. D. Compilers:
Principles, Techniques, and Tools.
- Addison-Wesley, 1986.MAK, R. Writing Compiler and
Interpreters: an Applied Approach.
- APPEL,Andrew : Modern Compiler Implementation in
Java.
Desenvolvimento de Aplicaes Multimdia
Info313

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Com esta disciplina pretende-se transmitir aos alunos


conhecimentos e experincia na arquitectura,protocolos,
linguagens e metalinguagens para criao,
disponibilizao, manutenoedivulgaode
informao,aplicaes eservios multimdia distribudos
na Internet.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

5
4
6
- Digital Multimedia, 3rd Ed. , Nigel Chapman e Jenny
Chapman, John Wiley & Sons
- Presentation Zen, 2nd Ed. , Garr Reynolds, New Riders
- The Non-Designer?s Design Book, 3rd Ed. , Robin
Williams, Peachpit Press

Fundamento de Telecomunicaes
Info314
Pretende-se que os alunos adquiram os conhecimentos
bsicos de telecomunicaes e sinais nas suas
vertentes analgica e digital. So conferidos aos
alunos uma srie de conhecimentos bsicos
para a anlise e processamento de sinais tanto no
domnio do tempo como no mbito espectral (assim
como os conceitos matemticos necessrios),
as caractersticas dos meios de transmisso e os
conceitos relacionados com o domnio das
telecomunicaes propriamente ditas.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

2
2
3
Digital and Analog Communication Systems, Leon W.
Couch II, Prentice-Hall.
Communication Systems, B. Carlson, McGraw-Hill.
Principles of Communications Systems, Taub &
Schiling, McGraw-Hill.
Simon Haykin, Communication Systems, Wiley, 4 ed.,
2001.
Victor Barroso, DEEC / IST, 1999.

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da
Disciplina
Cdigo

Redes de Computadores
Info315
Pretende-se que os alunos adquiram formao bsica no
domnio das Redes de Comunicao de Dados,
dominando os princpios e conceitos
arquitectnicos essenciais e conhecendo as tecnologias e
solues mais usadas e as principais normas em vigor
em LANs (Local Area Networks) e WANs (Wide Area
Networks). Pretende-se ainda que sejam capazes de
analisar e avaliar o desempenho de vrios tipos de
sistemas e redes de comunicao.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

5
4
6
- Computer Networking: A Top-Down Approach by
James F. Kurose and Keith W. Ross, Addision Wesley.
-Computer Networks: A Systems Approach, Larry
Peterson, Bruce Davie.
-TCP/IP Sockets in C: Practical Guide for Programmers ,
Michael J. Donahoo, Kenneth L. Calvert.

Desenvolvimento de Aplicaes para Dispositivos Moveis

Info321
Desenvolver nos estudantes o dominio das tecnicas e prcticas essenciais
para o desenvolvimento de aplicaes para dispositivos moveis, tirando
proveito das particularidades de cada dispositivo e tendo em conta as
limitaes de este tipo de dispositivos. Familializar os estudantes com as
Contedos
ferramentas disponibilizadas pelos principais propreitarios dos Sistemas
Programticos/Sinopse
Operativos utilizados neste contexto com especial enfoque no tocante aos
processos de reviso de qualidade e partilha de Apps nos diferentes
mercados.
Semestre/Carga
Horria de Contacto/
/N de Crditos

Bibliografia Bsica

Semestre

Carga Horria de Contacto


Semestral

N de Crditos

7
4
6
- http://developer.android.com/
https://play.google.com/store/apps/details?id=com.google.android.apps.books
-https://dev.windowsphone.com//en-us
-https://developer.blackberry.com/
- https://developer.apple.com/devcenter/ios/index.action
-https://developer.palm.com/
-http://www.developer.nokia.com/

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Engenharia de Software
Info322
Esta disciplina pretende abordar os Modelos Utilizados
no desenvolvimento de projectos Informticos de
grande
envergadura.
Modelo
de
WaterFall,
Oportunistico, Incremental e Agil. Tratamento de casos
de uso, UML e relatrios de necessidades. Teoria do
Desenvolvimento de Software colaborativo
e
sua
premissas fundamentais como Satisfao do Cliente,
Controlo, integrao, testes e Bugs, etc
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

-Dan Pilone & Russ Miles, Head First Software


Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Development
-Pressman, R.B. Software Engineering: A Practitioner's
Approach
-Sommerville, I:Software Engineering.

Inteligncia Artificial
Info323
Esta disciplina pretende caracterizar a IA e a sua
aplicabilidade. Compreender a
noo de Agente
computacional. Como Representar, Adquirir, Manipular
e Aplicar
conhecimento automaticamente: -Saber
representar Conhecimento impreciso.
-Comparar
mtodos heursticos e sistemticos na pesquisa de
solues. -Aplicar uma linguagem baseada na lgica: Desenvolver interfaces
em Linguagem Natural e
Motores de inferncia para Sistemas Periciais.
-Conhecer algoritmos de aprendizagem Indutiva e
dedutiva.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

6
4
6
-Fetzer, J. H. Computers and Cognition: Why Minds are
not Machines
-Penrose, R. The Emperor's New Mind
Concerning
Computers, Minds and the Laws of
-Nils J. Nilson. Inteligencia Artificial. Una nueva
sntesis.
-Foundation for intelligent physical agents. "FIPA
Communicative Act Library Specification

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Sistemas Distribuidos
Info324
Esta disciplina pretende dotar os alunos com a
capacidade de conceber e implementar aplicaes
distribudas relativamente simples e ainda avaliar a
adequao de solues distribudas para diversos
problemas.
Se enfoca no conceito dos sistemas distribudos e da
computao em rede, modelos de comunicao: troca de
mensagens, invocao remota de funes. Objectos
distribudos. Nomes: identificao e localizao.
Sincronizao. Replicao e consistncia. Tolerncia a
falhas.
Segurana.
Infraestruturas
para
o
desenvolvimento de sistemas distribudos.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

6
4
6
-G. Coulouris, J. Dollimore, T. Kindberg. Distributed
Systems: Concepts and Design, Third Edition, AddisonWesley.
-A. S.Tanenbaum, M. Steen, Distributed Systems:
Principles and Paradigms, Prentice-Hall.
-George Couloris, Jean Dollimore, TimKindberg ,
Addison-Wesley: Distributed Systems: Concepts and
Design.

Denominao da Disciplina

Opo Condicionada I
Info325

Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de

Semestre

Carga Horria de
Contacto Semestral

N de Crditos

Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Centro de Dados
Info411
Dotar os alunos da capacidade de projectar, implementar
e explorar armazns de dados (data warehouses). D-se
especial ateno capacidade de efectuar auditorias da
qualidade dos dados.
Programa Tpico: Armazns de dados: seleco de
dimenses; modelos de dados especficos; granularidade;
heterogeneidade, estratgias de alimentao e migrao
de dados; acesso a grandes volumes de dados;
desenvolvimento de data marts. Bases de dados
multidimensionais; sistemas de informao para
executivos.
Qualidade de dados: auditoria e limpeza dedados;
perspectiva da qualidade total; prevenode defeitos.
Os armazns de dados e a Web
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

7 - TIC
4
6
-Mastering DataWarehouse Design Relational and
Dimensional,
Claudia
Imhoff,
Nicholas
Galemmo,Jonathan G. Geiger, Wiley Publishing, Inc.,
Indianapolis.
-The Data Warehouse Lifecycle Toolkit, Ralph Kimball,
Wiley, John Wiley and Sons, Inc.
-Data Mining concepts and techniques, Jiawei Han,
Micheline Kamber.

Economia e Gesto
Info412
Esta disciplina constituda por duas partes, que so
leccionadas em simultneo: uma parte de Contexto da
Gesto e outra de Gesto de Projectos.
Na parte de Contexto da Gesto, pretende-se colocar os
alunos em contacto com os principais conceitos de
Economia e Gesto, proporcionando uma viso integrada
dos processos e das diferentes reas da Gesto.
Na parte de Gesto de Projectos, procura-se sensibilizar
os alunos para as capacidades que so necessrios
possuir, em termos de mtodos, tcnicas e formas de
trabalho, para ultrapassar e resolver os inmeros
problemas que surgem no desenvolvimento de projectos
em equipa numa organizao real.

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Semestre

Carga Horria de
Contacto Semestral

N de Crditos

5
4
6
- Samuelson, P. A., Nordhaus, W. D, Economia,
McGraw-Hill
- Antnio de Sousa; Introduo Gesto - uma
abordagem sistmica
-Produtos Bancrios e Financeiros Autores: Jos L.
Leito, Jorge A. Morais e Maria A. Resende

Planeamento e Gesto de Redes


Info413
Esta disciplina pretende familiarizar os alunos com os
princpios associados ao planeamento e administrao de
redes e servios de uma empresa. Dotar os alunos de
competncias para a anlise, projecto, avaliao e
operao desse tipo
de sistemas.
Avaliao
de
Desempenho.
Comparao
de
Alternativas. Ferramentas e Tcnicas de
medida.
Planeamento e Projecto: Anlise de requisitos. Anlise
de fluxos. Projecto
lgico. Projecto da infraestrutura fsica. Endereamento e encaminhamento.
Mdulo de Gesto de Redes: Conceitos fundamentais.
Gesto de redes em
TCP/IP. Arquitectura, aplicaes
e segurana.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

7 - TIC
4
6
-James D. McCabe : Network Analysis, Architecture,
and Design.
-William Stallings : SNMP SNMPv2 and RMON A
Practical Network Management.
-Yezid Donoso : Network design for IP convergence.
-Oppenheimer, Priscilla; Top-down network design.

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos
Bibliografia Bsica

Segurana Informtica
Info414
Familiarizar os alunos com os fundamentos da segurana
de sistemas informticos. Dotar os alunos de
competncias necessrias para poderem especificar uma
poltica de segurana, implement-la usando os
mecanismos adequados, verificar a conformidade dessa
implementao e monitorar a sua operao.
Programa Genrico: Fundamentos. Polticas de
segurana.vCriptografia: teoria e aplicaes.
Mecanismos de segurana e seu uso na implementao
de polticas de segurana.vVerificao de conformidade
e monitorizao de um sistema.vAspectos prticos em
redes, em sistemas e na programao. Aspectos sociais,
ticos e legais.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

7 - TIC
4
6
- Segurana em Redes Informticas, Andr Zquete.
-Segurana Informtica nas Organizaes, H. So
Mamede.
-Introduo Segurana dos Sistemas de Informao,
Alberto Carneiro.

Integrao de Sistemas de Informao


Info415
Esta disciplina estuda a integrao dos SI e o seu
impacto na Internet.- Integrao no computador
ficheiros, sockets, bases de dados, monitores
transaccionais, componentes, servidores aplicacionais.Integrao na empresa mensagens, procedimentos
remotos, objectos distribudos, cdigo mvel, message
brokers.- Novas tecnologias
XML, Web Services,
certificados digitais, novas reas de investigao.Integrao entre empresas
EDI tradicional, EDI na
Internet, ebXML, aplicaes de EDI.- Caso de estudo:
integrao com SAP.- Futuro a mdio prazo.
Semestre

Carga Horria de
Contacto Semestral

7 - PSI
4
Integrao de Sistemas de Informao
de Miguel Mira da Silva
Edio/reimpresso: 2003

N de Crditos

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Bibliografia Bsica

Planeamento Estratgico de Sistemas de Informao


Info416
Esta disciplina pretende dotar os alunos com
competncias para planear sistemas e tecnologias de
informao numa organizao segundo uma perspectiva
estratgica. A disciplina faz uma Introduo aos SI
estratgicos e ao planeamento estratgico e aborda os
modelos de anlise estratgica de SI/TI e as Estratgias
de gesto de informao e conhecimento.
Semestre

Carga Horria de
Contacto Semestral

N de Crditos

7
4
6
-Rockart, J : Future Role of the Information Systems
Executive
-Rockart, J. e Scott Morton, M.: Implications of Changes
in Information Technology for Corporate Strategy
-Rupnik-Miklic, E. e Zupancic, J.: Experiences and
expectations with CASE technology
-Teo, T. e King, W: Assessing the impact of integrating
business and IS planning, Information & Management,

Denominao da Disciplina
Cdigo

Contedos Programticos/Sinopse

Sistemas de Apoio Deciso


Info417
Esta disciplina pretende enquadrar o conhecimento na
rea de sistemas de
informao com os processos de
tomada de deciso, gesto de conhecimento e anlise de
dados da responsabilidade dos decisores. Para tal, sero
estudados o
processo, as estratgias e os critrios
de tomada de deciso com o apoio de
recursos
computacionais, quer transaccionais (bases de dados)
quer analticos (sistemas de apoio deciso puros).
Sero abordados tambm os temas da
representao,
aquisio, extraco, manipulao (semi-) automtica e
gesto do conhecimento.
Conhecimento e informao: 'business intelligence'.
Apoio deciso guiado pelos dados: dos dados ao
conhecimento.

Semestre/Carga Horria de Contacto/ /N de


Crditos

Semestre

Carga Horria de
Contacto Semestral

N de Crditos

7 - PSI

Bibliografia Bsica

-Jiawei Han and Micheline Kamber : Data Mining :


Concepts and Techniques.

-Ralph Kimball and Margy Ross : The Data Warehouse


Toolkit - the complete guide to dimensional modeling ,
-J. Smola and B. Scholkopf : Learning with Kernels:
support vector machines, regularization, optimization
and beyond.

Denominao da Disciplina

Opo Livre
Info418

Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos

Semestre

Carga Horria de
Contacto Semestral

N de Crditos

Bibliografia Bsica

Denominao da Disciplina

Projecto de Fim de Curso


Info420

Cdigo

Contedos Programticos/Sinopse

Semestre/Carga Horria de Contacto/ /N de


Crditos
Bibliografia Bsica

Lista de Unidades Curriculares Opcionais:


Aplicaes de Micro-Processadores
Design e Programao de Jogos
Robtica
Sistemas e Sinais
Gesto de Projectos Informticos
Redes de Comunicao
Comunicaes Digitais
Instrumentao Industrial
Proficincia Pessoal e Inter-Pessoal
Controlo Automtico

Semestre

Carga Horria de
Contacto Semestral

N de Crditos

30

Laboratrio Audiovisual e Multimdia


Criptografia
Portugus
Metodologia de Investigao Cintifica

Mindelo, 24 de Junho de 2013

A comisso de Reviso Curricular LEIC :

____________________________________________________
MsC. Joo do Monte Duarte
Coordenador LEIC - DECM

___________________________________________________
MsC. Carlos Baia Mendes
Coordenador TIC - DECM

You might also like