Resultados da pesquisa

{{Sem notas|data=dezembro de 2016}} ...' é um determinado valor de ''t'' para ser substituído pela variável ''x'' de uma [[Quantificação existencial|afirmação existencial]] da forma ∃''x'' φ(' ...

...ontexto de modelos finitos. Outra técnica para provar a inexpressibilidade de resultados é o [[teorema da compacidade]], que não funciona em modelos fini ...O segundo jogador ganha se houve isomorfismo entre os elementos escolhidos de duas estruturas. ...

...va mais natural e intuitiva à clássica [[lógica de primeira ordem]] (FOL). Lógica do SE é caracterizada por quantificadores ramificados. Esta é mais expressi ...gica do SE foi motivada pela [[Lógica do Diálogo|semântica de jogos]] para jogos com [[Informação perfeita]]. ...

...val. No final dos anos 50, [[Paul Lorenzen]] foi o primeiro a introduzir a Lógica do diálogo, posteriormente aprimorada por Kuno Lorenz. Quase ao mesmo tempo ...conceito na lógica em que esta é compreendida como um instrumento dinâmico de inferência. ...

...mente equivalentes''' se elas satisfazem as mesmas σ-sentenças de [[Lógica de primeira ordem|primeira ordem]]. ...sub>) com parâmetros ''a''₁, …, ''a''_''n'' de ''N'' é verdade em ''N'' [[se e somente se]] for verdade em ''M''. ...

...adurecendo, alcançando sua forma moderna em [[1963]], a partir do trabalho de [[Saul Kripke|Kripke]]. ...riar uma [[lógica de comunicações públicas]] e uma [[lógica de atualização de produto]], que tentam modelar as sutilezas epistêmicas dos diálogos. Os tra ...

{{Mais notas|data=julho de 2016}} {{Reciclagem|data=julho de 2011}} ...

....</ref>), associando sistemas que se comportam da mesma maneira no sentido de que um sistema simula o outro e vice-versa. ...tema de transição rotulado (<math>S</math>, &Lambda;, &rarr;); uma relação de ''bissimulação'' é uma [[relação binária]] <math>R</math> sobre <math>S</ma ...

...Uma solução é portanto um conjunto de valores que satisfazem as variáveis de forma a atender todas as restrições que existem para o mundo em que se enco ...que, a resolução de problemas nestes mundos é feita por meio da eliminação de variáveis ou do [[algoritmo simplex]]. ...

{{Multitag|img|rec|trad|mnot|p1=ci|data=março de 2014}} O objetivo da '''lógica probabilística''' (também visto como '''probabilidade lógica''' e '''raciocínio lógico''') é combinar a capacidade da [[teoria da probab ...

[[Ficheiro:Pocket cube solved.jpg|thumb|right|300px|Um cubo de bolso em seu estado resolvido.]] [[Ficheiro:Pocket cube twisted.jpg|thumb|Um cubo de bolso com um lado a ser girado.]] ...

...ode dar como saída um [[Função parcial|símbolo que não faz parte do espaço de solução]] para indicar a falha em encontrar uma solução.<ref name="Galbrait ...soluções possíveis é relativamente limitada, e onde verificar a corretude de uma solução candidata é relativamente fácil, enquanto realmente calcular um ...

{{Multitag|rev|rec|mnot|wkf|data=julho de 2020}} ...ias apresentadas. A tecnologia engloba aspectos derivados de vários campos de estudo, incluindo [[ciência da computação]], [[educação]], [[psicologia]] e ...

...Four Seasons Hotels and Resorts|Four Seasons Hotel]] da cidade sul-coreana de [[Seul]].<ref>[https://tecnoblog.net/192604/computador-google-vence-campeao ...barreira a ser quebrada. Vários especialistas acreditavam que os programas de [[inteligência artificial]] ainda demorariam mais uma década até vencer o s ...

{{mais fontes|ciência=sim|data=abril de 2021}} ...terpretada como sendo o conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em [[teorema]]s e não-teoremas.]] ...

{{Mais fontes|data=dezembro de 2022}} ...al [[recreação|recreativo]]. Neste ramo ''criptograma'' também é um gênero de [[Puzzle|''quebra-cabeças'']] matemáticos com operações [[aritmética]]s ond ...

O '''V-Cube 7''' é um [[quebra-cabeça]] de combinação na forma de um cubo 7 × 7 × 7. O primeiro 7 × 7 × 7 produzido em massa foi inventado po ...relativas dos quadrados centrais fixos e pela distribuição das combinações de cores nas arestas e nos cantos. ...

...em "ENSAIOS MATEMÁTICOS" (2008, Volume 15, 1-126) - SOCIEDADE BRASILEIRA DE MATEMÁTICA</ref> É uma generalização do [[Conjunto canónico|conjunto canôni ...base para estudar diretamente sistemas infinitos, em vez de usar o limite de sistemas finitos. ...

{{Má tradução|data=setembro de 2021}} ...emos representar por x várias pessoas (ex: Alice e Bob), todos os números de 0 até 10, ou todas as construções em Londres com 20 andares ou mais. ...

{{Wikificação|data=novembro de 2016}} ...inas=|acessodata=}}</ref> particularmente devido a sua ênfase na limitação de recursos, dualidade e interação. ...