Tag first-order-logic - Questa è pagina 3 - GeneraCodice

Alloy expression failed to be typechecked

https://www.generacodice.com/it/articolo/3153118/alloy-expression-failed-to-be-typechecked

logic - modeling - specifications - first-order-logic - alloy

Formula logica del primo ordine

https://www.generacodice.com/it/articolo/2500498/formula-logica-del-primo-ordine

logic - first-order-logic

How to describe Deterministic Transitive Closure in FOL?

https://www.generacodice.com/it/articolo/2477691/how-to-describe-deterministic-transitive-closure-in-fol

first-order-logic - datalog - finite-model-theory - descriptive-complexity

cs.stackexchange

Come comprendere il quantificatore senza predizione "∀ (λφ. (Φ x m → φ y))"?

https://www.generacodice.com/it/articolo/2475553/come-comprendere-il-quantificatore-senza-predizione-λφ-Φ-x-m-φ-y

lambda-calculus - isabelle - first-order-logic - modal-logic - higher-order-logic

cs.stackexchange

Esprimere le funzioni usando il dizionario aritmetico

https://www.generacodice.com/it/articolo/2467152/esprimere-le-funzioni-usando-il-dizionario-aritmetico

turing-machines - first-order-logic - computation-models

cs.stackexchange

Algoritmo di unificazione senza verificarsi

https://www.generacodice.com/it/articolo/2466036/algoritmo-di-unificazione-senza-verificarsi

logic - unification - first-order-logic - propositional-logic

cs.stackexchange

Detrazione naturale: comprensione dell'eliminazione inferiore (¬)

https://www.generacodice.com/it/articolo/2464167/detrazione-naturale-comprensione-dell-eliminazione-inferiore

logic - first-order-logic - natural-deduction

cs.stackexchange

Perché la soddisfattiva delle formule ESO non è uguale alla soddisfabilità delle formule FO?

https://www.generacodice.com/it/articolo/2454729/perche-la-soddisfattiva-delle-formule-eso-non-e-uguale-alla-soddisfabilita-delle-formule-fo

first-order-logic - higher-order-logic

cs.stackexchange

Nella logica del primo ordine, come possiamo normalmente rappresentare una dichiarazione?

https://www.generacodice.com/it/articolo/2454351/nella-logica-del-primo-ordine-come-possiamo-normalmente-rappresentare-una-dichiarazione

first-order-logic - ontologies

cs.stackexchange

Predicate Logic in Haskell

https://www.generacodice.com/it/articolo/2329591/predicate-logic-in-haskell

data-structures - haskell - context-free-grammar - first-order-logic

«
1
2
3
4
5
6
»

Risultati trovati: 218