Scienza del computer mathematical-foundations

29

Perché scrivere prove matematiche è più a prova di errore che scrivere codice per computer?

Ho notato che trovo molto più facile scrivere prove matematiche senza fare errori, piuttosto che scrivere un programma per computer senza bug. Sembra che questo sia qualcosa di più diffuso della mia esperienza. La maggior parte delle persone crea continuamente bug nel software durante la programmazione e ha il compilatore …

190 correctness-proof mathematical-foundations philosophy

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 …

36 logic mathematical-foundations

11

Perché i dati in informatica sono considerati discreti?

Comprendo che la "struttura" dei dati dipende totalmente dall'algebra booleana, ma: Perché i dati sono considerati un'entità matematica discreta anziché continua? In relazione a questo: Quali sono gli svantaggi, o invarianti, che vengono violati nella strutturazione dei dati come entità continua in dimensioni ?rrr Non sono un esperto del settore …

35 data-structures mathematical-foundations

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. …

23 programming-languages mathematical-foundations church-turing-thesis

6

Cosa differenzia precisamente l'informatica dalla matematica nel contesto teorico?

Sono uno studente universitario di informatica con una grande passione per lo studio della matematica. Sono fermamente convinto che l'informatica o l'informatica teorica sia una branca diretta della matematica e della logica e anche dell'opinione che una laurea in informatica debba sempre essere orientata alla matematica come un dato di …

15 mathematical-foundations

6

Quali parti dell'algebra lineare sono utilizzate nell'informatica?

Ho letto Linear Algebra e le sue applicazioni per aiutare a comprendere il materiale informatico (principalmente l'apprendimento automatico), ma sono preoccupato che molte informazioni non siano utili a CS. Ad esempio, sapere come risolvere in modo efficiente i sistemi di equazioni lineari non sembra molto utile se non si sta …

15 education linear-algebra didactics mathematical-foundations

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 …

14 information-theory mathematical-foundations entropy binary

1

Argomenti o campi di matematica che aumentano le competenze di programmazione informatica? [chiuso]

Chiuso . Questa domanda è basata sull'opinione . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che possa essere risolta con fatti e citazioni modificando questo post . Chiuso 2 anni fa . Generalmente i programmatori di computer che sono matematici o che hanno …

14 mathematical-foundations

2

Congetture matematiche equivalenti all'arresto di una macchina di Turing

Questa domanda riguarda se ogni teorema matematico può essere ridotto alla domanda se una singola macchina di Turing si ferma. In particolare, sono interessato a congetture attualmente non dimostrate. Ad esempio: Wikipedia afferma che al momento non è noto se ci siano numeri dispari perfetti. Poiché è determinabile se un …

11 formal-languages computability mathematical-foundations

2

Cosa sono le catene Markov?

Attualmente sto leggendo alcuni articoli sul lump della catena di Markov e non riesco a vedere la differenza tra una catena di Markov e un grafico ponderato diretto. Ad esempio nell'articolo Raggruppamento ottimale dello spazio di stato nelle catene di Markov forniscono la seguente definizione di un marchio comunitario (catena …

9 probability-theory weighted-graphs mathematical-foundations markov-chains

Domande taggate «mathematical-foundations»