Από τη λογική στο λογικό προγραμματισμό και την Prolog

Από τη λογική στο λογικό προγραμματισμό και την Prolog

Η Λογική ασχολείται με την τυποποίηση και τη μελέτη του τρόπου που βγάζουμε συμπεράσματα και εκφράζουμε κρίσεις. Οι προτάσεις, οι στοιχειώδεις μονάδες συμπερασμάτων και κρίσεων, αναλύονται στη Λογική και ως προς τη μορφή, τη σύνταξή τους, και ως προς την ερμηνεία, τη σημαντική τους, και εξετάζεται η σχέση μεταξύ σύνταξης και σημαντικής.

Τα πρώτα βήματα στη Λογική έγιναν από τους ίωνες και ελεάτες φιλοσόφους και τους σοφιστές, ενώ θεμελιωτής της Λογικής σαν επιστήμης θεωρείται ο Αριστοτέλης, παράγραφος 1.3.4. Με την επικράτηση των Ρωμαίων στη Μεσόγειο, το ενδιαφέρον για τη Λογική άρχισε να φθίνει. Κατά το Μεσαίωνα, και αφού τα περισσότερα έργα των αρχαίων "φιλοσόφων, εκτός των έργων του Αριστοτέλη και του Πλάτωνα, είχαν ήδη χαθεί ή καταστραφεί, η συλλογιστική του Αριστοτέλη έμεινε προνόμιο λίγων μορφωμένων μοναχών.

Το ενδιαφέρον για τη Λογική αναζωπυρώθηκε με την ανακάλυψη των μη ευκλείδιων γεωμετριών και την ανάγκη θεωρητικής θεμελίωσης της ανάλυσης. Ήδη το 1879 ο Frege παρουσίασε την πρώτη τυπική γλώσσα για τα Μαθηματικά και τη Λογική. Αλλά η τελική ώθηση στη Λογική δόθηκε από τις συζητήσεις και τις διαμάχες που δημιούργησαν στους μαθηματικούς της εποχής τα παράδοξα της θεωρίας συνόλων. [...] (Από τον πρόλογο του συγγραφέα)

