Αποδεικτικό σύστημα

Αποδεικτικό σύστημα

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Koletsos, Georgios, Κολέτσος, Γεώργιος
Μορφή:	7
Γλώσσα:	Greek
Έκδοση:	2016
Θέματα:	ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
Διαθέσιμο Online:	http://localhost:8080/jspui/handle/11419/2308

Παρόμοια τεκμήρια

Σύστημα Hilbert
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Η λογική των προτάσεων, προτασιακός λογισμός
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Συστήματα Gentzen
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Υπολογισιμότητα, αναδρομικές συναρτήσεις
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Τα Θεωρήματα μη πληρότητας του Gödel
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Συστήματα Tableaux
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Πρωτοβάθμια κατηγορηματική Λογική
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Μαθηματική λογική
ανά: Κολέτσος, Γεώργιος, κ.ά.
Έκδοση: (2016)

Πιθανοτικά ελέγξιμες αποδείξεις
ανά: Γεωργόπουλος, Παναγιώτης
Έκδοση: (2019)

How to read and do proofs an introduction to mathematical thought processes
ανά: Solow, Daniel
Έκδοση: (2002)

Κατηγορική θεωρία Galois
ανά: Καραβασίλη, Αικατερίνη
Έκδοση: (2016)

100 Mathematical proof /
ανά: Garnier, Rowan
Έκδοση: (1996)

An Introduction to the Language of Mathematics
ανά: Mynard, Frédéric, κ.ά.
Έκδοση: (2018)

Elementary engineering mechanics applications of the OTTER automated reasoning system
ανά: Ioakimidis, Nikolaos
Έκδοση: (2018)

Proceedings of the 2015 Conference on Certified Programs and Proofs
Έκδοση: (2015)

Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Έκδοση: (2014)

Proceedings of ACM conference on Proving assertions about programs
Έκδοση: (1972)

Ομάδα 13 (ΙΙIΑ) του περιοδικού συστήματος (Οικογένεια Βορίου)
ανά: Ochsenkuehn-Petropoulou, Maria, κ.ά.
Έκδοση: (2016)

Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
Έκδοση: (2013)

Sets, Models and Proofs
ανά: Moerdijk, Ieke, κ.ά.
Έκδοση: (2018)

Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics
ανά: Ioakimidis, Nikolaos
Έκδοση: (2018)

Margaret McCurry constructing twenty-five short stories
ανά: McCurry, Margaret
Έκδοση: (2000)

Ανάλυση της λειτουργίας και των δυνατοτήτων των ηλεκτρονικών ψηφιακών νομισμάτων
ανά: ΣΤΟΪΚΟΥ, ΔΗΜΗΤΡΙΟΣ Α.Μ.17127
Έκδοση: (2021)

Προβλήματα επιτάχυνσης διεργασιών σε grid computing: αλγόριθμοι και πολυπλοκότητα
ανά: Στούμπου, Αμαλία
Έκδοση: (2008)

Αυστριακή οικονομική σχολή και κρυπτονομίσματα
ανά: Βελαλής, Κωνσταντίνος, κ.ά.
Έκδοση: (2023)

Μελέτη και εφαρμογή της θεωρίας της Decomposability στην εκτίμηση υπολογιστικών συστημάτων
ανά: Νικολακόπουλος, Αθανάσιος Ν.
Έκδοση: (2012)

Game Theory
ανά: Σταματόπουλος, Γεώργιος, κ.ά.
Έκδοση: (2016)

Proceedings of the eighth annual ACM symposium on Theory of computing
Έκδοση: (1976)

Proceedings of the 33rd Computational Complexity Conference
Έκδοση: (2018)

Curriculum : product or praxis? /
ανά: Grundy, Shirley
Έκδοση: (1987)

ΘΕΩΡΙΑ ΤΥΠΩΝ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016)

ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016)

ΕΞΙΣΩΤΙΚΗ ΛΟΓΙΚΗ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016)

ΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016)

Εφαρμογές της λογικής στην πληροφορική
ανά: Στεφανέας, Πέτρος, κ.ά.
Έκδοση: (2016)

Μελέτη και εφαρμογές της λογαριθμικής κανονικής κατανομής
ανά: Τσιαμούλος, Νικόλαος
Έκδοση: (2022)

Λογική και παιγνιοθεωρητική σημασιολογία αφηγημάτων
ανά: Μπεκίρη, Ανθούλα
Έκδοση: (2022)

Υλοποίηση και εξομοίωση ενός max-min fair sharing αλγορίθμου και σύγκριση αλγορίθμων χρονοπρογραμματισμού σε Grids
ανά: Νταφούλη, Ελένη
Έκδοση: (2009)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών