Η επίλυση λογικών προβλημάτων είναι μια διασκεδαστική και ικανοποιητική δραστηριότητα. Η ιδιαιτερότητά του είναι ότι αρχικά υπάρχει μόνο μια ψευδή και αληθινή δήλωση, και δεν υπάρχουν τύποι. Ας εξετάσουμε αρκετές βασικές μεθόδους λύσης, οι οποίες έχουν τον δικό τους τομέα αποτελεσματικότητας.
Οδηγίες
Βήμα 1
Η μέθοδος συλλογιστικής - η πιο απλή - βασίζεται σε διαδοχική συλλογιστική (που προκύπτει από την κατάσταση του προβλήματος), και την επαλήθευσή τους για αλήθεια ή ψευδές, και όλες οι επόμενες δηλώσεις βασίζονται στο επαληθευμένο πρωτότυπο.
Για παράδειγμα. Η ηλικία της μητέρας και της κόρης είναι 98 χρόνια συνολικά. Η κόρη γεννήθηκε όταν η μητέρα μου ήταν 22 ετών. Πόσο χρονών είναι και τα δύο; Λύση: αφού η διαφορά στην ηλικία τους είναι 22 χρόνια (σε αυτήν την ηλικία η μητέρα είχε μια κόρη), τότε 98 - 22 = 76 (έτη). Αυτό είναι διπλάσιο από την ηλικία της κόρης, τότε 76: 2 = 38 (έτη). Αυτό σημαίνει ότι οι μητέρες είναι 98 - 38 = 60 (έτη).
Βήμα 2
Η μέθοδος των πινάκων είναι μια οπτική μέθοδος που συνεπάγεται την κατασκευή ενός πίνακα σύμφωνα με τις συνθήκες των προβλημάτων των λέξεων και τη διαδοχική συμπλήρωσή του με τους αριθμούς 0 ή 1, ανάλογα με τα συμπεράσματα που ελήφθησαν (false-true).
Για παράδειγμα. Υπάρχει ένα δοχείο 8 λίτρων γεμάτο νερό.
Πώς να ρίξετε 4 λίτρα εάν υπάρχουν άδεια δοχεία με όγκο 3 και 5 λίτρα; Απόφαση:
Βήμα 3
Η μέθοδος των διαγραμμάτων μπλοκ ισχύει για την επίλυση προβλημάτων σχετικά με τα δοχεία και τα βάρη και είναι πολύ πιο βολική από τη μέθοδο απαρίθμησης επιλογών (η οποία δεν μας επιτρέπει να αντλήσουμε γενικούς κανόνες). Πρώτον, σχηματίζονται εντολές (ταυτόσημες με τις λειτουργίες που εκτελούνται) και στη συνέχεια δημιουργείται η σχηματική ακολουθία τους. Αυτό είναι το γνωστό διάγραμμα ροής στον προγραμματισμό που οδηγεί στην επίλυση του προβλήματος. Η λογική συνέχεια αυτής της μεθόδου είναι η μέθοδος υποβοηθούμενης από υπολογιστή μεθόδου λύσης. Η ουσία του οποίου, κατά τη μεταφορά του ληφθέντος αλγορίθμου στη γλώσσα προγραμματισμού.
Βήμα 4
Η μέθοδος αλγεβρικών λύσεων περιλαμβάνει την επίλυση συστημάτων λογικών εξισώσεων. Σε όλες τις δηλώσεις που προκύπτουν από την κατάσταση του προβλήματος ανατίθενται ονομασίες επιστολών και γράφονται με τη μορφή τύπων. Επίλυση του συστήματος των λαμβανόμενων εξισώσεων (πολλαπλασιάζοντας το ένα με το άλλο), συνάγεται η πραγματική δήλωση.
Βήμα 5
Ένας γραφικός τρόπος επίλυσης του συστήματος είναι επίσης δυνατός. Γι 'αυτό, σχεδιάζεται ένα διάγραμμα λογικών σχέσεων ("δέντρο λογικών συνθηκών") με βάση τις λαμβανόμενες εξισώσεις του συστήματος. Επιπλέον, ένα λογικό άθροισμα συνεπάγεται διακλάδωση, και ένα προϊόν σημαίνει τις ακόλουθες συνθήκες το ένα μετά το άλλο. Η απόφαση προέρχεται από ανάλυση. Αυτό περιλαμβάνει επίσης τη μέθοδο κύκλων Euler - την κατασκευή ενός γεωμετρικού σχήματος που αντικατοπτρίζει τη διασταύρωση ή ένωση συνόλων.
Βήμα 6
Δεν είναι λιγότερο ενδιαφέρουσα η μέθοδος μπιλιάρδου που βασίζεται στη θεωρία των τροχιών.
Ωστόσο, για λεπτομερή εξέταση, θα χρειαστεί ένα ξεχωριστό, πολύ διασκεδαστικό άρθρο.
