Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:14401372n
Noun Concept
Categories: Τυπικές γλώσσες, Μαθηματική λογική
EL
τυπικό σύστημα  συμπερασματικό σύστημα  επίσημα συστήματα  επίσημο σύστημα  επαγωγική συσκευή
EL
Ένα συμπερασματικό σύστημα, λεγόμενο και ο συμπερασματικός μηχανισμός ενός τυπικού συστήματος, αποτελείται από τα αξιώματα και συμπερασματικούς κανόνες που μπορούν να χρησιμοποιηθούν για να παράγουν τα θεωρήματα του συστήματος. Wikipedia
Definitions
Relations
Sources
EL
Ένα συμπερασματικό σύστημα, λεγόμενο και ο συμπερασματικός μηχανισμός ενός τυπικού συστήματος, αποτελείται από τα αξιώματα και συμπερασματικούς κανόνες που μπορούν να χρησιμοποιηθούν για να παράγουν τα θεωρήματα του συστήματος. Wikipedia
Στην λογική, ένα τυπικό σύστημα, ή λογικό σύστημα, ή απλά λογική αποτελείται από μια τυπική γλώσσα σε συδυασμό με ένα συμπερασματικό σύστημα, που αποτελείται από ένα σύνολο από συμπερασματικούς κανόνες και/ή αξιώματα. Wikipedia
IS A
διάταξη
σύστημα
PART OF
λογικό σύστημα
HAS KIND
axiomatization
τυπική γλώσσα
λογισμός λάμδα
σύστημα τύπων
θεωρία τύπων
+5 relations
HAS INSTANCE
λογική hoare
λογισμού κατάσταση
DIFFERENT FROM
axiomatization
FABRICATION METHOD
EN
formalization
HAS QUALITY
EN
completeness
απόδειξη της συνέπειας
Wikipedia
EL
συμπερασματικό σύστημα, τυπικό σύστημα
Wikidata
EL
Συμπερασματικό σύστημα, Τυπικό σύστημα
Wiktionary
EL
τυπικό σύστημα
Wikipedia Translations
EL
επίσημα συστήματα, επίσημο σύστημα, επαγωγική συσκευή, παραγωγικό σύστημα, σύστημα της λογικής

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License