Exame Nacional para Ingresso na Ps-Graduao em Computao (POSCOMP)

EDITAL SBC N 001/2010

A Sociedade Brasileira de Computao, Instituio de Direito Privado, sediada na Av. Bento Gonalves, 9500 - Setor 4 Prdio 43.412 - Sala 219, Bairro Agronomia - CEP 91.509-900 - Porto Alegre - RS, CNPJ: 29.532.264/0001-78, por seu Presidente Jos Carlos Maldonado, usando de suas atribuies legais, resolve divulgar a abertura das inscries e estabelecer normas para a realizao do Exame Nacional para Ingresso na Ps-Graduao em Computao.

1. 1.1

DAS DISPOSIES PRELIMINARES O Exame Nacional para Ingresso na Ps-Graduao em Computao POSCOMP ser regido pelas regras estabelecidas no presente Edital, executado pela Coordenadoria de Processos Seletivos, da Universidade Estadual de Londrina Cops/UEL em parceria com a Sociedade Brasileira de Computao SBC. O POSCOMP tem como objetivo especfico avaliar os conhecimentos de candidatos a Programas de Ps-Graduao em Computao oferecidos no Brasil. O POSCOMP um exame independente, portanto no se configura como nico critrio para a seleo dos candidatos nos diversos programas de ps-graduao brasileiros. O resultado do POSCOMP enviado pela SBC a todos os programas que dele participam, cabendo-lhes determinar a forma como iro aproveit-lo. O POSCOMP de que trata este Edital consistir de avaliao de conhecimentos por meio de aplicao de Prova Objetiva. A Prova Objetiva ser elaborada em Lngua Portuguesa, independentemente da origem do candidato. As provas sero realizadas no Brasil e no Peru, nas cidades e horrios de incio estabelecidos no Anexo I do presente Edital. A elaborao, distribuio e correo das provas do POSCOMP so de inteira responsabilidade da Cops/UEL. A aplicao das provas do POSCOMP de inteira responsabilidade da SBC e dos Coordenadores de Ps-Graduao. de exclusiva responsabilidade do candidato inscrito acompanhar os atos concernentes ao POSCOMP, publicados ou divulgados na internet, no endereo eletrnico www.cops.uel.br, obrigando-se a atender aos prazos e condies estipulados neste Edital e nos que forem publicados. A inscrio no POSCOMP implicar a aceitao tcita das normas estabelecidas neste Edital e em outros que forem publicados durante as vrias etapas do processo. A publicao do resultado final do POSCOMP ser feita de forma individual, com a indicao do nmero de questes certas e erradas, mdia e desvio padro por rea de conhecimento. Ser admitida a impugnao deste Edital, por meio de requerimento devidamente justificado, no prazo de 5 (cinco) dias teis a contar da sua publicao, dirigido Sociedade Brasileira de Computao.

1.2

1.3

1.4

1.5

1.6

1.7

1.8

1.9

1.10

1.11

1.12

EditalSBCn001/2010

2. 2.1

DOS PROCEDIMENTOS PARA INSCRIO E PAGAMENTO DA TAXA DE INSCRIO A inscrio poder ser efetuada a partir das 17h do dia 9 de agosto de 2010 at s 23h do dia 9 de setembro de 2010, somente via internet, no endereo eletrnico www.cops.uel.br, no qual haver o formulrio destinado inscrio a ser devidamente preenchido pelo candidato. Ao final da inscrio, o candidato dever: a) imprimir o boleto bancrio para o pagamento da taxa de inscrio, no caso de candidatos inscritos no Brasil; b) imprimir instrues quanto forma de recolhimento da taxa de inscrio, no caso de candidatos inscritos no Peru. O candidato dever optar por uma nica cidade para a realizao da prova, no ato de sua inscrio. Na hiptese de mltiplas inscries, ser mantida a ltima que tiver sido efetivada. Aps efetivada a inscrio, no sero aceitas solicitaes de mudana de cidade de realizao da prova, sendo a escolha de exclusiva responsabilidade do candidato. O valor da taxa de inscrio de R$ 45,00 (quarenta e cinco reais) para associados da Sociedade Brasileira de Computao e de R$ 50,00 (cinquenta reais) para no associados. O associado que desejar usufruir o desconto para scio na inscrio do POSCOMP dever estar em dia com a anuidade junto SBC. Nesse caso, sua situao dever ser regularizada at o dia 9 de agosto de 2010, aguardando-se at 10 (dez) dias para que possa inscrever-se como scio no Exame. A partir da, sua inscrio no POSCOMP se dar como scio. O pagamento da taxa de inscrio dever ser efetuado at o dia 10 de setembro de 2010 tanto para os candidatos inscritos no Brasil quanto para os inscritos no Peru. 2.5.1 Os candidatos que se inscreverem no Brasil devero dirigir-se a qualquer agncia bancria credenciada, munidos do boleto bancrio, sendo esta a nica forma possvel de pagamento. Os candidatos inscritos no Peru devero imprimir e assinar autorizao para dbito no carto de crdito VISA, conforme instrues contidas no ato da inscrio, e enviar SBC para trmino do processo de pagamento do POSCOMP, sendo esta a nica forma possvel de pagamento.

