Συστήματα Gentzen
Το σύστημα των ακολουθιακών (sequent) του Gentzen. Προτασιακή και κατηγορηματική εκδοχή. Απόδειξη της πληρότητας και στις δύο εκδοχές. Η έννοια της τομής και το θεώρημα της κανονικοποίησης (Hauptsatz) του Gentzen. Καθορισμός φραγμάτων στην κανονικοποίηση. Μελέτη (και εξαγωγή συμπερασμάτων) των αποδε...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/2305 |
| id |
kallipos-11419-2305 |
|---|---|
| record_format |
dspace |
| spelling |
kallipos-11419-23052021-07-11T22:03:13Z Συστήματα Gentzen Gentzen Systems Koletsos, Georgios Κολέτσος, Γεώργιος ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism Το σύστημα των ακολουθιακών (sequent) του Gentzen. Προτασιακή και κατηγορηματική εκδοχή. Απόδειξη της πληρότητας και στις δύο εκδοχές. Η έννοια της τομής και το θεώρημα της κανονικοποίησης (Hauptsatz) του Gentzen. Καθορισμός φραγμάτων στην κανονικοποίηση. Μελέτη (και εξαγωγή συμπερασμάτων) των αποδείξεων χωρίς τομές. Τα συστήματα tableaux του Beth. Προτασιακά και κατηγορηματικά tableaux, σύνολα Hintikka, αποδείξεις πληρότητας για τα tableaux.<br/>Το σύστημα φυσικής απαγωγής και η αντιστοιχία του με το σύστημα των ακολουθιακών. Η έννοια του redex και του contractum και κατά συνέπεια η εισαγωγή ενός στοιχείου υπολογισμού στις λογικές – μαθηματικές αποδείξεις. Κανονικές αποδείξεις και κανονικοποίηση. <br/>Μικρή εισαγωγή στην ιντουισιονιστική λογική. Διαχωρισμός κλασικών και ιντουισιονιστικών αποδείξεων στα συστήματα των ακολουθιακών και της φυσικής απαγωγής. Ισοδυναμίες των συστημάτων με αντίστοιχα συστήματα τύπου Hilbert. 2016-02-04T13:03:17Z 2021-07-09T15:09:38Z 2016-02-04T13:03:17Z 2021-07-09T15:09:38Z 2016-02-04 7 http://localhost:8080/jspui/handle/11419/2305 el 1 application/pdf |
| institution |
Kallipos |
| collection |
DSpace |
| language |
Greek |
| topic |
ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism |
| spellingShingle |
ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism Koletsos, Georgios Κολέτσος, Γεώργιος Συστήματα Gentzen |
| description |
Το σύστημα των ακολουθιακών (sequent) του Gentzen. Προτασιακή και κατηγορηματική εκδοχή. Απόδειξη της πληρότητας και στις δύο εκδοχές. Η έννοια της τομής και το θεώρημα της κανονικοποίησης (Hauptsatz) του Gentzen. Καθορισμός φραγμάτων στην κανονικοποίηση. Μελέτη (και εξαγωγή συμπερασμάτων) των αποδείξεων χωρίς τομές. Τα συστήματα tableaux του Beth. Προτασιακά και κατηγορηματικά tableaux, σύνολα Hintikka, αποδείξεις πληρότητας για τα tableaux.<br/>Το σύστημα φυσικής απαγωγής και η αντιστοιχία του με το σύστημα των ακολουθιακών. Η έννοια του redex και του contractum και κατά συνέπεια η εισαγωγή ενός στοιχείου υπολογισμού στις λογικές – μαθηματικές αποδείξεις. Κανονικές αποδείξεις και κανονικοποίηση. <br/>Μικρή εισαγωγή στην ιντουισιονιστική λογική. Διαχωρισμός κλασικών και ιντουισιονιστικών αποδείξεων στα συστήματα των ακολουθιακών και της φυσικής απαγωγής. Ισοδυναμίες των συστημάτων με αντίστοιχα συστήματα τύπου Hilbert. |
| format |
7 |
| author |
Koletsos, Georgios Κολέτσος, Γεώργιος |
| author_facet |
Koletsos, Georgios Κολέτσος, Γεώργιος |
| author_sort |
Koletsos, Georgios |
| title |
Συστήματα Gentzen |
| title_short |
Συστήματα Gentzen |
| title_full |
Συστήματα Gentzen |
| title_fullStr |
Συστήματα Gentzen |
| title_full_unstemmed |
Συστήματα Gentzen |
| title_sort |
συστήματα gentzen |
| publishDate |
2016 |
| url |
http://localhost:8080/jspui/handle/11419/2305 |
| work_keys_str_mv |
AT koletsosgeorgios systēmatagentzen AT koletsosgeōrgios systēmatagentzen AT koletsosgeorgios gentzensystems AT koletsosgeōrgios gentzensystems |
| _version_ |
1771301328348250112 |
