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

Σαν καινούριο
Το εξώφυλλο είναι άθικτο, χωρίς γρατζουνιές ή τσακίσματα. Οι σελίδες είναι άθικτες και δεν έχουν σημάδια από σημειώσεις.
Εξοικονομείς
25,31 €
Γνωρίζεις τα μεταφορικά πριν παραγγείλεις
Πληρωμή με Τράπεζα Πειραιώς και PayPal
Παράδοση με ΕΛΤΑ και Χέρι με χέρι
Ίλιο, Αττική
Λεπτομέρειες του βιβλίου

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

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

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

Περισσότερα
Συγγραφέας: Γιώργος Μητακίδης
Εκδόσεις: Καρδαμίτσα
Έτος: 1992
ISBN-13: 9789607262592
ISBN-10: 960726259X
Κατηγορίες: Μαθηματικά, Prolog
Τιμή στα βιβλιοπωλεία: 37,31 €
12,00 €
Άλλες αγγελίες του βιβλίου
Αγγελίες του ίδιου πωλητή