Καλώς ορίσατε στο dotNETZone.gr - Σύνδεση | Εγγραφή | Βοήθεια

Delicate Sound of Development

Journal για creative & non-creative δραστηριότητες. Development and more...:)
Υλικό για κατανόηση Συναρτησιακού Προγραμματισμού

Εμπνευσμένος και επηρεασμένος από την χθεσινή καταπληκτική παρουσίαση του Νίκου Παλλαδινού στα πλαίσια του 12ου dotNETZone.gr Community Event,  κάθισα να βρω κάποιες πληροφορίες για την συγκεκριμένη θεωρία. Ξεκίνησα πρώτα από τον οδηγό σπουδών του τμήματός μου. Σε συννενόηση λοιπόν με τον καθηγητή μου Πάνο Ροντογιάννη (καθηγητή των μαθημάτων: Αρχές Γλωσσών Προγραμματισμού, Θεωρία Υπολογισμού, Σημασιολογία Γλωσσών), προτρέπω για όποιον ενδιαφέρεται, να δει για θεωρία των γλωσσών προγραμματισμού, τις διαφάνειες του αντίστοιχου μαθήματος (as is από τον κύριο Ροντογιάννη, τον οποίο ευχαριστώ πολύ για την παραχώρηση).

  • Αρχές Γλωσσών Προγραμματισμού: ch1.ppt (ch1.pdf)
  • Το Συντακτικό των Γλωσσών Προγραμματισμού: ch2.ppt (ch2.pdf)
  • Σημασιολογία : ch3.ppt (ch3.pdf)
  • Σημασιολογία μιας Προστακτικής Γλώσσας: ch4.ppt (ch4.pdf)
  • Αξιωματική Σημασιολογία και απόδειξη Ορθότητας: ch5.ppt (ch5.pdf)
  • Υλοποίηση Γλωσσών Προγραμματισμού: ch6.ppt (ch6.pdf)
  • Λογικός Προγραμματιμού: ch7.ppt (ch7.pdf)
  • Συναρτησιακός Προγραμματισμός: ch8.ppt (ch8.pdf)
  • Λάμβδα Λογισμός: ch9.ppt (ch9.pdf)

Θεωρώ ότι τα παραπάνω αποτελούν το ground zero για να ξεκινήσει κάποιος. Απλές και κατανοητές διαφάνειες που σε βάζουν στο νόημα αμέσως.

Share
Posted: Τετάρτη, 13 Φεβρουαρίου 2008 2:35 μμ από το μέλος Aggelos Biboudis

Σχόλια:

Χωρίς Σχόλια

Έχει απενεργοποιηθεί η προσθήκη σχολίων από ανώνυμα μέλη