Θεωρία Υπολογισμού
Ενότητες
Ισοδυναμία, διάταξη, άπειρα σύνολα
Ισοδυναμία, διάταξη, άπειρα σύνολα: Εξετάζονται οι σχέσεις και κλάσεις ισοδυναμίας. Πότε οι σχέσεις αποτελούν μερικές ή ολικές διατάξεις. Ορισμοί για πεπερασμένα και άπειρα σύνολα. Πώς αποδεικνύεται ότι ένα σύνολο είναι μετρήσιμα άπειρο.
Λέξεις Κλειδιά: Σχέσεις ισοδυναμίας, κλάσεις ισοδυναμίας, μερικές διατάξεις, ολικές διατάξεις, πεπερασμένα / άπειρα / μετρήσιμα άπειρα σύνολα
