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Κολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Κεφάλαιο Συγγράμματος
Μαθηματική λογικήΚολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Σύγγραμμα
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: ΕισαγωγήΚολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Κεφάλαιο Συγγράμματος
Πρωτοβάθμια κατηγορηματική ΛογικήΚολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Κεφάλαιο Συγγράμματος
Σύστημα HilbertΚολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Κεφάλαιο Συγγράμματος
Συστήματα GentzenΚολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Κεφάλαιο Συγγράμματος
Συστήματα TableauxΚολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Κεφάλαιο Συγγράμματος
Τα Θεωρήματα μη πληρότητας του GödelΚολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Κεφάλαιο Συγγράμματος
Εμφάνιση αποτελεσμάτων 1 - 10 από 11
Όροι χρήσης HEAL-Link © 2015

HEAL-Link NTUA GRNET European Union EDULLL ESPA