Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- ...não revela nenhuma informação sobre o texto puro, enquanto que a segurança semântica implica que qualquer informação revelada não pode ser extraída. <ref name=" ...sta última definição é mais comum do que a definição original de segurança semântica, porque ela facilita a prova da segurança dos sistemas de encriptação práti ...7 kB (1 078 palavras) - 19h19min de 10 de março de 2025
- {{Ver desambiguação|Semântica}} '''Semântica formal''' é a área de estudo de [[ciência da computação]] que se preocupa e ...4 kB (632 palavras) - 17h38min de 21 de maio de 2019
- '''Semântica denotacional''' designa uma abordagem de [[semântica formal]]. A semântica formal é uma das áreas de estudo de [[ciência da computação]], preocupada e Na semântica denotacional o efeito da computação interessa mais que como ela é produzida ...3 kB (392 palavras) - 17h38min de 21 de maio de 2019
- '''Semântica axiomática''' é uma abordagem de [[semântica formal]]. A [[semântica formal]] é uma das áreas de estudo de [[ciência da computação]], preocupada * [[Semântica formal]] ...2 kB (363 palavras) - 16h37min de 26 de junho de 2019
- '''Semântica natural''' é uma das abordagens de [[semântica formal]]. A semântica formal é uma das áreas de estudo de [[ciência da computação]], preocupada e A semântica natural é uma versão da [[semântica operacional]]. Na abordagem operacional, o significado de uma construção da ...2 kB (332 palavras) - 16h37min de 26 de junho de 2019
- ...operacional estruturada''' é uma das abordagens de [[semântica formal]]. A semântica formal é uma das áreas de estudo de [[ciência da computação]], preocupada e Na [[semântica operacional]], o significado de uma construção da linguagem é especificado ...2 kB (386 palavras) - 17h38min de 21 de maio de 2019
- Em [[filosofia da linguagem]], uma '''teoria semântica da verdade''' é uma teoria que afirma que a [[verdade]] é uma propriedade d A concepção [[semântica]] da verdade foi publicada pelo [[lógico]] [[Poloneses|polonês]] [[Alfred T ...8 kB (1 264 palavras) - 07h12min de 6 de dezembro de 2024
- ...ação, juntamente com a completude do programa e a semântica bem formada. A semântica de modelo estável é a base da programação de conjunto de resposta. Pesquisas sobre a semântica declarativa da negação na programação em lógica foram motivadas pelo fato d ...29 kB (5 114 palavras) - 16h57min de 10 de junho de 2020
Resultados no conteúdo das páginas
- ...operacional estruturada''' é uma das abordagens de [[semântica formal]]. A semântica formal é uma das áreas de estudo de [[ciência da computação]], preocupada e Na [[semântica operacional]], o significado de uma construção da linguagem é especificado ...2 kB (386 palavras) - 17h38min de 21 de maio de 2019
- '''Semântica natural''' é uma das abordagens de [[semântica formal]]. A semântica formal é uma das áreas de estudo de [[ciência da computação]], preocupada e A semântica natural é uma versão da [[semântica operacional]]. Na abordagem operacional, o significado de uma construção da ...2 kB (332 palavras) - 16h37min de 26 de junho de 2019
- ==Semântica de Kripke== Em termos de [[semântica de Kripke]], '''S5''' é caracterizado por modelos em que a relação de acess ...1 kB (231 palavras) - 03h16min de 17 de dezembro de 2024
- {{Ver desambiguação|Semântica}} '''Semântica formal''' é a área de estudo de [[ciência da computação]] que se preocupa e ...4 kB (632 palavras) - 17h38min de 21 de maio de 2019
- '''Semântica denotacional''' designa uma abordagem de [[semântica formal]]. A semântica formal é uma das áreas de estudo de [[ciência da computação]], preocupada e Na semântica denotacional o efeito da computação interessa mais que como ela é produzida ...3 kB (392 palavras) - 17h38min de 21 de maio de 2019
- '''Semântica axiomática''' é uma abordagem de [[semântica formal]]. A [[semântica formal]] é uma das áreas de estudo de [[ciência da computação]], preocupada * [[Semântica formal]] ...2 kB (363 palavras) - 16h37min de 26 de junho de 2019
- * Todas as instâncias da semântica de Kripke tal que: <math>\Box (A \longrightarrow B) \vdash (\Box A \longrig ...micas, por exemplo, são não-normais, geralmente porque elas não utilizam a semântica de Kripke. ...1 kB (180 palavras) - 04h10min de 13 de março de 2024
- == Semântica em Planner == == Semântica em Prolog == ...5 kB (835 palavras) - 18h57min de 10 de dezembro de 2022
- == Semântica == == Semântica finitamente valorada == ...5 kB (746 palavras) - 13h40min de 9 de novembro de 2023
- ...endendo do contexto, geralmente se referindo à propriedade da [[validade]] semântica. Intuitivamente, um sistema é chamado de completo nesse sentido particular, ...sistema é correto com respeito a uma propriedade (principalmente validade semântica) se cada um dos seus teoremas possuem essa propriedade. ...6 kB (861 palavras) - 14h30min de 26 de dezembro de 2024
- == Relação com o jogo da semântica == ...o de testemunha leva a mais uma ideia geral do [[Lógica do diálogo|jogo da semântica]]. No caso de sentença <math>\exists x\, \phi(x)</math> a estratégia venced ...4 kB (560 palavras) - 22h15min de 3 de dezembro de 2016
- ...a]] dotada de semântica, temos que uma fórmula nesta lógica é conseqüência semântica de uma dada coleção de fórmulas nesta lógica se toda interpretação nesta ló ...3 kB (568 palavras) - 03h25min de 29 de dezembro de 2016
- ...gica]]" (acarreta em), "[[Teoria dos modelos|modelo de]]", "é consequência semântica de " ou no inglês "is stronger than".<ref>{{citar livro|último = Nederpelt| * Ao expressar [[Consequência lógica|consequencia lógica]] ([[semântica]]), com um conjunto de sentenças a esquerda e uma única sentença a direita, ...5 kB (712 palavras) - 08h43min de 22 de novembro de 2018
- == Relação com semântica baseada em jogos == A noção de testemunha leva a mais uma ideia geral da [[Lógica do diálogo|semântica baseada em jogos]]. No caso da sentença <math>\exists x\, \phi(x)</math> a ...4 kB (577 palavras) - 18h07min de 5 de fevereiro de 2023
- Em [[lógica]], o '''acarretamento''' (ou implicação lógica ou consequência semântica) é uma relação entre sentenças de uma [[linguagem formal]] de tal forma que ...a <math>\boldsymbol{\alpha}</math>. Note que o acarretamento é uma relação semântica. ...4 kB (627 palavras) - 23h46min de 9 de janeiro de 2023
- == Conjunção semântica == A operação lógica da conjunção funciona da mesma forma que a conjunção semântica '''e'''. ...5 kB (790 palavras) - 17h23min de 11 de maio de 2024
- Em [[filosofia da linguagem]], uma '''teoria semântica da verdade''' é uma teoria que afirma que a [[verdade]] é uma propriedade d A concepção [[semântica]] da verdade foi publicada pelo [[lógico]] [[Poloneses|polonês]] [[Alfred T ...8 kB (1 264 palavras) - 07h12min de 6 de dezembro de 2024
- == Conjunção semântica == A operação lógica da disjunção funciona de forma semelhante à conjunção semântica '''ou'''. ...5 kB (800 palavras) - 22h05min de 30 de março de 2023
- ...não revela nenhuma informação sobre o texto puro, enquanto que a segurança semântica implica que qualquer informação revelada não pode ser extraída. <ref name=" ...sta última definição é mais comum do que a definição original de segurança semântica, porque ela facilita a prova da segurança dos sistemas de encriptação práti ...7 kB (1 078 palavras) - 19h19min de 10 de março de 2025
- ...zes referido como '''E''', é [[Lógica modal normal| não-nomal]]. Tanto a [[semântica algébrica]] quanto a de vizinhanças caracterizam sistemas modais clássicos ...1 016 byte (165 palavras) - 19h35min de 25 de agosto de 2021