5
Qualcuno può dirmi quali sono i prerequisiti per l'apprendimento del calcolo lambda (se presente)?Prerequisiti per l'apprendimento del calcolo lambda
A
risposta
5
Questo dipende molto da cosa si vuole fare con il calcolo lambda. Se vuoi impararlo solo per vedere come funziona, non ci sono prerequisiti; è piuttosto autonomo. Tuttavia, se vuoi comprendere qualcuna delle dimostrazioni (Turing-completezza, numeri di Chiesa, normalizzazione, ecc.) Potresti aver bisogno di più prerequisiti matematici. In particolare, suggerirei uno sfondo delle tecniche di prova induttiva, in particolare dell'induzione strutturale. Potrebbe anche essere utile conoscere un po 'il problema dell'arresto o una sorta di teorema di incompletezza, dal momento che alcuni dei risultati divertenti del calcolo lambda implicano la non computabilità.
+0
Potresti offrire il/i campo/i per studiare per quelli che vogliono davvero diventare hardcore con lambda calcolo? (Dopotutto, in quale altro modo otterremo tutte le signore). – MasterMastic
3
Non ci sono prerequisiti per comprendere il Lambda Calculus stesso. Se non sei un informatico e non conosci nemmeno la ricorsione, puoi apprendere in modo informale le basi del calcolo Lambda (non tipizzato) in circa 30 minuti: http://palmstroem.blogspot.de/2012/05/lambda-calculus-for-absolute-dummies.html Questo dovrebbe darti un'intuizione funzionante su cosa fa e come funziona .
Se si ha familiarità con le notazioni matematiche di base e le definizioni ricorsive, è possibile effettuare un'introduzione standard. Soprattutto, se vuoi conoscere il Calcolo Lambda come base per Haskell, dovresti approfondire il Calcolo Lambda tipizzato: http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf
Problemi correlati
- 1. Completezza di lambda del calcolo lambda?
- 2. Lambda Calcolo
- 3. Query booleani in lambda calcolo
- 4. Prerequisiti per la comprensione della teoria Wavelet
- 5. lambda espressione calcolo applicazione funzione che implementa
- 6. Beta riduzione nel calcolo lambda utilizzando Haskell
- 7. calcolo numeri primi (corsi d'acqua e lambda)
- 8. Calcolo di Lambda puro - e funzione
- 9. ClickOnce Prerequisiti - Come gestire l'ordine di installazione dei prerequisiti?
- 10. Prerequisiti per l'apprendimento della programmazione MFC
- 11. bersaglio makefile come prerequisiti
- 12. Numeri di chiesa: come codificare lo zero nel calcolo lambda?
- 13. Algoritmo per il calcolo del colore inverso
- 14. Calcolo del volume per sfera in C++
- 15. Algoritmo per il calcolo del coefficiente binomiale
- 16. Calcolo del checksum NMEA
- 17. Calcolo del divisore CRC
- 18. 'Prerequisiti del profilo client .NET Framework 3.5 SP1
- 19. Attuazione del calcolo combinatore
- 20. Calcolo del rango percentile
- 21. È possibile implementare `max` efficientemente sul calcolo lambda non tipizzato?
- 22. Quali sono i prerequisiti per studiare Machine Learning?
- 23. XNA Redistributable missing from Publish Prerequisiti opzioni
- 24. Prerequisiti mancanti per Visual C++ in Visual Studio 2012
- 25. Calcolo della complessità del tempo
- 26. Calcolo delle dimensioni del backup del DB
- 27. Calcolo del valore di sollevamento
- 28. Cinematica inversa: calcolo del Jacobiano
- 29. Cos'è (lambda lambda lambda)?
- 30. Prerequisiti richiesti per la compilazione di Ruby 1.9.2 su Linux?
Questa domanda non è correlata alla programmazione. Prova a chiedere su [math.stackexchange.com] (http://math.stackexchange.com). –
@Cody: in che modo il calcolo lambda non è correlato alla programmazione? È come la madre di tutti i linguaggi di programmazione funzionale. – sepp2k
@ sepp2k: Per quanto mi riguarda, la matematica è la madre di tutto nella scienza [informatica]. Continuo a non pensare che le domande sull'apprendimento del lambda calcolo possano essere strettamente collegate alla programmazione. Sembra che abbiamo un sito per questo. Non penso che appartenga a SO dato che non viene menzionata alcuna lingua, la domanda non riguarda algoritmi specifici, non c'è nessun codice pubblicato, ecc. –