Τεχνικές εύρεσης ανω και κάτω φραγμάτων στο κατώφλι μη-ικανοποιησιμότητας λογικών τύπων boole : πτυχιακή εργασία
Σε αυτήν την εργασία θα ασχοληθούμε με το σημαντικό πρόβλημα της ικανοποιησημότητας ενός τυχαίου λογικού τύπου. Συγκεκριμένα θα ασχοληθούμε με λογικούς τύπους του 3-SAT, δηλαδή με λογικούς τύπους που αποτελούνται από συζεύξεις προτάσεων όπου κάθε πρόταση περιέχει διαζεύξεις από τρία λεκτικά, τα οποί...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Μορφή: | Thesis Βιβλίο |
| Γλώσσα: | Greek |
| Δημοσίευση: |
Καρλόβασι, Σάμος :
Πανεπιστήμιο Αιγαίου, Τμήμα Μαθηματικών,
2004.
|
| Θέματα: | |
| Διαθέσιμο Online: | http://hdl.handle.net/11610/8030 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|