Vaga docente na área de lógica e teoria da computação na UFERSA
7 visualizações
Ir para a primeira mensagem não lida
Claudio Callejas
29/06/2023, 18:41:5229/06/23
para Lista dos Logicos Brasileiros,CAROL...@googlegroups.com
Boa noite,
A UFERSA abriu um concurso para professor adjunto no campus de Pau dos Ferros, principalmente em disciplinas da área de lógica e de teoria da computação. O campus possui atualmente 22 docentes da área de computação. Seguem algumas informações relevantes sobre o concurso.
Disciplinas/ Área: Matemática Discreta, Lógica, Teoria da Computação, Algoritmo e Estruturas de Dados e Cálculo Numérico.
Perfil do Candidato: Graduação em Matemática ou Ciência da Computação ou Engenharia de Computação ou Engenharia de Software ou Sistemas de Informação ou Licenciatura em Informática com Doutorado em Ciência da Computação ou Engenharia de Computação.
Pontos:
1. Autômatos Finitos Determinísticos (AFDs), Autômatos Finitos Não Determinísticos (AFNs), Linguagens Regulares e Propriedades de Fecho de Linguagens Regulares.
2. Gramáticas Regulares, Gramáticas Livres do Contexto, Gramáticas Sensíveis ao Contexto e as relações entre as linguagens geradas por tais gramáticas.
3. Funções Parciais Computáveis, Conjuntos Computáveis e Computavelmente Enumeráveis e Redutibilidade Muitos-para-Um.
4. Correção e Completude da Lógica Clássica Proposicional.
5. Correção e Completude da Lógica Clássica de Primeira Ordem.
6. Lógica Intuicionista Proposicional: Sintaxe, Sistema Dedutivo e Semântica de Kripke.
7. Indução e Recursão.
8. Métodos de demonstração direta, por casos, por contraposição e por contradição dentro do contexto de teoria (ingênua) dos conjuntos.
9. Reticulados como Estruturas Ordenadas e Reticulados como Estruturas Algébricas.
10. Resolução numérica de equações diferenciais ordinárias com métodos computacionais.
1. Autômatos Finitos Determinísticos (AFDs), Autômatos Finitos Não Determinísticos (AFNs), Linguagens Regulares e Propriedades de Fecho de Linguagens Regulares.
2. Gramáticas Regulares, Gramáticas Livres do Contexto, Gramáticas Sensíveis ao Contexto e as relações entre as linguagens geradas por tais gramáticas.
3. Funções Parciais Computáveis, Conjuntos Computáveis e Computavelmente Enumeráveis e Redutibilidade Muitos-para-Um.
4. Correção e Completude da Lógica Clássica Proposicional.
5. Correção e Completude da Lógica Clássica de Primeira Ordem.
6. Lógica Intuicionista Proposicional: Sintaxe, Sistema Dedutivo e Semântica de Kripke.
7. Indução e Recursão.
8. Métodos de demonstração direta, por casos, por contraposição e por contradição dentro do contexto de teoria (ingênua) dos conjuntos.
9. Reticulados como Estruturas Ordenadas e Reticulados como Estruturas Algébricas.
10. Resolução numérica de equações diferenciais ordinárias com métodos computacionais.
O período de inscrição é entre os dias 05 e 19 de julho deste ano. A inscrição é feita exclusivamente de forma on-line. O edital e seus anexos podem se acessados no site https://sistemas.ufersa.edu.br/concursos/publico/exibir_concurso/204
Em caso de dúvidas podem entrar em contato comigo por e-mail privado.
Abraços,
Claudio Callejas.
Responder a todos
Responder ao autor
Reencaminhar
0 mensagens novas