Risultati della ricerca
Vai alla navigazione
Vai alla ricerca
Corrispondenze nel titolo delle pagine
- ...ttoarea della [[programmazione logica]] che inserisce nella programmazione logica regole di inferenza basate sulla [[abduzione]]. {{Paradigmi di programmazione}} ...3 KB (359 parole) - 08:28, 28 lug 2019
Corrispondenze nel testo delle pagine
- ...ttoarea della [[programmazione logica]] che inserisce nella programmazione logica regole di inferenza basate sulla [[abduzione]]. {{Paradigmi di programmazione}} ...3 KB (359 parole) - 08:28, 28 lug 2019
- ...ica]], e in particolare nel [[calcolo proposizionale]], una '''[[Clausola (logica)|clausola]] di Horn''' è una disgiunzione di letterali in cui ''al massimo Dopodiché utilizziamo l'equivalenza logica: ...4 KB (653 parole) - 03:19, 13 mar 2025
- ...tuizionista''' (o '''intuizionistica'''), o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo mate ...crescente. La logica intuizionista si propone come una rigorosa e formale logica matematica. Benché {{chiarire|non sia chiaro|in base a?}} se un [[Calcolo ( ...5 KB (696 parole) - 06:58, 17 ago 2024
- ...non si può dedurre automaticamente dal programma (poiché non è conseguenza logica dei fatti e delle regole contenute nel programma). ...-019-09869-y Proof Theory for Positive Logic with Weak Negation]. ''Studia Logica'', Springer, 108, pages 649–686 (2020).</ref><ref>G. Wagner. [https://oxyge ...5 KB (668 parole) - 14:11, 4 mar 2025
- In [[matematica]] e in [[programmazione (informatica)|programmazione]] le '''parentesi di Iverson''' riguardano una notazione che consente di as dove ''P'' rappresenta una [[proposizione (logica)|proposizione]] o una [[relazione (matematica)|relazione]]. ...2 KB (239 parole) - 00:09, 10 feb 2023
- ...i per linguaggi come [[Haskell (linguaggio)|Haskell]], [[ML (linguaggio di programmazione)|ML]], e [[F Sharp|F#]]. Come sistema di riscrittura di termini, è [[Propri Sotto l'[[isomorfismo di Curry-Howard]], il sistema F corrisponde a una logica proposizionale di secondo ordine. ...5 KB (759 parole) - 13:48, 11 apr 2023
- {{Linguaggio di programmazione |paradigmi = [[programmazione funzionale]], programmazione parallela ...6 KB (740 parole) - 10:49, 24 giu 2024
- In [[logica]], [[matematica]], e [[informatica]], l''''arietà''' (sinonimi: '''tipo''', ...e in [[informatica teorica]] (sebbene nella [[Programmazione (informatica)|programmazione]] pratica sia comune definire funzioni con più di 3 argomenti). ...5 KB (624 parole) - 01:01, 13 mar 2025
- {{F|linguaggi di programmazione|maggio 2015}} * la [[logica combinatoria]]; ...4 KB (528 parole) - 21:49, 12 ago 2024
- In [[informatica]], in [[logica]], in [[matematica]] (in particolare in [[algebra astratta]]) e in [[fisica ...ggi di programmazione [[C (linguaggio)|C]], [[C++]], [[Java (linguaggio di programmazione)|Java]], [[Perl]] e altre varianti di questi; oppure l'operatore '''*/''' d ...3 KB (360 parole) - 19:37, 29 nov 2018
- {{F|programmazione|febbraio 2013}} Questa tecnica è alla base del [[linguaggio di programmazione]] [[Prolog]]. ...4 KB (492 parole) - 18:33, 8 feb 2024
- ...16|dataarchivio=13 marzo 2016|data=21 dicembre 2009|urlmorto=sì}}</ref> La logica utilizzata è non-[[Monotonia dell'implicazione|monotona]], ovvero l'insieme ...licati]] dalla stessa. Il risultato di tale addizione è sempre [[Coerenza (logica matematica)|coerente]] se il KB è in [[forma di Horn]], altrimenti la sua c ...6 KB (850 parole) - 22:44, 15 mar 2025
- ...[[teoria degli insiemi]], nei [[linguaggio di programmazione|linguaggi di programmazione]], ecc., l'ordine in cui le operazioni di un'[[Espressione matematica|espre In questa espressione, l'uguale (in alcuni linguaggi di programmazione si usa invece ==) dà come risultato ''vero'' se i membri sono uguali, altri ...5 KB (613 parole) - 09:49, 26 gen 2025
- ...utilizzato per definire una semantica dichiarativa nella [[programmazione logica]] con negazione. La nozione di modello stabile, introdotto da Gelfond e Lif Quindi, l'[[Interpretazione (logica)|interpretazione]] di default <math>I</math> dei quattro letterali sarà la ...6 KB (888 parole) - 13:04, 3 ott 2023
- ...ziale di [[assiomi]] e di regole su di essi, di valutare la [[correttezza (logica matematica)|correttezza]] di [[Programma (informatica)|programmi]] utilizza ...icolari quali la [[concorrenza (informatica)|concorrenza]], i [[puntatore (programmazione)|puntatori]] e le [[Funzione (informatica)|procedure]]. ...8 KB (1 135 parole) - 18:24, 17 set 2024
- ...oti come ''answer set solvers''. Il linguaggio tipico di questo modello di programmazione è l{{'}}''Answer Set Programming in Logic'' ([[#AnsProlog|AnsProlog]]), sot ...regola nella semantica del modello stabile è rappresentato dalla formula [[Logica proposizionale|proposizionale]]: ...12 KB (1 689 parole) - 22:47, 15 mar 2025
- * '''P''' è un'operazione sui [[Semaforo (programmazione)|semafori]], usata per la sincronizzazione dei processi. == Logica simbolica == ...5 KB (587 parole) - 09:10, 16 giu 2023
- ...idee della logica lineare hanno influito in settori come i [[linguaggi di programmazione]], la [[game semantics]] o la [[Meccanica quantistica|fisica dei quanti]]<r ...monoidale|categorie monoidali simmetriche]], o dell'interpretazione della logica classica sostituendo le [[algebra booleana|algebre booleane]] con le [[C*-a ...8 KB (1 161 parole) - 02:14, 16 mar 2025
- * la [[logica combinatoria]]; ...i di programmazione]], sia [[Programmazione imperativa|imperativi]] sia [[Programmazione funzionale|funzionali]] sono Turing equivalenti. In particolare un linguagg ...5 KB (694 parole) - 21:06, 29 mag 2024
- In [[Programmazione (informatica)|programmazione]] lo '''switch''', chiamato a volte anche ''switch-case'', è una [[struttur ...uzione usata in gran parte dei [[Linguaggio di programmazione|linguaggi di programmazione]], il cui ruolo consiste nel distinguere più casi corrispondenti ad altrett ...10 KB (1 231 parole) - 21:07, 7 ott 2024