Acesso mais rápido do que o navegador!
98 relações: A Origem das Espécies, Abdução (lógica filosófica), Ambiguidade, Amostra (estatística), Análogo à Terra, Anekantavada, Antroposofia, Aprendizado de máquina, Argumento, Budismo, Calyptophractus retusus, Cavalo paraguaio, Cálculo lógico, Comportamento canino, Concepção espontânea, Contenção principal, Contraposição (lógica tradicional), Crime de pensamento, Descrição de comprimento mínimo, Diagrama de ramos e folhas, Dilema construtivo, Dilema destrutivo, Disposição, Divergência de Kullback-leibler, Dupla negação, Edgware, Eduardo Azeredo, Educação matemática no Brasil, Eliminação bicondicional, Eliminação da disjunção, Engenharia de controle e automação, Entendimento de linguagem natural, Escolástica, Estatística paramétrica, Experiência (filosofia), Falácia matemática, Falácias jingle-jangle, Filosofia da Lógica, Filosofia oriental, Frequência do alelo menor, Giromancia, História da lógica, História da matemática, Inconsciente cognitivo, Inferência bayesiana, Inferência causal, Inferência imediata, Inferência material, Instituto de Matemática, Estatística e Computação Científica da Unicamp, Interpretação pretendida, ..., Inversa, Isabelle, Ken Ham, Lógica, Lógica aristotélica, Lógica de primeira ordem, Lógica e racionalidade, Lógica filosófica, Lúcio de Cirene, Lista de regras de inferência, Mamíferos peçonhentos, Matemática discreta, Método científico, Método de Laplace, Método dedutivo, Método hipotético-dedutivo, Midrash Halacá, Modelo econômico, Modelos probabilísticos gráficos, OWL, Passivismo, Pensamento, Percepção visual, Possibilidade lógica, Pramana, Prayers for Bobby, Precedente apostólico, Precognição, Princípio da resolução, Problema da indução, Proposição categórica, Raciocínio automatizado, Raciocínio lógico, Ray Hyman, Representação de conhecimento e raciocínio, Robert Brandom, Samuel Bailey, Sistema formal, Sistema perceptivo, Sociologia, Syntactic Structures, Teorema, Teoria da prova estrutural, Teste Z, Transposição (lógica), Verdade, Verdade lógica, Wiki semântico. Expandir índice (48 mais) »
A Origem das Espécies
A Origem das Espécies (ou, mais completamente, A Origem das Espécies por Meio da Seleção Natural, ou Preservação das Raças Favorecidas na Luta pela Vida) é uma obra de literatura científica escrita por Charles Darwin, que é considerada a base da biologia evolutiva.
Novo!!: Inferência e A Origem das Espécies · Veja mais »
Abdução (lógica filosófica)
A abdução é uma das três formas canônicas de inferência para estabelecer hipóteses científicas.
Novo!!: Inferência e Abdução (lógica filosófica) · Veja mais »
Ambiguidade
Ambiguidade é o tipo de significado em que uma expressão, declaração ou resolução não está explicitamente definida, tornando plausíveis várias interpretações.
Novo!!: Inferência e Ambiguidade · Veja mais »
Amostra (estatística)
Em estatística e metodologia da pesquisa quantitativa, uma amostra é um conjunto de dados coletados e/ou selecionados de uma população estatística por um procedimento definido.
Novo!!: Inferência e Amostra (estatística) · Veja mais »
Análogo à Terra
IST. Um análogo à Terra (também definido como gêmeo da Terra, exoterra, segunda Terra, Terra alienígena, Terra 2 ou planeta tipo-Terra) é um planeta ou mundo semelhante às condições encontradas na Terra.
Novo!!: Inferência e Análogo à Terra · Veja mais »
Anekantavada
(Devanágari: अनेकान्तवाद) é uma das mais importantes e fundamentais doutrinas do jainismo.
Novo!!: Inferência e Anekantavada · Veja mais »
Antroposofia
A antroposofia ou antropossofia ("antrop(o)", "homem" + "sof(o)", "sábio" + "ia", "qualidade, estado, profissão") é uma doutrina filosófica e mística fundada pelo filósofo austríaco Rudolf Steiner (1861-1925).
Novo!!: Inferência e Antroposofia · Veja mais »
Aprendizado de máquina
O ou também (em inglês: machine learning) é um subcampo da Engenharia e da ciência da computação que evoluiu do estudo de reconhecimento de padrões e da teoria do aprendizado computacional em inteligência artificial.
Novo!!: Inferência e Aprendizado de máquina · Veja mais »
Argumento
Um argumento pode ser definido como uma afirmação acompanhada de justificativa (argumento retórico) ou como uma justaposição de duas afirmações opostas, argumento e contra-argumento (argumento dialético).
Novo!!: Inferência e Argumento · Veja mais »
Budismo
O budismo é uma religião indiana baseada nos ensinamentos de Sidarta Gautama, conhecido como o Buda.
Novo!!: Inferência e Budismo · Veja mais »
Calyptophractus retusus
O pichiciego-maior (Calyptophractus retusus) é a única espécie de tatu do gênero Calyptophractus.
Novo!!: Inferência e Calyptophractus retusus · Veja mais »
Cavalo paraguaio
Cavalo paraguaio é uma gíria utilizada no futebol brasileiro para designar equipes ou jogadores que tenham uma boa atuação no começo de um campeonato, ou mesmo em uma partida, e a seguir decaem de modo a serem superados pelos demais.
Novo!!: Inferência e Cavalo paraguaio · Veja mais »
Cálculo lógico
O cálculo lógico, ou derivação lógica, é um algoritmo ou sistema lógico que permite inferir ou deduzir um enunciado verdadeiro a partir de outro ou outros que se têm como validamente verdadeiros.
Novo!!: Inferência e Cálculo lógico · Veja mais »
Comportamento canino
Comportamento canino é a resposta coordenada internamente de um cão ou grupos de cães domésticos, a estímulos internos e externos.
Novo!!: Inferência e Comportamento canino · Veja mais »
Concepção espontânea
ou conceitos espontâneos são conceitos naturais ao nosso pensamento que não nos remetem a nenhum ensino formal, sendo aprendido no dia-a-dia por exemplo por tentativa e erro, por inferência ou por conclusões lógicas.
Novo!!: Inferência e Concepção espontânea · Veja mais »
Contenção principal
Tanto na lógica formal quanto na informal, uma contenção principal ou conclusão é uma ideia capaz de ser ou verdadeira ou falsa e é geralmente a proposição mais controvertida sendo argumentada.
Novo!!: Inferência e Contenção principal · Veja mais »
Contraposição (lógica tradicional)
Na lógica tradicional, a contraposição é uma forma de inferência imediata, na qual a partir de uma dada proposição outra é inferida, tendo por sujeito o contraditório do predicado original, e em alguns casos, envolvendo uma mudança de qualidade (afirmação ou negação).
Novo!!: Inferência e Contraposição (lógica tradicional) · Veja mais »
Crime de pensamento
No romance distópico 1984 de George Orwell, o governo tenta controlar não apenas as falas e ações, mas também os pensamentos de seus cidadãos, rotulando os pensamentos desaprovados pelo termo crime de pensamento (thoughtcrime) ou, em novilíngua, "pensar criminoso" (crimethink), também traduzido como crimideia ou crimepensar.
Novo!!: Inferência e Crime de pensamento · Veja mais »
Descrição de comprimento mínimo
O Princípio da descrição de comprimento mínimo (DCM) é uma formalização da Navalha de Occam na qual a melhor hipótese para um dado conjunto de dados é a que leva a máxima compressão dos mesmos.
Novo!!: Inferência e Descrição de comprimento mínimo · Veja mais »
Diagrama de ramos e folhas
Um diagrama de ramos e folhas é um dispositivo para apresentação de dados quantitativos em um formato gráfico, semelhante a um histograma, que ajuda a visualizar a forma de uma distribuição.
Novo!!: Inferência e Diagrama de ramos e folhas · Veja mais »
Dilema construtivo
Dilema construtivo é uma regra de inferência válida da lógica proposicional.
Novo!!: Inferência e Dilema construtivo · Veja mais »
Dilema destrutivo
Dilema destrutivo, é uma regra de inferência válida da lógica proposicional.
Novo!!: Inferência e Dilema destrutivo · Veja mais »
Disposição
Em psicologia, disposição designa a tendência, relativamente estável no tempo, que uma pessoa apresenta de se comportar de determinada maneira em determinadas situações.
Novo!!: Inferência e Disposição · Veja mais »
Divergência de Kullback-leibler
A divergência de Kullback-Leibler (também chamada de entropia relativa) é uma medida não-simétrica da diferença entre duas distribuições de probabilidade.
Novo!!: Inferência e Divergência de Kullback-leibler · Veja mais »
Dupla negação
Na lógica proposicional, a dupla negação é o teorema que afirma que "Se uma declaração é verdadeira, então não é o caso que a declaração não é verdadeira".
Novo!!: Inferência e Dupla negação · Veja mais »
Edgware
Edgware é uma cidade suburbana no norte de Londres, principalmente no distrito de Londres de Barnet, mas com uma pequena parte caindo em Harrow.
Novo!!: Inferência e Edgware · Veja mais »
Eduardo Azeredo
Eduardo Brandão de Azeredo (Sete Lagoas) é um engenheiro econômico e político brasileiro, membro do Partido da Social Democracia Brasileira (PSDB).
Novo!!: Inferência e Eduardo Azeredo · Veja mais »
Educação matemática no Brasil
A preocupação com a educação matemática é histórica.
Novo!!: Inferência e Educação matemática no Brasil · Veja mais »
Eliminação bicondicional
Eliminação bicondicional são duas regras de inferência validas da lógica proposicional.
Novo!!: Inferência e Eliminação bicondicional · Veja mais »
Eliminação da disjunção
Na lógica proposicional, eliminação da disjunção (as vezes chamado prova por casos ou análise de casos), é a forma de argumento válido e regra de inferência que permite a eliminação de um argumento disjunctivo de uma prova lógica.
Novo!!: Inferência e Eliminação da disjunção · Veja mais »
Engenharia de controle e automação
Sistema automático de esteiras, utilizado para transportar os mais diversos tipos de materiais Engenharia de Controle e Automação é a área dentro da engenharia voltada ao projeto de máquinas automáticas e controle de processos industriais.
Novo!!: Inferência e Engenharia de controle e automação · Veja mais »
Entendimento de linguagem natural
Entendimento de linguagem natural ou interpretação de linguagem natural (em inglês, Natural Language Understanding, NLU, Natural Language Interpretation ou NLI) é um subtópico do processamento de linguagem natural em inteligência artificial que lida com a compreensão de leitura por máquina.
Novo!!: Inferência e Entendimento de linguagem natural · Veja mais »
Escolástica
Escolástica, escolasticismo (do latim scholasticus, derivado do grego σχολαστικός, "pertence à escola", "instruído", "sábio") ou Filosofia Escolástica, é um método ocidental de pensamento crítico e de aprendizagem, com origem nas escolas monásticas cristãs, que concilia a fé cristã com um sistema de pensamento racional, especialmente o da filosofia grega (razão aristotélica e platônica).
Novo!!: Inferência e Escolástica · Veja mais »
Estatística paramétrica
Estatística paramétrica é um ramo da estatística que presume que os dados são provenientes de um tipo de distribuição de probabilidade e faz inferências sobre os parâmetros da distribuição.
Novo!!: Inferência e Estatística paramétrica · Veja mais »
Experiência (filosofia)
Experiência refere-se a eventos conscientes em geral, mais especificamente a percepções, ou ao conhecimento prático e á familiaridade produzidos por estes processos conscientes.
Novo!!: Inferência e Experiência (filosofia) · Veja mais »
Falácia matemática
Na matemática, certos tipos de prova equivocada são frequentemente exibidos e, às vezes, coletados, como ilustrações de um conceito chamado falácia matemática.
Novo!!: Inferência e Falácia matemática · Veja mais »
Falácias jingle-jangle
As falácias jingle-jangle são suposições errôneas de que duas coisas diferentes são iguais porque têm o mesmo nome (falácia jingle); ou duas coisas idênticas ou quase idênticas são diferentes porque são rotuladas de forma diferente (falácia jangle).
Novo!!: Inferência e Falácias jingle-jangle · Veja mais »
Filosofia da Lógica
Filosofia da lógica é a área da filosofia que estuda o alcance e a natureza da lógica.
Novo!!: Inferência e Filosofia da Lógica · Veja mais »
Filosofia oriental
A filosofia oriental ou filosofia asiática inclui as várias filosofias que se originaram no Leste e na Ásia Meridional, incluindo a filosofia chinesa, a filosofia indiana (incluindo a filosofia budista, a filosofia jainista, a filosofia sique), a filosofia japonesa e a filosofia coreana que são dominantes no Leste e Sudeste Asiático.
Novo!!: Inferência e Filosofia oriental · Veja mais »
Frequência do alelo menor
A frequência do alelo menor (MAF) é a frequência na qual o segundo alelo mais comum ocorre em uma determinada população.
Novo!!: Inferência e Frequência do alelo menor · Veja mais »
Giromancia
Giromancia é um método de adivinhação no qual uma pessoa gira por dentro ou percorre a circunferência de um círculo desenhado no chão, cujo perímetro é marcado com as letras de um alfabeto.
Novo!!: Inferência e Giromancia · Veja mais »
História da lógica
A história da lógica documenta o desenvolvimento da lógica em várias culturas e tradições.
Novo!!: Inferência e História da lógica · Veja mais »
História da matemática
loc.
Novo!!: Inferência e História da matemática · Veja mais »
Inconsciente cognitivo
O inconsciente cognitivo, também referido como inconsciente adaptativo, é descrito como um conjunto de processos mentais capazes de afetar o julgamento e a tomada de decisões, mas que está fora do alcance da mente consciente.
Novo!!: Inferência e Inconsciente cognitivo · Veja mais »
Inferência bayesiana
A inferência bayesiana (IB) consiste na avaliação de hipóteses pela máxima verossimilhança, uma decorrência imediata da fórmula de Bayes, e é fundamental para métodos computacionais relacionados à inteligência, mineração de dados, ou linguística histórica, sejam eles métodos bayesianos de aprendizado de máquina (AM) ou não-bayesianos.
Novo!!: Inferência e Inferência bayesiana · Veja mais »
Inferência causal
A inferência causal é o processo de determinar o efeito real e independente de um fenômeno particular que é um componente de um sistema maior.
Novo!!: Inferência e Inferência causal · Veja mais »
Inferência imediata
Uma inferência imediata é uma inferência na qual pode ser feita a partir de apenas uma afirmação ou proposição.
Novo!!: Inferência e Inferência imediata · Veja mais »
Inferência material
Em lógica, a inferência é o processo de derivação lógica de conclusões a partir de premissas conhecidas ou que se supõem serem a verdade.
Novo!!: Inferência e Inferência material · Veja mais »
Instituto de Matemática, Estatística e Computação Científica da Unicamp
O Instituto de Matemática, Estatística e Computação Científica (IMECC) é uma das unidades da Universidade Estadual de Campinas (UNICAMP).
Novo!!: Inferência e Instituto de Matemática, Estatística e Computação Científica da Unicamp · Veja mais »
Interpretação pretendida
Aquele que constrói um sistema sintático normalmente tem em mente, desde o início, alguma interpretação específica para este sistema.
Novo!!: Inferência e Interpretação pretendida · Veja mais »
Inversa
Na lógica, uma inversa é um tipo de sentença condicional que é uma inferência imediata feita a partir de outra sentença condicional.
Novo!!: Inferência e Inversa · Veja mais »
Isabelle
Isabelle é um programa de computador utilizado para processar fórmulas matemáticas.
Novo!!: Inferência e Isabelle · Veja mais »
Ken Ham
Kenneth Alfred Ham (nascido em 20 de outubro de 1951) é um um empresário, criacionista e apologista cristão australiano, que representa importancia global na defesa do modelo da terra jovem; Ele vive nos Estados Unidos e é o fundador, CEO e ex-presidente da (AiG), uma organização apologética criacionista que opera o Museu da Criação e o Ark Encounter.
Novo!!: Inferência e Ken Ham · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Inferência e Lógica · Veja mais »
Lógica aristotélica
A lógica aristotélica é o estudo formal da lógica desenvolvido pelo filósofo grego Aristóteles, na Antiguidade.
Novo!!: Inferência e Lógica aristotélica · 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!!: Inferência e Lógica de primeira ordem · Veja mais »
Lógica e racionalidade
Como o estudo dos argumentos é de clara importância para as razões pelas quais damos como verdadeiras certas coisas, a lógica é de fundamental importância para a racionalidade.
Novo!!: Inferência e Lógica e racionalidade · Veja mais »
Lógica filosófica
Entendida em um sentido estrito, a lógica filosófica é a área da filosofia que estuda a aplicação de métodos lógicos a problemas filosóficos, muitas vezes na forma de sistemas lógicos estendidos como a lógica modal.
Novo!!: Inferência e Lógica filosófica · Veja mais »
Lúcio de Cirene
Lúcio de Cirene foi um dos fundadores da Igreja Cristã em Antioquia (na atual Síria), de acordo com o livro bíblico dos Atos dos Apóstolos, mencionado por nome como um membro da igreja na cidade após a morte do rei Herodes Agripa:.
Novo!!: Inferência e Lúcio de Cirene · Veja mais »
Lista de regras de inferência
Regras de inferência são regras de transformação sintáticas que podem ser usadas para inferir uma conclusão a partir de uma premissa, para criar um argumento.
Novo!!: Inferência e Lista de regras de inferência · Veja mais »
Mamíferos peçonhentos
Mamíferos peçonhentos são animais pertencentes à classe Mammalia, produtores de veneno e detentores de mecanismos que possibilitem a injeção dessa substância em um possível alvo.
Novo!!: Inferência e Mamíferos peçonhentos · Veja mais »
Matemática discreta
propriedades matemáticas, a sua utilidade como modelos de problemas do mundo real, e sua importância no desenvolvimento de algoritmos computacionais. Matemática discreta, também chamada matemática finita, é o estudo das estruturas algébricas que são fundamentalmente discretas, em vez de contínuas.
Novo!!: Inferência e Matemática discreta · Veja mais »
Método científico
O método científico refere-se a um conjunto de regras básicas dos procedimentos que produzem o conhecimento científico, quer um novo conhecimento, quer uma correção (evolução) ou um aumento na área de incidência de conhecimentos anteriormente existentes.
Novo!!: Inferência e Método científico · Veja mais »
Método de Laplace
Em matemática, o método de Laplace é uma técnica originalmente desenvolvida por Pierre-Simon Laplace (1774, p. 366-367) para aproximar integrais da forma onde f(x) é uma função duplamente diferenciável, M é um grande número, e os pontos finais da integral a e b podem estar no infinito.
Novo!!: Inferência e Método de Laplace · Veja mais »
Método dedutivo
Método dedutivo o raciocínio dedutivo é a maneira de tirar inferências dedutivas.
Novo!!: Inferência e Método dedutivo · Veja mais »
Método hipotético-dedutivo
O Método hipotético-dedutivo consiste na construção de conjecturas, ou seja, premissas com alta probabilidade e que a construção seja similar, baseada nas hipóteses, isto é, caso as hipóteses sejam verdadeiras, as conjecturas também serão.
Novo!!: Inferência e Método hipotético-dedutivo · Veja mais »
Midrash Halacá
Midrash Halacá (מִדְרָשׁ הֲלָכָה) ou Midrashei Halakhah (מִדְרָשׁי הֲלָכָה); esse termo Investigar o Caminho; é estritamente a verificação do caminho tradicional recebido, constatado nas fontes encontradas na Torá e suas devidas interpretações, bem como, as provas de sua autenticidade.
Novo!!: Inferência e Midrash Halacá · Veja mais »
Modelo econômico
Pode-se entender um modelo econômico como uma representação (ver modelo científico) ou proposta (ver constructo social) mais amplamente, como um conceito que já seja proposicional ou metodológico a respeito de algum processo ou fenômeno econômico. Como em outras disciplinas, os modelos são, em geral, representações ideais ou simplificadas, que ajudam ao entendimento de sistemas reais mais complexos.
Novo!!: Inferência e Modelo econômico · Veja mais »
Modelos probabilísticos gráficos
Um modelo de gráfico ou modelo probabilístico gráfico ou modelo probabilístico estruturado é um modelo probabilístico no qual um grafo representa a estrutura de dependências condicionais probabilísticas entre variáveis aleatórias.
Novo!!: Inferência e Modelos probabilísticos gráficos · Veja mais »
OWL
A OWL (Ontology Web Language) é uma linguagem para definir e instanciar ontologias na World Wide Web.
Novo!!: Inferência e OWL · Veja mais »
Passivismo
Em filosofia da mente, passivismo é a teoria segundo a qual a cognição é fruto de processos mentais involuntários, espontâneos ou inconscientes.
Novo!!: Inferência e Passivismo · Veja mais »
Pensamento
O Pensador de Auguste Rodin. Em seu sentido mais comum, os termos pensamento e pensar referem-se a processos cognitivos conscientes que podem acontecer independentemente da estimulação sensorial.
Novo!!: Inferência e Pensamento · Veja mais »
Percepção visual
Percepção visual, no sentido da psicologia e das ciências cognitivas é uma de várias formas de percepção associadas aos sentidos.
Novo!!: Inferência e Percepção visual · Veja mais »
Possibilidade lógica
Possibilidade lógica refere-se a uma proposição que pode ser a consequência lógica de outra, baseada nos axiomas de um dado sistema lógico.
Novo!!: Inferência e Possibilidade lógica · Veja mais »
Pramana
Pramana (Sanskrit: प्रमाण) literalmente significa "prova" ou "meio de conhecimento".
Novo!!: Inferência e Pramana · Veja mais »
Prayers for Bobby
Prayers for Bobby é um telefilme americano de 2009 dirigido por Russell Mulcahy.
Novo!!: Inferência e Prayers for Bobby · Veja mais »
Precedente apostólico
O Precedente Apostólico é um critério Teológico, utilizado por algumas correntes do Cristianismo, para qualificar determinadas práticas, como corretas.
Novo!!: Inferência e Precedente apostólico · Veja mais »
Precognição
Precognição, conhecimento sobrenatural de eventos futuros, com ênfase não em causar mentalmente a ocorrência de eventos, mas em prever aqueles cuja ocorrência o sujeito afirma já ter sido determinada.
Novo!!: Inferência e Precognição · Veja mais »
Princípio da resolução
O princípio da resolução é uma regra de inferência que dá origem a uma técnica de demonstração por refutação para sentenças e inferências da lógica proposicional e da lógica de primeira ordem.
Novo!!: Inferência e Princípio da resolução · Veja mais »
Problema da indução
O problema da indução é a questão filosófica sobre se o raciocínio indutivo (uma generalização ou uma previsão não dedutiva) leva ao conhecimento.
Novo!!: Inferência e Problema da indução · Veja mais »
Proposição categórica
Na lógica, uma proposição categórica, ou afirmação categórica, é uma proposição que afirma ou nega que todos ou alguns dos membros de uma categoria (o termo sujeito) estão incluídos em outro (o termo predicado).
Novo!!: Inferência e Proposição categórica · Veja mais »
Raciocínio automatizado
Raciocínio automatizado é uma sub-área da inteligência artificial que estuda formas de simular raciocínio lógico por meio de métodos computacionais.
Novo!!: Inferência e Raciocínio automatizado · Veja mais »
Raciocínio lógico
Em lógica, pode-se distinguir três tipos de raciocínio lógico: dedução, indução e abdução.
Novo!!: Inferência e Raciocínio lógico · Veja mais »
Ray Hyman
Ray Hyman (23 de junho 1928 em Chelsea, Massachusetts) é Professor Emérito de Psicologia da Universidade do Oregon em Eugene, Oregon, e um conhecido crítico da parapsicologia.
Novo!!: Inferência e Ray Hyman · Veja mais »
Representação de conhecimento e raciocínio
Representação de conhecimento e raciocínio é o campo da inteligência artificial (IA) dedicado a representar informações sobre o mundo em uma forma que um sistema computacional pode usar para resolver tarefas complexas, como diagnosticar uma condição médica ou ter um diálogo em uma linguagem natural.
Novo!!: Inferência e Representação de conhecimento e raciocínio · Veja mais »
Robert Brandom
Robert B. Brandom é um filósofo estadunidense.
Novo!!: Inferência e Robert Brandom · Veja mais »
Samuel Bailey
Samuel Bailey (Sheffield, 5 de julho de 1791 — Sheffield, 18 de janeiro de 1870) foi um filósofo e escritor britânico.
Novo!!: Inferência e Samuel Bailey · Veja mais »
Sistema formal
Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático.
Novo!!: Inferência e Sistema formal · Veja mais »
Sistema perceptivo
Um sistema perceptivo é um sistema computacional (biológico ou artificial) projetado para fazer inferências sobre propriedades de um ambiente físico com base em cenas.
Novo!!: Inferência e Sistema perceptivo · Veja mais »
Sociologia
Sociologia é a ciência social que estuda a sociedade, padrões de relações sociais, interação social e cultura da vida cotidiana.
Novo!!: Inferência e Sociologia · Veja mais »
Syntactic Structures
Syntactic Structures (no Brasil, Estruturas Sintáticas e em Portugal, Estruturas Sintácticas) é uma influente obra teórica no campo da linguística escrita por Noam Chomsky e originalmente publicada em 1957 pela Mouton & Co..
Novo!!: Inferência e Syntactic Structures · Veja mais »
Teorema
Na matemática, um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas.
Novo!!: Inferência e Teorema · Veja mais »
Teoria da prova estrutural
Na lógica matemática, teoria da prova estrutural é a especialidade da teoria da prova que estuda cálculos prova que suportam uma noção de prova analítica.
Novo!!: Inferência e Teoria da prova estrutural · Veja mais »
Teste Z
Teste Z é qualquer teste estatístico no qual a distribuição do teste estatístico sob a hipótese nula pode ser aproximada por uma distribuição normal.
Novo!!: Inferência e Teste Z · Veja mais »
Transposição (lógica)
Na lógica proposicional, a transposição é uma regra de substituição válida que permite trocar o antecedente pelo consequente de um enunciado condicional em uma prova lógica se eles estão ambos negados.
Novo!!: Inferência e Transposição (lógica) · Veja mais »
Verdade
A verdade é a propriedade de estar de acordo com o fato real ou a realidade.
Novo!!: Inferência e Verdade · Veja mais »
Verdade lógica
Verdade lógica é um dos conceitos mais fundamentais na lógica.
Novo!!: Inferência e Verdade lógica · Veja mais »
Wiki semântico
Um wiki semântico é uma extensão de um wiki tradicional.
Novo!!: Inferência e Wiki semântico · Veja mais »
