forum.math.uoa.gr

Forum του Τμήματος Μαθηματικών
Ημερομηνία 20 Σεπ 2017, 23:50

Όλοι οι χρόνοι είναι UTC + 2 ώρες [ DST ]




Κλειδωμένη Δ. Συζήτηση Αυτό το θέμα είναι κλειδωμένο, δεν μπορείτε να επεξεργαστείτε δημοσιεύσεις ή να δημοσιεύσετε άλλες απαντήσεις  [ 5 δημοσιεύσεις ] 
Συγγραφέας Μήνυμα
 Θέμα δημοσίευσης: Σεμινάριο Haskell
ΔημοσίευσηΔημοσιεύτηκε: 08 Οκτ 2010, 18:18 
Χωρίς σύνδεση
Επίτιμος Administrator
Άβαταρ μέλους

Εγγραφη: 18 Φεβ 2006, 22:25
Δημοσ.: 1377
Τοποθεσια: Nowhere Land
Την Τρίτη 12 Οκτωβρίου και ώρα 18:00 - 20:00 θα παρουσιάσω ένα εισαγωγικό σεμινάριο στη συναρτησιακή γλώσσα προγραμματισμού Haskell στο Εργαστήριο Υπολογιστών του τμήματος Μαθηματικών. Εφόσον εκδηλωθεί επαρκές ενδιαφέρον υπάρχει δυνατότητα το σεμινάριο να συνεχιστεί και τις προσεχείς εβδομάδες.

Περιγραφή: οι περισσότερες παραδοσιακές γλώσσες πρόγραμματισμού έχουν σχεδιαστεί από μηχανικούς και με κύριο γνώμονα την αρχιτεκτονική των υπολογιστών που τις τρέχουν. Κατά προέκταση, η αμεσότητα και αφαιρετική φύση πολλών μαθηματικών ορισμών έχουν την τάση να χάνονται μέσα στις τεχνικές λεπτομέρειες, οποτεδήποτε προσπαθούμε να τις υλοποιήσουμε υπολογιστικά. Η Haskell εντάσσεται σε μια εναλλακτική οικογένεια γλωσσών προγραμματισμού, σχεδιασμένων από μαθηματικούς, αλλά όχι απαραίτητα μόνο για μαθηματικούς. Θεωρητικό θεμέλιο των συναρτησιακών γλωσσών είναι ο λ-λογισμός, ωστόσο το σεμινάριο δεν προαπαιτεί κανενός είδους θεωρητική γνώση, παρά μόνο μαθηματική ωριμότητα.

ΥΓ. το σεμινάριο θα χρησιμοποιεί υπολογιστές, συνεπώς όσοι επιθυμούν να συμμετάσχουν ας μου στείλουν κάποιο email/pm για να τους φτιάξω λογαριασμό στο LDAP του εργαστηρίου.

_________________
\exists x.\varphi(x) \rightarrow \forall x.\varphi(x)


Κορυφή
 Προφίλ  
 
 Θέμα δημοσίευσης: Re: Σεμινάριο Haskell
ΔημοσίευσηΔημοσιεύτηκε: 15 Οκτ 2010, 13:35 
Χωρίς σύνδεση
Επίτιμος Administrator
Άβαταρ μέλους

Εγγραφη: 18 Φεβ 2006, 22:25
Δημοσ.: 1377
Τοποθεσια: Nowhere Land
Το δεύτερο μέρος του σεμιναρίου θα γίνει την ερχόμενη Τρίτη, 19 Οκτωβρίου και ώρα 18-20 στην Αίθουσα Β του εργαστηρίου. Θα ασχοληθούμε με έλεγχο ροής, higher-order συναρτήσεις, lazy evaluation και αν προλάβουμε bnf ορισμούς.

_________________
\exists x.\varphi(x) \rightarrow \forall x.\varphi(x)


Κορυφή
 Προφίλ  
 
 Θέμα δημοσίευσης: Re: Σεμινάριο Haskell
ΔημοσίευσηΔημοσιεύτηκε: 22 Οκτ 2010, 11:20 
Χωρίς σύνδεση
Επίτιμος Administrator
Άβαταρ μέλους

Εγγραφη: 18 Φεβ 2006, 22:25
Δημοσ.: 1377
Τοποθεσια: Nowhere Land
Το τρίτο μέρος θα πραγματοποιηθεί κατά τα γνωστά, Τρίτη 26 Οκτωβρίου και 6-8 στην αίθουσα Β. Θα μιλήσουμε για καθολική άλγεβρα, bnf ορισμούς, αριθμητική Peano, προτασιακή λογική και λίγο IO.

_________________
\exists x.\varphi(x) \rightarrow \forall x.\varphi(x)


Κορυφή
 Προφίλ  
 
 Θέμα δημοσίευσης: Re: Σεμινάριο Haskell
ΔημοσίευσηΔημοσιεύτηκε: 29 Οκτ 2010, 13:21 
Χωρίς σύνδεση
Επίτιμος Administrator
Άβαταρ μέλους

Εγγραφη: 18 Φεβ 2006, 22:25
Δημοσ.: 1377
Τοποθεσια: Nowhere Land
Την επόμενη Τρίτη 2 Νοεμβρίου θα γίνει το 4ο μέρος Haskell. Θα μιλήσουμε για IO και monads.

_________________
\exists x.\varphi(x) \rightarrow \forall x.\varphi(x)


Κορυφή
 Προφίλ  
 
 Θέμα δημοσίευσης: υλικό σεμιναρίου
ΔημοσίευσηΔημοσιεύτηκε: 14 Νοέμ 2010, 16:56 
Χωρίς σύνδεση
Επίτιμος Administrator
Άβαταρ μέλους

Εγγραφη: 18 Φεβ 2006, 22:25
Δημοσ.: 1377
Τοποθεσια: Nowhere Land
στο παρακάτω link μπορεί να βρείτε όλα τα slides που χρησιμοποιήθηκαν στο σεμινάριο:

http://pclab.math.uoa.gr/users/eirik/Haskell/

Χρήσιμα links:

Haskell Platform: http://hackage.haskell.org/platform/
Hoogle: http://www.haskell.org/hoogle/

_________________
\exists x.\varphi(x) \rightarrow \forall x.\varphi(x)


Κορυφή
 Προφίλ  
 
Τελευταίες δημοσιεύσεις:  Ταξινόμηση κατά  
Κλειδωμένη Δ. Συζήτηση Αυτό το θέμα είναι κλειδωμένο, δεν μπορείτε να επεξεργαστείτε δημοσιεύσεις ή να δημοσιεύσετε άλλες απαντήσεις  [ 5 δημοσιεύσεις ] 

Όλοι οι χρόνοι είναι UTC + 2 ώρες [ DST ]


Μελη σε συνδεση

Μέλη σε αυτή την Δ. Συζήτηση : Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης


Δεν μπορείτε να δημοσιεύετε νέα θέματα σε αυτή τη Δ. Συζήτηση
Δεν μπορείτε να απαντάτε σε θέματα σε αυτή τη Δ. Συζήτηση
Δεν μπορείτε να επεξεργάζεστε τις δημοσιεύσεις σας σε αυτή τη Δ. Συζήτηση
Δεν μπορείτε να διαγράφετε τις δημοσιεύσεις σας σε αυτή τη Δ. Συζήτηση

Αναζήτηση για:
Μετάβαση σε:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group