MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERALRURAL DO RIO DE JANEIRO Instituto Multidisciplinar Departamento de Ciência da Computação

Transcrição

1 MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERALRURAL DO RIO DE JANEIRO Instituto Multidisciplinar Departamento de Ciência da Computação Edital 04/2018/DCC/IM/UFRRJ Concurso de Monitoria Estudantil O Chefe do Departamento de Ciência da Computação, do Instituto Multidisciplinar da UFRRJ, através do presente edital, declara que estarão abertas, no período de 29/08/2018 a 05/09/2018, as inscrições para o Concurso de Monitoria Estudantil, visando o preenchimento de vagas para as seguintes disciplinas: DISCIPLINA VAGAS IM 854 Linguagens Formais e Autômatos 1 TM 403 Matemática Discreta para a Ciência da Computação 1 INSCRIÇÃO: O candidato deverá se inscrever no Departamento de Ciência da Computação do Instituto Multidisciplinar, situado na Av. Governador Roberto da Silveira S/Nº, Moqueta, Nova Iguaçu, no horário de expediente das 09h às 16h, apresentando os seguintes documentos: 1. Ficha de inscrição preenchida (fornecida no local), 2. Histórico escolar atualizado (2018 1º semestre) comprovando a aprovação na disciplina objeto do concurso ou equivalente conforme descrito neste edital. Parágrafo único: A inscrição só poderá ser feita pelo candidato. CANDIDATOS : Poderá inscrever se o aluno que cumprir todas as exigências seguintes: 1. Estar regularmente matriculado em algum curso de graduação da UFRRJ; 2. Ter sido aprovado na disciplina objeto do concurso ou equivalente; 3. Dispor de 12 horas semanais livres; 4. Não exercer atividade remunerada pela instituição e/ou receber bolsa de órgãos financiadores de pesquisa que caracterize acumulação com a bolsa de monitoria. CRITÉRIO DE APROVAÇÃO E SELEÇÃO: O exame de seleção dos candidatos consiste em uma Prova Escrita, na qual os candidatos receberão conceito de 0,0 (zero) à 10,0 (dez). Considera se aprovado, no exame de seleção, o candidato que obtiver na Prova Escrita, nota igual ou superior a 7,0 (sete). A classificação dos candidatos aprovados dar se á pelo conceito obtido na Prova Escrita em ordem decrescente.

2 Em caso de empate, será selecionado o candidato com maior nota na disciplina objeto do concurso ou equivalente; persistindo ainda o empate, o candidato com maior Coeficiente de Rendimento (CR) será selecionado. VIGÊNCIA DA BOLSA: O início das atividades será em 2018/2, a partir da assinatura do Termo de Compromisso, com término previsto para o final de 2019/1, totalizando dois períodos. A renovação da bolsa deverá ser justificada pelo Orientador e aprovada pelo Colegiado do Departamento. PROVA: As provas serão realizadas nas seguintes datas e horários: IM 854 Linguagens Formais e Autômatos: 13/09/2018 de 10h às 12h TM 403 Matemática Discreta para a Ciência da Computação: 11/09/2018 de 10h às 12h O tempo de Duração da Prova Escrita será de duas (02) horas, com duração mínima de 30 minutos. O atraso máximo permitido será de 20 minutos; Todas as provas serão realizadas no Instituto Multidisciplinar. O local exato (Sala) será divulgado no Departamento de Ciência da Computação dois dias antes da realização da Prova Escrita. Nova Iguaçu, 28 de agosto de Profª Adria Ramos de Lyra Chefe do DCC Siape

