Μαθηματική Λογική & Θεμέλια Μαθηματικών

Νέο Θέμα

Επισήμανση θεμάτων ως αναγνωσμένα • 160 θέματα

Σελίδα 3 από 7
- Μετάβαση στη σελίδα:
Προηγούμενη
1
2
3
4
5
…
7
Επόμενη

Ανακοινώσεις

Απαντήσεις

Προβολές

Τελευταία δημοσίευση

Διαδικτυακό Μαθηματικό Περιοδικό «Μελέτη»

Τελευταία δημοσίευση από Γενικοί Συντονιστές « Κυρ Μαρ 14, 2021 10:02 pm
Δημοσιεύτηκε σε Γενικά Μηνύματα
Απαντήσεις: 5
από Γενικοί Συντονιστές » Σάβ Μαρ 11, 2017 5:04 pm » σε Γενικά Μηνύματα

περιοδικό

μελέτη

Αγαπητοί φίλοι,

Με ιδιαίτερη χαρά ανακοινώνουμε την κυκλοφορία του πρώτου μας διαδικτυακού μαθηματικού περιοδικού απευθυνόμενο στους μαθητές της δευτεροβάθμιας εκπαίδευσης.

Το περιοδικό «Μελέτη» απευθύνεται σε μαθητές Γυμνασίου και Λυκείου και...

5 Απαντήσεις

218724 Προβολές

Τελευταία δημοσίευση από Γενικοί Συντονιστές
Κυρ Μαρ 14, 2021 10:02 pm
Ενεργοποίηση Λέξεων Κλειδιά (tags) στο mathematica!

Τελευταία δημοσίευση από Al.Koutsouridis « Τετ Φεβ 20, 2019 12:52 pm
Δημοσιεύτηκε σε Γενικά Μηνύματα
Απαντήσεις: 10
από cretanman » Τρί Σεπ 27, 2016 1:19 pm » σε Γενικά Μηνύματα

οδηγίες

λέξη

κλειδί

Λέξη-κλειδί

tags

Πλέον μπορούμε να προσθέσουμε λέξεις κλειδιά (tags στα αγγλικά) στις δημοσιεύσεις μας για πιο γρήγορη αναζήτηση από τους χρήστες. Και πάλι πρέπει να ευχαριστήσουμε τον Γιώργο Μαργαρίτη αφού με τη βοήθειά του μπορούμε να γράφουμε λέξεις - κλειδιά και...

10 Απαντήσεις

263876 Προβολές

Τελευταία δημοσίευση από Al.Koutsouridis
Τετ Φεβ 20, 2019 12:52 pm
Η Αρμονική Γεωμετρία του Νίκου Κυριαζή

Τελευταία δημοσίευση από Γενικοί Συντονιστές « Κυρ Ιαν 10, 2016 2:44 pm
Δημοσιεύτηκε σε Γενική Συζήτηση - Σχόλια

από Γενικοί Συντονιστές » Κυρ Ιαν 10, 2016 2:44 pm » σε Γενική Συζήτηση - Σχόλια

Αρμονική-Γεωμετρία

Πληροφορούμε με μεγάλη χαρά μας τα μέλη και τους επισκέπτες του mathematica ότι το διακεκριμένο μέλος μας ο Γεωμέτρης Νίκος Κυριαζής ανήρτησε στο mathematica το βιβλίο του Αρμονική Γεωμετρία
Τον συγχαίρουμε, τον ευχαριστούμε θερμά και του ευχόμαστε...

0 Απαντήσεις

247363 Προβολές

Τελευταία δημοσίευση από Γενικοί Συντονιστές
Κυρ Ιαν 10, 2016 2:44 pm
Γ' Λυκείου: Μία συλλογή ασκήσεων στα Μαθηματικά Γ. Παιδείας

Τελευταία δημοσίευση από Γενικοί Συντονιστές « Κυρ Μάιος 06, 2012 11:43 pm
Δημοσιεύτηκε σε Γενική Συζήτηση - Σχόλια

