Descrição
Apostila UERJ 2022 Professor Lógicas Semântica Programas
Cargo: Professor de Lógicas e Semântica de Programas
Editora: DOMINA CONCURSOS
Edição: 2022
Nível: Superior
Banca: PROSSIM
Edital: Acesso ao Edital
Não é só uma apostila!
Material teórico completo elaborado totalmente de acordo com o novo edital.
Acompanha provas anteriores com gabarito para testar seu aprendizado.
Só hoje, de R$53,98 por R$26,99
50% de Desconto
Conhecimentos Específicos
(Totalmente de Acordo com Edital 2022)
Lógica em Programação • Lógica proposicional: sintaxe, semântica, complexidade, sistemas dedutivos (método de tableaux e de resolução) • Lógica de primeira ordem: sintaxe, sistemas dedutivos, cláusulas de Horn, semântica • Lógicas descritivas: introdução à representação e raciocínio do conhecimento (KRR), introdução a oncologias e lógicas descritivas, introdução à modelagem e raciocínio com lógica descritiva ALC, aplicação de lógica descritiva usando PROTEGÉ • Introdução a PROLOG, linguagem, árvore de prova, recursão, estruturas de dados em PROLOG, aplicação de PROLOG a problemas clássicos de Inteligência Artificial (busca automática, programação não determinística, geração e teste).
Inteligência Computacional • Computação evolucionária: componentes de um algoritmo genético, desenvolvimento de algoritmos genéticos, reprodução e seleção, técnicas e operadores, problemas de otimização combinatorial • Lógica Fuzzy: introdução, conjuntos fuzzy, operações com conjuntos fuzzy, intersecção, união, negação de conjuntos • Sistemas de inferência fuzzy, extração automática de regras fuzzy • Redes neurais: definição, características, histórico, conceitos básicos, aplicações • Neurônio artificial, estruturas de interconexão, processamento neural, aprendizado, recuperação dos dados, tipos de aprendizado (supervisionado, não supervisionado), redes multilayer perceptron, algoritmo de aprendizado back propagation, aplicações em classificação de padrões e previsão de séries temporais.
Reconhecimento de Padrões • Distribuição de probabilidade • Modelos lineares para regressão • Modelos lineares para classificação • Métodos de núcleos • Máquinas de agrupamento esparso • Modelos Gráficos • Modelos de mistura e Estimação-Maximização (EM) • Inferência aproximada • Métodos de amostragem • Variáveis latentes contínuas • Dados sequenciais • Métodos não paramétricos: k-vizinhos mais próximos (kNN) • Teoria de decisão de Bayes • Combinação de modelos.
Apostila UERJ 2022 Professor Lógicas Semântica Programas