2.2

2.3

2.4

2.5

2.6

2.5.2

2.7

A inscrio somente ser efetivada e confirmada com o correspondente pagamento da taxa de inscrio, no se responsabilizando a SBC ou a Cops/UEL pelo no recebimento da confirmao bancria do recolhimento do valor da taxa de inscrio. vedada a inscrio condicional e/ou fora de prazo. A qualquer tempo podero ser anuladas a inscrio e a prova, por meio de processo administrativo devidamente instaurado, ouvido o candidato, o que pode ocorrer, inclusive, aps a homologao do resultado do POSCOMP, desde que verificada a prtica de qualquer ilegalidade pelo candidato, tais como: falsidade nas declaraes e/ou quaisquer irregularidades durante a realizao da prova e/ou nos documentos apresentados, entre outras. Ao efetuar a inscrio, o candidato assume o compromisso tcito de que aceita as condies estabelecidas no presente Edital e nos demais que vierem a ser publicados durante a realizao do POSCOMP. Aps 7 (sete) dias teis do efetivo pagamento da taxa de inscrio, o candidato poder acompanhar, no endereo eletrnico www.cops.uel.br, a situao de sua inscrio, devendo, se houver alguma divergncia, entrar em contato com a Cops/UEL, pelo e-mail cops@uel.br ou pelo telefone (43) 3371-4838 ou pelo fax (43) 3328-4448. Desde que justificada a necessidade, poder ser atribudo atendimento especial para a realizao da prova ao candidato que o solicitar, conforme subitem 2.13.

2.8 2.9

2.10

2.11

2.12

EditalSBCn001/2010

2.13