Περισσότερα
Συγγραφέας: Γιώργος Μητακίδης
Εκδόσεις: Καρδαμίτσα
Έτος: 1992
ISBN-13: 9789607262592
ISBN-10: 960726259X
Κατηγορίες: Μαθηματικά, Prolog
Τιμή στα βιβλιοπωλεία: 37,31 €
Αγγελίες με γνωστά μεταφορικά
Σαν καινούριο
Ολοκαίνουργιο άθικτο , μόλις βγήκε απτις ζελατίνες του για φωτογραφία. --- Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
Αχιλλέας
4
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Νέα Ιωνία, Αττική
Εξοικονομείς
26,31 €
Δωρεάν έξοδα αποστολής για αγορές από 45 €
Γνωρίζεις τα μεταφορικά πριν παραγγείλεις
11,00 €
από 37,31 €
Σαν καινούριο
Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
J.Grigor
2
Πληρωμή με Τράπεζα Πειραιώς και PayPal
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Ίλιο, Αττική
Εξοικονομείς
25,31 €
Γνωρίζεις τα μεταφορικά πριν παραγγείλεις
12,00 €
από 37,31 €
Σαν καινούριο
Αχρησιμοποίητο. --- Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
@BookClub
3
Πληρωμή με Τράπεζα Πειραιώς, Alpha Bank, Revolut και Eurobank
Παράδοση με ΕΛΤΑ, Χέρι με χέρι και ACS
Αιγάλεω, Αττική
Εξοικονομείς
25,31 €
Δωρεάν έξοδα αποστολής για αγορές από 50 €
Γνωρίζεις τα μεταφορικά πριν παραγγείλεις
12,00 €
από 37,31 €
Σαν καινούριο
Άθικτο πραγματικά, δεν έχει καν ξεφυλιστεί, χωρίς υπερβολή. --- Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
@Vasia
1
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Αθήνα, Αττική
Εξοικονομείς
25,31 €
Δωρεάν έξοδα αποστολής για αγορές από 50 €
Γνωρίζεις τα μεταφορικά πριν παραγγείλεις
12,00 €
από 37,31 €
Σαν καινούριο
Το βιβλίο είναι σε άριστη κατάσταση. Εξώφυλλο καθώς και όλες οι σελίδες είναι άθικτες, χωρίς σκισίματα και τσακίσεις. Δεν υπάρχουν σημειώσεις πουθενά. --- Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
ΚΩΣΤΑΣ
2
Πληρωμή με Τράπεζα Πειραιώς και PayPal
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Λαρισα, Θεσσαλία
Εξοικονομείς
22,31 €
Γνωρίζεις τα μεταφορικά πριν παραγγείλεις
15,00 €
από 37,31 €
Σαν καινούριο
Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
metabooker
25
Πληρωμή με PayPal, Eurobank, Visa και Mastercard
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Καλαμάτα, Πελοπόννησος
Εξοικονομείς
21,33 €
Δωρεάν έξοδα αποστολής για αγορές από 65 €
Γνωρίζεις τα μεταφορικά πριν παραγγείλεις
15,98 €
από 37,31 €
Πολύ καλή κατάσταση
Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
Γιώργος Σαουλίδης
1
Πληρωμή με Bitcoin, PayPal και Τράπεζα Πειραιώς
Παράδοση με Γενική Ταχυδρομική Αντικαταβολή
Εξοικονομείς
17,32 €
Γνωρίζεις τα μεταφορικά πριν παραγγείλεις
19,99 €
από 37,31 €
Σαν καινούριο
Δεν έχει χρησιμοποιηθεί καθόλου, σε Άριστη κατάσταση. --- Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
@apolaz
35
Πληρωμή με Alpha Bank, Eurobank, Εθνική Τράπεζα και Τράπεζα Πειραιώς
Παράδοση με ΕΛΤΑ Courier
Εξοικονομείς
17,31 €
Δωρεάν έξοδα αποστολής για αγορές από 40 €
Γνωρίζεις τα μεταφορικά πριν παραγγείλεις
20,00 €
από 37,31 €
Σαν καινούριο
Δωρεαν Μεταφορικα --- Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
metabooker
1
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Γλυφάδα, Αττική
Εξοικονομείς
12,31 €
Γνωρίζεις τα μεταφορικά πριν παραγγείλεις
25,00 €
από 37,31 €
Σαν καινούριο
Σύγγραμμα θετικών επιστημών άθικτο με μαλακό εξώφυλλο σε άριστη κατάσταση σχεδόν αχρησιμοποίητο. --- Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
Marina Gina
Παράδοση με ΕΛΤΑ
Εξοικονομείς
12,31 €
Δωρεάν έξοδα αποστολής για αγορές από 50 €
Γνωρίζεις τα μεταφορικά πριν παραγγείλεις
25,00 €
από 37,31 €
Υπόλοιπες αγγελίες
Πολύ καλή κατάσταση
Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
@Ntiana
18
Πληρωμή με Εθνική Τράπεζα
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Πειραιάς, Αττική
Εξοικονομείς
28,31 €
Δωρεάν έξοδα αποστολής για αγορές από 30 €
9,00 €
από 37,31 €
Πολύ καλή κατάσταση
Υπογραμμίσεις στις πρώτες 10 σελίδες --- Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
metabooker
10
Πληρωμή με Εθνική Τράπεζα
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Περιστέρι, Αττική
Εξοικονομείς
27,31 €
10,00 €
από 37,31 €
Σαν καινούριο
Άθικτο-Αχρησιμοποιητο λόγω αλλαγής σπουδης. --- Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
Θοδωρής Χρυσοστόμου
Πληρωμή με PayPal
Παράδοση με Χέρι με χέρι, ACS Αντικαταβολή και ACS
Πειραιάς, Αττική
Εξοικονομείς
27,31 €
Δωρεάν έξοδα αποστολής για αγορές από 35 €
10,00 €
από 37,31 €
Πολύ καλή κατάσταση
Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
Tarragon
283
Πληρωμή με PayPal, Eurobank, Alpha Bank, Τράπεζα Πειραιώς και Εθνική Τράπεζα
Παράδοση με ΕΛΤΑ, Χέρι με χέρι, ACS, Speedex, Γενική Ταχυδρομική και ΕΛΤΑ Courier
Πατρα, Δυτική Ελλάδα
Εξοικονομείς
27,31 €
10,00 €
από 37,31 €
Σαν καινούριο
Ολοκαίνουριο. Δεν έχει χρησιμοποιηθεί καθόλου. Σε άριστη κατάσταση. --- Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
metabooker
2
Πληρωμή με Εθνική Τράπεζα
Παράδοση με ΕΛΤΑ
Εξοικονομείς
25,31 €
12,00 €
από 37,31 €
Σαν καινούριο
• Ολοκαίνουριο • Δεν έχει χρησιμοποιηθεί --- Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
@filippialekarakou
16
Πληρωμή με PayPal, Τράπεζα Πειραιώς, Eurobank, Visa, Mastercard και Revolut
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Αθήνα, Αττική
Εξοικονομείς
23,31 €
Δωρεάν έξοδα αποστολής για αγορές από 30 €
14,00 €
από 37,31 €
Σαν καινούριο
Το σύγγραμμα βρίσκεται σε άριστη κατάσταση --- Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
Παναγιώτης
52
Πληρωμή με Εθνική Τράπεζα, Τράπεζα Πειραιώς και PayPal
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Άλιμος, Αττική
Εξοικονομείς
22,31 €
Δωρεάν έξοδα αποστολής για αγορές από 25 €
15,00 €
από 37,31 €
Σαν καινούριο
Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
Estragon
616
Πληρωμή με PayPal, Eurobank, Alpha Bank, Τράπεζα Πειραιώς και Εθνική Τράπεζα
Παράδοση με ΕΛΤΑ, Χέρι με χέρι, ACS, Speedex, Γενική Ταχυδρομική και ΕΛΤΑ Courier
Πατρα, Δυτική Ελλάδα
Εξοικονομείς
22,31 €
15,00 €
από 37,31 €
Σαν καινούριο
Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
metabooker
9
Πληρωμή με Eurobank, Εθνική Τράπεζα και Τράπεζα Πειραιώς
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Ηράκλειο, Αττική
Εξοικονομείς
18,31 €
19,00 €
από 37,31 €
Σαν καινούριο
Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
metabooker
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Καλλιθέα, Αττική
Εξοικονομείς
17,31 €
20,00 €
από 37,31 €
Σαν καινούριο
Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
metabooker
1
Πληρωμή με Eurobank
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Άγιος Δημήτριος, Αττική
Εξοικονομείς
17,31 €
20,00 €
από 37,31 €
Σαν καινούριο
Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
metabooker
2
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Βύρωνας, Αττική
Εξοικονομείς
12,31 €
25,00 €
από 37,31 €