Βιβλια (3)

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

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

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

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

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

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