Μαθηματική λογική Για μαθηματικούς και πληροφορικούς
Η μαθηματική Λογική είναι στενά συνδεδεμένη με τα προγράμματα θεμελίωσης των Μαθηματικών. Το γνωστότερο και συνεκτικότερο από αυτά , το πρόγραμμα του Hilbert, εισήγαγε την έννοια του τυπικού αξιωματικού συστήματος και το ζήτημα της αποκρισιμότητας, δηλαδή τα δύο βασικά θεμέλια των επιστημών της Λογι...
| Κύριος συγγραφέας: | Κολέτσος, Γεώργιος. |
|---|---|
| Άλλοι συγγραφείς: | Δημητρακόπουλος, Κωνσταντίνος |
| Μορφή: | Βιβλίο |
| Γλώσσα: | Greek |
| Στοιχεία έκδοσης: |
Αθήνα :
Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών,
c2015.
|
| Σειρά: |
Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα Κάλλιπος
|
| Ταξινομικός αριθμός: |
511.3 |
| Θέματα: | |
| Διαθέσιμο Online: |
Πλήρες Κείμενο - Full text |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| LEADER | 05870nam a2200349 a 4500 | ||
|---|---|---|---|
| 001 | kal2299 | ||
| 003 | Gr-AtHEAL | ||
| 005 | 20160421095851.0 | ||
| 006 | m d | ||
| 008 | 160413s2015 gr s gre|c | ||
| 020 | |a 9789606033117 | ||
| 040 | |a GR-AtHEAL |b gre |c GR-AtHEAL | ||
| 082 | 0 | 4 | |a 511.3 |2 23 |
| 100 | 1 | |a Κολέτσος, Γεώργιος. |8 556 | |
| 245 | 1 | 0 | |a Μαθηματική λογική |h [Ηλεκτρονικός πόρος] |b Για μαθηματικούς και πληροφορικούς |c Κολέτσος, Γεώργιος ; Κριτικός αναγνώστης,Δημητρακόπουλος, Κωνσταντίνος ; Τεχνική επιμέλεια,Ξύστρα, Αικατερίνη ; Γλωσσική επιμέλεια,Τουλάτου, Δήμητρα. |
| 260 | |a Αθήνα : |b Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, |c c2015. | ||
| 490 | |a Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα Κάλλιπος |8 40 | ||
| 520 | |a Η μαθηματική Λογική είναι στενά συνδεδεμένη με τα προγράμματα θεμελίωσης των Μαθηματικών. Το γνωστότερο και συνεκτικότερο από αυτά , το πρόγραμμα του Hilbert, εισήγαγε την έννοια του τυπικού αξιωματικού συστήματος και το ζήτημα της αποκρισιμότητας, δηλαδή τα δύο βασικά θεμέλια των επιστημών της Λογικής και της Πληροφορικής. Στόχος αυτού του προγράμματος ήταν η απόδειξη της συνέπειας των μαθηματικών θεωριών. Ο Gödel, αποδεικνύοντας την αδυναμία υλοποίησης αυτού του στόχου, εισήγαγε τις πρωτογενείς αναδρομικές συναρτήσεις καθώς και τη δυνατότητα των τυπικών συστημάτων να αναφέρονται στον εαυτό τους. Αυτό οδήγησε τον Turing να διατυπώσει το μοντέλο του υπολογισμού και να αποδείξει τα πρώτα αποτελέσματα αναποκρισιμότητας. Εισήχθησαν οι αναδρομικές συναρτήσεις και ξεκαθαρίστηκε το θολό τοπίο του υπολογίσιμου. Η κατάληξη ήταν η δημιουργία, σε θεωρητικό επίπεδο, της επιστήμης της πληροφορικής και ταυτόχρονα η αποφασιστική συμβολή στη θεμελίωση των μαθηματικών και της θεωρίας συνόλων. Σκοπός του βιβλίου είναι να παρουσιάσει όλα τα κλασικά αποτελέσματα της λογικής τα οποία στη συνέχεια έγιναν απαραίτητα σε κάθε σοβαρή μελέτη των θεμελίων των μαθηματικών και της (θεωρητικής) πληροφορικής. Η έννοια του τυπικού αποδεικτικού συστήματος, η αποδειξιμότητα, η ερμηνεία των τυπικών θεωριών, τα θεωρήματα πληρότητας, αποτελούν αντικείμενα του βιβλίου. Επίσης η μελέτη των αναδρομικών συναρτήσεων και η απόδειξη του θεωρήματος μη πληρότητας του Gödel, το οποίο μετεξελίχθηκε στο αποτέλεσμα αναποκρισιμότητας των Gödel, Turing και Church. Η θεωρία αποδείξεων, που πήρε την εκλεπτυσμένη της μορφή από τον Gentzen, ενδιαφέρεται όχι μόνον για το τι αποδεικνύεται αλλά και για το πώς αποδεικνύεται. Θα παρουσιαστούν όλα τα μεγάλα αποτελέσματα όπως ο sequent calculus, natural deduction και το περίφημο θεώρημα απαλοιφής των τομών, τα οποία, μέσω της ισομορφίας των αποδείξεων με τα προγράμματα, ουσιαστικά αποτελούν μαθηματική μελέτη της δομής των προγραμμάτων στο χώρο της πληροφορικής. | ||
| 650 | 0 | |a Mathematical logic |8 1657 | |
| 653 | |a Λογική πληρότητα | ||
| 653 | |a Ανταποκρισιμότητα | ||
| 653 | |a Θεωρία αποδείξεων | ||
| 653 | |a Ισομορφισμός Αποδείξεων Προγραμμάτων | ||
| 653 | |a Επιστήμη υπολογιστών/Πληροφορική | ||
| 653 | |a Μαθηματικά |a Μαθηματική λογική και θεμελίωση των μαθηματικών | ||
| 653 | |a Λογική και φιλοσοφία της λογικής |a Λογική και φιλοσοφία της λογικής, διάφορα |a Παραγωγική λογική | ||
| 700 | 1 | |a Δημητρακόπουλος, Κωνσταντίνος |e Κριτικός αναγνώστης |8 557 | |
| 856 | 4 | 0 | |u http://hdl.handle.net/11419/2299 |z Πλήρες Κείμενο - Full text |
| 907 | |a .b25678097 |b 12-06-18 |c 29-07-16 | ||
| 949 | |0 0 |1 0 |2 ddc |4 0 |6 511_300000000000000_ΚΟΛ |7 0 |8 KALL |8 568 |d 2016-04-13 |r 2016-04-13 |w 2016-04-13 |z 511.3 ΚΟΛ |o SEAB KALLIPOS | ||
| 998 | |a 80 |a 01 |a 02 |a 03 |a 04 |a 05 |a 06 |a 07 |a 08 |a 09 |a 10 |a 11 |a 12 |a 13 |a 14 |a 15 |a 16 |a 17 |a 18 |a 19 |a 20 |a 21 |a 22 |a 23 |a 24 |a 25 |a 26 |b 11-05-17 |c m |d z |e - |f gre |g gr |h 0 | ||
| 942 | |2 ddc |c KALLIPOS | ||