Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Ruy de Queiroz

Índice Ruy de Queiroz

Ruy José Guerra Barretto de Queiroz (Recife, 11 de janeiro de 1958) é um professor titular da Universidade Federal de Pernambuco e possui trabalhos significativos nas áreas de pesquisa da Lógica matemática, Teoria da prova, Fundações da matemática e Filosofia da matemática.

12 relações: Bertrand Russell, Doutoramento, Engenharia elétrica, Filosofia da matemática, Fundamentos da matemática, Imperial College London, Lógica matemática, Oxford University Press, Recife, Sergei Artemov, Teoria da prova, Universidade Federal de Pernambuco.

Bertrand Russell

Bertrand Arthur William Russell, 3.º Conde Russell OM FRS (Trelleck, País de Gales, 18 de maio de 1872 — Penrhyndeudraeth, País de Gales, 2 de fevereiro de 1970) foi um dos mais influentes matemáticos, filósofos, ensaístas, historiadores e lógicos que viveram no.

Novo!!: Ruy de Queiroz e Bertrand Russell · Veja mais »

Doutoramento

é um grau académico concedido por uma instituição de ensino superior universitário, que pode ser uma universidade, um centro universitário, uma faculdade isolada, com o propósito de certificar academicamente a capacidade do candidato para desenvolver investigação num determinado campo da ciência (no seu conceito mais abrangente).

Novo!!: Ruy de Queiroz e Doutoramento · Veja mais »

Engenharia elétrica

Engenharia elétrica é o ramo da engenharia que trabalha com os estudos e aplicações da eletricidade, eletromagnetismo e eletrônica.

Novo!!: Ruy de Queiroz e Engenharia elétrica · Veja mais »

Filosofia da matemática

Filosofia da matemática é o ramo da filosofia que investiga os fenômenos da matemática.

Novo!!: Ruy de Queiroz e Filosofia da matemática · Veja mais »

Fundamentos da matemática

Denomina-se fundamentos da matemática a uma área de estudo que abrange tanto problemas da filosofia da matemática, como da lógica e da matemática.

Novo!!: Ruy de Queiroz e Fundamentos da matemática · Veja mais »

Imperial College London

O Imperial College London (em tradução livre, Colégio Imperial de Londres) é uma renomada universidade pública britânica fundada em 1907 sediada em Londres, com foco em ciência, tecnologia e medicina.

Novo!!: Ruy de Queiroz e Imperial College London · Veja mais »

Lógica matemática

A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.

Novo!!: Ruy de Queiroz e Lógica matemática · Veja mais »

Oxford University Press

Oxford University Press (OUP) é uma casa editorial e departamento da Universidade de Oxford.

Novo!!: Ruy de Queiroz e Oxford University Press · Veja mais »

Recife

Recife é um município brasileiro, capital do estado de Pernambuco, localizado na Região Nordeste do país.

Novo!!: Ruy de Queiroz e Recife · Veja mais »

Sergei Artemov

MathematicsPhilosophy | work_institution.

Novo!!: Ruy de Queiroz e Sergei Artemov · Veja mais »

Teoria da prova

A teoria das provas, teoria da prova ou teoria da demonstração é um ramo importante da lógica matemática que representa provas como objetos matemáticos, facilitando sua análise por técnicas matemáticas.

Novo!!: Ruy de Queiroz e Teoria da prova · Veja mais »

Universidade Federal de Pernambuco

Universidade Federal de Pernambuco (UFPE) é uma instituição de ensino superior pública federal brasileira, mantida pelo governo federal.

Novo!!: Ruy de Queiroz e Universidade Federal de Pernambuco · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »