Domande taggate «mathematical-foundations»


3
Cos'è esattamente una logica?
Potrebbero esserci delle scuse per aver fatto un'altra domanda sui prerequisiti, ma ero confuso sui punti di partenza. Mi sono imbattuto in vari termini come "Logica modale", "Logica temporale", "Logica di primo ordine", "Logica di secondo ordine" e "Logica di ordine superiore". Cosa significa esattamente "Logica" in questo contesto? Come …


2
Alcuni linguaggi di programmazione usano come base le funzioni ricorsive generali?
Questa è una domanda ingenua e, quindi, probabilmente malformata, quindi scusa in anticipo! La mia opinione è che una macchina di Turing può essere vista come la base computazionale per linguaggi di programmazione procedurali / imperativi. Allo stesso modo, il calcolo lambda è la base per linguaggi di programmazione funzionale. …



3
Entropia di Shannon di 0,922, 3 valori distinti
Data una stringa di valori , l'entropia di Shannon nella base di log arriva a . Da quanto ho capito, nella base l'entropia di Shannon arrotondata per eccesso è il numero minimo di bit in binario per rappresentare un singolo dei valori.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Tratto dall'introduzione su questa pagina di Wikipedia: https://en.wikipedia.org/wiki/Entropy_%28information_theory%29 …



Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.