Risultati della ricerca
Vai alla navigazione
Vai alla ricerca
Corrispondenze nel titolo delle pagine
- La '''memoria semantica''' è la parte della [[memoria dichiarativa]] che riguarda le conoscenze gen ...ua. Per esempio, il ricordo "l'uomo è un mammifero" fa parte della memoria semantica, mentre il ricordo "alle elementari ho imparato che l'uomo è un mammifero" ...26 KB (3 688 parole) - 03:10, 13 mar 2025
- In [[crittografia]] si definisce '''sicurezza semantica''' un criterio di valutazione della sicurezza in un [[crittografia a chiave ...icuri contro scenari di questo tipo. Come conseguenza di ciò, la sicurezza semantica è oggi considerata una condizione insufficiente per stabilire il livello di ...4 KB (578 parole) - 11:18, 4 mag 2019
- ...odel''), o '''''answer set''''', è un concetto utilizzato per definire una semantica dichiarativa nella [[programmazione logica]] con negazione. La nozione di m ...6 KB (888 parole) - 13:04, 3 ott 2023
Corrispondenze nel testo delle pagine
- === Semantica === ...2 KB (340 parole) - 05:57, 14 mag 2022
- In [[crittografia]] si definisce '''sicurezza semantica''' un criterio di valutazione della sicurezza in un [[crittografia a chiave ...icuri contro scenari di questo tipo. Come conseguenza di ciò, la sicurezza semantica è oggi considerata una condizione insufficiente per stabilire il livello di ...4 KB (578 parole) - 11:18, 4 mag 2019
- == Semantica == ...3 KB (386 parole) - 22:49, 8 nov 2017
- == Relazione con la semantica di Kripke == Considerato un generico [[sistema formale]] in cui sia ammessa la ''semantica di Kripke'', è dimostrato che la formula di Barcan e il suo inverso non son ...3 KB (528 parole) - 01:06, 5 giu 2024
- == Completezza sintattica e semantica == La completezza sintattica è di per sé una proprietà ''più forte'' di quella semantica. ...4 KB (507 parole) - 15:26, 13 giu 2024
- == Compattezza semantica == Nel caso di un [[linguaggio del primo ordine]] il teorema di compattezza semantica è il seguente: ...4 KB (591 parole) - 00:32, 23 ott 2022
- ==Profondità modale e semantica== ...4 KB (559 parole) - 17:58, 23 ott 2022
- == Semantica == Per dare la [[Semantica (logica matematica)|semantica]] della logica LTL è necessario definire la struttura di interpretazione ([ ...7 KB (1 032 parole) - 10:18, 17 lug 2021
- ...o indicato con '''E''' e non è [[logica modale normale|normale]]. Sia la [[semantica algebrica]] che quella di Scott–Montague caratterizzano sistemi di logica m ...1 KB (217 parole) - 21:22, 10 feb 2025
- ...interpretati come [[Relazione (matematica)|relazioni]]. Ad esempio, in una semantica standard per la logica del primo ordine, la formula <math>R(a,b)</math> sar ...3 KB (461 parole) - 18:07, 23 ott 2022
- ...stema, chiamato [[OpenMath]], che si occupi della [[semantica (matematica)|semantica matematica]], inteso come complemento di MathML, è in sviluppo. ...4 KB (573 parole) - 12:29, 8 feb 2023
- ...modelli può essere rappresentata dall'algebra di [[Arend Heyting]] o dalla semantica di [[Saul Kripke]]. ...5 KB (696 parole) - 06:58, 17 ago 2024
- ...]] alle [[Proposizione (logica)|proposizioni]] della [[semantica di Kripke|semantica relazionale di Kripke]]. Nella semantica di Kripke, il valore di verità di una formula modale in un [[mondo possibil ...5 KB (775 parole) - 02:03, 17 mar 2025
- ...ome il [[Teorema di compattezza (logica matematica)|teorema di compattezza semantica]]. ...2 KB (222 parole) - 21:03, 29 gen 2025
- ...l'oggetto "designato" che esso denomina), che è chiamato sua [[estensione (semantica)|estensione]]; e, per quanto concerne gli enunciati, la loro estensione è i ...llogismo modale|sillogismi modali]]. [[Gottlob Frege]] sviluppò un tipo di semantica bidimensionale: per risolvere questioni come quelle degli enunciati intensi ...11 KB (1 469 parole) - 02:24, 17 mar 2025
- * '''coerenza semantica''' se la teoria ammette almeno un [[modello (logica matematica)|modello]]. ...2 KB (232 parole) - 23:21, 12 lug 2024
- La ''semantica'' della logica proposizionale definisce il significato dei simboli e di qua ==Semantica== ...9 KB (1 287 parole) - 22:33, 29 gen 2025
- ...erpretazioni dei linguaggi formali è chiamato [[Semantica formale (logica)|semantica formale]]. === Semantica dei connettivi logici === ...11 KB (1 643 parole) - 15:31, 1 lug 2023
- * la [[Semantica (informatica)|semantica]], che interpreta questi enunciati come espressione delle relazioni tra gli ...5 KB (711 parole) - 10:04, 14 giu 2024
- [[Categoria:Semantica]] ...2 KB (277 parole) - 20:47, 24 nov 2022