Ο σκοπός της διπλωματικής εργασίας είναι να μελετήσουμε τη σημασία του ρόλου της εξαγωγής συµπερασµάτων, ενδεχοµένως σε ασαφή µορφή, µε τη χρήση ασαφών κανόνων. Θα αναλυσουμε τα στάδια για τον υπολογισµό της συνάρτησης συνεπαγωγής για κάθε εµπλεκόµενο κανόνα, την παραγωγή επιµέρους αποτελεσµάτων µέσω κάποιας συλλογιστικής διαδικασίας, τη συνάθροιση των επιµέρους αποτελεσµάτων αλλά και την αποσαφήνιση των αποτελεσµάτων. Επιπλέον θα αναφερθούμε στην έννοια της απόδειξη στα μαθηματικά προβλήματα και πως αυτή έχει διαμορφωθεί με το πέρασμα των χρόνων. Η απόδειξη παίζει κεντρικό ρόλο στην ανάπτυξη, τη δημιουργία και την επικοινωνία των μαθηματικών γνώσεων. Τα τελευταία χρόνια, έχει γίνει μεγάλη έρευνα σχετικά με την απόδειξη και την επιχειρηματολογία. Το θεώρημα είναι μια μαθηματική δήλωση που είναι αληθινή και έχει επαληθευτεί ως αληθής. Εξ' ορισμού, μια μαθηματική απόδειξη είναι ένα συμπερασματικό επιχείρημα για μια μαθηματική δήλωση, που δείχνει ότι οι δηλωμένες παραδοχές εγγυώνται λογικά το συμπέρασμα. Το επιχείρημα μπορεί να χρησιμοποιεί άλλες προηγούμενες δηλώσεις, όπως θεωρήματα. Ωστόσο, κάθε απόδειξη μπορεί, καταρχήν, να κατασκευαστεί χρησιμοποιώντας μόνο ορισμένες βασικές ή πρωτότυπες παραδοχές γνωστές ως αξιώματα, μαζί με τους αποδεκτούς κανόνες συμπερασμάτων. Οι αποδείξεις είναι παραδείγματα εξαντλητικής συλλογικής συλλογιστικής που καθιερώνουν λογική βεβαιότητα, που πρέπει να διακρίνονται από εμπειρικά επιχειρήματα ή μη εξαντλητική επαγωγική συλλογιστική που καθιερώνουν «εύλογη προσδοκία»
This diploma thesis deals with to study the importance of the role of drawing conclusions, possibly in a vague form, using vague rules. We will analyze the steps for calculating the inference function for each involved rule, the production of individual results through a reasoning process, the aggregation of individual results and the clarification of results. In addition, we will refer to the concept of proof in mathematical problems and how it has been shaped over the years. Proof plays a central role in the development, creation and communication of mathematical knowledge. In recent years, much research has been done on evidence and argumentation. A theorem is a mathematical statement that is true and has been verified to be true. By definition, a mathematical proof is a conclusive argument for a mathematical statement, which shows that the stated assumptions logically guarantee the conclusion. The argument can use other previous statements, such as theorems. However, any evidence can, in principle, be constructed using only certain basic or original assumptions known as axioms, together with the accepted rules of inference. Evidence is examples of exhaustive collective reasoning that establishes logical certainty, which must be distinguished from empirical arguments or non-exhaustive inductive reasoning that establishes "reasonable expectation"
Items in Apothesis are protected by copyright, with all rights reserved, unless otherwise indicated.
ΑΣΑΦΗΣ ΣΥΛΛΟΓΙΣΤΙΚΗ ΔΙΑΔΙΚΑΣΙΑ - ΜΕΘΟΔΟΙ ΑΠΟΔΕΙΞΗΣ