από Γενικοί Συντονιστές » Κυρ Μάιος 06, 2012 11:43 pm » σε Γενική Συζήτηση - Σχόλια

Αναρτούμε την νέα δουλειά στα Μαθηματικά Γενικής Παιδείας που συνέθεσαν τα μέλη μας
Γιώργος Απόκης , Βασίλης, Κακαβάς, Δημήτρης Κατσίποδας, Χρήστος Κανάβης, Περικλής Παντούλας, Κώστας Τηλέγραφος, Χρήστος Τσιφάκης, Μάκης Χατζόπουλος
Το εξώφυλλο...

0 Απαντήσεις

321115 Προβολές

Τελευταία δημοσίευση από Γενικοί Συντονιστές
Κυρ Μάιος 06, 2012 11:43 pm
Γ' Λυκείου: Μία συλλογή ασκήσεων στα Μαθηματικά Κατεύθυνσης.

Τελευταία δημοσίευση από Γενικοί Συντονιστές « Δευ Απρ 09, 2012 11:06 am
Δημοσιεύτηκε σε Γενική Συζήτηση - Σχόλια

από Γενικοί Συντονιστές » Δευ Απρ 09, 2012 11:06 am » σε Γενική Συζήτηση - Σχόλια

Με μεγάλη μας χαρά αναρτούμε το βιβλίο
Γ' Λυκείου: Μία συλλογή ασκήσεων στα Μαθηματικά Κατεύθυνσης.
που συνέθεσαν οι συνάδελφοι μέλη του mathematica
Βασίλης Κακαβάς , Δημήτρης Κατσίποδας , Περικλής Παντούλας , Κώστας Τηλέγραφος , Παναγιώτης...

0 Απαντήσεις

352988 Προβολές

Τελευταία δημοσίευση από Γενικοί Συντονιστές
Δευ Απρ 09, 2012 11:06 am
Εικοσιδωδεκάεδρον (τεύχος 26)

Τελευταία δημοσίευση από Γενικοί Συντονιστές « Δευ Οκτ 28, 2024 4:13 pm
Δημοσιεύτηκε σε Γενική Συζήτηση - Σχόλια
Απαντήσεις: 23
από Γενικοί Συντονιστές » Πέμ Νοέμ 18, 2010 11:04 pm » σε Γενική Συζήτηση - Σχόλια
1

2
Εικοσιδωδεκάεδρον

Αγαπητοί Φίλοι
Με χαρά μας αναρτούμε το πρώτο φύλλο αποδελτίωσης του mathematica που περιέχει ένα δείγμα από το πλούσιο υλικό που με την δική σας συμβολή υπάρχει στον ιστότοπο μας.
Η επιλογή έγινε από τους αρμόδιους επιμελητές του αντίστοιχου...
23 Απαντήσεις

642640 Προβολές

Τελευταία δημοσίευση από Γενικοί Συντονιστές
Δευ Οκτ 28, 2024 4:13 pm

Θέματα

Απαντήσεις

Προβολές

Τελευταία δημοσίευση

Διαδρομή για TSP

Τελευταία δημοσίευση από Mathletic « Παρ Αύγ 12, 2016 1:43 am

από Mathletic » Παρ Αύγ 12, 2016 1:43 am

Γειά σας!!

Έχουμε την είσοδο για το TSP με $6$ σημεία με τις εξής αποστάσεις:
distances.PNG

Θέλω να βρω την προσέγγιση για μια TSP-διαδρομή χρησιμοποιώντας το NEAREST NEIGHBOR και το NEAREST INSERTION ξεκινώντας με τον κόμβο $1$.

Από τον...

0 Απαντήσεις

1621 Προβολές

Τελευταία δημοσίευση από Mathletic
Παρ Αύγ 12, 2016 1:43 am
Αναγωγή

Τελευταία δημοσίευση από Mathletic « Δευ Αύγ 08, 2016 12:06 pm
Απαντήσεις: 6
από Mathletic » Τετ Ιούλ 27, 2016 10:29 am

Γειά σας!!

