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Κολέτσος, ΓεώργιοςΛογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...
Κεφάλαιο Συγγράμματος
Εμφάνιση αποτελεσμάτων 1 - 10 από 12
Όροι χρήσης HEAL-Link © 2015

HEAL-Link NTUA GRNET European Union EDULLL ESPA