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

Joseph Goguen

Índice Joseph Goguen

Joseph Amadee Goguen (28 de junho de 1941 – San Diego, 3 de julho de 2006) foi um cientista da computação americano.

43 relações: Abstração (ciência da computação), Ética, Berkeley, Boulder, Ciência da computação, Colorado, Digital Bibliography & Library Project, Engenharia de software, Fellow, IBM, Inglaterra, Instituto de Tecnologia de Massachusetts, Interface do utilizador, Lógica difusa, Lógica universal, Linguagem de programação, Lista de cientistas da computação, Los Angeles, Lotfali Askar-Zadeh, Matemática, Métodos formais, Menlo Park, OBJ, Ontologia (ciência da computação), Oxford, Prova automática de teoremas, San Diego, Semântica, Springer Science+Business Media, SRI International, Teoria das categorias, Teoria dos autômatos, Trungpa Rinpoché, Universidade da Califórnia, Universidade da Califórnia em San Diego, Universidade de Chicago, Universidade de Edimburgo, Universidade de Oxford, Universidade Harvard, 1941, 2006, 28 de junho, 3 de julho.

Abstração (ciência da computação)

Em ciência da computação, a abstração é a habilidade de concentrar nos aspectos essenciais de um contexto, ignorando características menos importantes ou acidentais.

Novo!!: Joseph Goguen e Abstração (ciência da computação) · Veja mais »

Ética

Ética (do grego antigo: ethos "caráter", "costume") é o conjunto de padrões e valores morais de um grupo ou indivíduo.

Novo!!: Joseph Goguen e Ética · Veja mais »

Berkeley

Sem descrição

Novo!!: Joseph Goguen e Berkeley · Veja mais »

Boulder

O boulder é uma das modalidades da escalada em rocha, praticada sem o uso dos equipamentos de segurança convencionais como cordas e mosquetões.

Novo!!: Joseph Goguen e Boulder · Veja mais »

Ciência da computação

A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.

Novo!!: Joseph Goguen e Ciência da computação · Veja mais »

Colorado

Colorado é um dos 50 estados dos Estados Unidos, localizado na região dos estados das Montanhas Rochosas.

Novo!!: Joseph Goguen e Colorado · Veja mais »

Digital Bibliography & Library Project

DBLP (Digital Bibliography & Library Project) é um repositório bibliográfico de ciência da computação hospedado na Universität Trier, na Alemanha.

Novo!!: Joseph Goguen e Digital Bibliography & Library Project · Veja mais »

Engenharia de software

acessodata.

Novo!!: Joseph Goguen e Engenharia de software · Veja mais »

Fellow

Em países de língua inglesa, um fellow é um membro de um grupo de professores de alto nível de uma faculdade ou universidade (academia) ou de sociedades acadêmicas em particular (sociedade científica).

Novo!!: Joseph Goguen e Fellow · Veja mais »

IBM

A International Business Machines Corporation (em tradução livre: Corporação Internacional de Máquinas de Negócios, sigla: IBM) é uma empresa dos Estados Unidos voltada para a área de informática.

Novo!!: Joseph Goguen e IBM · Veja mais »

Inglaterra

Inglaterra (England) é uma das nações constituintes do Reino Unido.

Novo!!: Joseph Goguen e Inglaterra · 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!!: Joseph Goguen e Instituto de Tecnologia de Massachusetts · Veja mais »

Interface do utilizador

A, no campo de desenho industrial da interação homem-máquina, é o espaço onde a interação entre humanos e máquinas ocorre.

Novo!!: Joseph Goguen e Interface do utilizador · Veja mais »

Lógica difusa

A lógica difusa ou lógica fuzzy é a forma de lógica multivalorada, na qual os valores verdade das variáveis podem ser qualquer número real entre 0 (correspondente ao valor falso) e 1 (correspondente ao valor verdadeiro), diferentemente do que se verifica na lógica booliana (também chamada, às vezes, lógica nítida), segundo a qual os valores lógicos podem ser apenas 0 ou 1.

