Acesso mais rápido do que o navegador!
24 relações: Alfred Tarski, Anel (matemática), Assinatura (lógica), Álgebra abstrata, Corpo (matemática), Ernst Schröder, George Boole, Grosso modo, Grupo (matemática), Hajnal Andréka, Helena Rasiowa, Língua de sinais americana, Lógica combinatória, Lógica de primeira ordem, Lógica matemática, Lógica modal, Lógica proposicional, Módulo (álgebra), Operação unária, Polónia, Reticulado, Roman Sikorski, Teoria dos conjuntos, Teoria dos modelos.
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!!: Lógica algébrica abstrata e Alfred Tarski · 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!!: Lógica algébrica abstrata e Anel (matemática) · 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!!: Lógica algébrica abstrata e Assinatura (lógica) · Veja mais »
Álgebra abstrata
Álgebra abstrata é a subárea da matemática que estuda as estruturas algébricas como grupos, anéis, corpos, espaços vetoriais, módulos e álgebras.
Novo!!: Lógica algébrica abstrata e Álgebra abstrata · 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!!: Lógica algébrica abstrata e Corpo (matemática) · Veja mais »
Ernst Schröder
Friedrich Wilhelm Karl Ernst Schröder (Mannheim, 25 de novembro de 1841 — Karlsruhe, 16 de junho de 1902) foi um matemático alemão.
Novo!!: Lógica algébrica abstrata e Ernst Schröder · 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!!: Lógica algébrica abstrata e George Boole · Veja mais »
Grosso modo
Grosso modo é uma locução adverbial latina que significa literalmente “de modo grosseiro”.
Novo!!: Lógica algébrica abstrata e Grosso modo · 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!!: Lógica algébrica abstrata e Grupo (matemática) · Veja mais »
Hajnal Andréka
Hajnal Ilona Andréka (também Hajnalka Andréka; Budapeste) é uma matemática húngara, especializada em lógica algébrica.
Novo!!: Lógica algébrica abstrata e Hajnal Andréka · Veja mais »
Helena Rasiowa
Helena Rasiowa (—) foi uma matemática polonesa.
Novo!!: Lógica algébrica abstrata e Helena Rasiowa · Veja mais »
Língua de sinais americana
A língua de sinais americana ou a língua de sinais estadunidense (em Portugal: língua gestual americana; LSA, nome original: American Sign Language, ASL) é a língua de sinais dominante, através da qual a comunidade surda nos Estados Unidos da América, nos lugares de expressão anglófona do Canadá, e algumas partes do México, se comunica.
Novo!!: Lógica algébrica abstrata e Língua de sinais americana · 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!!: Lógica algébrica abstrata e Lógica combinatória · 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!!: Lógica algébrica abstrata e Lógica de primeira ordem · 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!!: Lógica algébrica abstrata e Lógica matemática · Veja mais »
Lógica modal
A lógica modal se refere a qualquer sistema de lógica formal que procure lidar com modalidades (tratar de modos quanto a tempo, possibilidade, probabilidade, etc.). Tradicionalmente, as modalidades mais comuns são possibilidade e necessidade.
Novo!!: Lógica algébrica abstrata e Lógica modal · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: Lógica algébrica abstrata e Lógica proposicional · 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!!: Lógica algébrica abstrata e Módulo (álgebra) · 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!!: Lógica algébrica abstrata e Operação unária · Veja mais »
Polónia
(Polska), oficialmente República da Polónia (Rzeczpospolita Polska), é um país da Europa Central que tem fronteiras comuns com a Alemanha a oeste; com a Chéquia e a Eslováquia ao sul; com a Ucrânia e a Bielorrússia a leste; com o Mar Báltico, o Oblast de Kaliningrado (um exclave russo) e a Lituânia ao norte.
Novo!!: Lógica algébrica abstrata e Polónia · Veja mais »
Reticulado
Em matemática, especialmente na teoria da ordem e em álgebra, um reticulado é uma estrutura L.
Novo!!: Lógica algébrica abstrata e Reticulado · Veja mais »
Roman Sikorski
Roman Sikorski (Mszczonów, 11 de julho de 1920 — 12 de setembro de 1983) foi um matemático polonês.
Novo!!: Lógica algébrica abstrata e Roman Sikorski · Veja mais »
Teoria dos conjuntos
conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.
Novo!!: Lógica algébrica abstrata e Teoria dos conjuntos · 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!!: Lógica algébrica abstrata e Teoria dos modelos · Veja mais »