O candidato com deficincia poder solicitar, no perodo de 9 de agosto a 9 de setembro de 2010, por meio, exclusivamente, de correspondncia, via SEDEX, enviada Coordenadoria de Processos Seletivos da UEL, Rodovia Celso Garcia Cid, PR 445, CEP 86051-980, Caixa Postal 6050, Londrina - PR, prova ampliada, ou tempo adicional de, no mximo, 1 (uma) hora, ou outro tratamento diferenciado para a realizao da prova. Essa solicitao dever ser justificada com laudo mdico emitido por especialista na rea de sua deficincia, atestando a espcie e o grau ou nvel de deficincia, sendo de carter obrigatrio o cdigo correspondente da Classificao Internacional de Doena CID. O candidato com deficincia que no fizer a solicitao, de acordo com o disposto nos subitem 2.13 no receber atendimento especial. A Cops/UEL e a SBC no se responsabilizam por solicitaes no recebidas at o dia 16 de setembro de 2010. A solicitao de condies especiais para a realizao da prova ser atendida obedecendo a critrios de viabilidade e de razoabilidade, mediante apreciao da Comisso Organizadora do POSCOMP. A relao geral dos candidatos que tiverem as inscries homologadas ser divulgada por meio de edital especfico, no dia 22 de setembro de 2010, no endereo eletrnico www.cops.uel.br. O candidato que tiver sua inscrio indeferida poder interpor recurso dirigido Cops/UEL, no prazo de 2 (dois) dias teis, contados da data da divulgao da relao de candidatos inscritos, por meio do fax (43) 3328-4448 ou pelo e-mail cops@uel.br, constando: nome completo, nmero de inscrio do candidato, fundamentao para o pedido de deferimento de sua inscrio e cpia de comprovante de pagamento do boleto de inscrio. No sero aceitas solicitaes de homologao de inscries fora dos prazos e diferentes dos procedimentos definidos no subitem 2.18. Na hiptese de mero erro material de dados cadastrais digitados incorretamente no ato da inscrio (n de documentos de identificao e/ou endereo), o candidato dever informar quais alteraes devem ser procedidas, mencionando tambm os dados que identificam a sua inscrio, pelo e-mail cops@uel.br, no prazo de 2 (dois) dias teis, contados da data de divulgao do Edital de Homologao de Inscrio. Decorridos 5 (cinco) dias da data da publicao do Edital de Homologao de Inscrio, a Coordenadoria de Processos Seletivos da UEL no se responsabilizar por inscries no recebidas em decorrncia de ordem tcnica, falhas de comunicao, congestionamento de linhas de comunicao, bem como outros fatores de ordem tcnica que impossibilitem a transferncia de dados. A partir das 17h do dia 8 de outubro de 2010, o candidato dever imprimir o Carto de Inscrio, disponvel no endereo eletrnico www.cops.uel.br, no qual estar indicado o local, o endereo e o horrio de realizao da Prova Objetiva, sendo de exclusiva responsabilidade do candidato a obteno do Carto de Inscrio por meio de impresso. O Carto de Inscrio contm espao destinado afixao da fotografia, que dever ser atual, e espao destinado afixao de cpia do documento de identificao do candidato. O Carto de Inscrio ser exigido para o ingresso do candidato na sala de prova, alm de documento de identidade original, vlido e com foto, conforme subitens 3.7 e 3.8.

2.14

2.15

2.16

2.17

2.18

2.19

2.20

2.21

2.22

2.23

2.24

EditalSBCn001/2010

3. 3.1

DA PROVA OBJETIVA Ser aplicada prova com questes objetivas, abrangendo os contedos programticos deste Edital, sendo as questes de mltipla escolha (a, b, c, d, e) distribudas de acordo com o quadro a seguir: rea de Conhecimento Matemtica Fundamentos de Computao Tecnologia da Computao Total de questes Questes 20 30 20 70

3.2

A prova ter por base os contedos programticos de acordo com cada rea de conhecimento (Anexo II). Fica a critrio de cada candidato a escolha da bibliografia que entender conveniente. Cada acerto em uma questo objetiva valer 1 (um) ponto, sendo 70 o mximo de pontos da prova. A prova ser aplicada no dia 17 de outubro de 2010, nas cidades e horrios definidos no Anexo I do presente Edital. Os locais de realizao das provas sero divulgados no dia 8 de outubro e estaro especificados no Carto de Inscrio do candidato. O candidato dever comparecer ao local designado para a realizao da prova, com antecedncia de 1 (uma) hora, munido de lpis, borracha e caneta esferogrfica com tinta preta, ficando impedido de ingressar o candidato que chegar ao local de prova aps o horrio estipulado. Para ingresso na sala e realizao da prova, o candidato dever apresentar Carto de Inscrio contendo fotografia atual e cpia de documento de identificao afixadas, alm de documento de identificao original, vlido e com foto. Podem ser considerados documentos de identificao: ICdula de Identidade Civil (RG); II - Carteira Nacional de Habilitao com fotografia, na forma da Lei n 9.503/97; III - Passaporte; IV - Certificado de Reservista; V - Carteira Profissional. No so considerados documentos de identidade para ingresso na sala de prova: ICadastro de Pessoas Fsicas (CPF); IICertido de Nascimento; III - Ttulo Eleitoral; IV- Carteira Nacional de Habilitao sem fotografia; V - Carteira de estudante; VI - Carteira funcional sem valor de identidade; VII - Documentos ilegveis, no identificveis e/ou danificados. No haver segunda chamada para a prova, seja qual for o motivo da ausncia do candidato, nem sero aplicadas provas em locais ou horrios diversos dos estipulados no Carto de Inscrio do candidato, neste Edital e em outros editais referentes ao processo.