Novo!!: Joseph Goguen e Lógica difusa · Veja mais »

Lógica universal

A lógica universal é o campo da lógica, que estuda características comuns de todos os sistemas lógicos, apontando ser para a lógica o que a álgebra universal é para a álgebra.

Novo!!: Joseph Goguen e Lógica universal · Veja mais »

Linguagem de programação

C. A linguagem de programação é um método padronizado, formado por um conjunto de regras sintáticas e semânticas, de implementação de um código fonte - que pode ser compilado e transformado em um programa de computador, ou usado como script interpretado - que informará instruções de processamento ao computador.

Novo!!: Joseph Goguen e Linguagem de programação · Veja mais »

Lista de cientistas da computação

Sem descrição

Novo!!: Joseph Goguen e Lista de cientistas da computação · Veja mais »

Los Angeles

Los Angeles (do espanhol Los Ángeles, literalmente "Os Anjos"), oficialmente Cidade de Los Angeles (City of Los Angeles) e de maneira abreviada L.A. (pronunciado), é a cidade mais populosa do estado da Califórnia e a segunda cidade mais populosa dos Estados Unidos, depois de Nova Iorque.

Novo!!: Joseph Goguen e Los Angeles · Veja mais »

Lotfali Askar-Zadeh

Lotfali Askar-Zadeh (Lütfi Əsgərzadə, لطفعلی عسکرزاده), mais conhecido como Lotfi A. Zadeh (Bacu, 4 de fevereiro de 1921 - Berkeley, Califórnia 6 de setembro de 2017), foi um matemático, engenheiro eletrônico e cientista da computação estadunidense nascido no Azerbaijão, e professor de ciência da computação na Universidade da Califórnia em Berkeley.

Novo!!: Joseph Goguen e Lotfali Askar-Zadeh · 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!!: Joseph Goguen e Matemática · Veja mais »

Métodos formais

Na ciência da computação e engenharia de software, métodos formais são técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares e hardwares.

Novo!!: Joseph Goguen e Métodos formais · Veja mais »

Menlo Park

Menlo Park é uma cidade localizada no estado americano da Califórnia, no extremo oeste do Condado de San Mateo, na área da Baía de São Francisco.

Novo!!: Joseph Goguen e Menlo Park · Veja mais »

OBJ

OBJ é um formato de arquivos de computador criados para armazenar malhas poligonais tridimensionais.

Novo!!: Joseph Goguen e OBJ · Veja mais »

Ontologia (ciência da computação)

Em Ciência da Computação, Sistemas de Informação e Ciência da Informação, uma ontologia é um modelo de dados que representa um conjunto de conceitos dentro de um domínio e os relacionamentos entre estes.

Novo!!: Joseph Goguen e Ontologia (ciência da computação) · Veja mais »

Oxford

Oxford (do inglês "vau de bois"), em português chamada ou Oxforde, é uma cidade e distrito de governo local do condado de Oxfordshire, Inglaterra, Reino Unido, com uma população de 134 248 habitantes (censo de 2001).

Novo!!: Joseph Goguen e Oxford · Veja mais »

Prova automática de teoremas

agda2 Prova automática de teoremas (PAT) ou dedução automática (DA) é a prova de teoremas matemáticos por um programa de computador.

Novo!!: Joseph Goguen e Prova automática de teoremas · Veja mais »

San Diego

San Diego é uma cidade dos Estados Unidos localizada no sul do estado da Califórnia, sendo a segunda cidade mais populosa do estado e a oitava mais populosa do país.

Novo!!: Joseph Goguen e San Diego · Veja mais »

Semântica

Rede semântica em língua portuguesa Semântica (do grego σημαντικός, sēmantiká, plural neutro de sēmantikós, derivado de sema, sinal) é o estudo do significado.

Novo!!: Joseph Goguen e Semântica · Veja mais »

