Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- ...de dados]] lógico de fatos, um sistema ILP irá derivar um programa de lógica hipotetizado que envolve todos os exemplos positivos e nenhum dos exemplos ...> Muggleton também fundou a conferência internacional sobre Programação em lógica indutiva, introduziu as idéias teóricas de Invenção de Predicado, Reso ...19 kB (3 054 palavras) - 12h07min de 13 de novembro de 2024
Resultados no conteúdo das páginas
- : A [[negação|negação lógica]] (¬): ''¬P''; : Na lógica dos [[Circuito digital|circuitos digitais]], a negação de ''A'' é represent ...2 kB (262 palavras) - 22h58min de 10 de março de 2020
- ...ulas bem formadas]] de um sistema lógico. Ao fornecer uma [[interpretação (lógica)|interpretação]], não faz sentido atribuir um significado para textos que n ...extos com significado em uma linguagem formal, tal como uma [[linguagem de programação]], isto é, os textos para os quais faz sentido definir a [[semântica]] ou s ...3 kB (449 palavras) - 12h44min de 25 de março de 2013
- A '''forma normal clausal''' é usada em [[programação lógica]] e em muitos sistemas provadores de teoremas. O procedimento de conversão O procedimento começa com uma fórmula qualquer da [[Lógica de primeira ordem|lógica clássica de primeira ordem]]: ...5 kB (835 palavras) - 01h22min de 12 de novembro de 2019
- ...o]], preocupada em atribuir significado às construções das [[linguagens de programação]]. ...o efeito da execução das estruturas como asserções, que são sentenças da [[lógica de predicados]]. Estas sentenças são usualmente chamadas de axiomas, e daí ...2 kB (363 palavras) - 16h37min de 26 de junho de 2019
- ...not}~p</math> pode ser diferente do enunciado <math>\neg p</math> (negação lógica de <math>p</math>), dependendo da completude do algoritmo de inferência e a ...cterísitca da programação em lógica desde seu uso inicial em linguagens de programação como Planner e [[Prolog]]. Em Prolog, é normalmente implementada usando os ...5 kB (835 palavras) - 18h57min de 10 de dezembro de 2022
- ...de Horn''' é uma [[Cláusulas (Lógica)|cláusula]] (disjunção de [[Literal (lógica)|literais]]) com no máximo um literal ''positivo''.<ref name="horn.clause"> ...o''' não tem nenhum literal positivo, e pelo menos um literal negativo. Em programação, a base de dados consiste de ''regras'' e ''fatos'', e um ''objetivo negado ...5 kB (803 palavras) - 21h24min de 1 de abril de 2019
- '''Notação infixa''' é uma notação comum em [[aritmética]] e na [[lógica]], onde os operadores são colocados entre os operandos em que eles atuam<re ...esa inversa|posfixa]] do que analisar a infixa, mas muitas [[linguagens de programação]] a usam por causa de sua familiaridade. ...2 kB (258 palavras) - 13h43min de 7 de junho de 2018
- Na [[matemática lógica]] e [[ciência da computação teórica]], um Sistema de Reescrita tem a '''pr ...esta seja uma propriedade muito útil, há uma desvantagem: uma linguagem de programação com a propriedade de normalização não pode ser [[Turing-completa]]. Isto si ...3 kB (514 palavras) - 21h28min de 11 de setembro de 2017
- ...lianos, cujas interpretações incluem ''falso'' e ''verdadeiro''. Em [[lógica]], matemática e [[ciência da computação teórica]], um domínio booliano é ge ...m um tipo primitivo que representa os boolianos: em [[C (linguagem de programação)|C]] ou [[BASIC]], por exemplo, falsidade é representada pelo número 0 e a ...3 kB (492 palavras) - 18h59min de 7 de junho de 2019
- ...isso são as constantes da biblioteca matemática de qualquer [[linguagem de programação]]; outro exemplo se refere ao valor de PI que é o mesmo(3,14) e, a menos qu Em lógica, no Cálculo Quantificacional Clássico as constantes podem ser divididas em ...5 kB (837 palavras) - 14h57min de 27 de dezembro de 2022
- ...ses dois alfabetos) são [[linguagem de programação esotérica|linguagens de programação esotéricas]], [[Turing tarpit]]s que são projetadas para ser tão pequenas q * [[Lógica combinatória]] ...2 kB (375 palavras) - 19h40min de 20 de outubro de 2019
- ...mputador, que se preocupa em descrever as estruturas de uma [[linguagem de programação]]. A necessidade de uma semântica formal (matemática) para linguagens de programação justifica-se, pois: ...4 kB (632 palavras) - 17h38min de 21 de maio de 2019
- ...rimitivas sejam [[Tautologia | sentenças verdadeiras]] na [[Interpretação (lógica) | interpretação]]; suas [[inferência | regras de inferência]] devem ser ta * [[Lógica]] ...3 kB (462 palavras) - 05h20min de 30 de março de 2013
- ...esenvolvimento de [[linguagem de programação|linguagens de programação]] [[programação funcional|funcionais]]. Ela é baseada em combinadores, [[função de ordem su ...bstração funcional, o [[cálculo lambda]], que se tornou mais popular que a lógica combinatória. Até que a ciência da computação tomasse interesse no assunto ...8 kB (1 437 palavras) - 19h37min de 4 de fevereiro de 2020
- ...imento. Enquanto a [[lógica proposicional]] pode apenas expressar fatos, a lógica autoepistêmica pode exprimir conhecimento e falta de conhecimento sobre fat ...] com [[negação por falha]], pode ser vista como uma forma simplificada da lógica autoepistêmica. ...7 kB (1 031 palavras) - 12h38min de 27 de dezembro de 2023
- * [[E (linguagem de programação)]], linguagem de programação orientada a objetos * [[AmigaE]], linguagem de programação ...5 kB (786 palavras) - 23h12min de 21 de agosto de 2024
- ...ntos. A conjunção é representada pelo [[conectivo lógico]] '''∧''', e em [[programação]] por '''AND''' ou '''&&''' que = a letra '''E''' A conjunção lógica pode ainda ser representada pelo símbolo do produto.<ref>[https://en.wikive ...5 kB (790 palavras) - 17h23min de 11 de maio de 2024
- == Constante na lógica == Na lógica, no Cálculo Quantificacional Clássico as constantes podem ser divididas em ...7 kB (1 070 palavras) - 01h58min de 14 de março de 2025
- ...m operações de aridade maior do que 2, salvo em áreas especializadas. Na [[programação]] o uso de operação ''3''-ária (if – then – else) é mais comum, embora não ...re…). Estes são importantes exemplos e que também existem em linguagens de programação puramente funcionais. ...6 kB (1 011 palavras) - 14h53min de 28 de junho de 2020
- ...80 e 1990, foram desenvolvidas a inclusão de tal teoria em [[linguagens de programação]] como [[Prolog]] e [[C++]]. ...forma precisamente computacional). Como ocorre frequentemente em jogos de lógica como o [[Sudoku]]. ...14 kB (2 235 palavras) - 17h30min de 22 de dezembro de 2023