Apostila IFCE 2026 Teoria da Computação

📋 Informações Técnicas

Cargo: TEORIA DA COMPUTAÇÃO

Instituição: IFCE

Formato: Digital (PDF) - Enviado por e-mail

Edição: 2026

CONTEÚDO PROGRAMÁTICO

CONTEÚDO GERAL

Língua Portuguesa: 1. Compreensão e interpretação de textos de gêneros variados; reconhecimento de tipos e gêneros textuais. 2. Domínio da ortografia oficial; emprego da acentuação gráfica. 3. Domínio dos mecanismos de coesão textual; emprego de elementos de referenciação, substituição e repetição, de conectores e de outros elementos de sequenciação textual; emprego e correlação de tempos e modos verbais. 4. Domínio da estrutura morfossintática do período; relações de coordenação e de subordinação entre orações e entre termos da oração; emprego dos sinais de pontuação; concordância verbal e nominal; emprego do sinal indicativo de crase; colocação dos pronomes átonos. 5. Reescritura de frases e parágrafos do texto; substituição de palavras ou de trechos de texto. 6. Análise do discurso: pressupostos, subentendidos e implícitos.

Legislação do Serviço Público Federal: 1. Constituição Federal de 1988: Administração Pública (arts. 37 ao 41). 2. Regime Jurídico dos Servidores Públicos Civis da União: Lei nº 8.112, de 11 de dezembro de 1990, e suas alterações. 3. Processo Administrativo no âmbito da Administração Pública Federal: Lei nº 9.784, de 29 de janeiro de 1999. 4. Ética no Serviço Público: Código de Ética Profissional do Servidor Público Civil do Poder Executivo Federal, aprovado pelo Decreto nº 1.171, de 22 de junho de 1994. 5. Criação dos Institutos Federais e da Rede Federal de Educação Profissional, Científica e Tecnológica: Lei nº 11.892, de 29 de dezembro de 2008. 6. Plano de Carreiras dos Cargos Técnico-Administrativos em Educação: Lei nº 11.091, de 12 de janeiro de 2005, e suas alterações.

CONTEÚDO ESPECÍFICO - Teoria da Computação

1. Autômatos de estados finitos determinísticos e não determinísticos, autômatos de pilha, máquina de Turing e hierarquia de Chomsky; linguagens formais (conceitos básicos), expressões regulares, minimização de AFD, lema do bombeamento, conversões entre modelos, gramáticas regulares, livres de contexto, sensíveis ao contexto e irrestritas, Forma Normal de Chomsky (FNC), Forma Normal de Greibach (FNG), ambiguidade gramatical, derivações à esquerda e à direita, Teorema de Myhill-Nerode, propriedades de fechamento das linguagens regulares e livres de contexto e decidibilidade para linguagens regulares e CFL; 2. Tese de Church, problemas indecidíveis, Teorema da Incompletude de Gödel e classes P, NP, NP-completo e NP-difícil; problema da parada, linguagens recursivas e recursivamente enumeráveis, reduções polinomiais e problemas clássicos NP-completos, teorema de rice, reduções mapeáveis, classe co-NP, PSPACE e EXPTIME (noções), hierarquia polinomial (noções), Teorema de Cook-Levin, classes probabilísticas (RP, BPP – noções), problemas NP-completos clássicos explicitamente (SAT, 3-SAT, Clique, Hamiltoniano, Subconjunto soma); 3. Análise léxica e sintática, tabelas de símbolos, esquemas de tradução, ambientes de tempo de execução e representação intermediária; tokens, expressões regulares aplicadas à análise léxica, análise descendente e ascendente, árvores sintáticas, tipos de representação intermediária, Gramáticas LL(1) e LR(1), FIRST e FOLLOW, Conflitos shift-reduce e reduce-reduce, Análise preditiva, Tabelas LR e teoria doos grafos: propriedades estruturais de grafos, conectividade e coloração (noções); 4. Análise semântica, geração e otimização de código, bibliotecas e compilação separada; verificação de tipos, escopo e ligação e otimizações clássicas, árvores de sintaxe abstrata (AST), representação em três endereços, análise de fluxo de dados, otimizações locais e globais, eliminação de subexpressões comuns e segurança da Informação: fundamentos de segurança da informação e problemas computacionais aplicados à criptografia (noções); 5. Problemas intratáveis, busca em largura e profundidade, algoritmos de menor caminho, árvore geradora e ordenação topológica; representação de grafos, dijkstra, bellman-Ford, prim e kruskal, programação dinâmica, Ford-Fulkerson (fluxo máximo), algoritmos gulosos e criptografia: fundamentos de segurança da informação, criptografia simétrica e assimétrica e problemas computacionais relacionados (noções); 6. Agentes inteligentes, resolução de problemas como busca, busca cega e heurística; espaço de estados, A* e funções heurísticas admissíveis; 7. Busca como maximização de função, grafos AND/OR e esquemas de representação do conhecimento; sistemas especialistas e resolução, inferência, unificação, forma normal conjuntiva e prova por resolução formal; 8. Regra de Bayes, conjuntos e lógica fuzzy, aprendizado de máquina, árvores de decisão, redes neurais e algoritmos genéticos; probabilidade condicional, classificação supervisionada, overfitting, métricas de avaliação e PAC Learning (noções), complexidade de aprendizado, teoria da informação (entropia), validação cruzada, bias e variância; 9. Plataformas para multimídia: áudio, imagens, vídeo e animação; representação digital, compressão, codecs e LGPD (noções); 10. Medidas de complexidade, análise assintótica, técnicas de prova de cotas inferiores e notações Big O, little o e Omega; Theta, relações de recorrência, teorema mestre, complexidade de tempo e espaço, relações de recorrência (método da substituição), método da árvore de recursão, limites inferiores, provas por adversário e bancos de dados: modelo relacional, álgebra relacional, dependências funcionais e normalização (noções).