3.3

3.4

3.5

3.6

3.7

3.8

3.9

3.10

EditalSBCn001/2010

4. 4.1

DOS PROCEDIMENTOS APLICVEIS REALIZAO DA PROVA OBJETIVA No ser permitida, durante a realizao da prova, a comunicao entre os candidatos, nem a utilizao de materiais de consulta. O candidato dever desligar qualquer aparelho de comunicao que venha a portar, seguindo os procedimentos de segurana estabelecidos pelo responsvel pela aplicao da prova. O no comparecimento do candidato prova implicar sua eliminao do processo. A durao da prova ser de 4 (quatro) horas, includo a o tempo para o preenchimento do Carto-Resposta. O controle do tempo de aplicao da prova e as informaes a respeito do tempo transcorrido, durante a realizao da prova, sero de responsabilidade dos aplicadores. O tempo de durao da prova poder ser acrescido em, no mximo, uma hora para os candidatos que tenham requerido tempo adicional para a realizao da prova, desde que o pedido tenha sido deferido, na forma do disposto nos subitens 2.13 a 2.16 deste Edital. As respostas s questes objetivas sero transcritas para o Carto-Resposta com caneta esferogrfica com tinta preta, devendo o candidato assinalar uma nica resposta para cada questo. As respostas s questes objetivas da prova, lanadas no Carto-Resposta, sero corrigidas por meio de processamento eletrnico. Sero consideradas erradas questes no assinaladas ou que contenham emenda ou rasura ou mais de uma resposta. O candidato responsvel pelo correto preenchimento do Carto-Resposta e por sua conservao e integridade, pois em nenhuma hiptese haver substituio do mesmo, salvo em caso de defeito de impresso. Durante a realizao da prova, o candidato que precisar ausentar-se do recinto da sala dever seguir as orientaes do responsvel pela aplicao do Exame. O candidato somente poder se retirar definitivamente da sala de prova aps 1 (uma) hora do incio do Exame, devendo entregar aos aplicadores, o Caderno de Prova e o CartoResposta, devidamente assinados.

4.2

4.3 4.4

4.5

4.6

4.7

4.8

4.9

4.10

4.11

5. 5.1

DOS RECURSOS No dia 18 de outubro de 2010, s 17h, ser divulgado o gabarito oficial provisrio da Prova Objetiva, no endereo www.cops.uel.br. A partir da divulgao do gabarito provisrio da Prova Objetiva, o candidato ter o prazo de 2 (dois) dias teis para interpor recurso, via internet, redigido em Lngua Portuguesa, utilizandose do formulrio especfico que estar disponvel em www.cops.uel.br e que constituir a base sobre a qual se apoiar a anlise da pertinncia do pedido. O candidato dever utilizar um formulrio para cada questo. Formulrios contendo mais de uma questo no sero aceitos. Os recursos interpostos fora de prazo no sero admitidos nem analisados no mrito. Sero admitidos recursos relativos ao gabarito provisrio, formulao e ao contedo das questes da Prova Objetiva, desde que devidamente fundamentados.

5.2

5.3

5.4 5.5

EditalSBCn001/2010

5.6

Ao final do preenchimento do formulrio de recurso, o candidato dever imprimir seu respectivo comprovante de envio. Os recursos que no estiverem redigidos no formulrio especfico, subitem 5.2, bem como os que forem encaminhados por via postal comum, fax ou correio eletrnico, no sero analisados. Os recursos da Prova Objetiva sero apreciados pela Coordenadoria de Processos Seletivos da UEL, que os julgar em at 10 (dez) dias teis, contados a partir do trmino do prazo para interposio. Os pareceres dos recursos referentes s questes objetivas e o gabarito oficial definitivo sero divulgados no endereo eletrnico www.cops.uel.br. Os pontos relativos s questes objetivas que, porventura, forem anuladas, sero atribudos a todos os candidatos que se submeteram prova. Caso haja correo de alternativa no gabarito oficial definitivo, os efeitos dela decorrentes sero aplicados a todos os candidatos. O processamento final dos acertos se dar com base no gabarito oficial definitivo. No sero admitidos recursos relativos ao preenchimento incompleto, equivocado, em duplicidade ou incorreto do Carto-Resposta, nem pelo motivo de resposta que apresenta rasura. No cabe pedido de reconsiderao ou de reviso de resultado de recurso.

5.7

5.8

5.9

5.10

5.11

5.12

5.13

6. 6.1

RESULTADOS O resultado final ser disponibilizado, individualmente, at 18 de novembro de 2010, nos endereos eletrnicos www.cops.uel.br e www.sbc.org.br, com os seguintes dados: n de questes certas, n de questes incorretas, mdia e desvio padro por rea de conhecimento.

7. 7.1 7.2

DAS DISPOSIES FINAIS Caber Sociedade Brasileira de Computao a homologao do resultado final. Todos os atos oficiais referentes ao POSCOMP, normatizados por este Edital, sero divulgados na internet, no endereo eletrnico www.cops.uel.br. As despesas decorrentes da participao no POSCOMP correro s expensas do candidato. Todos os prazos fixados neste Edital correro a partir da data de suas publicaes, excluindose o dia da publicao e incluindo-se o dia do vencimento. O descumprimento de quaisquer das instrues deste Edital implicar a eliminao do candidato do processo. No sero fornecidos atestados, certificados ou certides relativos participao no processo aos candidatos, valendo para tal fim os resultados divulgados no endereo eletrnico www.cops.uel.br.

7.3 7.4

7.5

7.6

EditalSBCn001/2010

7.7

No sero dadas, por telefone, informaes que constam neste Edital e nos editais que forem publicados. de exclusiva responsabilidade do candidato inscrito acompanhar os atos concernentes ao POSCOMP, publicados ou divulgados na internet no endereo eletrnico www.cops.uel.br, obrigando-se a atender aos prazos e condies estipulados neste Edital e nos que forem publicados durante o processo. Os casos omissos sero resolvidos pela Sociedade Brasileira de Computao e pela Coordenadoria de Processos Seletivos da UEL/Cops.

7.8

Londrina, 6 de agosto de 2010.

Jos Carlos Maldonado Presidente da Sociedade Brasileira de Computao

EditalSBCn001/2010

ANEXO I Cidades de Provas com os respectivos horrios de incio Unidade da Inicio da Prova Cidade Federao/Pas (horrio local) SE 14h Aracaju PERU 12h Arequipa SP 15h Bauru PA 14h Belm MG 15h Belo Horizonte DF 15h Braslia PB 14h Campina Grande SP 15h Campinas MS 14h Campo Grande PR 15h Cascavel MT 14h Cuiab PR 15h Curitiba CE 14h Fortaleza PR 15h Foz do Iguau GO 15h Goinia MG 15h Itajub PB 14h Joo Pessoa MG 15h Juiz de Fora MG 15h Lavras PR 15h Londrina AL 14h Macei AM 13h Manaus PR 15h Maring RN 14h Mossor RN 14h Natal TO 14h Palmas RS 15h Pelotas MG 15h Poos de Caldas RS 15h Porto Alegre SP 15h Presidente Prudente PE 14h Recife AC 13h Rio Branco RJ 15h Rio de Janeiro BA 14h Salvador RS 15h Santa Maria PA 14h Santarm SP 15h Santo Andr SP 15h So Carlos SC 15h So Jos SP 15h So Jos do Rio Preto MA 14h So Lus SP 15h So Paulo MG 15h Tefilo Otoni PI 14h Teresina PERU 12h Trujillo MG 15h Uberlndia MG 15h Viosa ES 15h Vitria

EditalSBCn001/2010

ANEXO II Contedos Programticos por rea de Conhecimento

