Index

Fibonacci

Ακολουθία

1.9.1

python

τελεστές

1.10.0.5

mod

2.1

DNA

4.1

Gamow

4.1

Bose

4.1

Einstein

4.1

Kruskal

5.7

Cantor

1.1

Floyd

5.8

Warshall

5.8

Dedekind

1.1

Zermelo-Frankel

1.1

König

6.3

Egerváry

6.3

ASCII

7.1

prefix

7.1

suffix

7.1

DFA

7.2

DFA

Συνάρτηση Μετάβασης

7.2

DFA

Λειτουργία

7.2

NFA

7.3

NFA

7.3

NFA

Συνάρτηση Μετάβασης

7.3

NFA

Λειτουργία

7.3

NFA

Συνάρτηση Μετάβασης

Εφαρμοσμένη σε Σύνολα

7.4

NFA

Συνάρτηση Μετάβασης

7.5

substitution

7.9

DFA

Αλγόριθμοι

8.1

DFA

Αλγόριθμος για Κενή Γλώσσα

8.1

DFA

Αλγόριθμος για Άπειρη Γλώσσα

8.1

DFA

Αλγόριθμος για Ίδια Γλώσσα με Άλλο DFA

8.1

Myhill

8.2

Nerode

8.2

DFA

Ελαχιστοποίηση

8.3

DFA

Ελαχιστοποίηση

Μέθοδος

8.3

CFG

9.2

CFL

9.2

CFG

Ενδιαφέρον Παράδειγμα

9.3

PDA

9.5

PDA

9.5

READ()

9.5

POP()

9.5

PUSH(x)

9.5

NF(x)

9.5

PDA

Παραδείγματα

9.6

INP()

9.6

Halting Problem

10.3

Poisson

12.1

Erdos

12.2

Άρνηση

1.10.0.3

Άρρητοι Αριθμοί

2.3

Ακέραιο Μέρος

2.1

Ακολουθία Fibonacci

2.1

Αλγόριθμος

Kruskal

5.7

Floyd-Warshall

5.8

NFA σε DFA

7.4

Ευκλείδη για Μέγιστο Κοινό Διαιρέτη

2.2

Μυωπικός

5.7

Αλφάβητο

7.1

ASCII

7.1

Δυαδικό

7.1

Ελληνικό

3.1

Ελληνικό ( $\Sigma_{GR}$)

7.1

Λατινικό

3.1

Ανάπτυγμα σε Γινόμενο Πρώτων Αριθμών

2.3

Αναδρομικά Απαριθμήσιμα Σύνολα

10.4

Ένωση και Τομή

10.4

Μη Αναδρομικά

10.4

Συμπληρώματα και Αναδρομικότητα

10.4

Αναδρομικό Σύνολο

10.1

Αναδρομικός Ορισμός

7.7

Ανακλαστική ιδιότητα

1.7

Ανεξάρτητα Πειράματα

11.4

Ανεξάρτητες Επιλογές

3.1.2

Αρχή Πολλαπλασιασμού

3.1 | 3.1

Ανεξάρτητο Αξίωμα

1.8

Ανισότητα Bernoulli

1.9.2.3

Ανισότητα Markov

12.3

Ανισότητα Chebyshev

12.3

Ανισότητα Chebyshev

Γενικευμένη

12.3

Ανισότητα Γεωμετρικού-Αριθμητικού Μέσου

1.9.2.1

Ανισότητα Τριγωνική

5.4 | 5.6

Αντίστροφη Ομομορφική Εικόνα

7.8 | 7.9

Αντίφαση

1.10.0.5

Αντικατάσταση

7.9

Επέκταση σε Λέξεις

7.9

Κανονική

7.9

Ομομορφισμός

7.9

Αξίωμα Παραλληλίας

1.8

Απεικόνιση

3.1.1

Αποτελέσματα Πειράματος

3.1

Αριθμητικές Εκφράσεις

9.1

Αριθμητικός Μέσος

1.9.2.1

Αρχικό τμήμα των φυσικών αριθμών

1.8

Αυτόματο

Nτετερμινιστικό

7.2

Ελάχιστο

Κατασκευή

8.3

Μη Ντετερμινιστικό

7.3 | 7.3

Αναγνώριση Λέξης

7.3

Διαδικασία

7.3

Γλώσσα του

7.3

Λειτουργία

7.3

Συνάρτηση Μετάβασης

7.3 | 7.4 | 7.5

με $\epsilon$-Κινήσεις

7.5

Μη Ντετερμινιστικό με $\epsilon$-Κινήσεις

