Λογική και Βασικές Μαθηματικές Αρχές

Λογική και Βασικές
Μαθηματικές Αρχές
Πληροφορίες Μαθήματος
Κωδικός ΜΑΘ101
Τμήμα Πληροφορική
Επίπεδο Βασικό
Προαπαιτούμενα Κανένα
Απαιτείται για ΠΛΗ112


Η Λογική έχει θεμελιώδη ρόλο στην Επιστήμη των Υπολογιστών. Στην πραγματικότητα, η μαθηματική λογική βασίζεται σε κανόνες που κυριαρχούν και στην καθημερινή μας ζωή. Αυτοί οι κανόνες γίνονται σαφείς ώστε να ξέρουμε ακριβώς τι εννοούν. Γνωρίζοντας βασικές αρχές ή αξιώματα μπορούμε να συνάγουμε συμπεράσματα. Σε αυτό το μάθημα θα γνωρίσουμε μερικές από αυτές και θα μπορούμε να βγάζουμε συμπεράσματα για οποιαδήποτε αρχή που μαθαίνουμε στην πορεία. Σκοπός του μαθήματος είναι να γίνει κτήμα ένα βασικό μαθηματικό λεξιλόγιο τόσο των μαθηματικών όσο και της επιστήμης των υπολογιστών, με την ανάπτυξη συγκεκριμένων θεμάτων στα διακριτά μαθηματικά.


Προτεινόμενα βιβλία

  • Seymour Lipschutz, Marc Lars Lipson, Σειρά: Schaum, Θεωρία και προβλήματα στα διακριτά μαθηματικά, Εκδ. Τζιόλα 2003, ISBN 960-8050-92-8,
(διαθέσιμο σε περιορισμένη προεπισκόπηση - Αγγλικά)
  • Paul R. Halmos, Αφελής Συνολοθεωρία, Εκδ. Εκκρεμές 2002, ISBN 960-7651-26-X,
(διαθέσιμο σε περιορισμένη προεπισκόπηση - Αγγλικά)
  • Kenneth A. Ross, Charles R. B. Wright, Discrete Mathematics, Prentice Hall 2002, ISBN 9780130652478

Περιεχόμενα

  1. Προτάσεις
  2. Σύνολα και τα στοιχεία τους
  3. Ποσοδείκτες
  4. Πράξεις συνόλων
  5. Πεπερασμένα γινόμενα συνόλων
  6. Σχέσεις
  7. Συναρτήσεις
  8. Οικογένειες συνόλων

Ενδιαφερόμενοι