Μαθηματική λογική Για μαθηματικούς και πληροφορικούς
Η μαθηματική Λογική είναι στενά συνδεδεμένη με τα προγράμματα θεμελίωσης των Μαθηματικών. Το γνωστότερο και συνεκτικότερο από αυτά , το πρόγραμμα του Hilbert, εισήγαγε την έννοια του τυπικού αξιωματικού συστήματος και το ζήτημα της αποκρισιμότητας, δηλαδή τα δύο βασικά θεμέλια των επιστημών της Λογι...
| Κύριος συγγραφέας: | Κολέτσος, Γεώργιος. |
|---|---|
| Άλλοι συγγραφείς: | Δημητρακόπουλος, Κωνσταντίνος |
| Μορφή: | Βιβλίο |
| Γλώσσα: | Greek |
| Στοιχεία έκδοσης: |
Αθήνα :
Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών,
c2015.
|
| Σειρά: |
Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα Κάλλιπος
|
| Ταξινομικός αριθμός: |
511.3 |
| Θέματα: | |
| Διαθέσιμο Online: |
Πλήρες Κείμενο - Full text |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
καταχωρήστε σχόλιο πρώτοι!