Αναγνώριση Λέξης

7.5

Μη Ντετερμινιστικό με $\epsilon$-Κινήσεις

Αναγνώριση Λέξης

Διαδικασία

7.5

Μη Ντετερμινιστικό με $\epsilon$-Κινήσεις

Γλώσσα του

7.5

Μη Ντετερμινιστικό με $\epsilon$-Κινήσεις

Παράδειγμα

7.5

Ντετερμινιστικό

Αναγνώριση Γλώσσας

7.2

Διαδικασία

7.2

Αποδοχή Λέξης

7.2

Γλώσσα του

7.2

Ετικέτα

7.2

Κατάσταση Καταστροφής

7.2

Λειτουργία

7.2

Μνήμη

7.2

Νόημα Κατάστασης

7.2

Συμπληρωματική Γλώσσα

7.9

Συνάρτηση Μετάβασης

7.2

Συνδεσμολογία και Συνάρτηση Μετάβασης

7.2

Σύμβαση στο Σχεδιασμό

7.2

με Στοίβα

9.5 | 9.5

Λειτουργία

9.5

Προγραμματισμός

9.5

Στοίβα

9.5

Ταινία Ανάγνωσης

9.5

Γενικευμένοι τύποι De Morgan

1.6

Γενικευμένος επιμεριστικός νόμος

1.6

Γεωμετρία

Ευκλείδια

1.8

Γεωμετρική Κατανομή

12.1

Γεωμετρική Σειρά

Άπειρη

1.9.1

Πεπερασμένη

1.9.1 | 5.4

Γεωμετρικός Μέσος

1.9.2.1

Γλώσσα

7.1

Context-Free

9.1

Context-Free

9.2

Ένωση

7.5

Αναγνώριση από Αυτόματο

7.2 | 7.3 | 7.5

Κανονική Είναι και Context-Free

9.4

Κανονική Είναι και Context-Free

Γραμματική Από το Αυτόματο

9.4

Κενή

7.1

Μονοσύνολο

7.1

Πλήρης

7.1

Προγραμματισμού python

7.1

Συγκόλληση

7.1 | 7.1 | 7.5

Συμπλήρωμα

7.2

Γλώσσες

Κανονικές

Κλειστότητα Κάτω Από Συνολοθεωρητικές Πράξεις

7.9

Συμπληρωματική

7.9

Γνήσιος Διαιρέτης

2.3

Γράμμα

7.1

Γράφημα

Ακμές

5.1

Ανεξάρτητες

6.2

Χρωματισμός

6.5.1

Ακμή

Βάρος

5.6

Αλγόριθμος Kruskal

5.7

Απλό

5.1

Πλήθος Απλών Γραφημάτων

5.1

Αυτοσύνδεση

5.6

Βρόχος

5.6 | 5.6

Δάσος

5.5

Πλήθος Ακμών

5.5

Δάσος που παράγει

5.5

Δέντρο

5.5

Πλήθος Ακμών

5.5

Δέντρο που Παράγει

Ελάχιστο

5.7

Δέντρο που παράγει

5.5

Διμερές

6.1

Δέντρο Είναι Διμερές

6.1

Θεώρημα König-Egerváry

6.3

Μήκος Κυκλωμάτων Άρτιο

6.1

Πίνακας Συνδεσμολογίας

6.1

Πλήρες

6.1

Σύστημα Υποσυνόλων

6.2

Ταίριασμα

Αταίριαστη Κορυφή

6.3

Εναλλακτικό Μονοπάτι

6.3

Επαυξάνον Μονοπάτι

6.3

Μέγιστο Ταίριασμα

6.3

Διμερλες

Πλήρες Ταίριασμα

Θεώρημα Hall

6.2

Ειδικά Γραφήματα

5.2

Επαγόμενο

5.3.1

Πλήθος Επαγομένων Υπογραφημάτων

5.3.1

Ισομορφικά Γραφήματα

5.3.2

Ισόμορφα Γραφήματα

5.3.2

Κανονικό

5.1

Κατευθυνόμενο

5.6

Κορυφές

5.1

Άθροισμα Βαθμών

5.1

Ανεξάρτητο Σύνολο

5.1

Απόσταση

5.4

Βαθμός

5.1

Κάλυμμα

6.3

Κάλυμμα Κορυφών

5.1

Με Περιττό Βαθμό

5.1

Χρωματισμός

6.5.1

Κορυφή

Απόσταση

5.6

Κύκλος

5.4

Κύκλωμα

5.4

