ΓΕΩΡΓΙΟΣ ΚΟΛΕΤΣΟΣ

Μαθηματική λογική: Τυπικά συστήματα, τα θεωρήματα του Gödel, θεωρία αποδείξεων

Κατηγορία: ΑΚΑΔΗΜΑΙΚΑ ΣΥΓΓΡΑΜΜΑΤΑ, ΒΙΒΛΙΑ ΗΛΕΚΤΡΟΛΟΓΙΑΣ / ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ, ΒΙΒΛΙΑ ΜΑΘΗΜΑΤΙΚΩΝ, ΒΙΒΛΙΑ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ / ΠΛΗΡΟΦΟΡΙΚΗΣ // Tags: PDF, ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ, ΓΕΩΡΓΙΟΣ ΚΟΛΕΤΣΟΣ, ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ, ΚΑΛΛΙΠΟΣ, ΠΛΗΡΟΦΟΡΙΚΗ, ΣΕΑΒ

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

Συγγραφέας: Γεώργιος Κολέτσος
Έκδοση ebook: ΣΕΑΒ, ΚΑΛΛΙΠΟΣ
Έτος έκδοσης: 2015
ISBN: 978-960-603-311-7
Μέγεθος: σελ. 155 / 3 Mb
Μορφή: Pdf Online

Δείτε το εδώ

Εφαρμογές της λογικής στην πληροφορική

Κατηγορία: ΑΚΑΔΗΜΑΙΚΑ ΣΥΓΓΡΑΜΜΑΤΑ, ΒΙΒΛΙΑ ΗΛΕΚΤΡΟΛΟΓΙΑΣ / ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ, ΒΙΒΛΙΑ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ / ΠΛΗΡΟΦΟΡΙΚΗΣ, ΒΙΒΛΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ // Tags: PDF, ΓΕΩΡΓΙΟΣ ΚΟΛΕΤΣΟΣ, ΚΑΛΛΙΠΟΣ, ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ, ΠΕΤΡΟΣ ΣΤΕΦΑΝΕΑΣ, ΣΕΑΒ

Το προτεινόμενο βιβλίο θα περιλαμβάνει μια εισαγωγή στους βασικούς τομείς εφαρμογών της λογικής στην πληροφορική…

Συγγραφέας: Πέτρος Στεφανέας, Γεώργιος Κολέτσος
Έκδοση ebook: ΣΕΑΒ, ΚΑΛΛΙΠΟΣ
Έτος έκδοσης: 2015
ISBN: 978-960-603-368-1
Μέγεθος: σελ. 146 / 2 Mb
Μορφή: Pdf Online

Δείτε το εδώ