|
Πλοήγηση κατά Θέμα
Μαθηματική λογική και θεμελίωση των μαθηματικών
Τίτλος | Συγγραφείς | Θέμα | Είδος Τεκμηρίου | Αποδεικτικό σύστημα | Κολέτσος, Γεώργιος | Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ... |  Κεφάλαιο Συγγράμματος |
Η λογική των προτάσεων, προτασιακός λογισμός | Κολέτσος, Γεώργιος | Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ... |  Κεφάλαιο Συγγράμματος |
Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard | Κολέτσος, Γεώργιος | Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ... |  Κεφάλαιο Συγγράμματος |
Μαθηματική λογική | Κολέτσος, Γεώργιος | Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ... |  Σύγγραμμα |
Μαθηματική Λογική, Πύλες και Κυκλώματα | Γεωργίου, Δημήτριος, Αντωνίου, Ευστάθιος, Χατζημιχαηλίδης, Ανέστης | Διακριτές δομές, Μαθηματική λογική και θεμελίωση των μαθηματικών, Αλγεβρική λογική, ... |  Κεφάλαιο Συγγράμματος |
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή | Κολέτσος, Γεώργιος | Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ... |  Κεφάλαιο Συγγράμματος |
Πρωτοβάθμια κατηγορηματική Λογική | Κολέτσος, Γεώργιος | Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ... |  Κεφάλαιο Συγγράμματος |
Σύστημα Hilbert | Κολέτσος, Γεώργιος | Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ... |  Κεφάλαιο Συγγράμματος |
Συστήματα Gentzen | Κολέτσος, Γεώργιος | Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ... |  Κεφάλαιο Συγγράμματος |
Συστήματα Tableaux | Κολέτσος, Γεώργιος | Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ... |  Κεφάλαιο Συγγράμματος |
Εμφάνιση αποτελεσμάτων 1 - 10 από 12
|