Next:
1.1 Εισαγωγή
Up:
main
Previous:
Πρόλογος
Contents
Index
1
. Βασικές έννοιες από τη Θεωρία Συνόλων και τον Προτασιακό Λογισμό
Κύριες βιβλιογραφικές αναφορές για αυτό το Κεφάλαιο είναι οι [
9
], [
5
] και [
10
].
Subsections
1
.
1
Εισαγωγή
1
.
2
Σύνολα
1
.
3
Σχέσεις
1
.
4
Συναρτήσεις
1
.
5
Πράξεις σε σύνολα
1
.
6
Γενικευμένες πράξεις συνόλων
1
.
7
Σχέσεις ισοδυναμίας
1
.
8
Πληθάριθμος. Αριθμήσιμα και μη άπειρα σύνολα.
1
.
9
Μαθηματική Επαγωγή
1
.
9
.
1
Η μέθοδος στην απλή της μορφή
1
.
9
.
1
.
1
Όλες οι προηγούμενες περιπτώσεις ως επαγωγική υπόθεση
1
.
9
.
2
Προχωρημένη χρήση της επαγωγής
1
.
9
.
2
.
1
<<Μπρος-πίσω>> επαγωγή
1
.
9
.
2
.
2
Πολλαπλή επαγωγή
1
.
9
.
2
.
3
Ενισχύοντας την πρόταση που θέλουμε να δείξουμε
1
.
9
.
3
Εφαρμογή: Το θεώρημα του Γάμου (Hall)
1
.
10
Προτασιακός Λογισμός
1
.
10
.
0
.
1
Σύζευξη
1
.
10
.
0
.
2
Διάζευξη
1
.
10
.
0
.
3
Άρνηση
1
.
10
.
0
.
4
Συνεπαγωγή
1
.
10
.
0
.
5
Ταυτολογίες και αντιφάσεις
1
.
11
Επαναληπτικές Ασκήσεις Κεφαλαίου
1
.
12
Video Κεφαλαίου
Mihalis Kolountzakis 2015-11-28