Κοιτάζω την εξής λυμένη άσκηση:
Μια εταιρεία με φορτηγά έχει δύο ίδια φορτηγά. Ο χώρος αποσκευών είναι ένα ορθογώνιο παραλληλεπίπεδο με εμβαδόν $2m \times 5m$ και ύψος $3m$. Τα πακέτα που η επιχείρησή έχει να προσφέρει είναι επίσης...

6 Απαντήσεις

2508 Προβολές

Τελευταία δημοσίευση από Mathletic
Δευ Αύγ 08, 2016 12:06 pm
(A△B)△C=A△(B△C).

Τελευταία δημοσίευση από grigkost « Σάβ Αύγ 06, 2016 9:29 am
Απαντήσεις: 3
από labrosb » Πέμ Αύγ 04, 2016 7:03 pm

υπάρχει απόδειξη για :

(A△B)△C=A△(B△C). πουθενά στο mathematica.gr ;

3 Απαντήσεις

2027 Προβολές

Τελευταία δημοσίευση από grigkost
Σάβ Αύγ 06, 2016 9:29 am
Σχέση Ισοδυναμίας

Τελευταία δημοσίευση από Mihalis_Lambrou « Δευ Αύγ 01, 2016 11:43 pm
Απαντήσεις: 16
από black_char » Κυρ Ιούλ 31, 2016 9:02 pm

Γεια σας, αυτό είναι το πρώτο θέμα που φτιάχνω. :welcomeani:
Διάβαζα το μάθημα διακριτά μαθηματικά που το δίνω για Σεπτέμβρη και βρήκα μια άσκηση από τον διδάσκοντά μου στην κατηγορία σχέσεις ισοδυναμίας, που δεν είχε σχέση με τις άλλες ασκήσεις. Η...

16 Απαντήσεις

4279 Προβολές

Τελευταία δημοσίευση από Mihalis_Lambrou
Δευ Αύγ 01, 2016 11:43 pm
Σπουδαιότητα

Τελευταία δημοσίευση από gbaloglou « Τετ Ιουν 22, 2016 3:06 pm
Απαντήσεις: 4
από gbaloglou » Τετ Ιουν 15, 2016 7:49 am

Στις 3 Δεκεμβρίου 2015 η Γερουσία των ΗΠΑ καταψήφισε 54-45-1 πρόταση απαγόρευσης οπλοκατοχής για άτομα ύποπτα τρομοκρατικών διασυνδέσεων: όλοι οι Ρεπουμπλικάνοι πλην ενός ψήφισαν κατά, και όλοι οι Δημοκρατικοί πλην ενός (που απείχε) ψήφισαν υπέρ. (Η...

4 Απαντήσεις

3188 Προβολές

Τελευταία δημοσίευση από gbaloglou
Τετ Ιουν 22, 2016 3:06 pm
προτασιακός λογισμός 3

Τελευταία δημοσίευση από labrosb « Πέμ Ιουν 09, 2016 2:10 am

από labrosb » Πέμ Ιουν 09, 2016 2:10 am

α) Υπάρχει απόδειξη του θεωρήματος $p\vee \neg p$ χωρίς D.Morgan;
Αποδείξατε με τους συμπερασματικούς κανόνες του προτασιακού λογισμού

β) $(p\vee q)\vee(\neg p\vee\neg q)$

γ) $ \Longrightarrow q\vee s$ = δημιουργικό δίλημμα.

Υπάρχουν θεωρήματα...

0 Απαντήσεις

2726 Προβολές

Τελευταία δημοσίευση από labrosb
Πέμ Ιουν 09, 2016 2:10 am
προτασιακός λογισμός 2

Τελευταία δημοσίευση από Demetres « Τετ Ιουν 08, 2016 4:37 pm
Απαντήσεις: 19
από labrosb » Τρί Ιουν 07, 2016 5:11 pm

Να αποδειχθούν

α) Το θεώρημα:$P\Longrightarrow((P\Longrightarrow Q)\Longrightarrow Q)$

b) Εαν