Springer Science+Business Media

Springer Science+Business Media ou Springer-Verlag, ou ainda, simplesmente Springer é uma editora mundial baseada na Alemanha, a qual publica livros-texto, livros de referência acadêmica, e periódicos de artigos com revisão por pares (peer-review), com foco em ciência, tecnologia, matemática, e medicina.

Novo!!: Joseph Goguen e Springer Science+Business Media · Veja mais »

SRI International

SRI International (SRI), fundado como Stanford Research Institute, é um instituto de pesquisa sem fins lucrativos sediado em Menlo Park, Califórnia.

Novo!!: Joseph Goguen e SRI International · Veja mais »

Teoria das categorias

Na matemática, a teoria das categorias provê uma linguagem interdisciplinar capaz de delinear resultados e construções gerais, separando-os dos específicos a cada área, possibilitando a simplificação e clarificação de demonstrações.

Novo!!: Joseph Goguen e Teoria das categorias · Veja mais »

Teoria dos autômatos

Teoria dos autômatos é o estudo das máquinas abstratas ou autômatos, bem como problemas computacionais que podem ser resolvidos usando esses objetos.

Novo!!: Joseph Goguen e Teoria dos autômatos · Veja mais »

Trungpa Rinpoché

Trungpa Rinpoché (Qinghai, Tibete, fevereiro de 1939 - Halifax, Nova Escócia, Canadá, 4 de abril de 1987) foi um mestre de meditação da linhagem do Budismo Tibetano.

Novo!!: Joseph Goguen e Trungpa Rinpoché · Veja mais »

Universidade da Califórnia

A Universidade da Califórnia (University of California, UC) é uma instituição de ensino superior dos Estados Unidos mantida pelo Estado da Califórnia.

Novo!!: Joseph Goguen e Universidade da Califórnia · Veja mais »

Universidade da Califórnia em San Diego

A Universidade da Califórnia, em San Diego, é uma universidade de pesquisa pública localizada no bairro de La Jolla, em San Diego, Califórnia, nos Estados Unidos.

Novo!!: Joseph Goguen e Universidade da Califórnia em San Diego · 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!!: Joseph Goguen e Universidade de Chicago · Veja mais »

Universidade de Edimburgo

A Universidade de Edimburgo (em inglês: University of Edinburgh), fundada em 1583, é um centro de ensino e pesquisa em Edimburgo, Reino Unido.

Novo!!: Joseph Goguen e Universidade de Edimburgo · Veja mais »

Universidade de Oxford

Universidade de Oxford (University of Oxford), em português chamada ou Oxforde, é uma instituição de ensino superior pública situada na cidade de Oxford.

Novo!!: Joseph Goguen e Universidade de Oxford · Veja mais »

Universidade Harvard

Universidade Harvard (Harvard University) é uma universidade privada situada na cidade de Cambridge, estado de Massachusetts, nos Estados Unidos.

Novo!!: Joseph Goguen e Universidade Harvard · Veja mais »

1941

1941 (na numeração romana) foi um ano comum, de 365 dias, do Calendário Gregoriano, a sua letra dominical foi E, teve 52 semanas, início a uma quarta-feira, terminou também a uma quarta-feira.

Novo!!: Joseph Goguen e 1941 · Veja mais »

2006

Correspondeu aos anos 5766-5767 no calendário judaico, 5107-5108 no calendário hindu, 1426-1427 no calendário islâmico, 1384-1385 no calendário iraniano, 4703 no calendário chinês, e 2759 a.U.c..

Novo!!: Joseph Goguen e 2006 · Veja mais »

28 de junho

1575: Batalha de Nagashino Assassinato do arquiduque Francisco Fernando da Áustria-Hungria.

Novo!!: Joseph Goguen e 28 de junho · Veja mais »

3 de julho

1866: Batalha de Königgrätz 1886: O Benz Patent-Motorwagen.

Novo!!: Joseph Goguen e 3 de julho · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »