Acesso mais rápido do que o navegador!
77 relações: Abraham Robinson, Alexander Macfarlane, Alfred North Whitehead, Alfred Tarski, American Mathematical Monthly, Anatoly Maltsev, Andrzej Mostowski, Anel (matemática), Aridade, Assinatura (lógica), Associatividade, Augustus De Morgan, Axioma, Álgebra booliana, Álgebra de Lie, Øystein Ore, Bjarni Jónsson, Coloração de grafos, Congresso Internacional de Matemáticos, Conjunto, Constante matemática, Corpo (matemática), Desigualdade, Edward Marczewski, Elemento inverso, Elemento neutro, Espaço topológico, Espaço vetorial, Estrutura algébrica, Estrutura de interpretação (lógica), Fechamento, Função (matemática), Função parcial, Garrett Birkhoff, George Boole, Grupo (matemática), Grupo ordenado, Grupo topológico, Grupoide (matemática), Hermann Grassmann, Homomorfismo, Identidade (matemática), Internet Archive, James Joseph Sylvester, Kazimierz Urbanik, Lógica de primeira ordem, Leon Henkin, Magma (matemática), Matemática, Módulo (álgebra), ..., Mónade (teoria das categorias), Metamatemática, Monoide, NP-completo, Operação (matemática), Operação binária, Operação unária, P (complexidade), Problema da satisfação de restrições, Produto cartesiano, Produto categorial, Quantificação, Quantificação existencial, Quantificação universal, Quasegrupo, Quaternião, Quaternião hiperbólico, Relação (matemática), Reticulado, Science, Semigrupo, Sentença (lógica matemática), Teoria da ordem, Teoria das categorias, Teoria dos modelos, William Lawvere, William Rowan Hamilton. Expandir índice (27 mais) »
Abraham Robinson
Abraham Robinson (— New Haven) foi um matemático estadunidense nascido na Alemanha.
Novo!!: Álgebra universal e Abraham Robinson · Veja mais »
Alexander Macfarlane
Alexander Macfarlane (Blairgowrie, Escócia, – Chatham, Ontário) foi um matemático e físico escocês.
Novo!!: Álgebra universal e Alexander Macfarlane · Veja mais »
Alfred North Whitehead
Alfred North Whitehead (Ramsgate, – Cambridge) foi um filósofo, lógico e matemático britânico.
Novo!!: Álgebra universal e Alfred North Whitehead · Veja mais »
Alfred Tarski
Alfred Tarski (Varsóvia, na época Império Russo, atualmente Polônia, — Berkeley, Estados Unidos) foi um lógico, matemático e filósofo polonês.
Novo!!: Álgebra universal e Alfred Tarski · Veja mais »
American Mathematical Monthly
O The American Mathematical Monthly é um periódico científico de matemática fundado por Benjamin Finkel em 1894.
Novo!!: Álgebra universal e American Mathematical Monthly · Veja mais »
Anatoly Maltsev
Anatoly Ivanovich Maltsev (Malcev) (Анатолий Иванович Мальцев; Misheronsky, — Novosibirsk) foi um matemático russo, conhecido por seu trabalho em decidibilidade de vários grupo algébricos.
Novo!!: Álgebra universal e Anatoly Maltsev · Veja mais »
Andrzej Mostowski
Andrzej Mostowski (Leópolis, 1 de novembro de 1913 — 22 de agosto de 1975) foi um matemático polonês.
Novo!!: Álgebra universal e Andrzej Mostowski · Veja mais »
Anel (matemática)
curva cúbica em um espaço projetivo. A teoria dos anéis é fundamental na geometria algébrica. Em matemática, um anel é uma estrutura algébrica que consiste em um conjunto associado a duas operações binárias, normalmente chamadas de adição e multiplicação, em que cada operação combina dois elementos para formar um terceiro elemento.
Novo!!: Álgebra universal e Anel (matemática) · Veja mais »
Aridade
Na matemática a aridade de uma função ou operação é o número de argumentos ou operandos tomados.
Novo!!: Álgebra universal e Aridade · Veja mais »
Assinatura (lógica)
Na lógica matemática, uma assinatura compreende o conjunto de símbolos não-lógicos que caracteriza uma linguagem formal.
Novo!!: Álgebra universal e Assinatura (lógica) · Veja mais »
Associatividade
Associatividade, em propriedade binária permite que expressões do tipo r s t possam ser escritas sem ambiguidade, ou seja, uma expressão r s t dá o mesmo resultado caso a operação que seja, em primeiro lugar, computada seja r s ou s t.G. A. Miller, What is Group Theory?, publicado em Popular Science, edição de fevereiro de 1904, p.371 A associatividade é uma das três propriedades que definem um grupo, as demais sendo a lei do cancelamento (ou seja, se r s.
Novo!!: Álgebra universal e Associatividade · Veja mais »
Augustus De Morgan
Augustus De Morgan (Madura, Índia, — Londres) foi um matemático e lógico britânico.
Novo!!: Álgebra universal e Augustus De Morgan · Veja mais »
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Álgebra universal e Axioma · Veja mais »
Álgebra booliana
Em álgebra abstrata, álgebras boolianas (ou álgebras de Boole) são estruturas algébricas que "captam as propriedades essenciais" dos operadores lógicos e de conjuntos, ou ainda oferecem uma estrutura para se lidar com "afirmações",Edward R. Scheinerman.
Novo!!: Álgebra universal e Álgebra booliana · Veja mais »
Álgebra de Lie
Em álgebra, uma álgebra de Lie é uma estrutura algébrica cujo principal uso está no estudo dos grupos de Lie e das variedades diferenciáveis.
Novo!!: Álgebra universal e Álgebra de Lie · Veja mais »
Øystein Ore
Øystein Ore (Oslo, 7 de outubro de 1899 — Oslo, 13 de agosto de 1968) foi um matemático norueguês.
Novo!!: Álgebra universal e Øystein Ore · Veja mais »
Bjarni Jónsson
Bjarni Jónsson (–) foi um matemático islandês.
Novo!!: Álgebra universal e Bjarni Jónsson · Veja mais »
Coloração de grafos
Em teoria dos grafos, coloração de grafos é um caso especial de rotulagem de grafos; é uma atribuição de rótulos tradicionalmente chamados "cores" a elementos de um grafo sujeita a certas restrições.
Novo!!: Álgebra universal e Coloração de grafos · Veja mais »
Congresso Internacional de Matemáticos
O Congresso Internacional de Matemáticos (em inglês: International Congress of Mathematicians (ICM)) é o maior congresso de matemática.
Novo!!: Álgebra universal e Congresso Internacional de Matemáticos · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Álgebra universal e Conjunto · Veja mais »
Constante matemática
Na matemática, uma constante é um valor fixo que pode ou não ser especificado.
Novo!!: Álgebra universal e Constante matemática · Veja mais »
Corpo (matemática)
Em matemática, um corpo é um anel comutativo com unidade em que todo elemento diferente de 0 possui um elemento inverso com relação à multiplicação.
Novo!!: Álgebra universal e Corpo (matemática) · Veja mais »
Desigualdade
Em matemática, desigualdade é uma expressão matemática que estabelece uma relação de ordem entre dois elementos.
Novo!!: Álgebra universal e Desigualdade · Veja mais »
Edward Marczewski
Edward Marczewski (Varsóvia, 15 de novembro de 1907 — Wrocław, 17 de outubro de 1976) foi um matemático polonês.
Novo!!: Álgebra universal e Edward Marczewski · Veja mais »
Elemento inverso
Elemento inverso, em matemática, é aquele cuja utilização numa operação binária matemática bem definida resulta no elemento neutro específico dessa operação — por essa razão simples a justificar a sua inversibilidade operacional.
Novo!!: Álgebra universal e Elemento inverso · Veja mais »
Elemento neutro
Em matemática, um elemento neutro (ou identidade), é qualquer elemento cuja utilização numa operação binária bem definida não causa alteração de identidade no outro elemento com o qual entra em operação — por essa razão simples a justificar a sua neutralidade operacional.
Novo!!: Álgebra universal e Elemento neutro · Veja mais »
Espaço topológico
Espaços topológicos são estruturas que permitem a formalização de conceitos tais como convergência, conexidade e continuidade.
Novo!!: Álgebra universal e Espaço topológico · Veja mais »
Espaço vetorial
Um espaço vetorial (também chamado de espaço linear) é uma coleção de objetos chamada vetores, que podem ser somados um a outro e multiplicados ("escalonados") por números, denominados escalares.
Novo!!: Álgebra universal e Espaço vetorial · Veja mais »
Estrutura algébrica
Em álgebra abstracta, uma estrutura algébrica consiste num conjunto associado a uma ou mais operações sobre o conjunto que satisfazem certos axiomas.
Novo!!: Álgebra universal e Estrutura algébrica · Veja mais »
Estrutura de interpretação (lógica)
Na lógica, uma estrutura (ou estrutura de interpretação) é um objeto que dá significado semântico ou interpretação aos símbolos definidos pela assinatura de uma linguagem.
Novo!!: Álgebra universal e Estrutura de interpretação (lógica) · Veja mais »
Fechamento
Em matemática, um conjunto é fechado em relação a uma dada operação quando o resultado dessa operação em elementos desse conjunto é ainda um elemento desse conjunto.
Novo!!: Álgebra universal e Fechamento · Veja mais »
Função (matemática)
Uma função não injetiva e não sobrejetiva do domínio X para o contradomínio Y. A função é não injetova pois há dois elementos do domínio ligados a um mesmo elemento do contradomínio (cor vermelha). A função é não sobrejetiva pois há elementos de Y sem correspondentes em X (cores azul e lilás). Uma função é uma relação de um conjunto A com um conjunto B. Denotamos uma função por f:A\to B, y.
Novo!!: Álgebra universal e Função (matemática) · Veja mais »
Função parcial
Em matemática, uma função parcial é quase uma função, falhando na definição, porque para nem todos x do domínio existe algum f(x).
Novo!!: Álgebra universal e Função parcial · Veja mais »
Garrett Birkhoff
Garrett Birkhoff (Princeton, — Condado de Suffolk) foi um matemático estadunidense.
Novo!!: Álgebra universal e Garrett Birkhoff · Veja mais »
George Boole
George Boole (Lincoln, — Ballintemple) foi um matemático, filósofo britânico, criador da álgebra booleana, fundamental para o desenvolvimento da computação moderna.
Novo!!: Álgebra universal e George Boole · Veja mais »
Grupo (matemática)
A Vingança de Rubik (versão 4x4x4 do Cubo de Rubik) formam um grupo. Em matemática, um grupo é um conjunto de elementos associados a uma operação que combina dois elementos quaisquer para formar um terceiro.
Novo!!: Álgebra universal e Grupo (matemática) · Veja mais »
Grupo ordenado
Em matemática, um grupo ordenado é um grupo (G,*) com uma relação de ordem, de forma que a operação binária é compatível com a relação de ordem.
Novo!!: Álgebra universal e Grupo ordenado · Veja mais »
Grupo topológico
Um grupo topológico é um grupo munido de uma topologia de modo que a multiplicação G\times G\rightarrow G ((x, y) \rightarrow xy) e a inversão G\rightarrow G (x \rightarrow x^) sejam ambas contínuas.
Novo!!: Álgebra universal e Grupo topológico · Veja mais »
Grupoide (matemática)
Em matemática, grupoide é uma estrutura algébrica que consiste em um conjunto não-vazio com uma operação binária parcial, geralmente denotada pela concatenação, onde todo elemento possui um inverso.
Novo!!: Álgebra universal e Grupoide (matemática) · Veja mais »
Hermann Grassmann
Hermann Günther Grassmann (Estetino, — Estetino) foi um polímata alemão, renomado em sua época como linguista e atualmente admirado como matemático.
Novo!!: Álgebra universal e Hermann Grassmann · Veja mais »
Homomorfismo
Em álgebra abstrata, um homomorfismo é uma aplicação que preserva a estrutura entre duas estruturas algébricas (como por exemplo grupos, anéis ou espaços vetoriais).
Novo!!: Álgebra universal e Homomorfismo · Veja mais »
Identidade (matemática)
Em matemática, o termo identidade tem vários significados diferentes e importantes.
Novo!!: Álgebra universal e Identidade (matemática) · Veja mais »
Internet Archive
Internet Archive é uma organização sem fins lucrativos dedicada a manter um arquivo multimídia de informações.
Novo!!: Álgebra universal e Internet Archive · Veja mais »
James Joseph Sylvester
James Joseph Sylvester (Londres, 3 de setembro de 1814 — Oxford, 15 de março de 1897) foi um matemático inglês.
Novo!!: Álgebra universal e James Joseph Sylvester · Veja mais »
Kazimierz Urbanik
Kazimierz Urbanik (Kremenets, 5 de fevereiro de 1930 — Wrocław, 29 de maio de 2005) foi um matemático polonês.
Novo!!: Álgebra universal e Kazimierz Urbanik · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: Álgebra universal e Lógica de primeira ordem · Veja mais »
Leon Henkin
Leon Henkin (Brooklyn, – Oakland) foi um lógico da Universidade de Berkeley.
Novo!!: Álgebra universal e Leon Henkin · Veja mais »
Magma (matemática)
Um grupoide ou magma é uma estrutura algébrica básica que possui apenas a propriedade do fechamento.
Novo!!: Álgebra universal e Magma (matemática) · 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!!: Álgebra universal e Matemática · Veja mais »
Módulo (álgebra)
Em álgebra abstrata, o conceito de módulo sobre um anel é a generalização da noção de espaço vetorial, em que, em vez de um corpo, temos um anel como o conjunto de escalares.
Novo!!: Álgebra universal e Módulo (álgebra) · Veja mais »
Mónade (teoria das categorias)
Na teoria das categorias, uma mónade, mônade ou mônada (ou tripla, nome porém menos usado: "'Triple' is an antiquated synonym for 'monad'.") é um endofunctor, junto a duas transformações naturais, satisfazendo regras formalmente análogas às de um monoide.
Novo!!: Álgebra universal e Mónade (teoria das categorias) · Veja mais »
Metamatemática
A metamatemática é um conceito formulado por Jacques Herbrand em 1930 e expandido por Tarski e Gödel.
Novo!!: Álgebra universal e Metamatemática · Veja mais »
Monoide
Em álgebra abstrata, um monoide é uma estrutura algébrica com uma única operação binária, associativa e com um elemento neutro.
Novo!!: Álgebra universal e Monoide · Veja mais »
NP-completo
Na teoria da complexidade computacional, a classe de complexidade é o subconjunto dos problemas NP de tal modo que todo problema em NP se pode reduzir, com uma redução de tempo polinomial, a um dos problemas NP-completo.
Novo!!: Álgebra universal e NP-completo · Veja mais »
Operação (matemática)
Em matemática, uma operação é qualquer tipo de procedimento que é realizado sobre certa quantidade de elementos, e que obedece sempre a uma mesma lógica (regra).
Novo!!: Álgebra universal e Operação (matemática) · Veja mais »
Operação binária
Na matemática, uma operação binária ou 2-ária é uma operação com dois operandos.
Novo!!: Álgebra universal e Operação binária · Veja mais »
Operação unária
Na matemática uma operação unária ou 1-ária, é uma operação com apenas um operando.
Novo!!: Álgebra universal e Operação unária · Veja mais »
P (complexidade)
Na teoria da complexidade computacional, P é o acrônimo em inglês para Tempo polinomial determinístico (Deterministic Polynomial time) que denota o conjunto de problemas que podem ser resolvidos em tempo polinomial por uma máquina de Turing determinística.
Novo!!: Álgebra universal e P (complexidade) · Veja mais »
Problema da satisfação de restrições
O problema da satisfação de restrições do inglês constraint satisfaction problems (CSPs) são problemas matemáticos definidos como um conjunto de objetos cujo estado dos mesmos deve satisfazer uma série de restrições.
Novo!!: Álgebra universal e Problema da satisfação de restrições · Veja mais »
Produto cartesiano
Em matemática, dados dois conjuntos X e Y, o produto cartesiano (ou produto direto) desses dois (escrito como X × Y) é o conjunto de todos os pares ordenados, cujo primeiro termo pertence a X; e o segundo, a Y. O produto cartesiano recebe seu nome de René Descartes, cuja formulação da geometria analítica deu origem a este conceito.
Novo!!: Álgebra universal e Produto cartesiano · Veja mais »
Produto categorial
Diagrama comutativo do produto categorial O produto categorial é uma generalização categorial do produto cartesiano.
Novo!!: Álgebra universal e Produto categorial · Veja mais »
Quantificação
O termo Quantificação tem vários significados, gerais e específicos.
Novo!!: Álgebra universal e Quantificação · Veja mais »
Quantificação existencial
Na lógica de predicados, um quantificador existencial é a predicação de uma propriedade ou relação para, pelo menos, um elemento do domínio.
Novo!!: Álgebra universal e Quantificação existencial · Veja mais »
Quantificação universal
Na lógica de predicados, a quantificação universal é uma formalização da noção de que algumas coisas são verdadeiras para todas as coisas, ou para todas as coisas relevantes.
Novo!!: Álgebra universal e Quantificação universal · Veja mais »
Quasegrupo
Um quasegrupo é um conjunto, Q, com uma operação binária, ∗, (isto é, um magma), obedecendo a propriedade dos quadrados latinos.
Novo!!: Álgebra universal e Quasegrupo · Veja mais »
Quaternião
Os são uma extensão \mathbb do conjunto dos números complexos \mathbb.
Novo!!: Álgebra universal e Quaternião · Veja mais »
Quaternião hiperbólico
Na matemática, um é um conceito matemático sugerido primeiramente por Alexander MacFarlane em 1891 em um discurso na Associação Americana para o Avanço da Ciência.
Novo!!: Álgebra universal e Quaternião hiperbólico · Veja mais »
Relação (matemática)
Em matemática, uma relação é uma correspondência (ou associação) entre elementos de dois conjuntos não vazios.
Novo!!: Álgebra universal e Relação (matemática) · Veja mais »
Reticulado
Em matemática, especialmente na teoria da ordem e em álgebra, um reticulado é uma estrutura L.
Novo!!: Álgebra universal e Reticulado · Veja mais »
Science
Science (termo em ingl. usado para designar ciências naturais, sociais e formais em geral), também amplamente referida como Science Magazine, é uma revista científica publicada pela Associação Americana para o Avanço da Ciência (American Association for the Advancement of Science — AAAS), considerada, ao lado da Nature, uma das revistas acadêmicas mais prestigiadas do mundo.
Novo!!: Álgebra universal e Science · Veja mais »
Semigrupo
Um semigrupo pode ser definido de 2 maneiras completamente equivalentes.
Novo!!: Álgebra universal e Semigrupo · Veja mais »
Sentença (lógica matemática)
Em lógica matemática, uma sentença de uma lógica de predicados é uma fórmula bem formada com valor booleano e sem variáveis livres.
Novo!!: Álgebra universal e Sentença (lógica matemática) · Veja mais »
Teoria da ordem
Teoria da ordem é um ramo da matemática que estuda vários tipos de relações binárias que capturam a noção intuitiva de ordem matemática.
Novo!!: Álgebra universal e Teoria da ordem · 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!!: Álgebra universal e Teoria das categorias · Veja mais »
Teoria dos modelos
Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos.
Novo!!: Álgebra universal e Teoria dos modelos · Veja mais »
William Lawvere
Francis William Lawvere (Muncie, Indiana, - 23 de janeiro de 2023) foi um matemático estadunidense.
Novo!!: Álgebra universal e William Lawvere · Veja mais »
William Rowan Hamilton
William Rowan Hamilton (Dublim, 4 de agosto de 1805 — Dublim, 2 de setembro de 1865) foi um matemático, físico e astrónomo irlandês.
Novo!!: Álgebra universal e William Rowan Hamilton · Veja mais »