1.$\neg(A\wedge(B\vee C)$
2.$(B\Longrightarrow C)\Longrightarrow B$
3.$(C\Longrightarrow B)\Longrightarrow A$
Τότε $\neg B$

Προτεινόμενες αποδείξεις...

19 Απαντήσεις

3910 Προβολές

Τελευταία δημοσίευση από Demetres
Τετ Ιουν 08, 2016 4:37 pm
προτασιακός λογισμός

Τελευταία δημοσίευση από labrosb « Σάβ Ιουν 04, 2016 10:36 pm
Απαντήσεις: 6
από labrosb » Σάβ Ιουν 04, 2016 2:29 am

Στην παρακάτω απόδειξη του προτασιακού λογισμού,δεν ξέρω εάν η δικαιολογία κάθε γραμμής είναι σωστή.

Εάν $\neg p\vee(q\wedge\neg p)$,τότε $q\Longrightarrow r$

Απόδειξη:

1. $\neg p\vee(q\wedge\neg p)$.................................υπόθεσις...

6 Απαντήσεις

2347 Προβολές

Τελευταία δημοσίευση από labrosb
Σάβ Ιουν 04, 2016 10:36 pm
σύνολα εκφραζόμενα με λογικά σύμβολα

Τελευταία δημοσίευση από labrosb « Πέμ Ιουν 02, 2016 8:48 pm
Απαντήσεις: 1
από mondo » Τετ Ιουν 01, 2016 10:58 pm

Έχω το εξής : $z=[ , ]$ και θα ήθελα να το μεταφράσω σε λογική έκφραση χρησιμοποιώντας$$ όλα τα λογικά σύμβολα μαζί με το $\in$ και το $=$.
Για το σύνολο $ $ νομίζω : $((x\in w\wedge y\in w)\wedge \forall a\in w \rightarrow (a=x\vee a=y))$, όπου $w=...

1 Απαντήσεις

1686 Προβολές

Τελευταία δημοσίευση από labrosb
Πέμ Ιουν 02, 2016 8:48 pm
Τρομοκράτες και Αστυνόμοι!

Τελευταία δημοσίευση από DimitrisT « Παρ Μάιος 27, 2016 9:58 pm
Απαντήσεις: 3
από Μάκης Χατζόπουλος » Πέμ Σεπ 24, 2009 10:52 pm

Υποθέστε ότι η αστυνομία έχει συλλάβει 4 άνδρες τους Α,Β,Γ,Δ (από την γιάφκα του Χαλανδρίου - Γαλατσίου, άσχετο) οι οποίοι είναι ύποπτοι συμμετοχής σ' ένα έγκλημα. Υπόθεστε ακόμα ότι ύστερα από έρευνες και ανακρίσεις έχουν επιβεβαιωθεί τα ακόλουθα...

3 Απαντήσεις

1770 Προβολές

Τελευταία δημοσίευση από DimitrisT
Παρ Μάιος 27, 2016 9:58 pm
Φύλλα και βαθμοί δέντρου.

Τελευταία δημοσίευση από avalonlll « Σάβ Απρ 16, 2016 6:35 pm
Απαντήσεις: 2
από avalonlll » Σάβ Απρ 16, 2016 2:24 pm

Καλησπέρα. Έχω μιά άσκηση στην οποία μου ζητείται να αποδείξω ότι δένδρο που περιέχει κόμβο με βαθμό κ έχει τουλάχιστον κ φύλλα. Όλα καλά με αυτό. Η επόμενη, ζητάει να δείξω ότι κάθε δένδρο με τουλάχιστον τρία φύλλα (κόμβοι βαθμού 1) περιέχει μια...

2 Απαντήσεις

1224 Προβολές

Τελευταία δημοσίευση από avalonlll
Σάβ Απρ 16, 2016 6:35 pm
Κλειστός δρόμος Euler

Τελευταία δημοσίευση από avalonlll « Παρ Απρ 15, 2016 4:04 pm
Απαντήσεις: 2
από avalonlll » Πέμ Απρ 14, 2016 8:24 pm

Καλησπέρα. Μου έχει ζητηθεί να βρώ έναν κλειστό δρόμο Euler για το γράφημα K7. Ότι και να κάνω όμως, κάποια στιγμή θα φτάσω σε έναν κόμβο που θα τον έχω διασχίσει ήδη 5 φορές, άρα δεν θα υπάρχει κάποιος κόμβος για να πάω σε αυτόν(που να μην έχω...

2 Απαντήσεις

1384 Προβολές

Τελευταία δημοσίευση από avalonlll
Παρ Απρ 15, 2016 4:04 pm
Άρνηση ορισμού

Τελευταία δημοσίευση από Σίλης « Δευ Ιουν 08, 2015 11:33 am
Απαντήσεις: 15
από tomas » Κυρ Μαρ 29, 2015 5:54 pm

Ξέρουμε ότι ορίζουμε μια συνάρτηση $f$ από το σύνολο $A$ στο σύνολο $B$ ,τo οποίo συμβολίζουμε με ,$f:A\longrightarrow B$, εάν και μόνο εάν:

1) $f\subset AxB$
2) Για κάθε $a\in A$ υπάρχει ένα μοναδικό $b\in B$ τέτοιο ώστε $(a,b) \in f$

