• Αρχική
  • Συλλογές
  • Τα βιβλία μου
  • Κατηγορίες
  • Βιβλία
  • Συγγραφείς
  • Εκδότες
  • Σειρές
  • Ανακαλύψτε
  • Προτεινόμενα
  • Δημοφιλή
  • Βραβευμένα
  • Τελευταίες Κυκλοφορίες
  • Σελίδες
  • Σχετικά
  • Πολιτική Απορρήτου
  • Επικοινωνία

Sqreen | Runtime Application Protection Crafted with in CEID
© 20[0-9]{2} Copyleft
  • ΑΡΧΙΚΗ
  • ΣΥΛΛΟΓΕΣ
  • ΤΑ ΒΙΒΛΙΑ ΜΟΥ
  • ΣΥΝΔΕΣΗ
  • ΕΓΓΡΑΦΗ
  • Συγγραφείς
  • Gilles Dowek

Gilles Dowek

author_photo

Βιβλία
2

Εμφανίσεις
22

Αγαπημένος Συγγραφέας
0

Gilles Dowek


Ο Ζιλ Ντοβέκ είναι μαθηματικός, λογικός και πληροφορικός, ερευνητής στο INRIA και καθηγητής στην Εcole Polytechnique. Το ενδιαφέρον του στρέφεται κυρίως στη θεωρία τύπων, τη συνολοθεωρία, τη θεωρία αποδείξεων, τις γλώσσες προγραμματισμού καθώς και στη φιλοσοφία των επιστημών. Για το βιβλίο "Οι μεταμορφώσεις του λογισμού" βραβεύτηκε με το Μεγάλο Βραβείο Φιλοσοφίας της Γαλλικής Ακαδημίας, το 2007.

Βιβλία - Συγγραφή - (2)

Μπορούμε να πιστεύουμε τις δημοσκοπήσεις;

Gilles Dowek
Προτεινόμενο 0 φορές - Σε 0 συλλογές - 320 εμφανίσεις

Μπορούμε να πιστεύουμε τις δημοσκοπήσεις;Πώς να ερμηνεύουμε τα αποτελέσματα;Γιατί οι ερωτώμενοι είνα...


Οι μεταμορφώσεις του λογισμού

Gilles Dowek
Προτεινόμενο 0 φορές - Σε 0 συλλογές - 329 εμφανίσεις

Θεμελιακή έννοια της μαθηματικής μεθόδου, ήδη από την ελληνική αρχαιότητα, η έννοια της απόδειξης υπ...