rea de Matemtica
lgebra Linear Sistemas de Equaes Lineares: mtodo de eliminao de Gauss para sistemas lineares. Espaos vetoriais. Subespaos. Bases. Somas Diretas. Introduo Programao Linear. Transformaes Lineares e Matrizes. Autovalores e Autovetores. Diagonalizao. Espaos com Produto Interno. Bases Ortonormais. Projees Ortogonais. Movimentos Rgidos. Mtodo dos Mnimos Quadrados. Transformaes em Espaos com Produto Interno. O Teorema da Representao para Funes Lineares. Adjunta de uma Transformao Linear. Operadores Simtricos, Unitrios, Ortogonais e Normais. O Teorema Espectral. Formas Cannicas. Anlise Combinatria Distribuio. Permutaes. Combinaes. Funes Geradoras Ordinrias e Exponenciais. Princpio de Incluso e Excluso. Enumerao de Parties, Grafos, rvores e Redes. Enumerao por Recurso. Permutaes com Posies Restritas. Clculo Diferencial e Integral Limites de Funes e de Sequncias. Funes Reais de uma Varivel: Continuidade e Diferenciabilidade. Mximos e Mnimos. Frmula de Taylor e Aproximao de Funes. Mtodo de Newton para o Clculo de Razes e de Mximos e Mnimos. Integrao de Funes Reais de uma Varivel. Mtodos de Integrao. Integrao Aproximada. Regras dos Trapzios, de Simpson e Generalizadas. Funes de Vrias Variveis: Continuidade e Diferenciabilidade. Gradiente. Mximos e Mnimos. Multiplicadores de Lagrange. Transformaes. Matrizes Jacobianas. Teorema da Funo Inversa. Diferenciao Implcita. Integrao de Funes de Vrias Variveis. Mudanas de Coordenadas em Integrais. Integral de Linha. Geometria Analtica Matrizes. Sistemas de Equaes Lineares. Vetores. Produtos: escalar, vetorial e misto. lgebra Vetorial. Reta no plano e no espao. Planos. Posies Relativas, Intersees, Distncias e ngulos. Crculo e Esfera. Coordenadas Polares, Cilndricas e Esfricas. Lgica Matemtica Lgica Proposicional e de Predicados. Linguagem Proposicional e de Primeira Ordem. Sistemas Dedutivos. Tabelas Verdade e Estruturas de Primeira Ordem. Relaes de Consequncia. Corretude. Completude. Compacidade. Lowemhein-Skolem. Decidibilidade. Prova Automtica de Teoremas. Lgicas no-clssicas. Matemtica Discreta Iterao, Induo e Recurso. Conjuntos e lgebra de Conjuntos como uma Teoria Axiomtica. Par Ordenado. Funes. Funes e Formas Booleanas, lgebra Booleana, Minimizao de Funes Booleanas. Relaes sobre Conjuntos, Relaes de Equivalncia e Ordem. Reticulados, Monides, Grupos, Anis. Teoria dos Cdigos, Canal Binrio, Canal Simtrico, Cdigo de Blocos, Matrizes Geradoras e Verificadoras, Cdigos de Grupo, Cdigos de Hamming. Teoria dos Domnios: Ordens Parciais Completas, Continuidade, Ponto Fixo, Domnios, Espao das Funes. Probabilidade e Estatstica Eventos. Experimentos Aleatrios. Anlise Exploratria de Dados. Descrio Estatstica dos Dados. Espaos Amostrais. Probabilidades em Espaos Amostrais Discretos. Distribuies de Probabilidades de Variveis Aleatrias Unidimensionais e Bidimensionais. Esperana Matemtica. Varincia e Coeficientes de Correlao. Aproximao Normal. Estimao Pontual e por Intervalo. Teste de Hipteses para Mdias. Testes do Qui-Quadrado. Testes de Comparaes de Mdias. Regresso e Correlao.

EditalSBCn001/2010

rea de Fundamentos de Computao