Με Πολλαπλές Ακμές

5.6

Μονοπάτι

5.4

Μήκος

5.4

Μονοπάτι Euler

6.4.1

Μονοπάτι Hamilton

6.4.1

Μονοπάτι Euler

Συνθήκες

6.4.2

Πίνακας Συνδεσμολογίας

5.4

Πολλαπλότητα Ακμής

5.6

Προσιτή Κορυφή

5.4

Συμπληρωματικό

5.1

Συνεκτική Συνιστώσα

5.4

Συνεκτικό

5.4 | 5.4

Ταίριασμα

6.2

Πλήρες

6.2

Υπογράφημα

5.3.1

Χρωματικός Αριθμός

6.1 | 6.5.1

Εκτιμήσεις

6.5.2

Γραμματική

Context-Free

9.1

Context-Free

Ορισμός

9.2

Γλώσσα που Αντιστοιχεί

9.2

Κανόνας Παραγωγής

9.2

Παραγωγή

9.1

$w \overset{G}{\Rightarrow} v$

9.2

$w \underset{*}{\overset{G}{\Rightarrow}} v$

9.2

Σύμβολα

Μη Τερματικά

9.2

Τερματικά

9.2

Δειγματικός Χώρος

11.2

Υπεραριθμήσιμος

11.2.1

Δεκαδικό Ανάπτυγμα

3.1.2

Διάζευξη

1.10.0.2

Αποκλειστική

1.10.0.4

Διάταξη

3.2.1

Διαγώνιο Επιχείρημα

10.2

Διαιρέτης

Πλήθος Διαιρετών

3.1.2

Διαιρεί

2.1

Διαιρετότητα

Ιδιότητες

2.1

Διαμέριση

Πλήθος Διαμερίσεων Φυσικού Αριθμού

4.1

Φυσικού Αριθμού

4.1

Διατεταγμένες Επιλογές

3.2.1

Διατεταγμένο Ζεύγος

1.2

Διοφαντικές Εξισώσεις

10.3

Διπλό Μέτρημα

4.4

Διωνυμική Κατανομή

12.1

Διωνυμικό Θεώρημα

2.1 | 4.3

Εφαρμογές σε Υπολογισμούς Αθροισμάτων

4.3

Διωνυμικός Συντελεστής

3.2.2

Ως Πολυώνυμο της Μεταβλητής

3.2.2

Δυαδικό ανάπτυγμα

1.9.1.1

Δυναμοσύνολο

7.3 | 7.4 | 7.5

Εικόνα

1.4

Αντίστροφη

1.4

Ελάχιστο Κοινό Πολλαπλάσιο

2.2

Ενδεχόμενα

11.2

limsup

11.2.2

liminf

11.2.2

Ανεξαρτησία

11.4

Με Πιθανότητα 0

11.2.2

Επίθεμα

7.1

Επαγωγή

1.9.1

Βασική Περίπτωση

1.9.1

Επαγωγική Υπόθεση

1.9.1

Επαγωγικό Βήμα

1.9.1

Ισχυρή

1.9.1.1

Ισχυρότερη Πρόταση

1.9.2.3

Μπρός-Πίσω

1.9.2.1

Πολλαπλή

1.9.2.2

Επαγωγική Απόδειξη

Ως Προς Μήκος Έκφρασης

7.8

Επεκτεταμένοι Φυσικοί Αριθμοί

11.2

Επιλογή με Επανάθεση

4.1

Επιμεριστικός Νόμος

1.5

Ζάρι

3.1 | 11.1.2

Ημιανεξάρτητες Επιλογές

3.2

Αρχή Πολλαπλασιασμού

3.2

Θεμελιώδες Θεώρημα της Αριθμητικής

2.3

Θεώρημα

Myhill-Nerode

8.2

Θεώρημα του Hall

1.9.3

Θεώρημα του Γάμου

1.9.3

Ιεραρχία Γλωσσών

10.4

Ισοδυναμία

1.10.0.4

DFA και NFA

7.4

$\epsilon$-NFA και NFA

7.6

$\epsilon$-NFA και NFA

7.6

Αυτομάτων

7.4 | 7.4 | 7.6

Ισοϋπόλοιποι Ακέραιοι

2.1

Ισόνομες Τυχαίες Μεταβλητές

12.1

Κανονική Έκφραση

7.7

Παραδείγματα

7.7

Παρενθέσεις

7.7

Προτεραιότητα Τελεστών

7.7

Κανονική Γλώσσα

Από Αυτόματα

7.8

