Τεχνικές εύρεσης ανω και κάτω φραγμάτων στο κατώφλι μη-ικανοποιησιμότητας λογικών τύπων boole : πτυχιακή εργασία
Σε αυτήν την εργασία θα ασχοληθούμε με το σημαντικό πρόβλημα της ικανοποιησημότητας ενός τυχαίου λογικού τύπου. Συγκεκριμένα θα ασχοληθούμε με λογικούς τύπους του 3-SAT, δηλαδή με λογικούς τύπους που αποτελούνται από συζεύξεις προτάσεων όπου κάθε πρόταση περιέχει διαζεύξεις από τρία λεκτικά, τα οποί...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Thesis Book |
| Language: | Greek |
| Published: |
Καρλόβασι, Σάμος :
Πανεπιστήμιο Αιγαίου, Τμήμα Μαθηματικών,
2004.
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11610/8030 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|