Acesso mais rápido do que o navegador!
45 relações: Alemanha, Alfred North Whitehead, Bertrand Russell, Cálculo lambda, Currying, David Hilbert, Doutor em filosofia, Engenharia elétrica, ENIAC, Equação diferencial, Estados Unidos, Física, George David Birkhoff, Haskell (linguagem de programação), Heinrich Behmann, Instituto de Tecnologia de Massachusetts, Lógica combinatória, Lógica matemática, Master of Arts, Matemática, Matemático, Medicina, Millis (Massachusetts), Moses Schönfinkel, Paradoxo de Curry, Paul Bernays, Povo dos Estados Unidos, Principia Mathematica, Programação funcional, Segunda Guerra Mundial, State College, Universidade de Amsterdã, Universidade de Chicago, Universidade de Göttingen, Universidade de Princeton, Universidade Estadual da Pensilvânia, Universidade Harvard, 1 de setembro, 12 de setembro, 1900, 1927, 1928, 1930, 1942, 1982.
Alemanha
Alemanha (Deutschland), oficialmente República Federal da Alemanha (Bundesrepublik Deutschland, 10px ouça), é um país localizado na Europa Central. É limitado, a norte, pelo mar do Norte, Dinamarca e mar Báltico; a leste, pela Polônia e Chéquia; a sul, pela Áustria e Suíça e, a oeste, pela França, Luxemburgo, Bélgica e Países Baixos. O território da Alemanha abrange 357.021 quilômetros quadrados e é influenciado por um clima temperado sazonal. Com 82,8 milhões de habitantes, em 31 de dezembro de 2015, o país tem a maior população da União Europeia e é também o lar da terceira maior população de migrantes internacionais em todo o mundo. A região chamada Germânia, habitada por vários povos germânicos, foi conhecida e documentada pelos romanos antes do ano 100. A partir do, os territórios alemães formaram a parte central do Sacro Império Romano-Germânico, que durou até 1806. Durante o, o norte da Alemanha tornou-se o centro da Reforma Protestante. Como um moderno Estado-nação, o país foi unificado pela primeira vez, em consequência da Guerra Franco-Prussiana, em 1871. Em 1949, após a Segunda Guerra Mundial, a Alemanha foi dividida em dois estados, a Alemanha Ocidental, oficialmente "República Federal da Alemanha", e a "Alemanha Oriental", oficialmente República Democrática Alemã, ao longo das linhas de ocupação aliadas. A Alemanha foi reunificada em 1990. A Alemanha Ocidental foi um dos membros fundadores da Comunidade Europeia (CE), em 1957, que, posteriormente, se tornou na União Europeia, em 1993. O país é parte do espaço Schengen e passou a adotar a moeda europeia, o euro, desde quando foi instituído, em 1999. A Alemanha é uma república parlamentar federal de dezesseis estados (em alemão Länder). A capital e maior cidade do país é Berlim, localizada no nordeste do território alemão. O país é membro das Nações Unidas, da OTAN, G8, G20, da OCDE e da OMC. É uma grande potência com a quarta maior economia do mundo por PIB nominal e a quinta maior em paridade do poder de compra. É o segundo maior exportador e o segundo maior importador de mercadorias. Em termos absolutos, a Alemanha atribui o segundo maior orçamento anual de ajudas ao desenvolvimento no mundo, enquanto está em sexto lugar em despesas militares. O país tem desenvolvido um alto padrão de vida e estabeleceu um sistema global de segurança social. A Alemanha ocupa uma posição-chave nos assuntos europeus e mantém uma série de parcerias estreitas em um nível global. O país também é reconhecido como líder científico e tecnológico em vários domínios.
Novo!!: Haskell Curry e Alemanha · Veja mais »
Alfred North Whitehead
Alfred North Whitehead (Ramsgate, – Cambridge) foi um filósofo, lógico e matemático britânico.
Novo!!: Haskell Curry e Alfred North Whitehead · Veja mais »
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!!: Haskell Curry e Bertrand Russell · Veja mais »
Cálculo lambda
Na lógica matemática e na ciência da computação, lambda cálculo, também escrito como cálculo-λ é um sistema formal que estuda funções recursivas computáveis, no que se refere a teoria da computabilidade, e fenômenos relacionados, como variáveis ligadas e substituição.
Novo!!: Haskell Curry e Cálculo lambda · Veja mais »
Currying
Em ciência da computação, currying é uma técnica de transformação de uma função que recebe múltiplos parâmetros (mais especificamente, uma n-tupla como parâmetro) de forma que ela pode ser chamada como uma cadeia de funções que recebem somente um parâmetro cada.
Novo!!: Haskell Curry e Currying · Veja mais »
David Hilbert
David Hilbert (Königsberg, — Göttingen) foi um matemático alemão.
Novo!!: Haskell Curry e David Hilbert · Veja mais »
Doutor em filosofia
Um Doutor, abreviado nos países anglófonos: PhD, Ph.D., DPhil (do latim philosophiae doctor ou doctor philosophiae: "doutor em filosofia"), é um título fornecido pelas universidades reconhecido como grau terminal nos países de língua inglesa.
Novo!!: Haskell Curry e Doutor em filosofia · 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!!: Haskell Curry e Engenharia elétrica · Veja mais »
ENIAC
O ENIAC, numa foto tirada em 2006. Electronic Numerical Integrator and Computer (ENIAC - em português: computador integrador numérico eletrônico) foi o primeiro computador digital eletrônico de grande escala.
Novo!!: Haskell Curry e ENIAC · Veja mais »
Equação diferencial
Soluções de uma equação diferencial (a negro) e as respectivas condições iniciais (a vermelho). Em matemática, uma equação diferencial é uma equação cuja incógnita é uma função que aparece na equação sob a forma das respectivas derivadas.
Novo!!: Haskell Curry e Equação diferencial · Veja mais »
Estados Unidos
Os Estados Unidos da América (EUA; United States of America — USA), ou simplesmente Estados Unidos ou América, são uma república constitucional federal composta por 50 estados e um distrito federal.
Novo!!: Haskell Curry e Estados Unidos · Veja mais »
Física
Física (do grego antigo: φύσις physis "natureza") é a ciência que estuda a natureza e seus fenômenos em seus aspectos gerais.
Novo!!: Haskell Curry e Física · Veja mais »
George David Birkhoff
George David Birkhoff (Overisel, Michigan, — Cambridge) foi um matemático estadunidense, mais conhecido pela elaboração do teorema ergódico.
Novo!!: Haskell Curry e George David Birkhoff · Veja mais »
Haskell (linguagem de programação)
Haskell é uma linguagem de programação puramente funcional, de propósito geral, nomeada em homenagem ao lógico Haskell Curry.
Novo!!: Haskell Curry e Haskell (linguagem de programação) · Veja mais »
Heinrich Behmann
Heinrich Behmann (Bremen, – Bremen) foi um matemático alemão.
Novo!!: Haskell Curry e Heinrich Behmann · Veja mais »
Instituto de Tecnologia de Massachusetts
Instituto de Tecnologia de Massachusetts (Massachusetts Institute of Technology) é uma universidade de pesquisa localizada em Cambridge, Massachusetts, Estados Unidos.
Novo!!: Haskell Curry e Instituto de Tecnologia de Massachusetts · Veja mais »
Lógica combinatória
Lógica combinatória é uma notação introduzida por Moses Schönfinkel e Haskell Curry para eliminar a necessidade de variáveis em lógica matemática.
Novo!!: Haskell Curry e Lógica combinatória · 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!!: Haskell Curry e Lógica matemática · Veja mais »
Master of Arts
Master of Arts, significando mestre de artes ou mestrado em artes, do latim Magister Artium, é um grau acadêmico de pós-graduação de mestre concedido por universidades em um grande número de países.
Novo!!: Haskell Curry e Master of Arts · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Haskell Curry e Matemática · Veja mais »
Matemático
Arquimedes foi um dos maiores matemáticos da antiguidade Matemático é alguém que usa um amplo conhecimento de matemática em seu trabalho, normalmente para resolver problemas matemáticos.
Novo!!: Haskell Curry e Matemático · Veja mais »
Medicina
Medicina é uma das muitas áreas do conhecimento ligada à manutenção e restauração da saúde.
Novo!!: Haskell Curry e Medicina · Veja mais »
Millis (Massachusetts)
Millis é uma vila localizada no condado de Norfolk no estado estadounidense de Massachusetts.
Novo!!: Haskell Curry e Millis (Massachusetts) · Veja mais »
Moses Schönfinkel
Moses Ilyich Schönfinkel (Моисей Исаевич Шейнфинкель) (Ekaterinoslav, 4 de setembro de 1889 – Moscou, 1942) foi um matemático soviético, conhecido pela invenção da lógica combinatória.
Novo!!: Haskell Curry e Moses Schönfinkel · Veja mais »
Paradoxo de Curry
Paradoxo de Curry é um paradoxo que ocorre na teoria dos conjuntos ingênua ou lógicas ingênuas, e permite a derivação de uma sentença arbitrária de uma sentença auto-referente e algumas regras de dedução lógica aparentemente inócuas. É assim denominado em referência ao lógico Haskell Curry.
Novo!!: Haskell Curry e Paradoxo de Curry · Veja mais »
Paul Bernays
Paul Isaac Bernays (Londres, — Zurique) foi um matemático suíço.
Novo!!: Haskell Curry e Paul Bernays · Veja mais »
Povo dos Estados Unidos
Americanos ou norte-americanos, também denominados no Brasil por estadunidenses ou estado-unidenses, são os cidadãos nascidos ou naturalizados nos Estados Unidos da América.
Novo!!: Haskell Curry e Povo dos Estados Unidos · Veja mais »
Principia Mathematica
''Principia Mathematica'' O Principia Mathematica (tradução livre do latim: Princípios Matemáticos) é uma obra de três volumes sobre fundamentos da matemática, escrita por Alfred North Whitehead e seu aluno Bertrand Russell e publicada nos anos de 1910, 1912 e 1913.
Novo!!: Haskell Curry e Principia Mathematica · Veja mais »
Programação funcional
Em ciência da computação, programação funcional é um paradigma de programação que trata a computação como uma avaliação de funções matemáticas e que evita estados ou dados mutáveis.
Novo!!: Haskell Curry e Programação funcional · Veja mais »
Segunda Guerra Mundial
A Segunda Guerra Mundial foi um conflito militar global que durou de 1939 a 1945, envolvendo a maioria das nações do mundo — incluindo todas as grandes potências — organizadas em duas alianças militares opostas: os Aliados e o Eixo.
Novo!!: Haskell Curry e Segunda Guerra Mundial · Veja mais »
State College
State College é um distrito localizado no estado norte-americano de Pensilvânia, no Condado de Centre.
Novo!!: Haskell Curry e State College · Veja mais »
Universidade de Amsterdã
A Universidade de Amesterdão (Universiteit van Amsterdam (UvA) em neerlandês) é uma instituição de ensino superior pública localizada no coração da cidade de Amesterdão, Países Baixos.
Novo!!: Haskell Curry e Universidade de Amsterdã · Veja mais »
Universidade de Chicago
A Universidade de Chicago (UChicago, U of C, ou Chicago) é uma universidade de pesquisa privada sem fins lucrativos em Chicago, Illinois.
Novo!!: Haskell Curry e Universidade de Chicago · Veja mais »
Universidade de Göttingen
A Universidade de Göttingen (ou Gotinga; Georg-August-Universität Göttingen ou Georgia Augusta) é uma universidade da Alemanha situada na cidade de Göttingen.
Novo!!: Haskell Curry e Universidade de Göttingen · Veja mais »
Universidade de Princeton
Universidade de Princeton (Princeton University) é uma universidade privada de pesquisa da Ivy League em Princeton, Nova Jérsei.
Novo!!: Haskell Curry e Universidade de Princeton · Veja mais »
Universidade Estadual da Pensilvânia
O edifício central e administrativo da universidade, Old Main. A Universidade Estadual da Pensilvânia (Pennsylvania State University ou mais comumente, Penn State, em inglês) é uma universidade pública estadual de pesquisa e ensino localizada na Pensilvânia, Estados Unidos.
Novo!!: Haskell Curry e Universidade Estadual da Pensilvânia · Veja mais »
Universidade Harvard
Universidade Harvard (Harvard University) é uma universidade privada situada na cidade de Cambridge, estado de Massachusetts, nos Estados Unidos.
Novo!!: Haskell Curry e Universidade Harvard · Veja mais »
1 de setembro
Viagem à Lua'' Martha, o último pombo-passageiro.
Novo!!: Haskell Curry e 1 de setembro · Veja mais »
12 de setembro
1683: Batalha de Viena 1943: Operação Carvalho.
Novo!!: Haskell Curry e 12 de setembro · Veja mais »
1900
De acordo com as regras do calendário gregoriano, o ano de 1900 foi o 3.º ano centenário depois de 1600 que não foi bissexto, no ciclo de 400 anos.
Novo!!: Haskell Curry e 1900 · Veja mais »
1927
(na numeração romana) foi um ano comum do século XX do calendário gregoriano, da Era de Cristo, e a sua letra dominical foi B (52 semanas), teve início a um sábado e terminou também a um sábado.
Novo!!: Haskell Curry e 1927 · Veja mais »
1928
1928 (na numeração romana) foi um ano bissexto, de 366 dias, do Calendário Gregoriano, as suas letras dominicais foram A e G, teve 52 semanas, com início a um domingo, e terminou a uma segunda-feira.
Novo!!: Haskell Curry e 1928 · Veja mais »
1930
---- (na numeração romana) foi um ano comum do século XX do actual Calendário Gregoriano, da Era de Cristo, e a sua letra dominical foi E (52 semanas), teve início a uma quarta-feira e terminou também a uma quarta-feira.
Novo!!: Haskell Curry e 1930 · Veja mais »
1942
----.
Novo!!: Haskell Curry e 1942 · Veja mais »
1982
Sem descrição
Novo!!: Haskell Curry e 1982 · Veja mais »