Καρτεσιανό Γινόμενο

3.1

Κατανομή Bose-Einstein

4.1

Κατανομή Poisson

12.1

Καταστάσεις Aυτομάτου

7.2

Καταστάσεις Αυτομάτου

Αρχική

7.2 | 7.2 | 7.3 | 7.5

Σύνολο Καταστάσεων

7.3 | 7.5

Τελικές

7.2 | 7.2 | 7.3 | 7.5

Καταστάσεις αυτομάτου

Σύνολο καταστάσεων

7.2

Κλασματικό Μέρος

2.1

Κυρτός Συνδυασμός

12.2

Κώδικας Morse

3.2.1

Λέξη

7.1

Κενή

7.1

Μήκος

7.1

Λήμμα Borel-Cantelli

11.4

Λήμμα Άντλησης

Context Free Γλώσσες

9.7

Context Free Γλώσσες

Παραδείγματα Χρήσης

9.7

Κανονικές Γλώσσες

7.10

Απόδειξη

7.10

Εφαρμογή

7.10 | 7.10 | 7.10 | 7.10 | 8.1 | 8.1

Μέγιστος Κοινός Διαιρέτης

2.2

Ακέραιος Γραμμικός Συνδυασμός

2.2

Μεταβατική Ιδιότητα

1.7

Μεταθέσεις

3.2.1

Κυκλικές

3.3

Μεταθετικός Νόμος

1.5

Μετατροπή

NFA σε DFA

7.4

Μη Διατεταγμένες Επιλογές

3.2.2

Μη Κανονικές Γλώσσες

Ύπαρξη

7.10

Μη Υπολογίσιμα Προβλήματα

Παραδείγματα

10.3

Μη Υπολογίσιμη Συνάρτηση

10.2

Ύπαρξη

10.2

Μονοπάτι

$\epsilon$-Μονοπάτι

7.6

$\alpha$-Μονοπάτι

7.6

Νόμοι De Morgan

1.5

Νόμοι Ταυτότητας

1.5

Νόμος Ατομικότητας

1.5

Νόμος Διάταξης

1.5

Ομοιόμορφη Κατανομή

11.2

Ομομορφισμός

7.9

Αντίστροφη Ομομορφική Εικόνα

7.8 | 7.9

Σχέση με Κανονικές Γλώσσες

7.9

Πίνακας

$m\times n$

3.1.2

Πίνακας Αλήθειας

1.10

Παραγοντικό

3.2.1

Πείραμα

11.1.1

Αποτελέσματα

11.1.1

Πηλίκο

2.1

Πιθανοθεωρητική Μέθοδος

11.2

Πιθανότητα

3.1

Κατανομή

11.2

Συνάρτηση Κατανομής

12.1

Συνάρτηση Πυκνότητας

12.1

Τύπος Ολικής Πιθανότητας

11.3

Πιθανότητα Δεσμευμένη

11.3

Πιθανότητα Υπό Συνθήκη

11.3

Πινακίδες Αυτοκινήτων

3.1

Πλήθος Επιθεμάτων και Προθεμάτων

7.1

Πληθάριθμος

Συμβολισμός

3.1

Πολλαπλασιαστικό αντίστροφο mod ένα ακέραιο

2.2

Πολυωνυμικοί Συντελεστές

4.2

Πολυόμινο

10.3

Πολυώνυμο Laurent

4.3

Προσεταιριστικός Νόμος

1.5

Προτασιακός Τύπος

Πεδίο Ορισμού

1.3

Προτασιακός τύπος

1.3

Πρόβλημα Τερματισμού

10.3

Μη Υπολογίσιμο

10.3

Πρόγραμμα

Μη Ντετερμινιστικό

Συνάρτηση NF

9.5

Προσομοίωση

10.3

Ως Αριθμός

10.3

μη Ντετερμινιστικό

9.5

Πρόθεμα

7.1

Πρόταση

1.10

Γενικευμένη

1.10.0.5

Μεταβλητές

1.10.0.5

Ισοδύναμες Προτάσεις

1.10.0.5

Πρώτος Αριθμός

2.3

Πρώτος αριθμός

1.9.1.1

Στήλες ΠΡΟ-ΠΟ

3.1

Στατιστική Μηχανική

4.1

Συγκόλληση

7.1

Γλωσσών

7.1

Δυνάμεις Μιας Γλώσσας

7.1

Συμμετρική ιδιότητα

1.7

Συνάρτηση

1.4

1-1

1.4

Πλήθος

3.2

python

Αναδρομική

3.1.1

