Βιβλια (3)

Προτεινόμενο 0 φορές · Σε 0 συλλογές · 471 εμφανίσεις

"... Ο συγγραφέας χρησιμοποιεί τη γλώσσα και το συμβολισμό των συνηθισμένων μη τυποποιημένων μαθηματ...

Προτεινόμενο 0 φορές · Σε 0 συλλογές · 614 εμφανίσεις

O Martin Davis, ένας από τους πρωτοπόρους της ανάπτυξης της επιστήμης των υπολογιστών, παρουσιάζει μ...

Προτεινόμενο 0 φορές · Σε 0 συλλογές · 636 εμφανίσεις

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