3 ANEXO I CONTEÚDOS PROGRAMÁTICOS IM854 LINGUAGENS FORMAIS E AUTÔMATOS UNIDADE I INTRODUÇÃO 1. Sistemas de Estados Finitos 2. Histórico 3. Aplicações UNIDADE II CONCEITOS BÁSICOS 1. Alfabetos e símbolos 2. Cadeias (comprimento, concatenação, prefixos, sufixos, subcadeias, cadeia reversa) 3. Linguagem formal 4. Operações sobre linguagens: união, interseção, concatenação, estrela de Kleene, quociente 5. Sintaxe e semântica 6. Gramática de Chomsky 7. Derivações 8. Linguagem gerada 9. Equivalência entre gramáticas 10. Hierarquia de Chomsky UNIDADE III LINGUAGENS REGULARES 1. Autômatos finitos determinísticos 2. Autômatos finitos não determinísticos 3. Autômatos finitos não determinísticos com movimentos vazios 4. Linguagens aceitas e linguagens rejeitadas 5. Equivalência entre autômatos 6. Expressões regulares 7. Gramáticas Regulares 8. Propriedades (tradução de formalismos, complexidade, fechamento de operações sobre linguagens regulares, cardinalidade de linguagens regulares) 9. Lema do bombeamento para linguagens regulares

4 10. Minimização de autômatos finitos determinísticos 11. Máquina de Mealy 12. Máquina de Moore UNIDADE IV LINGUAGENS LIVRES DE CONTEXTO 1. Gramáticas livres de contexto 2. Bakus NaurForm (BNF) 3. Árvores de derivação 4. Ambiguidade de gramáticas 5. Simplificação de gramáticas livres de contexto 6. Forma normal de Chomsky 7. Forma normal de Greibach 8. Autômatos de pilha 9. Propriedades (tradução de formalismos, fechamento de operações sobre linguagens livres de contexto, cardinalidade de linguagens livres de contexto) 10. Lema do bombeamento para linguagens livres de contexto 11. Algoritmos de reconhecimento (Early, Cocke-Younger-Kasami) UNIDADE V MÁQUINA DE TURING 1. Computabilidade 2. Tese de Church 3. Modelo, definição e computação em máquinas de Turing 4. Linguagem aceita, linguagem rejeitada e linguagem loop UNIDADE VI LINGUAGENS SENSÍVEIS AO CONTEXTO 1. Gramáticas sensíveis ao contexto 2. Máquinas de Turing com fita limitada 3. Propriedades de fechamento UNIDADE VII LINGUAGENS RECURSIVAS 1. Critérios de aceitação 2. Extensões da Máquina de Turing 3. Propriedades de fechamento

5 UNIDADE VIII LINGUAGENS RECURSIVAMENTE ENUMERÁVEIS 1. Decidibilidade 2. Redutibilidade 3. Máquinas de Turing como enumeradoras de linguagens 4. Gramáticas irrestritas 5. Propriedades de fechamento ANEXO II CONTEÚDOS PROGRAMÁTICOS TM 403 MATEMÁTICA DISCRETA PARA COMPUTAÇÃO UNIDADE I NOÇÕES DE TEORIA DE CONJUNTOS, RELAÇÕES E FUNÇÕES 1.Conjuntos: definição, pertinência, igualdade, inclusão, operações elementares (união, interseção, diferença e produto cartesiano, conjunto das partes) 2.Partição de conjuntos 3.Cardinalidade de conjuntos 4.Relações: conceito, propriedades, composição e tipos de relações (equivalência, ordem total e parcial) 5.Funções: definição, domínio, imagem, gráficos, composição, funções totais e parciais, classificação (injetora, sobrejetora, bijetora) UNIDADE II LÓGICA DE PROPOSIÇÕES 1.Linguagem 2.Propriedades semânticas 3.Métodos para determinação de propriedades semânticas 4.Relações semânticas entre conectivos e formas normais 5.Resolução na Lógica Proposicional UNIDADE III LÓGICA DE PREDICADOS 1.Linguagem 2.Semântica 3.Propriedades semânticas

6 UNIDADE IV TÉCNICAS DE DEMONSTRAÇÃO 1.Visão geral das técnicas 2.Indução finita