Scienza del computer didactics

13

Come ingannare l'euristica "provare alcuni casi di prova": algoritmi che sembrano corretti, ma in realtà non corretti

Per provare a verificare se un algoritmo per qualche problema è corretto, il solito punto di partenza è provare a eseguire l'algoritmo manualmente su una serie di semplici casi di test - provalo su alcuni casi esemplificativi, inclusi alcuni semplici "casi angolari" ". Questa è una grande euristica: è un …

105 algorithms algorithm-analysis education correctness-proof didactics

5

Quali sono i motivi per apprendere algoritmi / strutture dati differenti che servono allo stesso scopo?

Mi sono chiesto di questa domanda da quando ero uno studente universitario. È una domanda generale, ma elaborerò con esempi di seguito. Ho visto molti algoritmi - ad esempio, per i problemi di flusso massimo, conosco circa 3 algoritmi che possono risolvere il problema: Ford-Fulkerson, Edmonds-Karp e Dinic, con Dinic …

91 algorithms data-structures education didactics

2

su "Sulla crudeltà di insegnare davvero la scienza informatica"

Dijkstra, nel suo saggio Sulla crudeltà di insegnare davvero la scienza informatica , fa la seguente proposta per un corso introduttivo di programmazione: Da un lato, insegniamo ciò che assomiglia al calcolo del predicato, ma lo facciamo in modo molto diverso dai filosofi. Per addestrare il programmatore inesperto alla manipolazione …

33 reference-request programming-languages education didactics

3

Insegnare la completezza NP - Riduzioni di Turing vs riduzioni di Karp

Sono interessato alla domanda sul modo migliore per insegnare la completezza NP alle major dell'informatica. In particolare, dovremmo insegnarlo usando le riduzioni di Karp o le riduzioni di Turing? Sento che i concetti di completezza e riduzioni di NP sono qualcosa che ogni grande informatico dovrebbe imparare. Tuttavia, quando ho …

25 complexity-theory np-complete reductions education didactics

4

Come ingannare l'ispezione della trama euristica?

Nel corso qui , Dave Clarke ha proposto che, al fine di confrontare la crescita asintotica si dovrebbe tracciare le funzioni a portata di mano. Come un informatico teoricamente propenso, chiamo (ndr) questo vodoo poiché una trama non è mai una prova. Ripensandoci, devo concordare sul fatto che questo è …

23 asymptotics didactics

3

Qual è un modo intuitivo per spiegare e comprendere la Legge di De Morgan?

La Legge di De Morgan viene spesso introdotta in un corso introduttivo di matematica per informatica, e spesso la vedo come un modo per trasformare le dichiarazioni da AND a OR negando i termini. C'è una spiegazione più intuitiva del perché questo funziona piuttosto che ricordare solo le tabelle di …

19 logic discrete-mathematics didactics

4

Quicksort ha spiegato ai bambini

L'anno scorso stavo leggendo un fantastico articolo su "Meccanica quantistica per la scuola materna" . Non è stata una carta facile. Ora, mi chiedo come spiegare quicksort con le parole più semplici possibili. Come posso provare (o almeno fare un'onda) che la complessità media è e quali sono i casi …

16 algorithms education algorithm-analysis didactics sorting

3

Porte logiche da materiali di uso quotidiano

Le porte logiche sono un dispositivo astratto che può essere implementato con relè elettromagnetici, tubi a vuoto o transistor. Queste implementazioni hanno avuto successo nell'informatica in parte a causa delle varie proprietà di catenabilità, durata e dimensioni oltre alla loro stabilità binaria di base. Funzionano bene anche perché l'elettricità è …

15 computer-architecture didactics

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

6

Trovare il massimo XOR di due numeri in un intervallo: possiamo fare meglio del quadratico?

Supponiamo stiamo dato due numeri lll e e che vogliamo trovare per l \ le i, \, j \ le r .rrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r L'algoritmo ingenuo controlla semplicemente tutte le coppie possibili; ad esempio in ruby avremmo: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| …

14 algorithms algorithms machine-learning statistics testing terminology asymptotics landau-notation reference-request optimization scheduling complexity-theory time-complexity lower-bounds communication-complexity computational-geometry computer-architecture cpu-cache cpu-pipelines operating-systems multi-tasking algorithms algorithm-analysis education correctness-proof didactics algorithms data-structures time-complexity computational-geometry algorithms combinatorics efficiency partitions complexity-theory satisfiability artificial-intelligence operating-systems performance terminology computer-architecture

1

Suggerimenti per l'insegnamento tramite Live Coding

Sono coinvolto in un corso di programmazione e algoritmi del primo anno. In una recente conferenza, ho deciso di presentare il materiale utilizzando la codifica live , il che significa essenzialmente che mi siedo dietro la tastiera e scrivo codice e lo valuto , usando emacs per facilitare il processo. …

11 education didactics

Domande taggate «didactics»