Εργασία Διακριτά Μαθηματικά 2012

[Thmmy.gr portal]

  Thmmy.gr portal
   Forum
   Downloads
   Ενεργ. Λογαριασμού
   Επικοινωνία
  
  Χρήσιμα links
   Σελίδα τμήματος
   Βιβλιοθήκη Τμήματος
   Elearning
   Φοιτητικά fora
   Πρόγραμμα Λέσχης
   Πρακτική Άσκηση
   Ηλεκτρονική Εξυπηρέτηση Φοιτητών
   Διανομή Συγγραμμάτων
   Ψηφιακό Καταθετήριο Διπλωματικών
   Πληροφορίες Καθηγητών
   Instagram @thmmy.gr
   mTHMMY
  
  Φοιτητικές Ομάδες
   ACM
   Aristurtle
   ART
   ASAT
   BEAM
   BEST Thessaloniki
   EESTEC LC Thessaloniki
   EΜΒ Auth
   IAESTE Thessaloniki
   IEEE φοιτητικό παράρτημα ΑΠΘ
   SpaceDot
   VROOM
   Panther
  

THMMY.gr Web

Helios_MultiScribbles2SMF Default ThemeSMFone_Blue

[Ανεβάζετε τα θέματα των εξετάσεων στον τομέα Downloads]

Είσαι πρωτοετής;... Καλώς ήρθες! Μπορείς να βρεις πληροφορίες εδώ. Βοήθεια για τους καινούργιους μέσω χάρτη.

Κατεβάστε εδώ το Android Application για εύκολη πρόσβαση στο forum.

Ανεβάζετε τα θέματα των εξετάσεων στον τομέα Downloads με προσοχή στα ονόματα των αρχείων!

Για οποιοδήποτε πρόβλημα με register/login, στείλτε email στο contact@thmmy.gr.

[Δικαστής Μύρτιλος]

Η εργασία είναι η υλοποίηση ενός προγράματος που θα εξετάζει ποιά τιμή (Αληθής ή Ψευδής) πρέπει να έχουν οι λογικές μεταβλητές 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 επίδειξη.

[di_em]

Βαθμολογείται προσθετικά ή είναι μέρος της τελικής βαθμολογίας μαζί με τις εξετάσεις?

[Δικαστής Μύρτιλος]

Νομίζω προσθετικά.

[Neal]

Η εργασία αυτή δόθηκε στο μάθημα; Γιατί δεν υπάρχει καμία αναφορά στο ethmmy και η εκφώνηση μου φαίνεται μπερδεμένη.

[Δικαστής Μύρτιλος]

Ναι δόθηκε στο μάθημα, και μάλιστα δόθηκε και ακόμα μία την οποία ελπίζω να ανεβάσω κάποια στιγμή. Στο eTHMMY δεν έχουν ανέβει ακόμα, και άγνωστο το πότε θα ανέβουν. Γι' αυτό το λόγο την έγραψα εδώ, καθώς μας την είχε δώσει πριν το πάσχα.

 Θα προσπαθήσω να γράψω την εκφώνιση λίγο καλύτερα 

[pap-x]

Μπορεί κάποιος να ανεβάσει και τις υπόλοιπες εργασίες?

[nikos912000]

Αυτές είναι οι υπόλοιπες 3 εργασίες:

1) Δεδομένου του πίνακα πρόσπτωσης ενός γράφου, αναπτύξτε αλγόριθμο που να διαχωρίζει το γράφο σε κ μέρη.
2)Δεδομένου του πίνακα πρόσπτωσης ενός γράφου, αναπτύξτε αλγόριθμο που "βγάζει" την περιοδεία Euler.
3)Βρείτε ένα αντιπαράδειγμα, όπου 2 (συνεκτικοί) γράφοι με την ίδια ακολουθία βαθμών και κύκλων, δεν είναι ισόμορφοι.

[Laharl]

όλες είναι προσθετικές?

Υπάρχει διωρία?

[Orfikoss]

Ναι.

Ναι είναι μέχρι τις εξετάσεις νομίζω...

[pitsa]

είναι μέχρι τις εξετάσεις και πρέπει αφού του στείλεις την εργασία να πας κάποια στιγμή από το γραφείο του για να του δείξεις πως λειτουργεί!

[Laharl]

Ευχαριστώ.

Άλλη μία ερωτησούλα μιας και σας βρήκα

Ασκήσεις θα βάλει από αυτές που έχει στο e-thmmy καρμπόν όπως λένε ότι κάνει τα προηγούμενα έτη?

[pitsa]

ναι και είναι με κλειστά τα πάντα!
(προσοχή, το ένα κεφάλαιο είναι εκτός ύλης. η συνδιαστική ή όπως τη λένε )

[Salvation]

Πώς είναι δυνατόν η συνδιαστική να ειναι εκτος φέτος; Μήπως το μπερδεύεις με κατι άλλο;

[nikos912000]

Οι γεννήτριες είναι εκτός...Τα υπόλοιπα από συνδυαστική εντός είναι...