Ο Λογαριασμός μου

Δωρεάν αποστολή για αγορές άνω των 30€ | Δωρεάν αντικαταβολή | Έως 24 άτοκες δόσεις | Έως -85% χαμηλότερες τιμές σε πάνω από 300.000 τίτλους

+
-
ΑΠΟ ΤΗ ΛΟΓΙΚΗ ΣΤΟ ΛΟΓΙΚΟ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ ΚΑΙ ΤΗΝ PROLOG

ΑΠΟ ΤΗ ΛΟΓΙΚΗ ΣΤΟ ΛΟΓΙΚΟ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ ΚΑΙ ΤΗΝ PROLOG

+
-
ΜΗΤΑΚΙΔΗΣ ΓΙΩΡΓΟΣ, ΣΥΝΑΧΟΠΟΥΛΟΥ-ΣΒΑΡΝΑ ΑΝΝΕΤΑ
Κωδ. Πολιτείας: 2230-0441
Τιμή Έκδοσης
€31.80
Τιμή Πολιτείας
€25.44
(-20%)
Κερδίζετε €6.36


- Διευκρινίσεις σχετικά με τις τιμές διάθεσης βιβλίων


Παρουσίαση

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

Περιεχόμενα

ΛΟΓΙΚΗ ΤΩΝ ΠΡΟΤΑΣΕΩΝ
Εισαγωγή
Η Γλώσσα της Λογικής των Προτάσεων: Αλφάβητο, Συντακτικό και Σημαντική
Σημαντικές Έννοιες της Λογικής των Προτάσεων
Αληθοπίνακες
Συνέπειες - Ερμηνείες
Επάρκεια των Λογικών Συνδέσμων - Κανονικές Μορφές
Σημαντικοί Πίνακες
Η Αξιωματική Μέθοδος Αποδείξεων
Η Μέθοδος της Επίλυσης
Ορθότητα και Πληρότητα των Beth-αποδείξεων
Συμπεράσματα από Υποθέσεις και το Θεώρημα Συμπαγείας
Ορθότητα και Πληρότητα της Αξιωματικής Μεθόδου
Ορθότητα και Πληρότητα των Αποδείξεων με Επίλυση
Ασκήσεις
ΛΟΓΙΚΗ ΤΩΝ ΚΑΤΗΓΟΡΗΜΑΤΩΝ
Εισαγωγή
Η Γλώσσα της Λογικής των Κατηγορημάτων
Αξιωματική Θεμελίωση της Λογικής των Κατηγορημάτων
Συμβολισμός και Ορολογία στο Λογικό Προγραμματισμό
Ερμηνείες της Λογικής των Κατηγορημάτων
Κανονικές Μορφές στη Λογική των Κατηγορημάτων
Ερμηνείες Herbrand
Αποδείξεις με Συστηματικούς Πίνακες
Ενοποίηση και η Μέθοδος της Επίλυσης στη Λογική των Κατηγορημάτων
Ορθότητα και Πληρότητα των Αποδείξεων της Λογικής των Κατηγορημάτων
Μέθοδοι Αποφάσεων στη Λογική
Ασκήσεις
ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΚΑΙ PROLOG
Prolog και Λογικός Προγραμματισμός
Η Δομή του Προγράμματος
Σύνταξη Δεδομένων
Μηχανισμός Λειτουργίας
Ενσωματωμένα Κατηγορήματα
Η Άρνηση στην Prolog
Συστήματα - Εμπειρογνώμονες
Η Εξέλιξη του Λογικού Προγραμματισμού
Prolog και Λογική των Κατηγορημάτων
Ασκήσεις
Βιβλιογραφία
Ευρετήριο εννοιών
Ευρετήριο Αγγλικών ονομάτων και εννοιών
Λεπτομέρειες
ISBN139789607262592
ΕκδότηςΚΑΡΔΑΜΙΤΣΑ
Σειρά
Χρονολογία ΈκδοσηςΔεκέμβριος 1992
Αριθμός σελίδων386
Διαστάσεις25x17
Κωδικός Πολιτείας2230-0441
Θέμα
Θέση στο κατάστημαΕίσοδος Δ, Πατάρι

Κριτικές για το προϊόν

Δεν υπάρχουν κριτικές για αυτό το προϊόν.
Παρακαλούμε συνδεθείτε για να γράψετε μία κριτική.

Πλοήγηση

Θεματική ενότητα
Θεματική κατηγορία
Υποκατηγορία

Podcast – Βίος και Πολιτεία

Προσφορές ΒιβλίωνΠερισσότερα

Η ΠΥΛΗ ΤΟΥ ΔΕΡΒΙΣΗ
UMIT AHMET
€18.61 €7.44
(-60%)
Κερδίζετε €11.17
GENTLEMAN
ROETZEL BERNHARD
€50.00 €22.50
(-55%)
Κερδίζετε €27.50

Βρείτε μας στο...

X
Verisign Eurobank EFG
Paypal IRIS