[Logica-l] Vaga docente na área de lógica e teoria da computação na UFERSA

[Claudio Callejas]

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 

--- 
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.

[Logica-l] Recounting the History of Math’s Transcendental Numbers | Quanta Magazine

[Ruy de Queiroz]

“Transcendental numbers include famous examples like e and π, but it took 
mathematicians centuries to understand them.”
https://www.quantamagazine.org/recounting-the-history-of-maths-transcendental-numbers-20230627/



-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/47985790-BB66-48CB-B52E-1219F8A578F5%40cin.ufpe.br.

Re: [Logica-l] Embracing change and resetting expectations | Microsoft Unlocked

[Walter Carnielli]

Obrigado Ruy.

Tenho usado uma  versão gratuita do GPT4 através do sincode.ai, me parece
que o Terry Tao está absolutamente correto.

Quando integrado com ferramentas como verificadores   de prova, assistentes
de prova como Coq e Isabelle, pesquisa na internet e pacotes matemáticos
simbólicos como Mathematica o GPT5 (digamos) vai ser um companheiro
inigualável para matemáticos, logicos, computeiros e filosófis analíticos.
Talvez bao nao em 2026, mas em 2030 aposto alto...

Notem que o Terry Tao  não falou nada sobre isto é inteligência ou não;
isso já é desimportante, o que importa  é que será um grande artefato
cognitivo.

Abs

Em qui., 29 de jun. de 2023 10:05, Ruy de Queiroz 
escreveu:

> “The 2023-level AI can already generate suggestive hints and promising
> leads to a working mathematician and participate actively in the
> decision-making process. When integrated with tools such as formal proof
> verifiers, internet search, and symbolic math packages, I expect, say,
> 2026-level AI, when used properly, will be a trustworthy co-author in
> mathematical research, and in many other fields as well.”
> https://unlocked.microsoft.com/ai-anthology/terence-tao/
>
>
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/D467BCCF-6E4A-49BD-BDAE-F57DAA8C48AC%40cin.ufpe.br
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/CAOrCsLc%2BYaQWjcBSh8q%2BK1Z5GZkthDVfevdbBDLAhh_ti9MMvQ%40mail.gmail.com.

[Logica-l] Embracing change and resetting expectations | Microsoft Unlocked

[Ruy de Queiroz]

“The 2023-level AI can already generate suggestive hints and promising leads to 
a working mathematician and participate actively in the decision-making 
process. When integrated with tools such as formal proof verifiers, internet 
search, and symbolic math packages, I expect, say, 2026-level AI, when used 
properly, will be a trustworthy co-author in mathematical research, and in many 
other fields as well.”
https://unlocked.microsoft.com/ai-anthology/terence-tao/



-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/D467BCCF-6E4A-49BD-BDAE-F57DAA8C48AC%40cin.ufpe.br.