|
Title: Εργασία Διακριτά Μαθηματικά 2012 Post by: Δικαστής Μύρτιλος on April 27, 2012, 00:29:53 am Η εργασία είναι η υλοποίηση ενός προγράματος που θα εξετάζει ποιά τιμή (Αληθής ή Ψευδής) πρέπει να έχουν οι λογικές μεταβλητές p0, p1, ..., pN,
έτσι ώστε όλες οι λογικές προτάσεις να είναι αληθής. Οι λογικές προτάσεις θα έχουν τη μορφή p0 OR p1 OR ..., και τη μορφή τους θα εισάγει ο χρήστης. Π.χ Έστω ότι έχουμε τις λογικές προτάσεις p0 OR ( not p1 ) or p2 p0 OR p2 Για να είναι οι παραπάνω προτάσεις και οι δύο αληθής αρκεί η λογική μεταβλητή p0 να είναι αληθής. Ο χρήστης θα εισάγει τον αριθμό των μεταβλητών, τον αριθμό των λογικών προτάσεων, και τη μορφή τους και αυτό θα εκυπώνει τις τιμές που πρέπει να έχουν οι μεταβλητές έτσι ώστε να είναι όλες οι προτάσεις αληθής. Που 'σαι Κορτέση να με χαρείς Είναι το λεγόμενο Statisfiability problem --> https://en.wikipedia.org/wiki/Boolean_satisfiability_problem Επίσης πρέπει μα γραφεί αναφορά που να εξηγεί τον τρόπο επίλυσης. Η εργασία πιάνει 1 μονάδα και νομίζω είναι μέχρι το τέλος του εξαμήνου. Προτιμάται υλοποίηση σε C/C++ ή Matlab και αποστολή στο email(?), εναλλακτικά παραδίδεται προσωπικά και στο γραφείο του με live επίδειξη. Title: Re: Εργασία Διακριτά Μαθηματικά 2012 Post by: di_em on April 27, 2012, 00:35:24 am Βαθμολογείται προσθετικά ή είναι μέρος της τελικής βαθμολογίας μαζί με τις εξετάσεις?
Title: Re: Εργασία Διακριτά Μαθηματικά 2012 Post by: Δικαστής Μύρτιλος on April 27, 2012, 00:41:14 am Νομίζω προσθετικά.
Title: Re: Εργασία Διακριτά Μαθηματικά 2012 Post by: Neal on April 29, 2012, 16:36:51 pm Η εργασία αυτή δόθηκε στο μάθημα; Γιατί δεν υπάρχει καμία αναφορά στο ethmmy και η εκφώνηση μου φαίνεται μπερδεμένη.
Title: Re: Εργασία Διακριτά Μαθηματικά 2012 Post by: Δικαστής Μύρτιλος on April 29, 2012, 17:25:23 pm Ναι δόθηκε στο μάθημα, και μάλιστα δόθηκε και ακόμα μία την οποία ελπίζω να ανεβάσω κάποια στιγμή. Στο eTHMMY δεν έχουν ανέβει ακόμα, και άγνωστο το πότε θα ανέβουν. Γι' αυτό το λόγο την έγραψα εδώ, καθώς μας την είχε δώσει πριν το πάσχα.
Θα προσπαθήσω να γράψω την εκφώνιση λίγο καλύτερα :) Title: Re: Εργασία Διακριτά Μαθηματικά 2012 Post by: pap-x on May 23, 2012, 14:33:24 pm Μπορεί κάποιος να ανεβάσει και τις υπόλοιπες εργασίες?
Title: Re: Εργασία Διακριτά Μαθηματικά 2012 Post by: nikos912000 on May 23, 2012, 19:48:53 pm Αυτές είναι οι υπόλοιπες 3 εργασίες:
1) Δεδομένου του πίνακα πρόσπτωσης ενός γράφου, αναπτύξτε αλγόριθμο που να διαχωρίζει το γράφο σε κ μέρη. 2)Δεδομένου του πίνακα πρόσπτωσης ενός γράφου, αναπτύξτε αλγόριθμο που "βγάζει" την περιοδεία Euler. 3)Βρείτε ένα αντιπαράδειγμα, όπου 2 (συνεκτικοί) γράφοι με την ίδια ακολουθία βαθμών και κύκλων, δεν είναι ισόμορφοι. Title: Re: Εργασία Διακριτά Μαθηματικά 2012 Post by: Laharl on June 04, 2012, 17:59:59 pm όλες είναι προσθετικές?
Υπάρχει διωρία? Title: Re: Εργασία Διακριτά Μαθηματικά 2012 Post by: Orfikoss on June 04, 2012, 20:31:59 pm Ναι.
Ναι είναι μέχρι τις εξετάσεις νομίζω... Title: Re: Εργασία Διακριτά Μαθηματικά 2012 Post by: pitsa on June 04, 2012, 20:41:20 pm είναι μέχρι τις εξετάσεις και πρέπει αφού του στείλεις την εργασία να πας κάποια στιγμή από το γραφείο του για να του δείξεις πως λειτουργεί!
Title: Re: Εργασία Διακριτά Μαθηματικά 2012 Post by: Laharl on June 05, 2012, 14:02:14 pm Ευχαριστώ.
Άλλη μία ερωτησούλα μιας και σας βρήκα Ασκήσεις θα βάλει από αυτές που έχει στο e-thmmy καρμπόν όπως λένε ότι κάνει τα προηγούμενα έτη? Title: Re: Εργασία Διακριτά Μαθηματικά 2012 Post by: pitsa on June 05, 2012, 15:26:24 pm ναι και είναι με κλειστά τα πάντα!
(προσοχή, το ένα κεφάλαιο είναι εκτός ύλης. η συνδιαστική ή όπως τη λένε :P ) Title: Re: Εργασία Διακριτά Μαθηματικά 2012 Post by: Salvation on June 05, 2012, 15:28:35 pm Πώς είναι δυνατόν η συνδιαστική να ειναι εκτος φέτος; Μήπως το μπερδεύεις με κατι άλλο;
Title: Re: Εργασία Διακριτά Μαθηματικά 2012 Post by: nikos912000 on June 05, 2012, 20:16:38 pm Οι γεννήτριες είναι εκτός...Τα υπόλοιπα από συνδυαστική εντός είναι...
|