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

Υλικό για κατανόηση Συναρτησιακού Προγραμματισμού

Εμπνευσμένος και επηρεασμένος από την χθεσινή καταπληκτική παρουσίαση του Νίκου Παλλαδινού στα πλαίσια του 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 για να ξεκινήσει κάποιος. Απλές και κατανοητές διαφάνειες που σε βάζουν στο νόημα αμέσως.

Posted: Τετάρτη, 13 Φεβρουαρίου 2008 2:35 μμ από το μέλος George J. Capnias

Σχόλια:

Χωρίς Σχόλια

Ποιά είναι η άποψή σας για την παραπάνω δημοσίευση;

(απαιτούμενο)

(απαιτούμενο)

(προαιρετικό)

(απαιτούμενο)
ÅéóÜãåôå ôïí êùäéêü:
CAPTCHA Image

Ενημέρωση για Σχόλια

Αν θα θέλατε να λαμβάνετε ένα e-mail όταν γίνονται ανανεώσεις στο περιεχόμενο αυτής της δημοσίευσης, παρακαλούμε γίνετε συνδρομητής εδώ

Παραμείνετε ενήμεροι στα τελευταία σχόλια με την χρήση του αγαπημένου σας RSS Aggregator και συνδρομή στη Τροφοδοσία RSS με σχόλια