Ποια είναι...

15 Απαντήσεις

6255 Προβολές

Τελευταία δημοσίευση από Σίλης
Δευ Ιουν 08, 2015 11:33 am
NP πρόβλημα

Τελευταία δημοσίευση από Mathletic « Σάβ Απρ 11, 2015 7:34 pm
Απαντήσεις: 1
από Mathletic » Σάβ Απρ 11, 2015 12:07 pm

Μακρύτερο μονοπάτι

Έχουμε έναν γράφο $G=(V,E)$, μήκη $l(e) \in \mathbb{Z}^{+}$ για κάθε $e \in E$, έναν θετικό ακέραιο $M$ και δύο κόμβους $s,t \in V$.

Τίθεται το ερώτημα αν υπάρχει απλό μονοπάτι στον $G$ από το $s$ στο $t$ μήκους τουλάχιστον $M$...

1 Απαντήσεις

1535 Προβολές

Τελευταία δημοσίευση από Mathletic
Σάβ Απρ 11, 2015 7:34 pm
Πρόβλημα του Knapsack

Τελευταία δημοσίευση από tomas « Κυρ Μαρ 29, 2015 5:27 pm
Απαντήσεις: 1
από Mathletic » Κυρ Μαρ 29, 2015 2:04 pm

Γειά :logo:

Για την ερώτηση Στο πρόβλημα του Knapsack υπάρχουν δύο εκδοχές του προβλήματος. Ποιες είναι αυτές?

σκέφτηκα τα παρακάτω:

Το πρόβλημα του Knapsack είναι το εξής:

Υπάρχουν $n$ αντικείμενα, όπου το $i-$οστό αντικείμενο έχει αξία...

1 Απαντήσεις

1400 Προβολές

Τελευταία δημοσίευση από tomas
Κυρ Μαρ 29, 2015 5:27 pm
Προτάσεις σχετικές με αλγορίθμους

Τελευταία δημοσίευση από Mathletic « Παρ Μαρ 27, 2015 5:56 pm

από Mathletic » Παρ Μαρ 27, 2015 5:56 pm

Γειά :logo:

Θέλω να ελέγξω εάν οι παρακάτω προτάσεις είναι σωστές ή όχι και να δώσω μία σύντομη εξήγηση για την επιλογή μου.
1. Πολυωνυμικός: καλός . Εκθετικός: κακός.
2. Ο αλγόριθμος Radix sort δουλεύει σωστά όταν χρησιμοποιείς οποιονδήποτε σωστό...

0 Απαντήσεις

1152 Προβολές

Τελευταία δημοσίευση από Mathletic
Παρ Μαρ 27, 2015 5:56 pm
Βέλτιστη λύση

Τελευταία δημοσίευση από Mathletic « Παρ Μαρ 27, 2015 2:51 am

από Mathletic » Παρ Μαρ 27, 2015 2:51 am

Γειά :logo:

Σκεφτείτε το πρόβλημα της συναλλαγής για ν σεντς, χρησιμοποιώντας το μικρότερο αριθμό κερμάτων.
Ας υποθέσουμε ότι η αξία του κάθε νομίσματος είναι ένας ακέραιος .
Περιγράψτε ένα άπληστο αλγόριθμο ο οποίος θα κάνει συναλλαγές που...

0 Απαντήσεις

1012 Προβολές

Τελευταία δημοσίευση από Mathletic
Παρ Μαρ 27, 2015 2:51 am
Διμελείς σχέσεις

Τελευταία δημοσίευση από Σίλης « Τετ Μαρ 25, 2015 7:00 pm
Απαντήσεις: 5
από AlexandrosG » Κυρ Μαρ 22, 2015 6:17 am

Θεωρούμε τις ακόλουθες τρεις ιδιότητες που μπορεί να έχει μια διμελής σχέση $\sim$ σε ένα σύνολο $A$

$1)$ Για κάθε $a \in A$ ισχύει ότι $a\sim a$. (ανακλαστική ιδιότητα)
$2)$ Για κάθε $a,b \in A$ τέτοια ώστε να ισχύει ότι $a \sim b$ έπεται ότι...

5 Απαντήσεις

5863 Προβολές

Τελευταία δημοσίευση από Σίλης
Τετ Μαρ 25, 2015 7:00 pm
Πως αξιοποιούμε τη συμβουλή;

Τελευταία δημοσίευση από Mathletic « Κυρ Μαρ 22, 2015 1:06 pm

από Mathletic » Κυρ Μαρ 22, 2015 1:06 pm

Γειά :logo:

Μου ζητείται να χρησιμοποιήσω μια διαδικασία διαίρει και βασίλευε για τον υπολογισμό του $i$ μεγαλύτερου στοιχείου σε μια σειρά ακεραίων και να αναλύσω την ασυμπτωτική πολυπλοκότητα χρόνου του αλγορίθμου .
Υπάρχει και συμβουλή, που...

0 Απαντήσεις

928 Προβολές

Τελευταία δημοσίευση από Mathletic
Κυρ Μαρ 22, 2015 1:06 pm
ελεγχος της μαθηματικής απόδειξης

Τελευταία δημοσίευση από Σίλης « Τετ Μαρ 11, 2015 2:55 pm
Απαντήσεις: 35
από tomas » Κυρ Νοέμ 11, 2012 4:26 am
1

2
Ποια είναι τα μαθηματικά εργαλεία που έχουμε στην διάθεση μας για να μπορούμε να ελέγχουμε την ορθότητα μιας μαθηματικής απόδειξης
35 Απαντήσεις

6935 Προβολές

Τελευταία δημοσίευση από Σίλης
Τετ Μαρ 11, 2015 2:55 pm
Αλγόριθμος

Τελευταία δημοσίευση από Mathletic « Τετ Μαρ 11, 2015 4:33 am

από Mathletic » Τετ Μαρ 11, 2015 4:33 am

Γειά :logo:

Ο αλγόριθμος SELECT βρίσκει το $i-$οστό μικρότερο από έναν πίνακα εισόδου με $n>1$ διαφορετικά στοιχεία εκτελώντας τα ακόλουθα βήματα.

1. Χώρισε τα $n$ στοιχεία σε $\lfloor \frac{n}{5} \rfloor$ πεντάδες και ενδεχομένως άλλη μία ομάδα...

0 Απαντήσεις

811 Προβολές

Τελευταία δημοσίευση από Mathletic
Τετ Μαρ 11, 2015 4:33 am
Ασυμπτωτικό πάνω και κάτω φράγμα

Τελευταία δημοσίευση από Mathletic « Τετ Μαρ 04, 2015 1:39 am

από Mathletic » Τετ Μαρ 04, 2015 1:39 am

