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. 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. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAE_57e0GgW%3D-NctMjsCdgarOozntuEHpC11naxHKsV31%3DSA98w%40mail.gmail.com.
