DSpace

Πλοήγηση κατά Θέμα Λογική και φιλοσοφία της λογικής

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z     Α Β Γ Δ Ε Ζ Η Θ Ι Κ Λ Μ Ν Ξ Ο Π Ρ Σ Τ Υ Φ Χ Ψ Ω
ή πληκτρολογήστε τα πρώτα γράμματα:   
Ταξινόμηση κατά: Διάταξη: Αποτελέσματα/σελίδα: Συγγραφείς/τεκμήριο:
ΤίτλοςΣυγγραφείςΘέμαΕίδος Τεκμηρίου
Αποδεικτικό σύστημαΚολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Κεφάλαιο Συγγράμματος
ΕΞΙΣΩΤΙΚΗ ΛΟΓΙΚΗΣτεφανέας, Πέτρος, Κολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Λογικός προγραμματισμός
Κεφάλαιο Συγγράμματος
Εφαρμογές της λογικής στην πληροφορικήΣτεφανέας, Πέτρος, Κολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Λογικός προγραμματισμός
Σύγγραμμα
ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣΣτεφανέας, Πέτρος, Κολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Λογικός προγραμματισμός
Κεφάλαιο Συγγράμματος
Η λογική των προτάσεων, προτασιακός λογισμόςΚολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Κεφάλαιο Συγγράμματος
ΘΕΩΡΙΑ ΤΥΠΩΝΣτεφανέας, Πέτρος, Κολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Λογικός προγραμματισμός
Κεφάλαιο Συγγράμματος
Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-HowardΚολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Κεφάλαιο Συγγράμματος
ΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣΣτεφανέας, Πέτρος, Κολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Λογικός προγραμματισμός
Κεφάλαιο Συγγράμματος
Μαθηματική λογικήΚολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Σύγγραμμα
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: ΕισαγωγήΚολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Κεφάλαιο Συγγράμματος
Εμφάνιση αποτελεσμάτων 1 - 10 από 16
Όροι χρήσης HEAL-Link © 2015

HEAL-Link NTUA GRNET European Union EDULLL ESPA