Γειά :logo:
Θέλω να βρω ασυμπτωτικό πάνω και κάτω φράγμα για το $T(n)=7T \left( \frac{n}{3} \right)+n^2$.

Προσπάθησα τα εξής:

$a=7 \geq 1, b=3>1, f(n)=n^2$

$n^{\log_b a}=n^{\log_3 7} \approx n^{1.77}$

Άρα $f(n)=n^2=\Omega(n^{\log_b a}+...

0 Απαντήσεις

871 Προβολές

Τελευταία δημοσίευση από Mathletic
Τετ Μαρ 04, 2015 1:39 am
Υπολογισμός τιμών

Τελευταία δημοσίευση από Mathletic « Κυρ Μαρ 01, 2015 6:39 pm
Απαντήσεις: 1
από Mathletic » Τετ Φεβ 25, 2015 10:55 pm

Καλησπέρα!

Για κάθε συνάρτηση $g(n)$ και για κάθε χρονικό διάστημα $t$ , προσδιορίστε το μέγιστο μέγεθος $n$ του προβλήματος που μπορεί να επιλυθεί σε χρόνο $t$,αν υποθέσουμε ότι ο αλγόριθμος που επιλύει το πρόβλημα απαιτεί χρόνο $g(n)$...

1 Απαντήσεις

862 Προβολές

Τελευταία δημοσίευση από Mathletic
Κυρ Μαρ 01, 2015 6:39 pm
Τα διαστήματα είναι ισοπληθικά

Τελευταία δημοσίευση από Mihalis_Lambrou « Πέμ Ιαν 22, 2015 8:38 am
Απαντήσεις: 1
από Mathletic » Τετ Ιαν 21, 2015 6:00 pm

Γειά :logo:
Θέλω να δείξω ότι το $[a,b)$ είναι ισοπληθικό με το $(a,b)$.

Οπότε πρέπει να βρούμε μία αμφιμονοσήμαντη συνάρτηση από το $[a,b)$ στο $(a,b)$.

Μπορείτε να μου δώσετε μία ιδέα ποιά συνάρτηση θα μπορούσαμε να χρησιμοποιήσουμε;

1 Απαντήσεις

1013 Προβολές

Τελευταία δημοσίευση από Mihalis_Lambrou
Πέμ Ιαν 22, 2015 8:38 am
Ορθότητα αλγορίθμου

Τελευταία δημοσίευση από Mathletic « Παρ Ιαν 16, 2015 1:31 am

από Mathletic » Παρ Ιαν 16, 2015 1:31 am

Γειά :logo:

Διαβάζω την ορθότητα του αλγορίθμου BuildHeap , η οποία μπορεί να αποδειχθεί μέσω της αναλλοίωτης συνθήκης:

Στην αρχή κάθε επανάληψης του βρόχου for στις γραμμές $1-2$, κάθε κόμβος $i+1, i+2, \dots , n$ είναι ρίζα ενός σωρού...

0 Απαντήσεις

905 Προβολές

Τελευταία δημοσίευση από Mathletic
Παρ Ιαν 16, 2015 1:31 am

Νέο Θέμα

Επισήμανση θεμάτων ως αναγνωσμένα • 160 θέματα

Σελίδα 3 από 7
- Μετάβαση στη σελίδα:
Προηγούμενη
1
2
3
4
5
…
7
Επόμενη

Επιστροφή στο ευρετήριο

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης

Προσβάσεις σε αυτήν τη Δ. Συζήτηση

Δεν μπορείτε να δημοσιεύετε νέα θέματα σε αυτήν τη Δ. Συζήτηση
Δεν μπορείτε να απαντάτε σε θέματα σε αυτήν τη Δ. Συζήτηση
Δεν μπορείτε να επεξεργάζεστε τις δημοσιεύσεις σας σε αυτήν τη Δ. Συζήτηση
Δεν μπορείτε να διαγράφετε τις δημοσιεύσεις σας σε αυτήν τη Δ. Συζήτηση
Δεν μπορείτε να επισυνάπτετε αρχεία σε αυτήν τη Δ. Συζήτηση