Anlise de Algoritmos Medidas de Complexidade, Anlise Assinttica de Limites de Complexidade, Tcnicas de Prova de Cotas Inferiores. Notao Big O, Little o, Omega e Theta. Medidas Empricas de Performance. O Uso de Relaes de Recorrncia para Anlise de Algoritmos Recursivos. Anlise de Algoritmos Iterativos e Recursivos. Algoritmos e Estrutura de Dados Metodologia de Desenvolvimento de Algoritmos. Tipos de Dados Bsicos e Estruturados. Comandos de uma Linguagem de Programao. Recursividade: Conceito e Implementao. Modularidade e Abstrao. Estratgias de Depurao. Cadeias e Processamento de Cadeias. Estruturas de Dados Lineares e suas Generalizaes: Listas Ordenadas, Listas Encadeadas, Pilhas e Filas. rvores e suas Generalizaes: rvores Binrias, rvores de Busca e rvores Balanceadas. Tabelas Hash. Algoritmos para Pesquisa e Ordenao. Algoritmos para Garbage Collection. Tcnicas de Projeto de Algoritmos: Mtodo da Fora Bruta, Pesquisa Exaustiva, Algoritmo Guloso, Dividir e Conquistar, Backtracking e Heursticas. Arquitetura e Organizao de Computadores Organizao de Computadores: Memrias, Unidades Centrais de Processamento, Entrada e Sada. Linguagens de Montagem. Modos de Endereamento, Conjunto de Instrues. Mecanismos de Interrupo e de Exceo. Barramento, Comunicaes, Interfaces e Perifricos. Organizao de Memria. Memria Auxiliar. Arquiteturas RISC e CISC. Pipeline. Paralelismo de Baixa Granularidade. Processadores Superescalares e Superpipeline. Multiprocessadores. Multicomputadores. Arquiteturas Paralelas e no Convencionais. Circuitos Digitais Sistemas de Numerao e Cdigos. Aritmtica Binria. Representao e Manipulao de Circuitos Combinatrios. Minimizao e Otimizao de Funes Combinatrias. Projeto de Circuitos Combinatrios. Anlise e Sntese de Componentes Sequenciais e de Memria. Projeto de Circuitos Sequenciais. Modelo de Mquinas de Estado Finito (FSM). Circuitos Sequenciais Sncronos e Assncronos. Componentes de Armazenamento. Projeto de Sistemas Digitais: Hierrquico e Modular. Princpios e Tcnicas de Projeto. Conceitos de Controle e de Tempo. Famlias Lgicas. Dispositivos Lgicos Programveis (PLD). Linguagens de Programao Conceitos. Paradigmas de Linguagens de Programao. Semntica Formal. Teoria dos Tipos: Sistemas de Tipos, Polimorfismo. Verificao e Inferncia de Tipos. Linguagens Formais, Autmatos e Computabilidade Gramticas. Linguagens Regulares, Livres-de-Contexto e Sensveis-ao-Contexto. Tipos de Reconhecedores. Operaes com Linguagens. Propriedades das Linguagens. Autmatos de Estados Finitos Determinstico e no Determinstico. Autmatos de Pilha. Mquina de Turing. Hierarquia de Chomsky. Funes Recursivas. Tese de Church. Problemas Indecidveis. Teorema da Incompletude de Godel. Classes de Problemas P, NP, NP Completo e NP-Difcil. Mtodos de Reduo de Problemas. Organizao de Arquivos e Dados Organizao, Estrutura e Operao de Arquivos. Diretrios: Contedo e Estrutura. Arquivos do Sistema e Sistema de Arquivos Virtuais. Tcnicas de Pesquisa. Dados e Metadados. Representao Digital e Analgica. Algoritmos de Codificao e Decodificao. Compresso de Dados, udio, Imagem e Vdeo.

EditalSBCn001/2010

Sistemas Operacionais Conceito de Processo. Gerncia de Processos/Processador. Comunicao, Concorrncia e Sincronizao de Processos. Gerenciamento de Memria: Memria Virtual, Paginao, Segmentao e Swap. Gerenciamento de Arquivos. Gerenciamento de Dispositivos de Entrada/Sada. Alocao de Recursos. Tcnicas de Programao Desenvolvimento de algoritmos. Tipos de dados bsicos e estruturados. Comandos de uma Linguagem de programao. Metodologia de desenvolvimento de programas. Modularidade e abstrao. Teoria dos Grafos Grafos orientados e no-orientados. Caminhos. Planaridade. Conectividade. Colorao. Grafos Infinitos. Algoritmos em grafos. Problemas intratveis. Busca em Largura e Profundidade. Algoritmos do Menor Caminho. rvore Geradora. Ordenao Topolgica.