Άρτια

Πλήθος Συναρτήσεων

3.1.2

Ένα προς ένα

1.4

Ακεραιότιμη

3.2.2

Επί

1.4

Πλήθος Συναρτήσεων

3.1.2 | 3.1.2

Στο σύνολο ${\left\{{0,1}\right\}}$

3.1.2

Συνάρτηση Μετάβασης

Εφαρμοσμένη σε Σύνολα

7.4

Συνέλιξη

12.1

Συναρτήσεις

Σύνθεση

1.4

Συνδυασμοί

3.2.2

Με Επανάθεση

4.1

Συνδυαστικό Επιχείρημα

4.4

Συνεπαγωγή

1.10 | 1.10.0.4

Συμπέρασμα

1.10.0.4

Υπόθεση

1.10.0.4

Συνθήκη του Hall

1.9.3

Συνολοσυνάρτηση Πιθανότητας

11.2

Αξιώματα

11.2.1

Ιδιότητες

11.2

Προσθετικότητα

11.2

Υποπροσθετικότητα

11.2

Σχέση

1.3

dom

1.3

range

1.3

Αντίστροφη

1.3

Δεξιά Αναλλοίωτη

8.2

Θεμελιώδες Θεώρημα των Σχέσεων Ισοδυναμίας

1.7

Ισοδυναμίας

1.7

$R_L$ και $R_M$

8.2

Δείκτης

8.2

για Γλώσσες και Αυτόματα

8.2

Κλάση Ισοδυναμίας

1.7

Πεδίο Ορισμού

1.3

Σύνθεση

1.3

Σύνολο Τιμών

1.3

Σύζευξη

1.10.0.1

Σύμβολο

7.1

Σύνθετος Αριθμός

2.3

Σύνολο

1.2

Άπειρα Αριθμήσιμο

1.8

Άπειρο

1.8 | 1.8

Ένωση

1.5

Αναφοράς

1.5

Αριθμήσιμο

1.8

Αριθμήσιμη Ένωση

1.8

Αρχή Δυϊσμού

1.5

Διάγραμμα Venn

1.2

Διαμέριση

1.6

Διαφορά

1.5

Δυναμοσύνολο

1.2

Δυϊκή Σχέση

1.5

Ισοδυναμία Συνόλων

1.8

Ισότητα

1.2

Καθολικό

1.5

Καρτεσιανό Γινόμενο

1.2

Κενό

1.2

Οικογένεια Συνόλων

1.6

Παράσταση

1.2

Πεπερασμένη Οικογένεια Συνόλων

1.6

Πεπερασμένο

1.8

Πληθάριθμος

1.8

Πράξη συνόλων

1.5

Συμπλήρωμα

1.5

Τομή

1.5

Υπεραριθμήσιμο

1.8

Υπερσύνολο

1.2

Υποσύνολο

1.2

Γνήσιο

1.2

Υπόθεση του Συνεχούς

1.8

Σύστημα Ξένων Αντιπροσώπων

1.9.3

ΤΜ

12.1

Τίμιο Νόμισμα

11.2

Ταυτολογία

1.10.0.5

Ταυτότητες

Συνδυαστικές Αποδείξεις

4.4

Τελεστής

1.10

Τεταγμένη

1.2

Τετμημένη

1.2

Τρίγωνο του Pascal

4.4

Τριόμινα

1.9.1

Τυχαία Μεταβλητές

Ανεξάρτητες

Μέση Τιμή Γινομένου

12.2

Μέση Τιμή Συνάρτησης

12.2

Τυχαία Μεταβλητή

12.1

Γεννήτρια Συνάρτηση

12.4

Θεώρημα Μοναδικότητας

12.4

Δείκτρια

12.1

Διακριτή

12.1

Διανυσματική

12.1

Διασπορά

12.3

Μέση Τιμή

12.2

Τυπική Απόκλιση

12.3

Τυχαίες Μεταβλητές

Ανεξάρτητες

12.1

Γεννήτρια Συνάρτηση Αθροίσματος

12.4

Διασπορά Αθροίσματος

12.3

Κατανομή Αθροίσματος

12.1

Μέση Τιμή

Γραμμικότητα

12.2

Τυχαίος Περίπατος

12.2

Τύποι De Morgan

1.10.0.5

Υπογλώσσα

7.1

Υπολογίσιμη Συνάρτηση

10.1

Ορισμός

10.1

Υπόλοιπο

2.1

πρόγραμμα

μη ντετερμινιστικό

συνάρτηση NF

παράδειγμα

9.5