rea de Tecnologia da Computao

Banco de Dados Modelo de Dados. Modelagem e Projeto de Banco de Dados. Sistemas de Gerenciamento de Bancos de Dados (SGBD): Arquitetura, Segurana, Integridade, Concorrncia, Recuperao aps Falha, Gerenciamento de Transaes. Linguagens de Consulta. Bancos de Dados Distribudos. Minerao de Dados. Compiladores Compiladores e Interpretadores. Anlise Lxica e Sinttica. Tabelas de Smbolos. Esquemas de Traduo. Ambientes de Tempo de Execuo. Representao Intermediria. Anlise Semntica. Gerao de Cdigo. Otimizao de Cdigo. Bibliotecas e Compilao em Separado. Computao Grfica Transformaes Geomtricas em Duas e Trs Dimenses: Coordenadas Homogneas e Matrizes de Transformao. Transformao entre Sistemas de Coordenadas 2D e Recorte. Transformaes de Projeo Paralela e Perspectiva. Cmera Virtual. Transformao entre Sistemas de Coordenadas 3D. Definio de Objetos e Cenas Tridimensionais: Modelos Poliedrais e Malhas de Polgonos. O Processo de Rendering: Fontes de Luz, Remoo de Linhas e Superfcies Ocultas, Modelos de Tonalizao (Shading). Aplicao de Texturas. O problema do Serrilhado (Aliasing) e Tcnicas de Anti-Serrilhado (Antialiasing). Visualizao. Engenharia de Software Processo de Desenvolvimento de Software. Ciclo de Vida de Desenvolvimento de Software. Qualidade de Software. Tcnicas de Planejamento e Gerenciamento de Software. Gerenciamento de Configurao de Software. Engenharia de Requisitos. Mtodos de Anlise e de Projeto de Software. Garantia de Qualidade de Software. Verificao, Validao e Teste. Manuteno. Documentao. Padres de Desenvolvimento. Reuso. Engenharia Reversa. Reengenharia. Ambientes de Desenvolvimento de Software.

EditalSBCn001/2010

Inteligncia Artificial Linguagens Simblicas. Programao em Lgica. Resoluo de Problemas como Busca. Estratgias de Busca, Busca Cega e Busca Heurstica. Hill climbing, best first, simulated annealing e Algoritmo A*. Busca como Maximizao de Funo. Grafos And/Or. Esquemas para Representao do Conhecimento: Lgicos, em Rede, Estruturados, Procedurais. Sistemas de Produo com Encadeamento para a Frente e Encadeamento para trs. Raciocnio No-Monotnico. Formalismos para a Representao de Conhecimento Incerto. A Regra de Bayes. Conjuntos e Lgica Fuzzy. Aprendizado de Mquina. Aprendizado Indutivo. rvores de Deciso, Redes Neurais e Algoritmos Genticos. Sistemas Especialistas. Processamento de Linguagem Natural. Agentes Inteligentes. Robtica. Processamento de Imagens Introduo aos Filtros Digitais. Mtodos de Espao de Estados. Noes de Percepo Visual Humana. Amostragem e Quantizao de Imagens. Transformadas de Imagens. Realce. Filtragem e Restaurao. Reconstruo Tomogrfica de Imagens. Codificao. Anlise de Imagens e Noes de Viso Computacional. Reconhecimento de Padres. Redes de Computadores Tipos de Enlace, Cdigos, Modos e Meios de Transmisso. Protocolos e Servios de Comunicao. Terminologia, Topologias, Modelos de Arquitetura e Aplicaes. Especificao de Protocolos. Internet e Intranets. Interconexo de Redes. Redes de Banda Larga. Segurana e Autenticao. Avaliao de Desempenho. Sistemas Distribudos Problemas Bsicos em Computao Distribuda: Coordenao e Sincronizao de Processos, Excluso Mtua, Difuso de Mensagens. Compartilhamento de Informao: Controle de Concorrncia, Transaes Distribudas. Comunicao entre Processos. Tolerncia a Falhas. Sistemas Operacionais Distribudos: Sistemas de Arquivos, Servidores de Nomes, Memria Compartilhada, Segurana.